runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand4d6b1c.cudf.difficult.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/difficult//rand4d6b1c.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand4d6b1c.cudf.difficult.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.17 1.18 1.12 5/47 20692
/proc/meminfo: memFree=624760/1048576 swapFree=2078744/2097144
[pid=20690] ppid=20689 vsize=2572 CPUtime=0
/proc/20690/stat : 20690 (gj-paranoid-sol) S 20689 20690 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875946499 2633728 272 1283457024 134512640 135304128 4293837056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20690/statm: 643 272 232 194 0 29 0
[pid=20691] ppid=20690 vsize=11240 CPUtime=0.01
/proc/20691/stat : 20691 (java) R 20690 20690 2059 34821 2220 4202496 909 0 0 0 0 1 0 0 25 0 2 0 875946499 11509760 642 1283457024 134512640 134550932 4288586576 18446744073709551615 4159295736 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20691/statm: 2810 642 285 10 0 1184 0
[pid=20691/tid=20692] ppid=20690 vsize=11240 CPUtime=0
/proc/20691/task/20692/stat : 20692 (java) R 20690 20690 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 2 0 875946499 11509760 642 1283457024 134512640 134550932 4288586576 18446744073709551615 4159295736 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.205198 s]
/proc/loadavg: 1.17 1.18 1.12 5/47 20692
/proc/meminfo: memFree=624760/1048576 swapFree=2078744/2097144
[pid=20690] ppid=20689 vsize=2572 CPUtime=0
/proc/20690/stat : 20690 (gj-paranoid-sol) S 20689 20690 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875946499 2633728 272 1283457024 134512640 135304128 4293837056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20690/statm: 643 272 232 194 0 29 0
[pid=20691] ppid=20690 vsize=410128 CPUtime=0.21
/proc/20691/stat : 20691 (java) S 20690 20690 2059 34821 2220 4202496 5205 0 1 0 20 1 0 0 25 0 9 0 875946499 419971072 4668 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20691/statm: 102532 4668 1883 10 0 96712 0
[pid=20691/tid=20692] ppid=20690 vsize=410128 CPUtime=0.17
/proc/20691/task/20692/stat : 20692 (java) R 20690 20690 2059 34821 2220 4202560 3376 0 1 0 17 0 0 0 25 0 9 0 875946499 419971072 4668 1283457024 134512640 134550932 4288586576 18446744073709551615 4114774990 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412700

[startup+0.305213 s]
/proc/loadavg: 1.17 1.18 1.12 5/47 20692
/proc/meminfo: memFree=624760/1048576 swapFree=2078744/2097144
[pid=20690] ppid=20689 vsize=2572 CPUtime=0
/proc/20690/stat : 20690 (gj-paranoid-sol) S 20689 20690 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875946499 2633728 272 1283457024 134512640 135304128 4293837056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20690/statm: 643 272 232 194 0 29 0
[pid=20691] ppid=20690 vsize=410128 CPUtime=0.31
/proc/20691/stat : 20691 (java) S 20690 20690 2059 34821 2220 4202496 5206 0 1 0 30 1 0 0 25 0 9 0 875946499 419971072 4669 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20691/statm: 102532 4669 1883 10 0 96712 0
[pid=20691/tid=20692] ppid=20690 vsize=410128 CPUtime=0.27
/proc/20691/task/20692/stat : 20692 (java) R 20690 20690 2059 34821 2220 4202560 3377 0 1 0 27 0 0 0 25 0 9 0 875946499 419971072 4669 1283457024 134512640 134550932 4288586576 18446744073709551615 4114748220 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412700

[startup+0.405258 s]
/proc/loadavg: 1.17 1.18 1.12 5/47 20692
/proc/meminfo: memFree=624760/1048576 swapFree=2078744/2097144
[pid=20690] ppid=20689 vsize=2572 CPUtime=0
/proc/20690/stat : 20690 (gj-paranoid-sol) S 20689 20690 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875946499 2633728 272 1283457024 134512640 135304128 4293837056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20690/statm: 643 272 232 194 0 29 0
[pid=20691] ppid=20690 vsize=410608 CPUtime=0.41
/proc/20691/stat : 20691 (java) S 20690 20690 2059 34821 2220 4202496 6154 0 1 0 40 1 0 0 25 0 9 0 875946499 420462592 5617 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20691/statm: 102652 5617 1890 10 0 96832 0
[pid=20691/tid=20692] ppid=20690 vsize=410608 CPUtime=0.35
/proc/20691/task/20692/stat : 20692 (java) R 20690 20690 2059 34821 2220 4202560 3379 0 1 0 35 0 0 0 25 0 9 0 875946499 420462592 5617 1283457024 134512640 134550932 4288586576 18446744073709551615 4115214325 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 413180

[startup+0.705383 s]
/proc/loadavg: 1.17 1.18 1.12 5/47 20692
/proc/meminfo: memFree=624760/1048576 swapFree=2078744/2097144
[pid=20690] ppid=20689 vsize=2572 CPUtime=0
/proc/20690/stat : 20690 (gj-paranoid-sol) S 20689 20690 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875946499 2633728 272 1283457024 134512640 135304128 4293837056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20690/statm: 643 272 232 194 0 29 0
[pid=20691] ppid=20690 vsize=410740 CPUtime=0.71
/proc/20691/stat : 20691 (java) S 20690 20690 2059 34821 2220 4202496 12939 0 1 0 68 3 0 0 25 0 9 0 875946499 420597760 12224 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20691/statm: 102685 12224 2878 10 0 96865 0
[pid=20691/tid=20692] ppid=20690 vsize=410740 CPUtime=0.43
/proc/20691/task/20692/stat : 20692 (java) R 20690 20690 2059 34821 2220 4202560 4083 0 1 0 43 0 0 0 25 0 9 0 875946499 420597760 12224 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413312

[startup+1.50566 s]
/proc/loadavg: 1.17 1.18 1.12 3/55 20700
/proc/meminfo: memFree=552952/1048576 swapFree=2078744/2097144
[pid=20690] ppid=20689 vsize=2572 CPUtime=0
/proc/20690/stat : 20690 (gj-paranoid-sol) S 20689 20690 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875946499 2633728 272 1283457024 134512640 135304128 4293837056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20690/statm: 643 272 232 194 0 29 0
[pid=20691] ppid=20690 vsize=410740 CPUtime=1.5
/proc/20691/stat : 20691 (java) S 20690 20690 2059 34821 2220 4202496 28563 0 1 0 141 9 0 0 25 0 9 0 875946499 420597760 27848 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20691/statm: 102685 27848 2879 10 0 96865 0
[pid=20691/tid=20692] ppid=20690 vsize=410740 CPUtime=0.68
/proc/20691/task/20692/stat : 20692 (java) S 20690 20690 2059 34821 2220 4202560 6787 0 1 0 67 1 0 0 25 0 9 0 875946499 420597760 27848 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20694] ppid=20690 vsize=410740 CPUtime=0.77
/proc/20691/task/20694/stat : 20694 (java) R 20690 20690 2059 34821 2220 4202560 20388 0 0 0 70 7 0 0 20 0 9 0 875946500 420597760 27848 1283457024 134512640 134550932 4288586576 18446744073709551615 4151341560 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=20691/tid=20695] ppid=20690 vsize=410740 CPUtime=0
/proc/20691/task/20695/stat : 20695 (java) S 20690 20690 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 20 0 9 0 875946500 420597760 27848 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20696] ppid=20690 vsize=410740 CPUtime=0
/proc/20691/task/20696/stat : 20696 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 24 0 9 0 875946500 420597760 27848 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20697] ppid=20690 vsize=410740 CPUtime=0
/proc/20691/task/20697/stat : 20697 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875946502 420597760 27848 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20698] ppid=20690 vsize=410740 CPUtime=0.03
/proc/20691/task/20698/stat : 20698 (java) S 20690 20690 2059 34821 2220 4202560 453 0 0 0 3 0 0 0 17 0 9 0 875946502 420597760 27848 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20699] ppid=20690 vsize=410740 CPUtime=0
/proc/20691/task/20699/stat : 20699 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875946502 420597760 27848 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20700] ppid=20690 vsize=410740 CPUtime=0
/proc/20691/task/20700/stat : 20700 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875946502 420597760 27848 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413312

[startup+3.10621 s]
/proc/loadavg: 1.17 1.18 1.12 3/55 20700
/proc/meminfo: memFree=468136/1048576 swapFree=2078744/2097144
[pid=20690] ppid=20689 vsize=2572 CPUtime=0
/proc/20690/stat : 20690 (gj-paranoid-sol) S 20689 20690 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875946499 2633728 272 1283457024 134512640 135304128 4293837056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20690/statm: 643 272 232 194 0 29 0
[pid=20691] ppid=20690 vsize=411196 CPUtime=3.11
/proc/20691/stat : 20691 (java) S 20690 20690 2059 34821 2220 4202496 51644 0 1 0 295 16 0 0 25 0 10 0 875946499 421064704 50913 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20691/statm: 102799 50913 2885 10 0 96979 0
[pid=20691/tid=20692] ppid=20690 vsize=411196 CPUtime=1.22
/proc/20691/task/20692/stat : 20692 (java) R 20690 20690 2059 34821 2220 4202560 14075 0 1 0 120 2 0 0 24 0 10 0 875946499 421064704 50913 1283457024 134512640 134550932 4288586576 18446744073709551615 4115573189 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20691/tid=20694] ppid=20690 vsize=411196 CPUtime=1.78
/proc/20691/task/20694/stat : 20694 (java) S 20690 20690 2059 34821 2220 4202560 36124 0 0 0 166 12 0 0 17 0 10 0 875946500 421064704 50913 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20695] ppid=20690 vsize=411196 CPUtime=0
/proc/20691/task/20695/stat : 20695 (java) S 20690 20690 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875946500 421064704 50913 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20696] ppid=20690 vsize=411196 CPUtime=0
/proc/20691/task/20696/stat : 20696 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875946500 421064704 50913 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20697] ppid=20690 vsize=411196 CPUtime=0
/proc/20691/task/20697/stat : 20697 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421064704 50913 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20698] ppid=20690 vsize=411196 CPUtime=0.08
/proc/20691/task/20698/stat : 20698 (java) S 20690 20690 2059 34821 2220 4202560 505 0 0 0 8 0 0 0 15 0 10 0 875946502 421064704 50913 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20699] ppid=20690 vsize=411196 CPUtime=0
/proc/20691/task/20699/stat : 20699 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421064704 50913 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20700] ppid=20690 vsize=411196 CPUtime=0
/proc/20691/task/20700/stat : 20700 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875946502 421064704 50913 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 413768

[startup+6.30692 s]
/proc/loadavg: 1.32 1.21 1.13 2/56 20701
/proc/meminfo: memFree=422248/1048576 swapFree=2078744/2097144
[pid=20690] ppid=20689 vsize=2572 CPUtime=0
/proc/20690/stat : 20690 (gj-paranoid-sol) S 20689 20690 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875946499 2633728 272 1283457024 134512640 135304128 4293837056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20690/statm: 643 272 232 194 0 29 0
[pid=20691] ppid=20690 vsize=411328 CPUtime=6.3
/proc/20691/stat : 20691 (java) S 20690 20690 2059 34821 2220 4202496 54393 0 1 0 614 16 0 0 25 0 10 0 875946499 421199872 53656 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20691/statm: 102832 53656 2883 10 0 97012 0
[pid=20691/tid=20692] ppid=20690 vsize=411328 CPUtime=3.97
/proc/20691/task/20692/stat : 20692 (java) R 20690 20690 2059 34821 2220 4202560 14077 0 1 0 395 2 0 0 25 0 10 0 875946499 421199872 53656 1283457024 134512640 134550932 4288586576 18446744073709551615 4115540860 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20691/tid=20694] ppid=20690 vsize=411328 CPUtime=2.19
/proc/20691/task/20694/stat : 20694 (java) S 20690 20690 2059 34821 2220 4202560 38859 0 0 0 207 12 0 0 15 0 10 0 875946500 421199872 53656 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20695] ppid=20690 vsize=411328 CPUtime=0
/proc/20691/task/20695/stat : 20695 (java) S 20690 20690 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875946500 421199872 53656 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20696] ppid=20690 vsize=411328 CPUtime=0
/proc/20691/task/20696/stat : 20696 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875946500 421199872 53656 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20697] ppid=20690 vsize=411328 CPUtime=0
/proc/20691/task/20697/stat : 20697 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421199872 53656 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20698] ppid=20690 vsize=411328 CPUtime=0.11
/proc/20691/task/20698/stat : 20698 (java) S 20690 20690 2059 34821 2220 4202560 517 0 0 0 11 0 0 0 15 0 10 0 875946502 421199872 53656 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20699] ppid=20690 vsize=411328 CPUtime=0
/proc/20691/task/20699/stat : 20699 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421199872 53656 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20700] ppid=20690 vsize=411328 CPUtime=0
/proc/20691/task/20700/stat : 20700 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875946502 421199872 53656 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20701] ppid=20690 vsize=411328 CPUtime=0
/proc/20691/task/20701/stat : 20701 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875946793 421199872 53656 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413900

[startup+12.7084 s]
/proc/loadavg: 1.29 1.21 1.13 3/56 20701
/proc/meminfo: memFree=401540/1048576 swapFree=2078744/2097144
[pid=20690] ppid=20689 vsize=2572 CPUtime=0
/proc/20690/stat : 20690 (gj-paranoid-sol) S 20689 20690 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875946499 2633728 272 1283457024 134512640 135304128 4293837056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20690/statm: 643 272 232 194 0 29 0
[pid=20691] ppid=20690 vsize=411164 CPUtime=12.7
/proc/20691/stat : 20691 (java) S 20690 20690 2059 34821 2220 4202496 64859 0 1 0 1252 18 0 0 25 0 10 0 875946499 421031936 57218 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20691/statm: 102791 57218 2883 10 0 96971 0
[pid=20691/tid=20692] ppid=20690 vsize=411164 CPUtime=8.57
/proc/20691/task/20692/stat : 20692 (java) R 20690 20690 2059 34821 2220 4202560 14077 0 1 0 855 2 0 0 25 0 10 0 875946499 421031936 57218 1283457024 134512640 134550932 4288586576 18446744073709551615 4115482596 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20691/tid=20694] ppid=20690 vsize=411164 CPUtime=3.99
/proc/20691/task/20694/stat : 20694 (java) S 20690 20690 2059 34821 2220 4202560 49324 0 0 0 384 15 0 0 16 0 10 0 875946500 421031936 57218 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20695] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20695/stat : 20695 (java) S 20690 20690 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875946500 421031936 57218 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20696] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20696/stat : 20696 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875946500 421031936 57218 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20697] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20697/stat : 20697 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421031936 57218 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20698] ppid=20690 vsize=411164 CPUtime=0.11
/proc/20691/task/20698/stat : 20698 (java) S 20690 20690 2059 34821 2220 4202560 518 0 0 0 11 0 0 0 15 0 10 0 875946502 421031936 57218 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20699] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20699/stat : 20699 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421031936 57218 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20700] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20700/stat : 20700 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875946502 421031936 57218 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20701] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20701/stat : 20701 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875946793 421031936 57218 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 413736

[startup+25.5121 s]
/proc/loadavg: 1.30 1.21 1.14 2/56 20701
/proc/meminfo: memFree=401044/1048576 swapFree=2078744/2097144
[pid=20690] ppid=20689 vsize=2572 CPUtime=0
/proc/20690/stat : 20690 (gj-paranoid-sol) S 20689 20690 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875946499 2633728 272 1283457024 134512640 135304128 4293837056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20690/statm: 643 272 232 194 0 29 0
[pid=20691] ppid=20690 vsize=411164 CPUtime=25.5
/proc/20691/stat : 20691 (java) S 20690 20690 2059 34821 2220 4202496 73333 0 1 0 2529 21 0 0 25 0 10 0 875946499 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20691/statm: 102791 58792 2883 10 0 96971 0
[pid=20691/tid=20692] ppid=20690 vsize=411164 CPUtime=19.62
/proc/20691/task/20692/stat : 20692 (java) R 20690 20690 2059 34821 2220 4202560 14077 0 1 0 1960 2 0 0 25 0 10 0 875946499 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4115542010 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20691/tid=20694] ppid=20690 vsize=411164 CPUtime=5.75
/proc/20691/task/20694/stat : 20694 (java) S 20690 20690 2059 34821 2220 4202560 57798 0 0 0 557 18 0 0 15 0 10 0 875946500 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20695] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20695/stat : 20695 (java) S 20690 20690 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875946500 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20696] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20696/stat : 20696 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875946500 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20697] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20697/stat : 20697 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20698] ppid=20690 vsize=411164 CPUtime=0.11
/proc/20691/task/20698/stat : 20698 (java) S 20690 20690 2059 34821 2220 4202560 518 0 0 0 11 0 0 0 15 0 10 0 875946502 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20699] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20699/stat : 20699 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20700] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20700/stat : 20700 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875946502 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20701] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20701/stat : 20701 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875946793 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 413736

Solver just ended. Dumping a history of the last processes samples

[startup+25.7322 s]
/proc/loadavg: 1.30 1.21 1.14 2/56 20701
/proc/meminfo: memFree=401044/1048576 swapFree=2078744/2097144
[pid=20690] ppid=20689 vsize=2572 CPUtime=0
/proc/20690/stat : 20690 (gj-paranoid-sol) S 20689 20690 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875946499 2633728 272 1283457024 134512640 135304128 4293837056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20690/statm: 643 272 232 194 0 29 0
[pid=20691] ppid=20690 vsize=411164 CPUtime=25.72
/proc/20691/stat : 20691 (java) S 20690 20690 2059 34821 2220 4202496 73333 0 1 0 2551 21 0 0 25 0 10 0 875946499 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20691/statm: 102791 58792 2883 10 0 96971 0
[pid=20691/tid=20692] ppid=20690 vsize=411164 CPUtime=19.79
/proc/20691/task/20692/stat : 20692 (java) R 20690 20690 2059 34821 2220 4202560 14077 0 1 0 1977 2 0 0 25 0 10 0 875946499 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20691/tid=20694] ppid=20690 vsize=411164 CPUtime=5.8
/proc/20691/task/20694/stat : 20694 (java) R 20690 20690 2059 34821 2220 4202560 57798 0 0 0 562 18 0 0 15 0 10 0 875946500 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4152621583 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=20691/tid=20695] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20695/stat : 20695 (java) S 20690 20690 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875946500 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20696] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20696/stat : 20696 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875946500 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20697] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20697/stat : 20697 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20698] ppid=20690 vsize=411164 CPUtime=0.11
/proc/20691/task/20698/stat : 20698 (java) S 20690 20690 2059 34821 2220 4202560 518 0 0 0 11 0 0 0 15 0 10 0 875946502 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20699] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20699/stat : 20699 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20700] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20700/stat : 20700 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875946502 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20701] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20701/stat : 20701 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875946793 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.72
Current children cumulated vsize (KiB) 413736

[startup+28.9129 s]
/proc/loadavg: 1.27 1.21 1.13 2/56 20701
/proc/meminfo: memFree=401168/1048576 swapFree=2078744/2097144
[pid=20690] ppid=20689 vsize=2572 CPUtime=0
/proc/20690/stat : 20690 (gj-paranoid-sol) S 20689 20690 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875946499 2633728 272 1283457024 134512640 135304128 4293837056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20690/statm: 643 272 232 194 0 29 0
[pid=20691] ppid=20690 vsize=411164 CPUtime=28.9
/proc/20691/stat : 20691 (java) S 20690 20690 2059 34821 2220 4202496 75633 0 1 0 2868 22 0 0 25 0 10 0 875946499 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20691/statm: 102791 58792 2883 10 0 96971 0
[pid=20691/tid=20692] ppid=20690 vsize=411164 CPUtime=22.43
/proc/20691/task/20692/stat : 20692 (java) R 20690 20690 2059 34821 2220 4202560 14077 0 1 0 2241 2 0 0 25 0 10 0 875946499 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4115530837 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20691/tid=20694] ppid=20690 vsize=411164 CPUtime=6.33
/proc/20691/task/20694/stat : 20694 (java) S 20690 20690 2059 34821 2220 4202560 60098 0 0 0 615 18 0 0 15 0 10 0 875946500 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20695] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20695/stat : 20695 (java) S 20690 20690 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875946500 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20696] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20696/stat : 20696 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875946500 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20697] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20697/stat : 20697 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20698] ppid=20690 vsize=411164 CPUtime=0.11
/proc/20691/task/20698/stat : 20698 (java) S 20690 20690 2059 34821 2220 4202560 518 0 0 0 11 0 0 0 15 0 10 0 875946502 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20699] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20699/stat : 20699 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20700] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20700/stat : 20700 (java) R 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875946502 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20691/tid=20701] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20701/stat : 20701 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875946793 421031936 58792 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.9
Current children cumulated vsize (KiB) 413736

[startup+30.5032 s]
/proc/loadavg: 1.27 1.21 1.13 3/56 20701
/proc/meminfo: memFree=401168/1048576 swapFree=2078744/2097144
[pid=20690] ppid=20689 vsize=2572 CPUtime=0
/proc/20690/stat : 20690 (gj-paranoid-sol) S 20689 20690 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875946499 2633728 272 1283457024 134512640 135304128 4293837056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20690/statm: 643 272 232 194 0 29 0
[pid=20691] ppid=20690 vsize=411164 CPUtime=30.48
/proc/20691/stat : 20691 (java) S 20690 20690 2059 34821 2220 4202496 78297 0 1 0 3026 22 0 0 25 0 10 0 875946499 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20691/statm: 102791 59156 2883 10 0 96971 0
[pid=20691/tid=20692] ppid=20690 vsize=411164 CPUtime=23.44
/proc/20691/task/20692/stat : 20692 (java) R 20690 20690 2059 34821 2220 4202560 14077 0 1 0 2342 2 0 0 25 0 10 0 875946499 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4115551207 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20691/tid=20694] ppid=20690 vsize=411164 CPUtime=6.9
/proc/20691/task/20694/stat : 20694 (java) S 20690 20690 2059 34821 2220 4202560 62762 0 0 0 672 18 0 0 16 0 10 0 875946500 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20695] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20695/stat : 20695 (java) S 20690 20690 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875946500 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20696] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20696/stat : 20696 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875946500 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20697] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20697/stat : 20697 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20698] ppid=20690 vsize=411164 CPUtime=0.11
/proc/20691/task/20698/stat : 20698 (java) S 20690 20690 2059 34821 2220 4202560 518 0 0 0 11 0 0 0 15 0 10 0 875946502 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20699] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20699/stat : 20699 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20700] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20700/stat : 20700 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875946502 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20701] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20701/stat : 20701 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875946793 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.48
Current children cumulated vsize (KiB) 413736

[startup+32.1035 s]
/proc/loadavg: 1.27 1.21 1.13 2/56 20701
/proc/meminfo: memFree=399680/1048576 swapFree=2078744/2097144
[pid=20690] ppid=20689 vsize=2572 CPUtime=0
/proc/20690/stat : 20690 (gj-paranoid-sol) S 20689 20690 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875946499 2633728 272 1283457024 134512640 135304128 4293837056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20690/statm: 643 272 232 194 0 29 0
[pid=20691] ppid=20690 vsize=411164 CPUtime=32.08
/proc/20691/stat : 20691 (java) S 20690 20690 2059 34821 2220 4202496 78297 0 1 0 3186 22 0 0 25 0 10 0 875946499 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20691/statm: 102791 59156 2883 10 0 96971 0
[pid=20691/tid=20692] ppid=20690 vsize=411164 CPUtime=25.04
/proc/20691/task/20692/stat : 20692 (java) R 20690 20690 2059 34821 2220 4202560 14077 0 1 0 2502 2 0 0 25 0 10 0 875946499 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4115598038 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20691/tid=20694] ppid=20690 vsize=411164 CPUtime=6.9
/proc/20691/task/20694/stat : 20694 (java) S 20690 20690 2059 34821 2220 4202560 62762 0 0 0 672 18 0 0 15 0 10 0 875946500 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20695] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20695/stat : 20695 (java) S 20690 20690 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875946500 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20696] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20696/stat : 20696 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875946500 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20697] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20697/stat : 20697 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20698] ppid=20690 vsize=411164 CPUtime=0.11
/proc/20691/task/20698/stat : 20698 (java) S 20690 20690 2059 34821 2220 4202560 518 0 0 0 11 0 0 0 15 0 10 0 875946502 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20699] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20699/stat : 20699 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20700] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20700/stat : 20700 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875946502 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20701] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20701/stat : 20701 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875946793 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.08
Current children cumulated vsize (KiB) 413736

[startup+32.9037 s]
/proc/loadavg: 1.27 1.21 1.13 2/56 20701
/proc/meminfo: memFree=399680/1048576 swapFree=2078744/2097144
[pid=20690] ppid=20689 vsize=2572 CPUtime=0
/proc/20690/stat : 20690 (gj-paranoid-sol) S 20689 20690 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875946499 2633728 272 1283457024 134512640 135304128 4293837056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20690/statm: 643 272 232 194 0 29 0
[pid=20691] ppid=20690 vsize=411164 CPUtime=32.89
/proc/20691/stat : 20691 (java) S 20690 20690 2059 34821 2220 4202496 78297 0 1 0 3267 22 0 0 25 0 10 0 875946499 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20691/statm: 102791 59156 2883 10 0 96971 0
[pid=20691/tid=20692] ppid=20690 vsize=411164 CPUtime=25.84
/proc/20691/task/20692/stat : 20692 (java) R 20690 20690 2059 34821 2220 4202560 14077 0 1 0 2582 2 0 0 25 0 10 0 875946499 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4115530816 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20691/tid=20694] ppid=20690 vsize=411164 CPUtime=6.9
/proc/20691/task/20694/stat : 20694 (java) S 20690 20690 2059 34821 2220 4202560 62762 0 0 0 672 18 0 0 15 0 10 0 875946500 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20695] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20695/stat : 20695 (java) S 20690 20690 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 10 0 875946500 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20696] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20696/stat : 20696 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 875946500 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20697] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20697/stat : 20697 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20698] ppid=20690 vsize=411164 CPUtime=0.11
/proc/20691/task/20698/stat : 20698 (java) S 20690 20690 2059 34821 2220 4202560 518 0 0 0 11 0 0 0 15 0 10 0 875946502 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20699] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20699/stat : 20699 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875946502 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20700] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20700/stat : 20700 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875946502 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20701] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20701/stat : 20701 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 875946793 421031936 59156 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.89
Current children cumulated vsize (KiB) 413736

[startup+33.1033 s]
/proc/loadavg: 1.25 1.21 1.13 1/55 20701
/proc/meminfo: memFree=399688/1048576 swapFree=2078744/2097144
[pid=20690] ppid=20689 vsize=2572 CPUtime=0
/proc/20690/stat : 20690 (gj-paranoid-sol) S 20689 20690 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875946499 2633728 272 1283457024 134512640 135304128 4293837056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20690/statm: 643 272 232 194 0 29 0
[pid=20691] ppid=20690 vsize=411164 CPUtime=33.05
/proc/20691/stat : 20691 (java) S 20690 20690 2059 34821 2220 4202496 78304 0 1 0 3283 22 0 0 25 0 9 0 875946499 421031936 59162 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20691/statm: 102791 59162 2883 10 0 96971 0
[pid=20691/tid=20692] ppid=20690 vsize=411164 CPUtime=26
/proc/20691/task/20692/stat : 20692 (java) S 20690 20690 2059 34821 2220 4202560 14081 0 1 0 2598 2 0 0 25 0 9 0 875946499 421031936 59162 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20694] ppid=20690 vsize=411164 CPUtime=6.9
/proc/20691/task/20694/stat : 20694 (java) S 20690 20690 2059 34821 2220 4202560 62762 0 0 0 672 18 0 0 15 0 9 0 875946500 421031936 59162 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20695] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20695/stat : 20695 (java) S 20690 20690 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 15 0 9 0 875946500 421031936 59162 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20696] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20696/stat : 20696 (java) S 20690 20690 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 875946500 421031936 59162 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20697] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20697/stat : 20697 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875946502 421031936 59162 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20698] ppid=20690 vsize=411164 CPUtime=0.11
/proc/20691/task/20698/stat : 20698 (java) S 20690 20690 2059 34821 2220 4202560 521 0 0 0 11 0 0 0 15 0 9 0 875946502 421031936 59162 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20699] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20699/stat : 20699 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875946502 421031936 59162 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=20691/tid=20700] ppid=20690 vsize=411164 CPUtime=0
/proc/20691/task/20700/stat : 20700 (java) S 20690 20690 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875946502 421031936 59162 1283457024 134512640 134550932 4288586576 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.05
Current children cumulated vsize (KiB) 413736

Child status: 0
Real time (s): 33.1247
CPU time (s): 33.0701
CPU user time (s): 32.8301
CPU system time (s): 0.240015
CPU usage (%): 99.8351
Max. virtual memory (cumulated for all children) (KiB): 423008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.8301
system time used= 0.240015
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78693
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1238
involuntary context switches= 1556

runsolver used 0 second user time and 0 second system time

The end