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-3458635-1307152099/watcher-3458635-1307152099 -o /tmp/evaluation-result-3458635-1307152099/solver-3458635-1307152099 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458635-1307152099.opb
running on 4 cores: 0,2,4,6
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: 2.10 2.05 2.01 2/529 3351
/proc/meminfo: memFree=16312796/32951124 swapFree=67111204/67111528
[pid=3351] ppid=3349 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/3351/stat : 3351 (java) R 3349 3351 1240 0 -1 4202496 955 0 0 0 0 0 0 0 25 0 1 0 807625998 23580672 698 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255101806056 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/3351/statm: 5757 698 515 9 0 124 0
[pid=3351/tid=3352] ppid=3349 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3352/stat : 3352 (java) R 3349 3351 1240 0 -1 4202560 5512 0 1 0 0 0 0 0 25 0 2 0 807625999 13850947584 6328 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0617379 s]
/proc/loadavg: 2.10 2.05 2.01 2/529 3351
/proc/meminfo: memFree=16312796/32951124 swapFree=67111204/67111528
[pid=3351] ppid=3349 vsize=13615172 CPUtime=0.04 cores=0,2,4,6
/proc/3351/stat : 3351 (java) S 3349 3351 1240 0 -1 4202496 14017 0 1 0 3 1 0 0 25 0 13 0 807625998 13941936128 13713 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118571493 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/3351/statm: 3403793 13713 1685 9 0 3394541 0
[pid=3351/tid=3352] ppid=3349 vsize=13615172 CPUtime=0.04 cores=0,2,4,6
/proc/3351/task/3352/stat : 3352 (java) R 3349 3351 1240 0 -1 4202560 12868 0 1 0 3 1 0 0 19 0 13 0 807625999 13941936128 13713 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118595531 0 4 0 16800971 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13615172
[startup+0.101632 s]
/proc/loadavg: 2.10 2.05 2.01 2/529 3351
/proc/meminfo: memFree=16312796/32951124 swapFree=67111204/67111528
[pid=3351] ppid=3349 vsize=13621632 CPUtime=0.1 cores=0,2,4,6
/proc/3351/stat : 3351 (java) S 3349 3351 1240 0 -1 4202496 15433 0 1 0 8 2 0 0 25 0 18 0 807625998 13948551168 15096 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3351/statm: 3405408 15096 2091 9 0 3396142 0
[pid=3351/tid=3352] ppid=3349 vsize=13621632 CPUtime=0.07 cores=0,2,4,6
/proc/3351/task/3352/stat : 3352 (java) R 3349 3351 1240 0 -1 4202560 13483 0 1 0 6 1 0 0 23 0 18 0 807625999 13948551168 15096 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118594741 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621632
[startup+0.334605 s]
/proc/loadavg: 2.10 2.05 2.01 2/529 3351
/proc/meminfo: memFree=16312796/32951124 swapFree=67111204/67111528
[pid=3351] ppid=3349 vsize=13622032 CPUtime=0.5 cores=0,2,4,6
/proc/3351/stat : 3351 (java) S 3349 3351 1240 0 -1 4202496 22076 0 1 0 47 3 0 0 25 0 18 0 807625998 13948960768 19698 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3351/statm: 3405508 20883 2202 9 0 3396242 0
[pid=3351/tid=3352] ppid=3349 vsize=13622240 CPUtime=0.57 cores=0,2,4,6
/proc/3351/task/3352/stat : 3352 (java) R 3349 3351 1240 0 -1 4202560 33242 0 1 0 53 4 0 0 18 0 18 0 807625999 13949173760 37548 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 46912505717333 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13622032
[startup+0.711589 s]
/proc/loadavg: 2.10 2.05 2.01 2/529 3351
/proc/meminfo: memFree=16312796/32951124 swapFree=67111204/67111528
[pid=3351] ppid=3349 vsize=13623400 CPUtime=1.23 cores=0,2,4,6
/proc/3351/stat : 3351 (java) S 3349 3351 1240 0 -1 4202496 45557 0 1 0 117 6 0 0 25 0 19 0 807625998 13950361600 42664 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3351/statm: 3405850 42665 2218 9 0 3396584 0
[pid=3351/tid=3352] ppid=3349 vsize=13623400 CPUtime=0.65 cores=0,2,4,6
/proc/3351/task/3352/stat : 3352 (java) R 3349 3351 1240 0 -1 4202560 38298 0 1 0 60 5 0 0 19 0 19 0 807625999 13950361600 42665 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 46912505205040 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 13623400
[startup+1.50152 s]
/proc/loadavg: 2.10 2.05 2.01 3/548 3371
/proc/meminfo: memFree=16147972/32951124 swapFree=67111204/67111528
[pid=3351] ppid=3349 vsize=13624480 CPUtime=2.23 cores=0,2,4,6
/proc/3351/stat : 3351 (java) S 3349 3351 1240 0 -1 4202496 45923 0 1 0 217 6 0 0 25 0 19 0 807625998 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3351/statm: 3406120 43029 2223 9 0 3396854 0
[pid=3351/tid=3352] ppid=3349 vsize=13624480 CPUtime=1.44 cores=0,2,4,6
/proc/3351/task/3352/stat : 3352 (java) R 3349 3351 1240 0 -1 4202560 38364 0 1 0 139 5 0 0 20 0 19 0 807625999 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 46912505755035 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3351/tid=3354] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3354/stat : 3354 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3355] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3355/stat : 3355 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3356] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3356/stat : 3356 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3357] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3357/stat : 3357 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3358] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3358/stat : 3358 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3359] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3359/stat : 3359 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3360] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3360/stat : 3360 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3361] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3361/stat : 3361 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3362] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3362/stat : 3362 (java) S 3349 3351 1240 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807626002 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 0 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3364] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3364/stat : 3364 (java) S 3349 3351 1240 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 19 0 807626002 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3365] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3365/stat : 3365 (java) S 3349 3351 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807626002 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3366] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3366/stat : 3366 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 807626005 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118592433 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3367] ppid=3349 vsize=13624480 CPUtime=0.2 cores=0,2,4,6
/proc/3351/task/3367/stat : 3367 (java) S 3349 3351 1240 0 -1 4202560 974 0 0 0 20 0 0 0 15 0 19 0 807626005 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
[pid=3351/tid=3368] ppid=3349 vsize=13624480 CPUtime=0.57 cores=0,2,4,6
/proc/3351/task/3368/stat : 3368 (java) S 3349 3351 1240 0 -1 4202560 5423 0 0 0 57 0 0 0 15 0 19 0 807626005 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3369] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3369/stat : 3369 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 807626005 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3370] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3370/stat : 3370 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807626005 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3371] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3371/stat : 3371 (java) S 3349 3351 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807626068 13951467520 43029 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 13624480
[startup+3.10117 s]
/proc/loadavg: 2.09 2.04 2.01 3/548 3371
/proc/meminfo: memFree=16146608/32951124 swapFree=67111204/67111528
[pid=3351] ppid=3349 vsize=13624480 CPUtime=3.86 cores=0,2,4,6
/proc/3351/stat : 3351 (java) S 3349 3351 1240 0 -1 4202496 45974 0 1 0 380 6 0 0 25 0 19 0 807625998 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3351/statm: 3406120 43079 2224 9 0 3396854 0
[pid=3351/tid=3352] ppid=3349 vsize=13624480 CPUtime=3.03 cores=0,2,4,6
/proc/3351/task/3352/stat : 3352 (java) R 3349 3351 1240 0 -1 4202560 38409 0 1 0 298 5 0 0 25 0 19 0 807625999 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 46912505754796 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3351/tid=3354] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3354/stat : 3354 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3355] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3355/stat : 3355 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3356] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3356/stat : 3356 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3357] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3357/stat : 3357 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3358] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3358/stat : 3358 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3359] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3359/stat : 3359 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3360] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3360/stat : 3360 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3361] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3361/stat : 3361 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3362] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3362/stat : 3362 (java) S 3349 3351 1240 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 807626002 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 0 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3364] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3364/stat : 3364 (java) S 3349 3351 1240 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 19 0 807626002 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3365] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3365/stat : 3365 (java) S 3349 3351 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807626002 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3366] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3366/stat : 3366 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 807626005 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118592433 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3367] ppid=3349 vsize=13624480 CPUtime=0.23 cores=0,2,4,6
/proc/3351/task/3367/stat : 3367 (java) S 3349 3351 1240 0 -1 4202560 979 0 0 0 23 0 0 0 15 0 19 0 807626005 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
[pid=3351/tid=3368] ppid=3349 vsize=13624480 CPUtime=0.58 cores=0,2,4,6
/proc/3351/task/3368/stat : 3368 (java) S 3349 3351 1240 0 -1 4202560 5424 0 0 0 58 0 0 0 15 0 19 0 807626005 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3369] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3369/stat : 3369 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 807626005 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3370] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3370/stat : 3370 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807626005 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3371] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3371/stat : 3371 (java) S 3349 3351 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807626068 13951467520 43079 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 13624480
[startup+6.30069 s]
/proc/loadavg: 2.09 2.04 2.01 3/548 3371
/proc/meminfo: memFree=16145864/32951124 swapFree=67111204/67111528
[pid=3351] ppid=3349 vsize=13624480 CPUtime=7.11 cores=0,2,4,6
/proc/3351/stat : 3351 (java) S 3349 3351 1240 0 -1 4202496 46087 0 1 0 705 6 0 0 25 0 19 0 807625998 13951467520 43174 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3351/statm: 3406120 43174 2228 9 0 3396854 0
[pid=3351/tid=3352] ppid=3349 vsize=13624480 CPUtime=6.23 cores=0,2,4,6
/proc/3351/task/3352/stat : 3352 (java) R 3349 3351 1240 0 -1 4202560 38506 0 1 0 618 5 0 0 25 0 19 0 807625999 13951467520 43174 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 46912505832565 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3351/tid=3354] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3354/stat : 3354 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43174 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3355] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3355/stat : 3355 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43174 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3356] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3356/stat : 3356 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43174 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3357] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3357/stat : 3357 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43174 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3358] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3358/stat : 3358 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43174 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3359] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3359/stat : 3359 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43174 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3360] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3360/stat : 3360 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43174 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3361] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3361/stat : 3361 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807626001 13951467520 43174 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3362] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3362/stat : 3362 (java) S 3349 3351 1240 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 807626002 13951467520 43174 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 0 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3364] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3364/stat : 3364 (java) S 3349 3351 1240 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 19 0 807626002 13951467520 43174 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3365] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3365/stat : 3365 (java) S 3349 3351 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807626002 13951467520 43174 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3366] ppid=3349 vsize=13624480 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3366/stat : 3366 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 807626005 13951467520 43174 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118592433 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3367] ppid=3349 vsize=13624480 CPUtime=0.23 cores=0,2,4,6
/proc/3351/task/3367/stat : 3367 (java) S 3349 3351 1240 0 -1 4202560 979 0 0 0 23 0 0 0 15 0 19 0 807626005 13951467520 43174 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
[pid=3351/tid=3368] ppid=3349 vsize=13624480 CPUtime=0.63 cores=0,2,4,6
/proc/3351/task/3368/stat : 3368 (java) S 3349 3351 1240 0 -1 4202560 5439 0 0 0 63 0 0 0 15 0 19 0 807626005 13951467520 43174 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=3351/tid=3359] ppid=3349 vsize=13638036 CPUtime=0.16 cores=0,2,4,6
/proc/3351/task/3359/stat : 3359 (java) S 3349 3351 1240 0 -1 4202560 1529 0 0 0 16 0 0 0 15 0 19 0 807626001 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3360] ppid=3349 vsize=13638036 CPUtime=0.14 cores=0,2,4,6
/proc/3351/task/3360/stat : 3360 (java) S 3349 3351 1240 0 -1 4202560 4402 0 0 0 14 0 0 0 16 0 19 0 807626001 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3361] ppid=3349 vsize=13638036 CPUtime=0.18 cores=0,2,4,6
/proc/3351/task/3361/stat : 3361 (java) S 3349 3351 1240 0 -1 4202560 4894 0 0 0 18 0 0 0 15 0 19 0 807626001 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3362] ppid=3349 vsize=13638036 CPUtime=3.05 cores=0,2,4,6
/proc/3351/task/3362/stat : 3362 (java) S 3349 3351 1240 0 -1 4202560 8448 0 0 0 304 1 0 0 15 0 19 0 807626002 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 0 0 16800975 18446604448035325248 0 0 -1 2 0 0 0
[pid=3351/tid=3364] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3364/stat : 3364 (java) S 3349 3351 1240 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 807626002 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3365] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3365/stat : 3365 (java) S 3349 3351 1240 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807626002 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3366] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3366/stat : 3366 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 807626005 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118592433 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3367] ppid=3349 vsize=13638036 CPUtime=1.64 cores=0,2,4,6
/proc/3351/task/3367/stat : 3367 (java) S 3349 3351 1240 0 -1 4202560 15316 0 0 0 162 2 0 0 15 0 19 0 807626005 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
[pid=3351/tid=3368] ppid=3349 vsize=13638036 CPUtime=0.69 cores=0,2,4,6
/proc/3351/task/3368/stat : 3368 (java) S 3349 3351 1240 0 -1 4202560 5441 0 0 0 69 0 0 0 15 0 19 0 807626005 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3369] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3369/stat : 3369 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 807626005 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3370] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3370/stat : 3370 (java) S 3349 3351 1240 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 807626005 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
[pid=3351/tid=3371] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3371/stat : 3371 (java) S 3349 3351 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807626068 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1665.28
Current children cumulated vsize (KiB) 13638036
[startup+1722.3 s]
/proc/loadavg: 2.21 2.07 2.02 3/548 3958
/proc/meminfo: memFree=16304228/32951124 swapFree=67111204/67111528
[pid=3351] ppid=3349 vsize=13638036 CPUtime=1725.33 cores=0,2,4,6
/proc/3351/stat : 3351 (java) S 3349 3351 1240 0 -1 4202496 93364 0 1 0 172518 15 0 0 25 0 19 0 807625998 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3351/statm: 3409509 79361 2254 9 0 3400243 0
[pid=3351/tid=3352] ppid=3349 vsize=13638036 CPUtime=1718.34 cores=0,2,4,6
/proc/3351/task/3352/stat : 3352 (java) R 3349 3351 1240 0 -1 4202560 38987 0 1 0 171828 6 0 0 25 0 19 0 807625999 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 46912505861808 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3351/tid=3354] ppid=3349 vsize=13638036 CPUtime=0.16 cores=0,2,4,6
/proc/3351/task/3354/stat : 3354 (java) S 3349 3351 1240 0 -1 4202560 2073 0 0 0 16 0 0 0 15 0 19 0 807626001 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3355] ppid=3349 vsize=13638036 CPUtime=0.16 cores=0,2,4,6
/proc/3351/task/3355/stat : 3355 (java) S 3349 3351 1240 0 -1 4202560 2653 0 0 0 16 0 0 0 16 0 19 0 807626001 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3356] ppid=3349 vsize=13638036 CPUtime=0.13 cores=0,2,4,6
/proc/3351/task/3356/stat : 3356 (java) S 3349 3351 1240 0 -1 4202560 4631 0 0 0 13 0 0 0 15 0 19 0 807626001 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
[pid=3351/tid=3357] ppid=3349 vsize=13638036 CPUtime=0.17 cores=0,2,4,6
/proc/3351/task/3357/stat : 3357 (java) S 3349 3351 1240 0 -1 4202560 1324 0 0 0 17 0 0 0 16 0 19 0 807626001 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
[pid=3351/tid=3358] ppid=3349 vsize=13638036 CPUtime=0.17 cores=0,2,4,6
/proc/3351/task/3358/stat : 3358 (java) S 3349 3351 1240 0 -1 4202560 2411 0 0 0 17 0 0 0 15 0 19 0 807626001 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3359] ppid=3349 vsize=13638036 CPUtime=0.17 cores=0,2,4,6
/proc/3351/task/3359/stat : 3359 (java) S 3349 3351 1240 0 -1 4202560 1529 0 0 0 17 0 0 0 15 0 19 0 807626001 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3360] ppid=3349 vsize=13638036 CPUtime=0.14 cores=0,2,4,6
/proc/3351/task/3360/stat : 3360 (java) S 3349 3351 1240 0 -1 4202560 4402 0 0 0 14 0 0 0 15 0 19 0 807626001 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3361] ppid=3349 vsize=13638036 CPUtime=0.19 cores=0,2,4,6
/proc/3351/task/3361/stat : 3361 (java) S 3349 3351 1240 0 -1 4202560 4894 0 0 0 19 0 0 0 16 0 19 0 807626001 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3362] ppid=3349 vsize=13638036 CPUtime=3.23 cores=0,2,4,6
/proc/3351/task/3362/stat : 3362 (java) S 3349 3351 1240 0 -1 4202560 8452 0 0 0 322 1 0 0 15 0 19 0 807626002 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 0 0 16800975 18446604448035325248 0 0 -1 2 0 0 0
[pid=3351/tid=3364] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3364/stat : 3364 (java) S 3349 3351 1240 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 807626002 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3365] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3365/stat : 3365 (java) S 3349 3351 1240 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807626002 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3366] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3366/stat : 3366 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 807626005 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118592433 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3367] ppid=3349 vsize=13638036 CPUtime=1.64 cores=0,2,4,6
/proc/3351/task/3367/stat : 3367 (java) S 3349 3351 1240 0 -1 4202560 15316 0 0 0 162 2 0 0 15 0 19 0 807626005 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
[pid=3351/tid=3368] ppid=3349 vsize=13638036 CPUtime=0.69 cores=0,2,4,6
/proc/3351/task/3368/stat : 3368 (java) S 3349 3351 1240 0 -1 4202560 5441 0 0 0 69 0 0 0 15 0 19 0 807626005 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3369] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3369/stat : 3369 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 807626005 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3370] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3370/stat : 3370 (java) S 3349 3351 1240 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 807626005 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
[pid=3351/tid=3371] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3371/stat : 3371 (java) S 3349 3351 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807626068 13965348864 79361 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1725.33
Current children cumulated vsize (KiB) 13638036
[startup+1782.32 s]
/proc/loadavg: 2.11 2.07 2.02 3/548 3960
/proc/meminfo: memFree=16286588/32951124 swapFree=67111204/67111528
[pid=3351] ppid=3349 vsize=13638036 CPUtime=1785.43 cores=0,2,4,6
/proc/3351/stat : 3351 (java) S 3349 3351 1240 0 -1 4202496 97992 0 1 0 178527 16 0 0 25 0 19 0 807625998 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3351/statm: 3409509 83978 2254 9 0 3400243 0
[pid=3351/tid=3352] ppid=3349 vsize=13638036 CPUtime=1778.21 cores=0,2,4,6
/proc/3351/task/3352/stat : 3352 (java) R 3349 3351 1240 0 -1 4202560 38990 0 1 0 177815 6 0 0 25 0 19 0 807625999 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 46912505889920 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3351/tid=3354] ppid=3349 vsize=13638036 CPUtime=0.17 cores=0,2,4,6
/proc/3351/task/3354/stat : 3354 (java) S 3349 3351 1240 0 -1 4202560 2783 0 0 0 17 0 0 0 15 0 19 0 807626001 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3355] ppid=3349 vsize=13638036 CPUtime=0.17 cores=0,2,4,6
/proc/3351/task/3355/stat : 3355 (java) S 3349 3351 1240 0 -1 4202560 3182 0 0 0 17 0 0 0 16 0 19 0 807626001 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3356] ppid=3349 vsize=13638036 CPUtime=0.15 cores=0,2,4,6
/proc/3351/task/3356/stat : 3356 (java) S 3349 3351 1240 0 -1 4202560 5891 0 0 0 15 0 0 0 15 0 19 0 807626001 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
[pid=3351/tid=3357] ppid=3349 vsize=13638036 CPUtime=0.18 cores=0,2,4,6
/proc/3351/task/3357/stat : 3357 (java) S 3349 3351 1240 0 -1 4202560 1324 0 0 0 18 0 0 0 15 0 19 0 807626001 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3358] ppid=3349 vsize=13638036 CPUtime=0.18 cores=0,2,4,6
/proc/3351/task/3358/stat : 3358 (java) S 3349 3351 1240 0 -1 4202560 2940 0 0 0 18 0 0 0 15 0 19 0 807626001 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3359] ppid=3349 vsize=13638036 CPUtime=0.18 cores=0,2,4,6
/proc/3351/task/3359/stat : 3359 (java) S 3349 3351 1240 0 -1 4202560 2111 0 0 0 18 0 0 0 16 0 19 0 807626001 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3360] ppid=3349 vsize=13638036 CPUtime=0.15 cores=0,2,4,6
/proc/3351/task/3360/stat : 3360 (java) S 3349 3351 1240 0 -1 4202560 4402 0 0 0 15 0 0 0 15 0 19 0 807626001 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3361] ppid=3349 vsize=13638036 CPUtime=0.21 cores=0,2,4,6
/proc/3351/task/3361/stat : 3361 (java) S 3349 3351 1240 0 -1 4202560 5901 0 0 0 21 0 0 0 16 0 19 0 807626001 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3362] ppid=3349 vsize=13638036 CPUtime=3.35 cores=0,2,4,6
/proc/3351/task/3362/stat : 3362 (java) S 3349 3351 1240 0 -1 4202560 8456 0 0 0 334 1 0 0 15 0 19 0 807626002 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 0 0 16800975 18446604448035325248 0 0 -1 2 0 0 0
[pid=3351/tid=3364] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3364/stat : 3364 (java) S 3349 3351 1240 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 807626002 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3365] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3365/stat : 3365 (java) S 3349 3351 1240 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807626002 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3366] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3366/stat : 3366 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 807626005 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118592433 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3367] ppid=3349 vsize=13638036 CPUtime=1.64 cores=0,2,4,6
/proc/3351/task/3367/stat : 3367 (java) S 3349 3351 1240 0 -1 4202560 15316 0 0 0 162 2 0 0 15 0 19 0 807626005 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
[pid=3351/tid=3368] ppid=3349 vsize=13638036 CPUtime=0.69 cores=0,2,4,6
/proc/3351/task/3368/stat : 3368 (java) S 3349 3351 1240 0 -1 4202560 5441 0 0 0 69 0 0 0 15 0 19 0 807626005 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3369] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3369/stat : 3369 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 807626005 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3370] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3370/stat : 3370 (java) S 3349 3351 1240 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 807626005 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
[pid=3351/tid=3371] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3371/stat : 3371 (java) S 3349 3351 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807626068 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1785.43
Current children cumulated vsize (KiB) 13638036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.9 s]
/proc/loadavg: 2.09 2.07 2.02 3/548 3960
/proc/meminfo: memFree=16285832/32951124 swapFree=67111204/67111528
[pid=3351] ppid=3349 vsize=13638036 CPUtime=1800.02 cores=0,2,4,6
/proc/3351/stat : 3351 (java) S 3349 3351 1240 0 -1 4202496 97994 0 1 0 179986 16 0 0 25 0 19 0 807625998 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3351/statm: 3409509 83978 2254 9 0 3400243 0
[pid=3351/tid=3352] ppid=3349 vsize=13638036 CPUtime=1792.81 cores=0,2,4,6
/proc/3351/task/3352/stat : 3352 (java) R 3349 3351 1240 0 -1 4202560 38990 0 1 0 179275 6 0 0 25 0 19 0 807625999 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 46912505794272 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3351/tid=3354] ppid=3349 vsize=13638036 CPUtime=0.17 cores=0,2,4,6
/proc/3351/task/3354/stat : 3354 (java) S 3349 3351 1240 0 -1 4202560 2783 0 0 0 17 0 0 0 15 0 19 0 807626001 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3355] ppid=3349 vsize=13638036 CPUtime=0.17 cores=0,2,4,6
/proc/3351/task/3355/stat : 3355 (java) S 3349 3351 1240 0 -1 4202560 3182 0 0 0 17 0 0 0 16 0 19 0 807626001 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3356] ppid=3349 vsize=13638036 CPUtime=0.15 cores=0,2,4,6
/proc/3351/task/3356/stat : 3356 (java) S 3349 3351 1240 0 -1 4202560 5891 0 0 0 15 0 0 0 15 0 19 0 807626001 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
[pid=3351/tid=3357] ppid=3349 vsize=13638036 CPUtime=0.18 cores=0,2,4,6
/proc/3351/task/3357/stat : 3357 (java) S 3349 3351 1240 0 -1 4202560 1324 0 0 0 18 0 0 0 15 0 19 0 807626001 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3358] ppid=3349 vsize=13638036 CPUtime=0.18 cores=0,2,4,6
/proc/3351/task/3358/stat : 3358 (java) S 3349 3351 1240 0 -1 4202560 2940 0 0 0 18 0 0 0 15 0 19 0 807626001 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3359] ppid=3349 vsize=13638036 CPUtime=0.18 cores=0,2,4,6
/proc/3351/task/3359/stat : 3359 (java) S 3349 3351 1240 0 -1 4202560 2111 0 0 0 18 0 0 0 16 0 19 0 807626001 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3360] ppid=3349 vsize=13638036 CPUtime=0.15 cores=0,2,4,6
/proc/3351/task/3360/stat : 3360 (java) S 3349 3351 1240 0 -1 4202560 4402 0 0 0 15 0 0 0 15 0 19 0 807626001 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3361] ppid=3349 vsize=13638036 CPUtime=0.21 cores=0,2,4,6
/proc/3351/task/3361/stat : 3361 (java) S 3349 3351 1240 0 -1 4202560 5901 0 0 0 21 0 0 0 16 0 19 0 807626001 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3362] ppid=3349 vsize=13638036 CPUtime=3.35 cores=0,2,4,6
/proc/3351/task/3362/stat : 3362 (java) S 3349 3351 1240 0 -1 4202560 8456 0 0 0 334 1 0 0 15 0 19 0 807626002 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 0 0 16800975 18446604448035325248 0 0 -1 2 0 0 0
[pid=3351/tid=3364] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3364/stat : 3364 (java) S 3349 3351 1240 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 807626002 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 6 0 0 0
[pid=3351/tid=3365] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3365/stat : 3365 (java) S 3349 3351 1240 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807626002 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3366] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3366/stat : 3366 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 807626005 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118592433 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3367] ppid=3349 vsize=13638036 CPUtime=1.64 cores=0,2,4,6
/proc/3351/task/3367/stat : 3367 (java) S 3349 3351 1240 0 -1 4202560 15316 0 0 0 162 2 0 0 15 0 19 0 807626005 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
[pid=3351/tid=3368] ppid=3349 vsize=13638036 CPUtime=0.69 cores=0,2,4,6
/proc/3351/task/3368/stat : 3368 (java) S 3349 3351 1240 0 -1 4202560 5441 0 0 0 69 0 0 0 15 0 19 0 807626005 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3369] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3369/stat : 3369 (java) S 3349 3351 1240 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 807626005 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118584729 0 4 0 16800975 18446604448035325248 0 0 -1 4 0 0 0
[pid=3351/tid=3370] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3370/stat : 3370 (java) S 3349 3351 1240 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 807626005 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
[pid=3351/tid=3371] ppid=3349 vsize=13638036 CPUtime=0 cores=0,2,4,6
/proc/3351/task/3371/stat : 3371 (java) S 3349 3351 1240 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807626068 13965348864 83978 33554432000 1073741824 1073778376 140733490603984 18446744073709551615 255118585344 0 4 0 16800975 18446604448035325248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13638036
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1796.96
CPU time (s): 1800.09
CPU user time (s): 1799.91
CPU system time (s): 0.178972
CPU usage (%): 100.174
Max. virtual memory (cumulated for all children) (KiB): 13647388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.178972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98038
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= 39528
involuntary context switches= 21240
runsolver used 9.89649 second user time and 19.991 second system time
The end