runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3737767-1338755135/watcher-3737767-1338755135 -o /tmp/evaluation-result-3737767-1338755135/solver-3737767-1338755135 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3737767-1338755135.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: 3.40 3.65 3.46 4/197 19102
/proc/meminfo: memFree=26737792/32873648 swapFree=6860/6860
[pid=19102] ppid=19100 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/19102/stat : 19102 (java6) D 19100 19102 17435 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 341639575 2560000 46 33554432000 1073741824 1073778376 140734303622704 140734303619832 266426477863 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/19102/statm: 625 46 37 9 0 29 0
[startup+0.062718 s]
/proc/loadavg: 3.40 3.65 3.46 4/197 19102
/proc/meminfo: memFree=26737792/32873648 swapFree=6860/6860
[pid=19102] ppid=19100 vsize=2367080 CPUtime=0.03 cores=0,2,4,6
/proc/19102/stat : 19102 (java) S 19100 19102 17435 0 -1 4202496 3741 0 1 0 2 1 0 0 20 0 13 0 341639575 2423889920 4949 33554432000 1073741824 1073778376 140736627525504 140736627516640 266439000125 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19102/statm: 591770 4949 1708 9 0 582471 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2367080
[startup+0.10026 s]
/proc/loadavg: 3.40 3.65 3.46 4/197 19102
/proc/meminfo: memFree=26737792/32873648 swapFree=6860/6860
[pid=19102] ppid=19100 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/19102/stat : 19102 (java) S 19100 19102 17435 0 -1 4202496 4147 0 1 0 6 1 0 0 20 0 18 0 341639575 2764726272 5866 33554432000 1073741824 1073778376 140736627525504 140736627516640 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19102/statm: 674982 5866 1933 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.300167 s]
/proc/loadavg: 3.40 3.65 3.46 4/197 19102
/proc/meminfo: memFree=26737792/32873648 swapFree=6860/6860
[pid=19102] ppid=19100 vsize=2699928 CPUtime=0.42 cores=0,2,4,6
/proc/19102/stat : 19102 (java) S 19100 19102 17435 0 -1 4202496 5530 0 1 0 41 1 0 0 20 0 18 0 341639575 2764726272 8092 33554432000 1073741824 1073778376 140736627525504 140736627516640 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19102/statm: 674982 8092 2217 9 0 665676 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 2699928
[startup+0.700234 s]
/proc/loadavg: 3.40 3.65 3.46 4/197 19102
/proc/meminfo: memFree=26737792/32873648 swapFree=6860/6860
[pid=19102] ppid=19100 vsize=2699928 CPUtime=1.03 cores=0,2,4,6
/proc/19102/stat : 19102 (java) S 19100 19102 17435 0 -1 4202496 8818 0 1 0 101 2 0 0 20 0 18 0 341639575 2764726272 13086 33554432000 1073741824 1073778376 140736627525504 140736627516640 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19102/statm: 674982 13089 2232 9 0 665676 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 2699928
[startup+1.5006 s]
/proc/loadavg: 3.40 3.65 3.46 4/215 19120
/proc/meminfo: memFree=26678616/32873648 swapFree=6860/6860
[pid=19102] ppid=19100 vsize=2699928 CPUtime=2.1 cores=0,2,4,6
/proc/19102/stat : 19102 (java) S 19100 19102 17435 0 -1 4202496 13251 0 1 0 207 3 0 0 20 0 18 0 341639575 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 140736627516640 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19102/statm: 674982 18900 2236 9 0 665676 0
[pid=19102/tid=19104] ppid=19100 vsize=2699928 CPUtime=1.45 cores=0,2,4,6
/proc/19102/task/19104/stat : 19104 (java) R 19100 19102 17435 0 -1 4202560 2799 0 1 0 144 1 0 0 20 0 18 0 341639576 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724251275736 139724094594187 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19105] ppid=19100 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19105/stat : 19105 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341639578 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724235557160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19106] ppid=19100 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19106/stat : 19106 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341639578 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724234504360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19107] ppid=19100 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19107/stat : 19107 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341639578 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724233452072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19102/tid=19108] ppid=19100 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19108/stat : 19108 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341639578 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724232399272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19109] ppid=19100 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19109/stat : 19109 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341639578 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724231346984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19110] ppid=19100 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19110/stat : 19110 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341639578 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724230294184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19111] ppid=19100 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19111/stat : 19111 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341639578 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724229241896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19112] ppid=19100 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19112/stat : 19112 (java) S 19100 19102 17435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341639578 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724228189096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19113] ppid=19100 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19113/stat : 19113 (java) S 19100 19102 17435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341639579 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724215777512 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19114] ppid=19100 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19114/stat : 19114 (java) S 19100 19102 17435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341639580 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724214723576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19115] ppid=19100 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19115/stat : 19115 (java) S 19100 19102 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341639580 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724213671176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19116] ppid=19100 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19116/stat : 19116 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341639582 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724094171536 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19117] ppid=19100 vsize=2699928 CPUtime=0.38 cores=0,2,4,6
/proc/19102/task/19117/stat : 19117 (java) S 19100 19102 17435 0 -1 4202560 6714 0 0 0 37 1 0 0 20 0 18 0 341639582 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724093119160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19118] ppid=19100 vsize=2699928 CPUtime=0.22 cores=0,2,4,6
/proc/19102/task/19118/stat : 19118 (java) S 19100 19102 17435 0 -1 4202560 2552 0 0 0 22 0 0 0 20 0 18 0 341639582 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724092066360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19119] ppid=19100 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19119/stat : 19119 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341639582 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724091014264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19120] ppid=19100 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19120/stat : 19120 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341639582 2764726272 18900 33554432000 1073741824 1073778376 140736627525504 139724089961672 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 2699928
[startup+3.10062 s]
/proc/loadavg: 3.40 3.65 3.46 3/215 19120
/proc/meminfo: memFree=26657640/32873648 swapFree=6860/6860
[pid=19102] ppid=19100 vsize=2966184 CPUtime=5.95 cores=0,2,4,6
/proc/19102/stat : 19102 (java) S 19100 19102 17435 0 -1 4202496 19036 0 1 0 587 8 0 0 20 0 22 0 341639575 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 140736627516640 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19102/statm: 741546 71166 2256 9 0 732240 0
[pid=19102/tid=19104] ppid=19100 vsize=2966184 CPUtime=2.12 cores=0,2,4,6
/proc/19102/task/19104/stat : 19104 (java) S 19100 19102 17435 0 -1 4202560 2819 0 1 0 210 2 0 0 20 0 22 0 341639576 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724251276440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19105] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19105/stat : 19105 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639578 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724235557160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19106] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19106/stat : 19106 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639578 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724234504360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19107] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19107/stat : 19107 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639578 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724233452072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19102/tid=19108] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19108/stat : 19108 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639578 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724232399272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19109] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19109/stat : 19109 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639578 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724231346984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19110] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19110/stat : 19110 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639578 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724230294184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19111] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19111/stat : 19111 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639578 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724229241896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19112] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19112/stat : 19112 (java) S 19100 19102 17435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341639578 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724228189096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19113] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19113/stat : 19113 (java) S 19100 19102 17435 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341639579 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724215777512 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19114] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19114/stat : 19114 (java) S 19100 19102 17435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 341639580 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724214723576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19115] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19115/stat : 19115 (java) S 19100 19102 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341639580 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724213671176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19116] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19116/stat : 19116 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639582 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724094171536 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19117] ppid=19100 vsize=2966184 CPUtime=1.04 cores=0,2,4,6
/proc/19102/task/19117/stat : 19117 (java) S 19100 19102 17435 0 -1 4202560 6731 0 0 0 102 2 0 0 20 0 22 0 341639582 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724093119160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19118] ppid=19100 vsize=2966184 CPUtime=0.9 cores=0,2,4,6
/proc/19102/task/19118/stat : 19118 (java) R 19100 19102 17435 0 -1 4202560 8097 0 0 0 88 2 0 0 20 0 22 0 341639582 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724092066360 139724257118931 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19119] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19119/stat : 19119 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639582 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724091014264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19120] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19120/stat : 19120 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639582 3037372416 71166 33554432000 1073741824 1073778376 140736627525504 139724089961672 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 2966184
[startup+6.30073 s]
/proc/loadavg: 3.61 3.68 3.47 5/219 19124
/proc/meminfo: memFree=26259116/32873648 swapFree=6860/6860
[pid=19102] ppid=19100 vsize=2966184 CPUtime=12.62 cores=0,2,4,6
/proc/19102/stat : 19102 (java) S 19100 19102 17435 0 -1 4202496 20995 0 1 0 1245 17 0 0 20 0 22 0 341639575 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 140736627516640 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19102/statm: 741546 120874 2284 9 0 732240 0
[pid=19102/tid=19104] ppid=19100 vsize=2966184 CPUtime=2.12 cores=0,2,4,6
/proc/19102/task/19104/stat : 19104 (java) S 19100 19102 17435 0 -1 4202560 2819 0 1 0 210 2 0 0 20 0 22 0 341639576 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724251276440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19105] ppid=19100 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/19102/task/19105/stat : 19105 (java) S 19100 19102 17435 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 341639578 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724235557160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19102/tid=19106] ppid=19100 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/19102/task/19106/stat : 19106 (java) S 19100 19102 17435 0 -1 4202560 31 0 0 0 4 1 0 0 20 0 22 0 341639578 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724234504360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19107] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19107/stat : 19107 (java) S 19100 19102 17435 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 341639578 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724233452072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19108] ppid=19100 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/19102/task/19108/stat : 19108 (java) S 19100 19102 17435 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 22 0 341639578 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724232399272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19109] ppid=19100 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/19102/task/19109/stat : 19109 (java) S 19100 19102 17435 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 341639578 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724231346984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19110] ppid=19100 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/19102/task/19110/stat : 19110 (java) S 19100 19102 17435 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 341639578 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724230294184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19111] ppid=19100 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/19102/task/19111/stat : 19111 (java) S 19100 19102 17435 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 341639578 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724229241896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19112] ppid=19100 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/19102/task/19112/stat : 19112 (java) S 19100 19102 17435 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 341639578 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724228189096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19113] ppid=19100 vsize=2966184 CPUtime=0.07 cores=0,2,4,6
/proc/19102/task/19113/stat : 19113 (java) S 19100 19102 17435 0 -1 4202560 59 0 0 0 7 0 0 0 20 0 22 0 341639579 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724215777512 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19114] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19114/stat : 19114 (java) S 19100 19102 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341639580 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724214723576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19115] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19115/stat : 19115 (java) S 19100 19102 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341639580 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724213671176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19116] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19116/stat : 19116 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639582 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724094171536 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19117] ppid=19100 vsize=2966184 CPUtime=1.05 cores=0,2,4,6
/proc/19102/task/19117/stat : 19117 (java) S 19100 19102 17435 0 -1 4202560 6738 0 0 0 103 2 0 0 20 0 22 0 341639582 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724093119160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19118] ppid=19100 vsize=2966184 CPUtime=1.12 cores=0,2,4,6
/proc/19102/task/19118/stat : 19118 (java) S 19100 19102 17435 0 -1 4202560 9797 0 0 0 110 2 0 0 20 0 22 0 341639582 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724092066360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19119] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19119/stat : 19119 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639582 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724091014264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19120] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19120/stat : 19120 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639582 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724089961672 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19121] ppid=19100 vsize=2966184 CPUtime=3.95 cores=0,2,4,6
/proc/19102/task/19121/stat : 19121 (java) R 19100 19102 17435 0 -1 4202560 120 0 0 0 391 4 0 0 20 0 22 0 341639791 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724088904128 139724095037468 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=19102/tid=19122] ppid=19100 vsize=2966184 CPUtime=3.94 cores=0,2,4,6
/proc/19102/task/19122/stat : 19122 (java) R 19100 19102 17435 0 -1 4202560 121 0 0 0 391 3 0 0 20 0 22 0 341639791 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724087851560 139724095056672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19123] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19123/stat : 19123 (java) S 19100 19102 17435 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341639792 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724086801576 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19124] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19124/stat : 19124 (java) S 19100 19102 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341639793 3037372416 120874 33554432000 1073741824 1073778376 140736627525504 139724085748776 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 2966184
################
# More data... #
################
[pid=19102/tid=19122] ppid=19100 vsize=2966184 CPUtime=731.13 cores=0,2,4,6
/proc/19102/task/19122/stat : 19122 (java) R 19100 19102 17435 0 -1 4202560 513 0 0 0 73097 16 0 0 20 0 22 0 341639791 3037372416 184445 33554432000 1073741824 1073778376 140736627525504 139724087851136 139724094656030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19123] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19123/stat : 19123 (java) S 19100 19102 17435 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341639792 3037372416 184445 33554432000 1073741824 1073778376 140736627525504 139724086801576 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19124] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19124/stat : 19124 (java) S 19100 19102 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341639793 3037372416 184445 33554432000 1073741824 1073778376 140736627525504 139724085748776 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1518.65
Current children cumulated vsize (KiB) 2966184
[startup+822.301 s]
/proc/loadavg: 3.97 3.96 3.75 5/219 19131
/proc/meminfo: memFree=25844056/32873648 swapFree=6860/6860
[pid=19102] ppid=19100 vsize=2966184 CPUtime=1637.53 cores=0,2,4,6
/proc/19102/stat : 19102 (java) S 19100 19102 17435 0 -1 4202496 29889 0 1 0 163633 120 0 0 20 0 22 0 341639575 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 140736627516640 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19102/statm: 741546 186493 2285 9 0 732240 0
[pid=19102/tid=19104] ppid=19100 vsize=2966184 CPUtime=2.14 cores=0,2,4,6
/proc/19102/task/19104/stat : 19104 (java) S 19100 19102 17435 0 -1 4202560 2844 0 1 0 212 2 0 0 20 0 22 0 341639576 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724251276440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19105] ppid=19100 vsize=2966184 CPUtime=4.55 cores=0,2,4,6
/proc/19102/task/19105/stat : 19105 (java) S 19100 19102 17435 0 -1 4202560 322 0 0 0 449 6 0 0 20 0 22 0 341639578 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724235557160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19106] ppid=19100 vsize=2966184 CPUtime=4.28 cores=0,2,4,6
/proc/19102/task/19106/stat : 19106 (java) S 19100 19102 17435 0 -1 4202560 327 0 0 0 421 7 0 0 20 0 22 0 341639578 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724234504360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19107] ppid=19100 vsize=2966184 CPUtime=4.26 cores=0,2,4,6
/proc/19102/task/19107/stat : 19107 (java) S 19100 19102 17435 0 -1 4202560 307 0 0 0 420 6 0 0 20 0 22 0 341639578 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724233452072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19102/tid=19108] ppid=19100 vsize=2966184 CPUtime=4.33 cores=0,2,4,6
/proc/19102/task/19108/stat : 19108 (java) S 19100 19102 17435 0 -1 4202560 305 0 0 0 427 6 0 0 20 0 22 0 341639578 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724232399272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19102/tid=19109] ppid=19100 vsize=2966184 CPUtime=4.19 cores=0,2,4,6
/proc/19102/task/19109/stat : 19109 (java) S 19100 19102 17435 0 -1 4202560 302 0 0 0 413 6 0 0 20 0 22 0 341639578 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724231346984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19110] ppid=19100 vsize=2966184 CPUtime=4.28 cores=0,2,4,6
/proc/19102/task/19110/stat : 19110 (java) S 19100 19102 17435 0 -1 4202560 313 0 0 0 422 6 0 0 20 0 22 0 341639578 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724230294184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19111] ppid=19100 vsize=2966184 CPUtime=4.39 cores=0,2,4,6
/proc/19102/task/19111/stat : 19111 (java) S 19100 19102 17435 0 -1 4202560 315 0 0 0 432 7 0 0 20 0 22 0 341639578 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724229241896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19102/tid=19112] ppid=19100 vsize=2966184 CPUtime=4.4 cores=0,2,4,6
/proc/19102/task/19112/stat : 19112 (java) S 19100 19102 17435 0 -1 4202560 329 0 0 0 433 7 0 0 20 0 22 0 341639578 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724228189096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19102/tid=19113] ppid=19100 vsize=2966184 CPUtime=21.7 cores=0,2,4,6
/proc/19102/task/19113/stat : 19113 (java) S 19100 19102 17435 0 -1 4202560 116 0 0 0 2127 43 0 0 20 0 22 0 341639579 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724215777512 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19114] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19114/stat : 19114 (java) S 19100 19102 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341639580 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724214723576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19115] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19115/stat : 19115 (java) S 19100 19102 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341639580 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724213671176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19116] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19116/stat : 19116 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639582 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724094171536 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19117] ppid=19100 vsize=2966184 CPUtime=1.26 cores=0,2,4,6
/proc/19102/task/19117/stat : 19117 (java) S 19100 19102 17435 0 -1 4202560 6756 0 0 0 124 2 0 0 20 0 22 0 341639582 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724093119160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19118] ppid=19100 vsize=2966184 CPUtime=1.76 cores=0,2,4,6
/proc/19102/task/19118/stat : 19118 (java) S 19100 19102 17435 0 -1 4202560 15335 0 0 0 173 3 0 0 20 0 22 0 341639582 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724092066360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19102/tid=19119] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19119/stat : 19119 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639582 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724091014264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19120] ppid=19100 vsize=2966184 CPUtime=0.28 cores=0,2,4,6
/proc/19102/task/19120/stat : 19120 (java) S 19100 19102 17435 0 -1 4202560 45 0 0 0 13 15 0 0 20 0 22 0 341639582 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724089961672 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19121] ppid=19100 vsize=2966184 CPUtime=788.05 cores=0,2,4,6
/proc/19102/task/19121/stat : 19121 (java) R 19100 19102 17435 0 -1 4202560 538 0 0 0 78788 17 0 0 20 0 22 0 341639791 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724088904976 139724095055216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19122] ppid=19100 vsize=2966184 CPUtime=788.09 cores=0,2,4,6
/proc/19102/task/19122/stat : 19122 (java) R 19100 19102 17435 0 -1 4202560 542 0 0 0 78792 17 0 0 20 0 22 0 341639791 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724087851296 139724095056672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19123] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19123/stat : 19123 (java) S 19100 19102 17435 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341639792 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724086801576 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19124] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19124/stat : 19124 (java) S 19100 19102 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341639793 3037372416 186493 33554432000 1073741824 1073778376 140736627525504 139724085748776 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1637.53
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.60 3.87 3.73 11/220 19260
/proc/meminfo: memFree=25873504/32873648 swapFree=6860/6860
[pid=19102] ppid=19100 vsize=2966184 CPUtime=1756.55 cores=0,2,4,6
/proc/19102/stat : 19102 (java) S 19100 19102 17435 0 -1 4202496 29959 0 1 0 175529 126 0 0 20 0 22 0 341639575 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 140736627516640 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19102/statm: 741546 187005 2285 9 0 732240 0
[pid=19102/tid=19104] ppid=19100 vsize=2966184 CPUtime=2.14 cores=0,2,4,6
/proc/19102/task/19104/stat : 19104 (java) S 19100 19102 17435 0 -1 4202560 2848 0 1 0 212 2 0 0 20 0 22 0 341639576 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724251276440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19105] ppid=19100 vsize=2966184 CPUtime=4.91 cores=0,2,4,6
/proc/19102/task/19105/stat : 19105 (java) S 19100 19102 17435 0 -1 4202560 323 0 0 0 484 7 0 0 20 0 22 0 341639578 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724235557160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19106] ppid=19100 vsize=2966184 CPUtime=4.67 cores=0,2,4,6
/proc/19102/task/19106/stat : 19106 (java) S 19100 19102 17435 0 -1 4202560 328 0 0 0 460 7 0 0 20 0 22 0 341639578 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724234504360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19107] ppid=19100 vsize=2966184 CPUtime=4.59 cores=0,2,4,6
/proc/19102/task/19107/stat : 19107 (java) S 19100 19102 17435 0 -1 4202560 308 0 0 0 453 6 0 0 20 0 22 0 341639578 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724233452072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19108] ppid=19100 vsize=2966184 CPUtime=4.62 cores=0,2,4,6
/proc/19102/task/19108/stat : 19108 (java) S 19100 19102 17435 0 -1 4202560 305 0 0 0 456 6 0 0 20 0 22 0 341639578 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724232399272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19109] ppid=19100 vsize=2966184 CPUtime=4.56 cores=0,2,4,6
/proc/19102/task/19109/stat : 19109 (java) S 19100 19102 17435 0 -1 4202560 302 0 0 0 450 6 0 0 20 0 22 0 341639578 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724231346984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19110] ppid=19100 vsize=2966184 CPUtime=4.64 cores=0,2,4,6
/proc/19102/task/19110/stat : 19110 (java) S 19100 19102 17435 0 -1 4202560 313 0 0 0 458 6 0 0 20 0 22 0 341639578 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724230294184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19111] ppid=19100 vsize=2966184 CPUtime=4.7 cores=0,2,4,6
/proc/19102/task/19111/stat : 19111 (java) S 19100 19102 17435 0 -1 4202560 315 0 0 0 463 7 0 0 20 0 22 0 341639578 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724229241896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19112] ppid=19100 vsize=2966184 CPUtime=4.74 cores=0,2,4,6
/proc/19102/task/19112/stat : 19112 (java) S 19100 19102 17435 0 -1 4202560 329 0 0 0 467 7 0 0 20 0 22 0 341639578 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724228189096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19113] ppid=19100 vsize=2966184 CPUtime=23.83 cores=0,2,4,6
/proc/19102/task/19113/stat : 19113 (java) S 19100 19102 17435 0 -1 4202560 120 0 0 0 2339 44 0 0 20 0 22 0 341639579 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724215777512 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19114] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19114/stat : 19114 (java) S 19100 19102 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341639580 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724214723576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19115] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19115/stat : 19115 (java) S 19100 19102 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341639580 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724213671176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19116] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19116/stat : 19116 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639582 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724094171536 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19117] ppid=19100 vsize=2966184 CPUtime=1.26 cores=0,2,4,6
/proc/19102/task/19117/stat : 19117 (java) S 19100 19102 17435 0 -1 4202560 6756 0 0 0 124 2 0 0 20 0 22 0 341639582 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724093119160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19118] ppid=19100 vsize=2966184 CPUtime=1.76 cores=0,2,4,6
/proc/19102/task/19118/stat : 19118 (java) S 19100 19102 17435 0 -1 4202560 15335 0 0 0 173 3 0 0 20 0 22 0 341639582 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724092066360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19102/tid=19119] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19119/stat : 19119 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639582 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724091014264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19120] ppid=19100 vsize=2966184 CPUtime=0.3 cores=0,2,4,6
/proc/19102/task/19120/stat : 19120 (java) S 19100 19102 17435 0 -1 4202560 49 0 0 0 14 16 0 0 20 0 22 0 341639582 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724089961672 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19121] ppid=19100 vsize=2966184 CPUtime=845.13 cores=0,2,4,6
/proc/19102/task/19121/stat : 19121 (java) R 19100 19102 17435 0 -1 4202560 567 0 0 0 84495 18 0 0 20 0 22 0 341639791 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724088904240 139724095540100 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19122] ppid=19100 vsize=2966184 CPUtime=845.18 cores=0,2,4,6
/proc/19102/task/19122/stat : 19122 (java) R 19100 19102 17435 0 -1 4202560 568 0 0 0 84500 18 0 0 20 0 22 0 341639791 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724087851840 139724095056587 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19123] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19123/stat : 19123 (java) S 19100 19102 17435 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341639792 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724086801576 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19124] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19124/stat : 19124 (java) S 19100 19102 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341639793 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724085748776 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1756.55
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+904.401 s]
/proc/loadavg: 3.74 3.88 3.73 5/220 19260
/proc/meminfo: memFree=25833980/32873648 swapFree=6860/6860
[pid=19102] ppid=19100 vsize=2966184 CPUtime=1800.11 cores=0,2,4,6
/proc/19102/stat : 19102 (java) S 19100 19102 17435 0 -1 4202496 29981 0 1 0 179884 127 0 0 20 0 22 0 341639575 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 140736627516640 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19102/statm: 741546 187005 2285 9 0 732240 0
[pid=19102/tid=19104] ppid=19100 vsize=2966184 CPUtime=2.14 cores=0,2,4,6
/proc/19102/task/19104/stat : 19104 (java) S 19100 19102 17435 0 -1 4202560 2849 0 1 0 212 2 0 0 20 0 22 0 341639576 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724251276440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19105] ppid=19100 vsize=2966184 CPUtime=5.08 cores=0,2,4,6
/proc/19102/task/19105/stat : 19105 (java) S 19100 19102 17435 0 -1 4202560 323 0 0 0 501 7 0 0 20 0 22 0 341639578 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724235557160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19102/tid=19106] ppid=19100 vsize=2966184 CPUtime=4.78 cores=0,2,4,6
/proc/19102/task/19106/stat : 19106 (java) S 19100 19102 17435 0 -1 4202560 328 0 0 0 471 7 0 0 20 0 22 0 341639578 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724234504360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19107] ppid=19100 vsize=2966184 CPUtime=4.67 cores=0,2,4,6
/proc/19102/task/19107/stat : 19107 (java) S 19100 19102 17435 0 -1 4202560 308 0 0 0 461 6 0 0 20 0 22 0 341639578 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724233452072 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19108] ppid=19100 vsize=2966184 CPUtime=4.73 cores=0,2,4,6
/proc/19102/task/19108/stat : 19108 (java) S 19100 19102 17435 0 -1 4202560 305 0 0 0 466 7 0 0 20 0 22 0 341639578 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724232399272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19109] ppid=19100 vsize=2966184 CPUtime=4.68 cores=0,2,4,6
/proc/19102/task/19109/stat : 19109 (java) S 19100 19102 17435 0 -1 4202560 302 0 0 0 461 7 0 0 20 0 22 0 341639578 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724231346984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19110] ppid=19100 vsize=2966184 CPUtime=4.75 cores=0,2,4,6
/proc/19102/task/19110/stat : 19110 (java) S 19100 19102 17435 0 -1 4202560 313 0 0 0 469 6 0 0 20 0 22 0 341639578 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724230294184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19111] ppid=19100 vsize=2966184 CPUtime=4.81 cores=0,2,4,6
/proc/19102/task/19111/stat : 19111 (java) S 19100 19102 17435 0 -1 4202560 315 0 0 0 474 7 0 0 20 0 22 0 341639578 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724229241896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19112] ppid=19100 vsize=2966184 CPUtime=4.86 cores=0,2,4,6
/proc/19102/task/19112/stat : 19112 (java) S 19100 19102 17435 0 -1 4202560 329 0 0 0 479 7 0 0 20 0 22 0 341639578 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724228189096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19113] ppid=19100 vsize=2966184 CPUtime=24.85 cores=0,2,4,6
/proc/19102/task/19113/stat : 19113 (java) S 19100 19102 17435 0 -1 4202560 122 0 0 0 2440 45 0 0 20 0 22 0 341639579 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724215777512 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19114] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19114/stat : 19114 (java) S 19100 19102 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341639580 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724214723576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19115] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19115/stat : 19115 (java) S 19100 19102 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341639580 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724213671176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19116] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19116/stat : 19116 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639582 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724094171536 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19117] ppid=19100 vsize=2966184 CPUtime=1.26 cores=0,2,4,6
/proc/19102/task/19117/stat : 19117 (java) S 19100 19102 17435 0 -1 4202560 6756 0 0 0 124 2 0 0 20 0 22 0 341639582 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724093119160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19118] ppid=19100 vsize=2966184 CPUtime=1.76 cores=0,2,4,6
/proc/19102/task/19118/stat : 19118 (java) S 19100 19102 17435 0 -1 4202560 15335 0 0 0 173 3 0 0 20 0 22 0 341639582 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724092066360 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19102/tid=19119] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19119/stat : 19119 (java) S 19100 19102 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341639582 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724091014264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19120] ppid=19100 vsize=2966184 CPUtime=0.31 cores=0,2,4,6
/proc/19102/task/19120/stat : 19120 (java) S 19100 19102 17435 0 -1 4202560 51 0 0 0 15 16 0 0 20 0 22 0 341639582 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724089961672 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19121] ppid=19100 vsize=2966184 CPUtime=865.95 cores=0,2,4,6
/proc/19102/task/19121/stat : 19121 (java) R 19100 19102 17435 0 -1 4202560 575 0 0 0 86575 20 0 0 20 0 22 0 341639791 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724088904128 139724095456396 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19102/tid=19122] ppid=19100 vsize=2966184 CPUtime=866 cores=0,2,4,6
/proc/19102/task/19122/stat : 19122 (java) R 19100 19102 17435 0 -1 4202560 577 0 0 0 86581 19 0 0 20 0 22 0 341639791 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724087852224 139724095039386 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19102/tid=19123] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19123/stat : 19123 (java) S 19100 19102 17435 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341639792 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724086801576 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19102/tid=19124] ppid=19100 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/19102/task/19124/stat : 19124 (java) S 19100 19102 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341639793 3037372416 187005 33554432000 1073741824 1073778376 140736627525504 139724085748776 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 2966184
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): 904.431
CPU time (s): 1800.99
CPU user time (s): 1799.21
CPU system time (s): 1.78273
CPU usage (%): 199.13
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 1.78273
maximum resident set size= 748136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30011
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47368
involuntary context switches= 76879
runsolver used 3.54946 second user time and 7.96479 second system time
The end