runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3455159-1307189191/watcher-3455159-1307189191 -o /tmp/evaluation-result-3455159-1307189191/solver-3455159-1307189191 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455159-1307189191.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.60 3.90 3.43 3/533 16934
/proc/meminfo: memFree=19093276/32950940 swapFree=67111364/67111528
[pid=16934] ppid=16932 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/16934/stat : 16934 (java) S 16932 16934 13684 0 -1 4202496 1317 0 0 0 0 0 0 0 25 0 2 0 909149906 36646912 1018 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/16934/statm: 8947 1018 782 9 0 386 0
[pid=16934/tid=16935] ppid=16932 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16935/stat : 16935 (java) R 16932 16934 13684 0 -1 4202560 3854 0 1 0 0 0 0 0 25 0 2 0 909149906 10694979584 4670 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.069943 s]
/proc/loadavg: 3.60 3.90 3.43 3/533 16934
/proc/meminfo: memFree=19093276/32950940 swapFree=67111364/67111528
[pid=16934] ppid=16932 vsize=10538500 CPUtime=0.05 cores=1,3,5,7
/proc/16934/stat : 16934 (java) S 16932 16934 13684 0 -1 4202496 11745 0 1 0 4 1 0 0 25 0 18 0 909149906 10791424000 11441 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16934/statm: 2634625 11441 1741 9 0 2625359 0
[pid=16934/tid=16935] ppid=16932 vsize=10538500 CPUtime=0.05 cores=1,3,5,7
/proc/16934/task/16935/stat : 16935 (java) R 16932 16934 13684 0 -1 4202560 10569 0 1 0 4 1 0 0 25 0 18 0 909149906 10791424000 11441 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 47114328604838 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538500
[startup+0.100937 s]
/proc/loadavg: 3.60 3.90 3.43 3/533 16934
/proc/meminfo: memFree=19093276/32950940 swapFree=67111364/67111528
[pid=16934] ppid=16932 vsize=10540060 CPUtime=0.1 cores=1,3,5,7
/proc/16934/stat : 16934 (java) S 16932 16934 13684 0 -1 4202496 13043 0 1 0 9 1 0 0 25 0 18 0 909149906 10793021440 12702 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16934/statm: 2635015 12702 2092 9 0 2625749 0
[pid=16934/tid=16935] ppid=16932 vsize=10540060 CPUtime=0.08 cores=1,3,5,7
/proc/16934/task/16935/stat : 16935 (java) R 16932 16934 13684 0 -1 4202560 11087 0 1 0 7 1 0 0 25 0 18 0 909149906 10793021440 12702 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 46912496214416 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540060
[startup+0.300905 s]
/proc/loadavg: 3.60 3.90 3.43 3/533 16934
/proc/meminfo: memFree=19093276/32950940 swapFree=67111364/67111528
[pid=16934] ppid=16932 vsize=10541148 CPUtime=0.47 cores=1,3,5,7
/proc/16934/stat : 16934 (java) S 16932 16934 13684 0 -1 4202496 16046 0 1 0 45 2 0 0 25 0 18 0 909149906 10794135552 15315 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16934/statm: 2635287 15316 2201 9 0 2626021 0
[pid=16934/tid=16935] ppid=16932 vsize=10541148 CPUtime=0.28 cores=1,3,5,7
/proc/16934/task/16935/stat : 16935 (java) R 16932 16934 13684 0 -1 4202560 13091 0 1 0 26 2 0 0 25 0 18 0 909149906 10794135552 15316 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 46912505560294 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541148
[startup+0.700901 s]
/proc/loadavg: 3.60 3.90 3.43 3/533 16934
/proc/meminfo: memFree=19093276/32950940 swapFree=67111364/67111528
[pid=16934] ppid=16932 vsize=10548604 CPUtime=1.74 cores=1,3,5,7
/proc/16934/stat : 16934 (java) S 16932 16934 13684 0 -1 4202496 29104 0 1 0 171 3 0 0 25 0 19 0 909149906 10801770496 24061 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16934/statm: 2637151 24061 2235 9 0 2627885 0
[pid=16934/tid=16935] ppid=16932 vsize=10548604 CPUtime=0.32 cores=1,3,5,7
/proc/16934/task/16935/stat : 16935 (java) S 16932 16934 13684 0 -1 4202560 14278 0 1 0 30 2 0 0 25 0 19 0 909149906 10801770496 24061 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000409088 0 4 0 16800975 18446604459206801280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 10548604
[startup+1.5007 s]
/proc/loadavg: 3.60 3.90 3.43 4/554 17008
/proc/meminfo: memFree=19021452/32950940 swapFree=67111364/67111528
[pid=16934] ppid=16932 vsize=10548604 CPUtime=3.27 cores=1,3,5,7
/proc/16934/stat : 16934 (java) S 16932 16934 13684 0 -1 4202496 61875 0 1 0 320 7 0 0 25 0 22 0 909149906 10801770496 54475 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16934/statm: 2637151 54476 2236 9 0 2627885 0
[pid=16934/tid=16935] ppid=16932 vsize=10548604 CPUtime=0.33 cores=1,3,5,7
/proc/16934/task/16935/stat : 16935 (java) S 16932 16934 13684 0 -1 4202560 14499 0 1 0 31 2 0 0 16 0 22 0 909149906 10801770496 54476 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000409088 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16937] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16937/stat : 16937 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149909 10801770496 54476 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 5 0 0 0
[pid=16934/tid=16938] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16938/stat : 16938 (java) S 16932 16934 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909149909 10801770496 54476 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16939] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16939/stat : 16939 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149909 10801770496 54476 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16940] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16940/stat : 16940 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149909 10801770496 54476 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 5 0 0 0
[pid=16934/tid=16941] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16941/stat : 16941 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149909 10801770496 54476 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16942] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16942/stat : 16942 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149909 10801770496 54476 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 5 0 0 0
[pid=16934/tid=16943] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16943/stat : 16943 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149909 10801770496 54480 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 5 0 0 0
[pid=16934/tid=16944] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16944/stat : 16944 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149909 10801770496 54483 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16945] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16945/stat : 16945 (java) S 16932 16934 13684 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 909149910 10801770496 54486 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000409088 0 0 0 16800975 18446604459206801280 0 0 -1 3 0 0 0
[pid=16934/tid=16946] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16946/stat : 16946 (java) S 16932 16934 13684 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 22 0 909149910 10801770496 54488 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16947] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16947/stat : 16947 (java) S 16932 16934 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909149910 10801770496 54490 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 3 0 0 0
[pid=16934/tid=16948] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16948/stat : 16948 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149912 10801770496 54492 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000416177 0 4 0 16800975 18446604459206801280 0 0 -1 3 0 0 0
[pid=16934/tid=16949] ppid=16932 vsize=10548604 CPUtime=0.54 cores=1,3,5,7
/proc/16934/task/16949/stat : 16949 (java) S 16932 16934 13684 0 -1 4202560 7427 0 0 0 54 0 0 0 23 0 22 0 909149912 10801770496 54493 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 3 0 0 0
[pid=16934/tid=16950] ppid=16932 vsize=10548604 CPUtime=0.49 cores=1,3,5,7
/proc/16934/task/16950/stat : 16950 (java) S 16932 16934 13684 0 -1 4202560 2770 0 0 0 49 0 0 0 23 0 22 0 909149912 10801770496 54493 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16951] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16951/stat : 16951 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149912 10801770496 54493 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 3 0 0 0
[pid=16934/tid=16952] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16952/stat : 16952 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909149912 10801770496 54493 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000409088 0 4 0 16800975 18446604459206801280 0 0 -1 1 0 0 0
[pid=16934/tid=16996] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16996/stat : 16996 (java) S 16932 16934 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909149943 10801770496 54493 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000409088 0 4 0 16800975 18446604459206801280 0 0 -1 1 0 0 0
[pid=16934/tid=17006] ppid=16932 vsize=10548604 CPUtime=0.63 cores=1,3,5,7
/proc/16934/task/17006/stat : 17006 (java) R 16932 16934 13684 0 -1 4202560 127 0 0 0 63 0 0 0 23 0 22 0 909149992 10801770496 54493 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 46912505982522 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16934/tid=17007] ppid=16932 vsize=10548604 CPUtime=0.62 cores=1,3,5,7
/proc/16934/task/17007/stat : 17007 (java) R 16932 16934 13684 0 -1 4202560 30054 0 0 0 59 3 0 0 25 0 22 0 909149992 10801770496 54493 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 46912505824981 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16934/tid=17008] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/17008/stat : 17008 (java) S 16932 16934 13684 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 22 0 909149993 10801770496 54493 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000409088 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 10548604
Solver just ended. Dumping a history of the last processes samples
[startup+1.90168 s]
/proc/loadavg: 3.60 3.90 3.43 4/554 17008
/proc/meminfo: memFree=19021452/32950940 swapFree=67111364/67111528
[pid=16934] ppid=16932 vsize=10548604 CPUtime=4.14 cores=1,3,5,7
/proc/16934/stat : 16934 (java) S 16932 16934 13684 0 -1 4202496 82990 0 1 0 404 10 0 0 25 0 22 0 909149906 10801770496 74833 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16934/statm: 2637151 74836 2238 9 0 2627885 0
[pid=16934/tid=16935] ppid=16932 vsize=10548604 CPUtime=0.33 cores=1,3,5,7
/proc/16934/task/16935/stat : 16935 (java) S 16932 16934 13684 0 -1 4202560 14499 0 1 0 31 2 0 0 15 0 22 0 909149906 10801770496 74837 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000409088 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16937] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16937/stat : 16937 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149909 10801770496 74837 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 5 0 0 0
[pid=16934/tid=16938] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16938/stat : 16938 (java) S 16932 16934 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909149909 10801770496 74837 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16939] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16939/stat : 16939 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149909 10801770496 74837 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16940] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16940/stat : 16940 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149909 10801770496 74837 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 5 0 0 0
[pid=16934/tid=16941] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16941/stat : 16941 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149909 10801770496 74841 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16942] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16942/stat : 16942 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149909 10801770496 74844 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 5 0 0 0
[pid=16934/tid=16943] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16943/stat : 16943 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149909 10801770496 74846 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 5 0 0 0
[pid=16934/tid=16944] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16944/stat : 16944 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149909 10801770496 74848 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16945] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16945/stat : 16945 (java) S 16932 16934 13684 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 909149910 10801770496 74849 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000409088 0 0 0 16800975 18446604459206801280 0 0 -1 3 0 0 0
[pid=16934/tid=16946] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16946/stat : 16946 (java) S 16932 16934 13684 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 22 0 909149910 10801770496 74851 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16947] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16947/stat : 16947 (java) S 16932 16934 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909149910 10801770496 74853 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 3 0 0 0
[pid=16934/tid=16948] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16948/stat : 16948 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149912 10801770496 74855 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000416177 0 4 0 16800975 18446604459206801280 0 0 -1 3 0 0 0
[pid=16934/tid=16949] ppid=16932 vsize=10548604 CPUtime=0.59 cores=1,3,5,7
/proc/16934/task/16949/stat : 16949 (java) S 16932 16934 13684 0 -1 4202560 8194 0 0 0 59 0 0 0 17 0 22 0 909149912 10801770496 74856 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 3 0 0 0
[pid=16934/tid=16950] ppid=16932 vsize=10548604 CPUtime=0.49 cores=1,3,5,7
/proc/16934/task/16950/stat : 16950 (java) S 16932 16934 13684 0 -1 4202560 2770 0 0 0 49 0 0 0 16 0 22 0 909149912 10801770496 74858 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16951] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16951/stat : 16951 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149912 10801770496 74860 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 3 0 0 0
[pid=16934/tid=16952] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16952/stat : 16952 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909149912 10801770496 74861 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000409088 0 4 0 16800975 18446604459206801280 0 0 -1 1 0 0 0
[pid=16934/tid=16996] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16996/stat : 16996 (java) S 16932 16934 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909149943 10801770496 74861 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000409088 0 4 0 16800975 18446604459206801280 0 0 -1 1 0 0 0
[pid=16934/tid=17006] ppid=16932 vsize=10548604 CPUtime=1.03 cores=1,3,5,7
/proc/16934/task/17006/stat : 17006 (java) R 16932 16934 13684 0 -1 4202560 192 0 0 0 103 0 0 0 25 0 22 0 909149992 10801770496 74861 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 46912505817792 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16934/tid=17007] ppid=16932 vsize=10548604 CPUtime=1.03 cores=1,3,5,7
/proc/16934/task/17007/stat : 17007 (java) R 16932 16934 13684 0 -1 4202560 50347 0 0 0 98 5 0 0 25 0 22 0 909149992 10801770496 74861 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 46912506060894 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16934/tid=17008] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/17008/stat : 17008 (java) S 16932 16934 13684 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 22 0 909149993 10801770496 74861 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000409088 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 10548604
[startup+2.30163 s]
/proc/loadavg: 3.60 3.90 3.43 6/556 17014
/proc/meminfo: memFree=18694076/32950940 swapFree=67111364/67111528
[pid=16934] ppid=16932 vsize=10548604 CPUtime=4.68 cores=1,3,5,7
/proc/16934/stat : 16934 (java) S 16932 16934 13684 0 -1 4202496 93436 0 1 0 457 11 0 0 25 0 19 0 909149906 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16934/statm: 2637151 85010 2263 9 0 2627885 0
[pid=16934/tid=16935] ppid=16932 vsize=10548604 CPUtime=0.33 cores=1,3,5,7
/proc/16934/task/16935/stat : 16935 (java) S 16932 16934 13684 0 -1 4202560 14499 0 1 0 31 2 0 0 15 0 19 0 909149906 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000409088 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16937] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16937/stat : 16937 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909149909 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 5 0 0 0
[pid=16934/tid=16938] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16938/stat : 16938 (java) S 16932 16934 13684 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909149909 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 1 0 0 0
[pid=16934/tid=16939] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16939/stat : 16939 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 909149909 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 1 0 0 0
[pid=16934/tid=16940] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16940/stat : 16940 (java) S 16932 16934 13684 0 -1 4202560 217 0 0 0 0 0 0 0 18 0 19 0 909149909 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 5 0 0 0
[pid=16934/tid=16941] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16941/stat : 16941 (java) S 16932 16934 13684 0 -1 4202560 268 0 0 0 0 0 0 0 17 0 19 0 909149909 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 1 0 0 0
[pid=16934/tid=16942] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16942/stat : 16942 (java) S 16932 16934 13684 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 19 0 909149909 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 5 0 0 0
[pid=16934/tid=16943] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16943/stat : 16943 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909149909 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 5 0 0 0
[pid=16934/tid=16944] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16944/stat : 16944 (java) S 16932 16934 13684 0 -1 4202560 276 0 0 0 0 0 0 0 17 0 19 0 909149909 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 1 0 0 0
[pid=16934/tid=16945] ppid=16932 vsize=10548604 CPUtime=0.01 cores=1,3,5,7
/proc/16934/task/16945/stat : 16945 (java) S 16932 16934 13684 0 -1 4202560 749 0 0 0 1 0 0 0 17 0 19 0 909149910 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000409088 0 0 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16946] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16946/stat : 16946 (java) S 16932 16934 13684 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 909149910 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16947] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16947/stat : 16947 (java) S 16932 16934 13684 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 909149910 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16948] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16948/stat : 16948 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909149912 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000416177 0 4 0 16800975 18446604459206801280 0 0 -1 3 0 0 0
[pid=16934/tid=16949] ppid=16932 vsize=10548604 CPUtime=0.63 cores=1,3,5,7
/proc/16934/task/16949/stat : 16949 (java) S 16932 16934 13684 0 -1 4202560 8465 0 0 0 63 0 0 0 15 0 19 0 909149912 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 3 0 0 0
[pid=16934/tid=16950] ppid=16932 vsize=10548604 CPUtime=0.51 cores=1,3,5,7
/proc/16934/task/16950/stat : 16950 (java) S 16932 16934 13684 0 -1 4202560 2774 0 0 0 51 0 0 0 16 0 19 0 909149912 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 7 0 0 0
[pid=16934/tid=16951] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16951/stat : 16951 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909149912 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000408473 0 4 0 16800975 18446604459206801280 0 0 -1 3 0 0 0
[pid=16934/tid=16952] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16952/stat : 16952 (java) S 16932 16934 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909149912 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000409088 0 4 0 16800975 18446604459206801280 0 0 -1 1 0 0 0
[pid=16934/tid=16996] ppid=16932 vsize=10548604 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16996/stat : 16996 (java) S 16932 16934 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909149943 10801770496 85010 33554432000 1073741824 1073778376 140735441843968 18446744073709551615 216000409088 0 4 0 16800975 18446604459206801280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 10548604
[startup+2.40054 s]
/proc/loadavg: 3.60 3.90 3.43 6/556 17014
/proc/meminfo: memFree=18694076/32950940 swapFree=67111364/67111528
[pid=16934] ppid=16932 vsize=0 CPUtime=4.7 cores=1,3,5,7
/proc/16934/stat : 16934 (java) Z 16932 16934 13684 0 -1 4203548 93444 0 1 0 459 11 0 0 18 0 2 0 909149906 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16934/statm: 0 0 0 0 0 0 0
[pid=16934/tid=16943] ppid=16932 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/16934/task/16943/stat : 16943 (java) R 16932 16934 13684 0 -1 4203588 1 0 0 0 0 0 0 0 15 0 2 0 909149909 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.7
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 2.41154
CPU time (s): 4.72328
CPU user time (s): 4.5943
CPU system time (s): 0.12898
CPU usage (%): 195.861
Max. virtual memory (cumulated for all children) (KiB): 10548604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.5943
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93444
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= 358
involuntary context switches= 80
runsolver used 0.014997 second user time and 0.044993 second system time
The end