runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14457 MiB free)
memory of node 1: 16384 MiB (9744 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290022-1532219488/watcher-4290022-1532219488 -o /tmp/evaluation-result-4290022-1532219488/solver-4290022-1532219488 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532209647-24669 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290022-1532219488.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25924, runsolver pid=25921
[startup+0.101134 s]*
/proc/loadavg: 2.07 2.08 2.23 2/217 25939
/proc/meminfo: memFree=24766252/32770624 swapFree=67108860/67108860
[pid=25924] ppid=25921 vsize=10659012 memory=30128 CPUtime=0.13 cores=0,2,4,6
/proc/25924/stat : 25924 (java) S 25921 25924 22644 0 -1 1077944320 6614 0 0 0 11 2 0 0 20 0 15 0 39512006 10914828288 7532 33554432000 4194304 4196468 140724174128480 140724174111024 139686417813239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
/proc/25924/statm: 2664753 7532 2845 1 0 2627263 0
[pid=25924/tid=25926] ppid=25921 vsize=10659012 memory=-8773748148829852546 CPUtime=0.09 cores=0,2,4,6
/proc/25924/task/25926/stat : 25926 (java) R 25921 25924 22644 0 -1 4202560 4439 0 0 0 8 1 0 0 20 0 15 0 39512006 10914828288 7532 33554432000 4194304 4196468 140724174128480 139686422027232 139686401893726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25927] ppid=25921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25927/stat : 25927 (java) S 25921 25924 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39512007 10914828288 7532 33554432000 4194304 4196468 140724174128480 139686370433680 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25928] ppid=25921 vsize=10659012 memory=140650755827328 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25928/stat : 25928 (java) S 25921 25924 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39512007 10914828288 7532 33554432000 4194304 4196468 140724174128480 139686369380880 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25929] ppid=25921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25929/stat : 25929 (java) S 25921 25924 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39512007 10914828288 7532 33554432000 4194304 4196468 140724174128480 139686368328080 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25930] ppid=25921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25930/stat : 25930 (java) S 25921 25924 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39512007 10914828288 7532 33554432000 4194304 4196468 140724174128480 139686367275280 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25931] ppid=25921 vsize=10659012 memory=140650755827328 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25931/stat : 25931 (java) S 25921 25924 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39512009 10914828288 7532 33554432000 4194304 4196468 140724174128480 139685976796016 139686417824386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25932] ppid=25921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25932/stat : 25932 (java) S 25921 25924 22644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39512009 10914828288 7532 33554432000 4194304 4196468 140724174128480 139685975741984 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25933] ppid=25921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25933/stat : 25933 (java) S 25921 25924 22644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39512009 10914828288 7532 33554432000 4194304 4196468 140724174128480 139685974689136 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25934] ppid=25921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25934/stat : 25934 (java) S 25921 25924 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39512012 10914828288 7532 33554432000 4194304 4196468 140724174128480 139685973637456 139686417831835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25935] ppid=25921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25935/stat : 25935 (java) S 25921 25924 22644 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 39512012 10914828288 7532 33554432000 4194304 4196468 140724174128480 139685972584816 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25936] ppid=25921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25936/stat : 25936 (java) S 25921 25924 22644 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 39512012 10914828288 7532 33554432000 4194304 4196468 140724174128480 139685971532016 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25937] ppid=25921 vsize=10659012 memory=140650755827328 CPUtime=0.02 cores=0,2,4,6
/proc/25924/task/25937/stat : 25937 (java) R 25921 25924 22644 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 39512012 10914828288 7532 33554432000 4194304 4196468 140724174128480 139685970479216 139686417834586 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25938] ppid=25921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25938/stat : 25938 (java) S 25921 25924 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39512012 10914828288 7532 33554432000 4194304 4196468 140724174128480 139685969426656 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25939] ppid=25921 vsize=10659012 memory=140650755827328 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25939/stat : 25939 (java) S 25921 25924 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39512012 10914828288 7532 33554432000 4194304 4196468 140724174128480 139685968374960 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30128 KiB
[startup+0.210609 s]*
/proc/loadavg: 2.07 2.08 2.23 4/217 25939
/proc/meminfo: memFree=24755840/32770624 swapFree=67108860/67108860
[pid=25924] ppid=25921 vsize=10659012 memory=41032 CPUtime=0.33 cores=0,2,4,6
/proc/25924/stat : 25924 (java) S 25921 25924 22644 0 -1 1077944320 7838 0 0 0 30 3 0 0 20 0 15 0 39512006 10914828288 10258 33554432000 4194304 4196468 140724174128480 140724174111024 139686417813239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
/proc/25924/statm: 2664753 10258 2979 1 0 2627263 0
[pid=25924/tid=25926] ppid=25921 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/25924/task/25926/stat : 25926 (java) R 25921 25924 22644 0 -1 4202560 5019 0 0 0 18 2 0 0 20 0 15 0 39512006 10914828288 10258 33554432000 4194304 4196468 140724174128480 139686422048208 139686417835165 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25927] ppid=25921 vsize=10659012 memory=343 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25927/stat : 25927 (java) S 25921 25924 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39512007 10914828288 10258 33554432000 4194304 4196468 140724174128480 139686370433680 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25928] ppid=25921 vsize=10659012 memory=140650756021368 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25928/stat : 25928 (java) S 25921 25924 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39512007 10914828288 10258 33554432000 4194304 4196468 140724174128480 139686369380880 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25929] ppid=25921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25929/stat : 25929 (java) S 25921 25924 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39512007 10914828288 10258 33554432000 4194304 4196468 140724174128480 139686368328080 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25930] ppid=25921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25930/stat : 25930 (java) S 25921 25924 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39512007 10914828288 10258 33554432000 4194304 4196468 140724174128480 139686367275280 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25931] ppid=25921 vsize=10659012 memory=140650755827328 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25931/stat : 25931 (java) S 25921 25924 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39512009 10914828288 10258 33554432000 4194304 4196468 140724174128480 139685976796016 139686417824386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25932] ppid=25921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25932/stat : 25932 (java) S 25921 25924 22644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39512009 10914828288 10258 33554432000 4194304 4196468 140724174128480 139685975741984 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25933] ppid=25921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25933/stat : 25933 (java) S 25921 25924 22644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39512009 10914828288 10258 33554432000 4194304 4196468 140724174128480 139685974689136 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25934] ppid=25921 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25934/stat : 25934 (java) S 25921 25924 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39512012 10914828288 10258 33554432000 4194304 4196468 140724174128480 139685973637456 139686417831835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25935] ppid=25921 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25924/task/25935/stat : 25935 (java) S 25921 25924 22644 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 15 0 39512012 10914828288 10258 33554432000 4194304 4196468 140724174128480 139685972584816 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25936] ppid=25921 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25924/task/25936/stat : 25936 (java) S 25921 25924 22644 0 -1 1077944384 382 0 0 0 2 0 0 0 20 0 15 0 39512012 10914828288 10258 33554432000 4194304 4196468 140724174128480 139685971532016 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25937] ppid=25921 vsize=10659012 memory=140650755827328 CPUtime=0.07 cores=0,2,4,6
/proc/25924/task/25937/stat : 25937 (java) S 25921 25924 22644 0 -1 1077944384 671 0 0 0 7 0 0 0 20 0 15 0 39512012 10914828288 10258 33554432000 4194304 4196468 140724174128480 139685970479216 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25938] ppid=25921 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25938/stat : 25938 (java) S 25921 25924 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39512012 10914828288 10258 33554432000 4194304 4196468 140724174128480 139685969426656 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25939] ppid=25921 vsize=10659012 memory=140650755827328 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25939/stat : 25939 (java) S 25921 25924 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39512012 10914828288 10258 33554432000 4194304 4196468 140724174128480 139685968374960 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41032 KiB
[startup+0.316861 s]*
/proc/loadavg: 2.07 2.08 2.23 6/217 25939
/proc/meminfo: memFree=24741756/32770624 swapFree=67108860/67108860
[pid=25924] ppid=25921 vsize=10659088 memory=57028 CPUtime=0.58 cores=0,2,4,6
/proc/25924/stat : 25924 (java) S 25921 25924 22644 0 -1 1077944320 9831 0 0 0 55 3 0 0 20 0 15 0 39512006 10914906112 14257 33554432000 4194304 4196468 140724174128480 140724174111024 139686417813239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
/proc/25924/statm: 2664772 14257 3066 1 0 2627263 0
[pid=25924/tid=25926] ppid=25921 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/25924/task/25926/stat : 25926 (java) R 25921 25924 22644 0 -1 4202560 5592 0 0 0 28 2 0 0 20 0 15 0 39512006 10914906112 14257 33554432000 4194304 4196468 140724174128480 139686422050112 139686045679719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25927] ppid=25921 vsize=10659088 memory=288230604707987479 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25927/stat : 25927 (java) S 25921 25924 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39512007 10914906112 14257 33554432000 4194304 4196468 140724174128480 139686370433680 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25928] ppid=25921 vsize=10659088 memory=140650756011098 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25928/stat : 25928 (java) S 25921 25924 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39512007 10914906112 14257 33554432000 4194304 4196468 140724174128480 139686369380880 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25929] ppid=25921 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25929/stat : 25929 (java) S 25921 25924 22644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39512007 10914906112 14257 33554432000 4194304 4196468 140724174128480 139686368328080 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25930] ppid=25921 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25930/stat : 25930 (java) S 25921 25924 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39512007 10914906112 14257 33554432000 4194304 4196468 140724174128480 139686367275280 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25931] ppid=25921 vsize=10659088 memory=140650755827328 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25931/stat : 25931 (java) S 25921 25924 22644 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39512009 10914906112 14257 33554432000 4194304 4196468 140724174128480 139685976796016 139686417824386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25932] ppid=25921 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25932/stat : 25932 (java) S 25921 25924 22644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39512009 10914906112 14257 33554432000 4194304 4196468 140724174128480 139685975741984 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25933] ppid=25921 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25933/stat : 25933 (java) S 25921 25924 22644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39512009 10914906112 14257 33554432000 4194304 4196468 140724174128480 139685974689136 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25934] ppid=25921 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25934/stat : 25934 (java) S 25921 25924 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39512012 10914906112 14257 33554432000 4194304 4196468 140724174128480 139685973637456 139686417831835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25935] ppid=25921 vsize=10659088 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/25924/task/25935/stat : 25935 (java) R 25921 25924 22644 0 -1 4202560 731 0 0 0 6 0 0 0 20 0 15 0 39512012 10914906112 14257 33554432000 4194304 4196468 140724174128480 139685972565720 139686402739187 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25936] ppid=25921 vsize=10659088 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/25924/task/25936/stat : 25936 (java) R 25921 25924 22644 0 -1 4202560 902 0 0 0 6 0 0 0 20 0 15 0 39512012 10914906112 14257 33554432000 4194304 4196468 140724174128480 139685971513032 139686401224253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25937] ppid=25921 vsize=10659088 memory=140650755827328 CPUtime=0.13 cores=0,2,4,6
/proc/25924/task/25937/stat : 25937 (java) R 25921 25924 22644 0 -1 1077944384 1235 0 0 0 13 0 0 0 20 0 15 0 39512012 10914906112 14257 33554432000 4194304 4196468 140724174128480 139685970479216 139686417824386 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25938] ppid=25921 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25938/stat : 25938 (java) S 25921 25924 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39512012 10914906112 14257 33554432000 4194304 4196468 140724174128480 139685969426656 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25939] ppid=25921 vsize=10659088 memory=140650755827328 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25939/stat : 25939 (java) S 25921 25924 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39512012 10914906112 14257 33554432000 4194304 4196468 140724174128480 139685968374960 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 57028 KiB
[startup+0.701767 s]
/proc/loadavg: 2.07 2.08 2.23 6/217 25939
/proc/meminfo: memFree=24705408/32770624 swapFree=67108860/67108860
[pid=25924] ppid=25921 vsize=10661980 memory=229244 CPUtime=1.9 cores=0,2,4,6
/proc/25924/stat : 25924 (java) S 25921 25924 22644 0 -1 1077944320 22888 0 0 0 182 8 0 0 20 0 15 0 39512006 10917867520 57311 33554432000 4194304 4196468 140724174128480 140724174111024 139686417813239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
/proc/25924/statm: 2665495 57311 3100 1 0 2627986 0
[pid=25924/tid=25926] ppid=25921 vsize=10661980 memory=1724 CPUtime=0.66 cores=0,2,4,6
/proc/25924/task/25926/stat : 25926 (java) R 25921 25924 22644 0 -1 4202560 6051 0 0 0 62 4 0 0 20 0 15 0 39512006 10917867520 57311 33554432000 4194304 4196468 140724174128480 139686422042320 139686047249981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25927] ppid=25921 vsize=10661980 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25927/stat : 25927 (java) S 25921 25924 22644 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 39512007 10917867520 57311 33554432000 4194304 4196468 140724174128480 139686370433680 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25928] ppid=25921 vsize=10661980 memory=14004 CPUtime=0.01 cores=0,2,4,6
/proc/25924/task/25928/stat : 25928 (java) S 25921 25924 22644 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 15 0 39512007 10917867520 57311 33554432000 4194304 4196468 140724174128480 139686369380880 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25929] ppid=25921 vsize=10661980 memory=796 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25929/stat : 25929 (java) S 25921 25924 22644 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 39512007 10917867520 57311 33554432000 4194304 4196468 140724174128480 139686368328080 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25930] ppid=25921 vsize=10661980 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25930/stat : 25930 (java) S 25921 25924 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39512007 10917867520 57311 33554432000 4194304 4196468 140724174128480 139686367275280 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25931] ppid=25921 vsize=10661980 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25931/stat : 25931 (java) S 25921 25924 22644 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 39512009 10917867520 57311 33554432000 4194304 4196468 140724174128480 139685976796016 139686417824386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25932] ppid=25921 vsize=10661980 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25932/stat : 25932 (java) S 25921 25924 22644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39512009 10917867520 57311 33554432000 4194304 4196468 140724174128480 139685975741984 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25933] ppid=25921 vsize=10661980 memory=8356 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25933/stat : 25933 (java) R 25921 25924 22644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39512009 10917867520 57311 33554432000 4194304 4196468 140724174128480 139685974689136 139686417823445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25934] ppid=25921 vsize=10661980 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25934/stat : 25934 (java) S 25921 25924 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39512012 10917867520 57311 33554432000 4194304 4196468 140724174128480 139685973637456 139686417831835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25935] ppid=25921 vsize=10661980 memory=7524502762334872664 CPUtime=0.39 cores=0,2,4,6
/proc/25924/task/25935/stat : 25935 (java) R 25921 25924 22644 0 -1 4202560 4694 0 0 0 39 0 0 0 20 0 15 0 39512012 10917867520 57311 33554432000 4194304 4196468 140724174128480 139685972569808 139686402476401 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25936] ppid=25921 vsize=10661980 memory=5787213827163908199 CPUtime=0.41 cores=0,2,4,6
/proc/25924/task/25936/stat : 25936 (java) R 25921 25924 22644 0 -1 4202560 6439 0 0 0 41 0 0 0 20 0 15 0 39512012 10917867520 57311 33554432000 4194304 4196468 140724174128480 139685971517512 139686399357457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25937] ppid=25921 vsize=10661980 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/25924/task/25937/stat : 25937 (java) S 25921 25924 22644 0 -1 1077944384 4210 0 0 0 36 1 0 0 20 0 15 0 39512012 10917867520 57311 33554432000 4194304 4196468 140724174128480 139685970479216 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25938] ppid=25921 vsize=10661980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25938/stat : 25938 (java) S 25921 25924 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39512012 10917867520 57311 33554432000 4194304 4196468 140724174128480 139685969426656 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25939] ppid=25921 vsize=10661980 memory=33 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25939/stat : 25939 (java) S 25921 25924 22644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39512012 10917867520 57311 33554432000 4194304 4196468 140724174128480 139685968374960 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 10661980 KiB
Current children cumulated memory: 229244 KiB
[startup+1.5009 s]
/proc/loadavg: 2.07 2.08 2.23 5/217 25939
/proc/meminfo: memFree=24568048/32770624 swapFree=67108860/67108860
[pid=25924] ppid=25921 vsize=10661136 memory=367076 CPUtime=4.41 cores=0,2,4,6
/proc/25924/stat : 25924 (java) S 25921 25924 22644 0 -1 1077944320 24928 0 0 0 427 14 0 0 20 0 15 0 39512006 10917003264 91769 33554432000 4194304 4196468 140724174128480 140724174111024 139686417813239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
/proc/25924/statm: 2665284 91769 3146 1 0 2627775 0
[pid=25924/tid=25926] ppid=25921 vsize=10661136 memory=6791534058613427641 CPUtime=1.38 cores=0,2,4,6
/proc/25924/task/25926/stat : 25926 (java) R 25921 25924 22644 0 -1 4202560 6131 0 0 0 133 5 0 0 20 0 15 0 39512006 10917003264 91769 33554432000 4194304 4196468 140724174128480 139686422048944 139686048624923 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25927] ppid=25921 vsize=10661136 memory=-6951259422114956437 CPUtime=0.06 cores=0,2,4,6
/proc/25924/task/25927/stat : 25927 (java) S 25921 25924 22644 0 -1 1077944384 140 0 0 0 5 1 0 0 20 0 15 0 39512007 10917003264 91769 33554432000 4194304 4196468 140724174128480 139686370433680 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25928] ppid=25921 vsize=10661136 memory=-6509546260019855299 CPUtime=0.04 cores=0,2,4,6
/proc/25924/task/25928/stat : 25928 (java) S 25921 25924 22644 0 -1 1077944384 30 0 0 0 3 1 0 0 20 0 15 0 39512007 10917003264 91769 33554432000 4194304 4196468 140724174128480 139686369380880 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25929] ppid=25921 vsize=10661136 memory=-7390251449858225344 CPUtime=0.04 cores=0,2,4,6
/proc/25924/task/25929/stat : 25929 (java) S 25921 25924 22644 0 -1 1077944384 53 0 0 0 3 1 0 0 20 0 15 0 39512007 10917003264 91769 33554432000 4194304 4196468 140724174128480 139686368328080 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25930] ppid=25921 vsize=10661136 memory=4134692831991786133 CPUtime=0.04 cores=0,2,4,6
/proc/25924/task/25930/stat : 25930 (java) S 25921 25924 22644 0 -1 1077944384 166 0 0 0 3 1 0 0 20 0 15 0 39512007 10917003264 91769 33554432000 4194304 4196468 140724174128480 139686367275280 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25931] ppid=25921 vsize=10661136 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25931/stat : 25931 (java) S 25921 25924 22644 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 39512009 10917003264 91769 33554432000 4194304 4196468 140724174128480 139685976796016 139686417824386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
################
# More data... #
################
/proc/25924/task/25929/stat : 25929 (java) S 25921 25924 22644 0 -1 1077944384 2240 0 0 0 236 20 0 0 20 0 16 0 39512007 10985164800 384126 33554432000 4194304 4196468 140724174128480 139686368328080 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25930] ppid=25921 vsize=10727700 memory=1536504 CPUtime=2.58 cores=0,2,4,6
/proc/25924/task/25930/stat : 25930 (java) S 25921 25924 22644 0 -1 1077944384 5567 0 0 0 239 19 0 0 20 0 16 0 39512007 10985164800 384126 33554432000 4194304 4196468 140724174128480 139686367275280 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25931] ppid=25921 vsize=10727700 memory=1536504 CPUtime=0.91 cores=0,2,4,6
/proc/25924/task/25931/stat : 25931 (java) S 25921 25924 22644 0 -1 1077944384 6292 0 0 0 89 2 0 0 20 0 16 0 39512009 10985164800 384126 33554432000 4194304 4196468 140724174128480 139685976796016 139686417824386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25932] ppid=25921 vsize=10727700 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25932/stat : 25932 (java) S 25921 25924 22644 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 39512009 10985164800 384126 33554432000 4194304 4196468 140724174128480 139685975742048 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25933] ppid=25921 vsize=10727700 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25933/stat : 25933 (java) S 25921 25924 22644 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 39512009 10985164800 384126 33554432000 4194304 4196468 140724174128480 139685974689152 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25934] ppid=25921 vsize=10727700 memory=1536504 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25934/stat : 25934 (java) S 25921 25924 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39512012 10985164800 384126 33554432000 4194304 4196468 140724174128480 139685973637456 139686417831835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25935] ppid=25921 vsize=10727700 memory=1536504 CPUtime=2.1 cores=0,2,4,6
/proc/25924/task/25935/stat : 25935 (java) S 25921 25924 22644 0 -1 1077944384 12201 0 0 0 208 2 0 0 20 0 16 0 39512012 10985164800 384126 33554432000 4194304 4196468 140724174128480 139685972584816 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25936] ppid=25921 vsize=10727700 memory=1536504 CPUtime=1.96 cores=0,2,4,6
/proc/25924/task/25936/stat : 25936 (java) S 25921 25924 22644 0 -1 1077944384 10195 0 0 0 195 1 0 0 20 0 16 0 39512012 10985164800 384126 33554432000 4194304 4196468 140724174128480 139685971532016 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25937] ppid=25921 vsize=10727700 memory=2240 CPUtime=0.6 cores=0,2,4,6
/proc/25924/task/25937/stat : 25937 (java) S 25921 25924 22644 0 -1 1077944384 6287 0 0 0 59 1 0 0 20 0 16 0 39512012 10985164800 384126 33554432000 4194304 4196468 140724174128480 139685970479216 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25938] ppid=25921 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25938/stat : 25938 (java) S 25921 25924 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39512012 10985164800 384126 33554432000 4194304 4196468 140724174128480 139685969426656 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25939] ppid=25921 vsize=10727700 memory=7888 CPUtime=1.3 cores=0,2,4,6
/proc/25924/task/25939/stat : 25939 (java) S 25921 25924 22644 0 -1 1077944384 3145 0 0 0 67 63 0 0 20 0 16 0 39512012 10985164800 384126 33554432000 4194304 4196468 140724174128480 139685968374960 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25940] ppid=25921 vsize=10727700 memory=796 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25940/stat : 25940 (java) S 25921 25924 22644 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39512584 10985164800 384126 33554432000 4194304 4196468 140724174128480 139685965223344 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
Current children cumulated CPU time: 2335.96 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1536504 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/218 26112
/proc/meminfo: memFree=25504376/32770624 swapFree=67108860/67108860
[pid=25924] ppid=25921 vsize=10727700 memory=1536512 CPUtime=2395.99 cores=0,2,4,6
/proc/25924/stat : 25924 (java) S 25921 25924 22644 0 -1 1077944320 101315 0 0 0 239448 151 0 0 20 0 16 0 39512006 10985164800 384128 33554432000 4194304 4196468 140724174128480 140724174111024 139686417813239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
/proc/25924/statm: 2681925 384128 3190 1 0 2644416 0
[pid=25924/tid=25926] ppid=25921 vsize=10727700 memory=1536504 CPUtime=2378.69 cores=0,2,4,6
/proc/25924/task/25926/stat : 25926 (java) R 25921 25924 22644 0 -1 4202560 49828 0 0 0 237854 15 0 0 20 0 16 0 39512006 10985164800 384128 33554432000 4194304 4196468 140724174128480 139686422050136 139686049804153 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25927] ppid=25921 vsize=10727700 memory=0 CPUtime=2.59 cores=0,2,4,6
/proc/25924/task/25927/stat : 25927 (java) S 25921 25924 22644 0 -1 1077944384 2641 0 0 0 238 21 0 0 20 0 16 0 39512007 10985164800 384128 33554432000 4194304 4196468 140724174128480 139686370433680 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25928] ppid=25921 vsize=10727700 memory=281301299703840 CPUtime=2.56 cores=0,2,4,6
/proc/25924/task/25928/stat : 25928 (java) S 25921 25924 22644 0 -1 1077944384 1453 0 0 0 237 19 0 0 20 0 16 0 39512007 10985164800 384128 33554432000 4194304 4196468 140724174128480 139686369380880 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25929] ppid=25921 vsize=10727700 memory=256 CPUtime=2.56 cores=0,2,4,6
/proc/25924/task/25929/stat : 25929 (java) S 25921 25924 22644 0 -1 1077944384 2240 0 0 0 236 20 0 0 20 0 16 0 39512007 10985164800 384128 33554432000 4194304 4196468 140724174128480 139686368328080 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25930] ppid=25921 vsize=10727700 memory=1536512 CPUtime=2.58 cores=0,2,4,6
/proc/25924/task/25930/stat : 25930 (java) S 25921 25924 22644 0 -1 1077944384 5567 0 0 0 239 19 0 0 20 0 16 0 39512007 10985164800 384128 33554432000 4194304 4196468 140724174128480 139686367275280 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25931] ppid=25921 vsize=10727700 memory=1536512 CPUtime=0.91 cores=0,2,4,6
/proc/25924/task/25931/stat : 25931 (java) S 25921 25924 22644 0 -1 1077944384 6297 0 0 0 89 2 0 0 20 0 16 0 39512009 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685976796016 139686417824386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25932] ppid=25921 vsize=10727700 memory=1536512 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25932/stat : 25932 (java) S 25921 25924 22644 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 39512009 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685975742048 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25933] ppid=25921 vsize=10727700 memory=1536504 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25933/stat : 25933 (java) S 25921 25924 22644 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 39512009 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685974689152 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25934] ppid=25921 vsize=10727700 memory=1536512 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25934/stat : 25934 (java) S 25921 25924 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39512012 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685973637456 139686417831835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25935] ppid=25921 vsize=10727700 memory=4140 CPUtime=2.1 cores=0,2,4,6
/proc/25924/task/25935/stat : 25935 (java) S 25921 25924 22644 0 -1 1077944384 12203 0 0 0 208 2 0 0 20 0 16 0 39512012 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685972584816 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25936] ppid=25921 vsize=10727700 memory=1536504 CPUtime=1.96 cores=0,2,4,6
/proc/25924/task/25936/stat : 25936 (java) S 25921 25924 22644 0 -1 1077944384 10204 0 0 0 195 1 0 0 20 0 16 0 39512012 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685971532016 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25937] ppid=25921 vsize=10727700 memory=1952 CPUtime=0.6 cores=0,2,4,6
/proc/25924/task/25937/stat : 25937 (java) S 25921 25924 22644 0 -1 1077944384 6289 0 0 0 59 1 0 0 20 0 16 0 39512012 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685970479216 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25938] ppid=25921 vsize=10727700 memory=1536512 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25938/stat : 25938 (java) S 25921 25924 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39512012 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685969426656 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25939] ppid=25921 vsize=10727700 memory=4140 CPUtime=1.34 cores=0,2,4,6
/proc/25924/task/25939/stat : 25939 (java) S 25921 25924 22644 0 -1 1077944384 3177 0 0 0 69 65 0 0 20 0 16 0 39512012 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685968374960 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25940] ppid=25921 vsize=10727700 memory=7888 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25940/stat : 25940 (java) S 25921 25924 22644 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39512584 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685965223344 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
Current children cumulated CPU time: 2395.99 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1536512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2386.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/218 26112
/proc/meminfo: memFree=25504632/32770624 swapFree=67108860/67108860
[pid=25924] ppid=25921 vsize=10727700 memory=1536512 CPUtime=2400.09 cores=0,2,4,6
/proc/25924/stat : 25924 (java) S 25921 25924 22644 0 -1 1077944320 101443 0 0 0 239858 151 0 0 20 0 16 0 39512006 10985164800 384128 33554432000 4194304 4196468 140724174128480 140724174111024 139686417813239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
/proc/25924/statm: 2681925 384128 3190 1 0 2644416 0
[pid=25924/tid=25926] ppid=25921 vsize=10727700 memory=14004 CPUtime=2382.79 cores=0,2,4,6
/proc/25924/task/25926/stat : 25926 (java) R 25921 25924 22644 0 -1 4202560 49956 0 0 0 238264 15 0 0 20 0 16 0 39512006 10985164800 384128 33554432000 4194304 4196468 140724174128480 139686422050136 139686043791433 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25927] ppid=25921 vsize=10727700 memory=796 CPUtime=2.59 cores=0,2,4,6
/proc/25924/task/25927/stat : 25927 (java) S 25921 25924 22644 0 -1 1077944384 2641 0 0 0 238 21 0 0 20 0 16 0 39512007 10985164800 384128 33554432000 4194304 4196468 140724174128480 139686370433680 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25928] ppid=25921 vsize=10727700 memory=6791534058613427641 CPUtime=2.56 cores=0,2,4,6
/proc/25924/task/25928/stat : 25928 (java) S 25921 25924 22644 0 -1 1077944384 1453 0 0 0 237 19 0 0 20 0 16 0 39512007 10985164800 384128 33554432000 4194304 4196468 140724174128480 139686369380880 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25929] ppid=25921 vsize=10727700 memory=2440404 CPUtime=2.56 cores=0,2,4,6
/proc/25924/task/25929/stat : 25929 (java) S 25921 25924 22644 0 -1 1077944384 2240 0 0 0 236 20 0 0 20 0 16 0 39512007 10985164800 384128 33554432000 4194304 4196468 140724174128480 139686368328080 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25930] ppid=25921 vsize=10727700 memory=4108 CPUtime=2.58 cores=0,2,4,6
/proc/25924/task/25930/stat : 25930 (java) S 25921 25924 22644 0 -1 1077944384 5567 0 0 0 239 19 0 0 20 0 16 0 39512007 10985164800 384128 33554432000 4194304 4196468 140724174128480 139686367275280 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25931] ppid=25921 vsize=10727700 memory=732 CPUtime=0.91 cores=0,2,4,6
/proc/25924/task/25931/stat : 25931 (java) S 25921 25924 22644 0 -1 1077944384 6297 0 0 0 89 2 0 0 20 0 16 0 39512009 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685976796016 139686417824386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25932] ppid=25921 vsize=10727700 memory=1536512 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25932/stat : 25932 (java) S 25921 25924 22644 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 39512009 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685975742048 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25933] ppid=25921 vsize=10727700 memory=1536512 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25933/stat : 25933 (java) S 25921 25924 22644 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 39512009 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685974689152 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25934] ppid=25921 vsize=10727700 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25934/stat : 25934 (java) S 25921 25924 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39512012 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685973637456 139686417831835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25935] ppid=25921 vsize=10727700 memory=8356 CPUtime=2.1 cores=0,2,4,6
/proc/25924/task/25935/stat : 25935 (java) S 25921 25924 22644 0 -1 1077944384 12203 0 0 0 208 2 0 0 20 0 16 0 39512012 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685972584816 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25936] ppid=25921 vsize=10727700 memory=5520 CPUtime=1.96 cores=0,2,4,6
/proc/25924/task/25936/stat : 25936 (java) S 25921 25924 22644 0 -1 1077944384 10204 0 0 0 195 1 0 0 20 0 16 0 39512012 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685971532016 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25937] ppid=25921 vsize=10727700 memory=4616 CPUtime=0.6 cores=0,2,4,6
/proc/25924/task/25937/stat : 25937 (java) S 25921 25924 22644 0 -1 1077944384 6289 0 0 0 59 1 0 0 20 0 16 0 39512012 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685970479216 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25938] ppid=25921 vsize=10727700 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25938/stat : 25938 (java) S 25921 25924 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39512012 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685969426656 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25939] ppid=25921 vsize=10727700 memory=1424 CPUtime=1.34 cores=0,2,4,6
/proc/25924/task/25939/stat : 25939 (java) S 25921 25924 22644 0 -1 1077944384 3177 0 0 0 69 65 0 0 20 0 16 0 39512012 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685968374960 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25940] ppid=25921 vsize=10727700 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25940/stat : 25940 (java) S 25921 25924 22644 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39512584 10985164800 384128 33554432000 4194304 4196468 140724174128480 139685965223344 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 1536512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2386.68 s]
# the end of solver process 25924 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.7 s, system=1.52726 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2386.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/218 26112
/proc/meminfo: memFree=25504632/32770624 swapFree=67108860/67108860
[pid=25924] ppid=25921 vsize=10927392 memory=1536748 CPUtime=2400.12 cores=0,2,4,6
/proc/25924/stat : 25924 (java) S 25921 25924 22644 0 -1 1077944320 101861 0 0 0 239861 151 0 0 20 0 17 0 39512006 11189649408 384187 33554432000 4194304 4196468 140724174128480 140724174111024 139686417813239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
/proc/25924/statm: 2731848 384187 3192 1 0 2694339 0
[pid=25924/tid=25926] ppid=25921 vsize=10927392 memory=4052 CPUtime=2382.81 cores=0,2,4,6
/proc/25924/task/25926/stat : 25926 (java) S 25921 25924 22644 0 -1 1077944384 49998 0 0 0 238266 15 0 0 20 0 17 0 39512006 11189649408 384187 33554432000 4194304 4196468 140724174128480 139686422056112 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25927] ppid=25921 vsize=10927392 memory=1536512 CPUtime=2.59 cores=0,2,4,6
/proc/25924/task/25927/stat : 25927 (java) S 25921 25924 22644 0 -1 1077944384 2641 0 0 0 238 21 0 0 20 0 17 0 39512007 11189649408 384187 33554432000 4194304 4196468 140724174128480 139686370433680 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25928] ppid=25921 vsize=10927392 memory=4872558044660077418 CPUtime=2.56 cores=0,2,4,6
/proc/25924/task/25928/stat : 25928 (java) S 25921 25924 22644 0 -1 1077944384 1453 0 0 0 237 19 0 0 20 0 17 0 39512007 11189649408 384187 33554432000 4194304 4196468 140724174128480 139686369380880 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25929] ppid=25921 vsize=10927392 memory=1712 CPUtime=2.56 cores=0,2,4,6
/proc/25924/task/25929/stat : 25929 (java) S 25921 25924 22644 0 -1 1077944384 2240 0 0 0 236 20 0 0 20 0 17 0 39512007 11189649408 384187 33554432000 4194304 4196468 140724174128480 139686368328080 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25930] ppid=25921 vsize=10927392 memory=14088 CPUtime=2.58 cores=0,2,4,6
/proc/25924/task/25930/stat : 25930 (java) S 25921 25924 22644 0 -1 1077944384 5567 0 0 0 239 19 0 0 20 0 17 0 39512007 11189649408 384187 33554432000 4194304 4196468 140724174128480 139686367275280 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25931] ppid=25921 vsize=10927392 memory=1296 CPUtime=0.91 cores=0,2,4,6
/proc/25924/task/25931/stat : 25931 (java) S 25921 25924 22644 0 -1 1077944384 6321 0 0 0 89 2 0 0 20 0 17 0 39512009 11189649408 384187 33554432000 4194304 4196468 140724174128480 139685976796016 139686417824386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25932] ppid=25921 vsize=10927392 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25932/stat : 25932 (java) S 25921 25924 22644 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 39512009 11189649408 384187 33554432000 4194304 4196468 140724174128480 139685975742048 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25933] ppid=25921 vsize=10927392 memory=796 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25933/stat : 25933 (java) S 25921 25924 22644 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 17 0 39512009 11189649408 384187 33554432000 4194304 4196468 140724174128480 139685974689152 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25934] ppid=25921 vsize=10927392 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25934/stat : 25934 (java) S 25921 25924 22644 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 17 0 39512012 11189649408 384187 33554432000 4194304 4196468 140724174128480 139685973637456 139686417831835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25935] ppid=25921 vsize=10927392 memory=1952 CPUtime=2.1 cores=0,2,4,6
/proc/25924/task/25935/stat : 25935 (java) S 25921 25924 22644 0 -1 1077944384 12203 0 0 0 208 2 0 0 20 0 17 0 39512012 11189649408 384187 33554432000 4194304 4196468 140724174128480 139685972584816 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25936] ppid=25921 vsize=10927392 memory=1196 CPUtime=1.96 cores=0,2,4,6
/proc/25924/task/25936/stat : 25936 (java) S 25921 25924 22644 0 -1 1077944384 10204 0 0 0 195 1 0 0 20 0 17 0 39512012 11189649408 384187 33554432000 4194304 4196468 140724174128480 139685971532016 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25937] ppid=25921 vsize=10927392 memory=8356 CPUtime=0.61 cores=0,2,4,6
/proc/25924/task/25937/stat : 25937 (java) S 25921 25924 22644 0 -1 1077944384 6380 0 0 0 59 2 0 0 20 0 17 0 39512012 11189649408 384187 33554432000 4194304 4196468 140724174128480 139685970479216 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25938] ppid=25921 vsize=10927392 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/25924/task/25938/stat : 25938 (java) S 25921 25924 22644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39512012 11189649408 384187 33554432000 4194304 4196468 140724174128480 139685969426656 139686417823445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
[pid=25924/tid=25939] ppid=25921 vsize=10927392 memory=4616 CPUtime=1.34 cores=0,2,4,6
/proc/25924/task/25939/stat : 25939 (java) S 25921 25924 22644 0 -1 1077944384 3177 0 0 0 69 65 0 0 20 0 17 0 39512012 11189649408 384187 33554432000 4194304 4196468 140724174128480 139685968374960 139686417824386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29515776 140724174132337 140724174132489 140724174132489 140724174135247 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 1536748 KiB
Child status: 143
Real time (s): 2386.68
CPU time (s): 2400.23
CPU user time (s): 2398.7
CPU system time (s): 1.52726
CPU usage (%): 100.568
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 1536748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.7
system time used= 1.52726
maximum resident set size= 1537088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102115
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54889
involuntary context switches= 2127
# summary of solver processes directly reported to runsolver:
# pid: 25924
# total CPU time (s): 2400.23
# total CPU user time (s): 2398.7
# total CPU system time (s): 1.52726
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7988 second user time and 25.6837 second system time
The end