runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458074-1307157897/watcher-3458074-1307157897 -o /tmp/evaluation-result-3458074-1307157897/solver-3458074-1307157897 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458074-1307157897.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.03 2.00 2/461 21845
/proc/meminfo: memFree=29786580/32950928 swapFree=52246700/67111528
[pid=21845] ppid=21843 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/21845/stat : 21845 (java) S 21843 21845 18266 0 -1 4202496 3232 0 1 0 0 0 0 0 25 0 2 0 906020412 13833195520 2934 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/21845/statm: 3377245 2948 906 9 0 3368401 0
[pid=21845/tid=21846] ppid=21843 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21846/stat : 21846 (java) R 21843 21845 18266 0 -1 4202560 6024 0 1 0 0 0 0 0 25 0 2 0 906020412 13850947584 6840 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.068378 s]
/proc/loadavg: 2.01 2.03 2.00 2/461 21845
/proc/meminfo: memFree=29786580/32950928 swapFree=52246700/67111528
[pid=21845] ppid=21843 vsize=13555700 CPUtime=0.06 cores=0,2,4,6
/proc/21845/stat : 21845 (java) S 21843 21845 18266 0 -1 4202496 14269 0 1 0 5 1 0 0 25 0 18 0 906020412 13881036800 13966 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21845/statm: 3388925 13966 1742 9 0 3379659 0
[pid=21845/tid=21846] ppid=21843 vsize=13555700 CPUtime=0.05 cores=0,2,4,6
/proc/21845/task/21846/stat : 21846 (java) R 21843 21845 18266 0 -1 4202560 13098 0 1 0 5 0 0 0 25 0 18 0 906020412 13881036800 13968 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 47112977663512 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555700
[startup+0.100362 s]
/proc/loadavg: 2.01 2.03 2.00 2/461 21845
/proc/meminfo: memFree=29786580/32950928 swapFree=52246700/67111528
[pid=21845] ppid=21843 vsize=13622260 CPUtime=0.1 cores=0,2,4,6
/proc/21845/stat : 21845 (java) S 21843 21845 18266 0 -1 4202496 15600 0 1 0 9 1 0 0 25 0 18 0 906020412 13949194240 15260 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21845/statm: 3405565 15266 2093 9 0 3396299 0
[pid=21845/tid=21846] ppid=21843 vsize=13622260 CPUtime=0.09 cores=0,2,4,6
/proc/21845/task/21846/stat : 21846 (java) R 21843 21845 18266 0 -1 4202560 13638 0 1 0 8 1 0 0 18 0 18 0 906020412 13949194240 15267 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622260
[startup+0.315311 s]
/proc/loadavg: 2.01 2.03 2.00 2/461 21845
/proc/meminfo: memFree=29786580/32950928 swapFree=52246700/67111528
[pid=21845] ppid=21843 vsize=13626360 CPUtime=0.59 cores=0,2,4,6
/proc/21845/stat : 21845 (java) S 21843 21845 18266 0 -1 4202496 18559 0 1 0 58 1 0 0 25 0 19 0 906020412 13953392640 17501 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21845/statm: 3406590 17501 2217 9 0 3397324 0
[pid=21845/tid=21846] ppid=21843 vsize=13626360 CPUtime=0.3 cores=0,2,4,6
/proc/21845/task/21846/stat : 21846 (java) R 21843 21845 18266 0 -1 4202560 14355 0 1 0 29 1 0 0 19 0 19 0 906020412 13953392640 17502 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 46912505545052 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 13626360
[startup+0.701239 s]
/proc/loadavg: 2.01 2.03 2.00 2/461 21845
/proc/meminfo: memFree=29786580/32950928 swapFree=52246700/67111528
[pid=21845] ppid=21843 vsize=13626360 CPUtime=1.06 cores=0,2,4,6
/proc/21845/stat : 21845 (java) S 21843 21845 18266 0 -1 4202496 19792 0 1 0 105 1 0 0 25 0 19 0 906020412 13953392640 18728 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21845/statm: 3406590 18728 2249 9 0 3397324 0
[pid=21845/tid=21846] ppid=21843 vsize=13626360 CPUtime=0.67 cores=0,2,4,6
/proc/21845/task/21846/stat : 21846 (java) R 21843 21845 18266 0 -1 4202560 14757 0 1 0 66 1 0 0 19 0 19 0 906020412 13953392640 18728 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 46912505560740 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 13626360
[startup+1.50109 s]
/proc/loadavg: 2.01 2.03 2.00 3/480 21864
/proc/meminfo: memFree=29717564/32950928 swapFree=52246700/67111528
[pid=21845] ppid=21843 vsize=13626360 CPUtime=1.91 cores=0,2,4,6
/proc/21845/stat : 21845 (java) S 21843 21845 18266 0 -1 4202496 20498 0 1 0 189 2 0 0 25 0 19 0 906020412 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21845/statm: 3406590 19431 2249 9 0 3397324 0
[pid=21845/tid=21846] ppid=21843 vsize=13626360 CPUtime=1.44 cores=0,2,4,6
/proc/21845/task/21846/stat : 21846 (java) R 21843 21845 18266 0 -1 4202560 14763 0 1 0 143 1 0 0 20 0 19 0 906020412 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 46912505560704 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21845/tid=21848] ppid=21843 vsize=13626360 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21848/stat : 21848 (java) S 21843 21845 18266 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 906020414 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21849] ppid=21843 vsize=13626360 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21849/stat : 21849 (java) S 21843 21845 18266 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 906020414 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21850] ppid=21843 vsize=13626360 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21850/stat : 21850 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906020414 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21851] ppid=21843 vsize=13626360 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21851/stat : 21851 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906020414 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21852] ppid=21843 vsize=13626360 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21852/stat : 21852 (java) S 21843 21845 18266 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 906020414 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21853] ppid=21843 vsize=13626360 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21853/stat : 21853 (java) S 21843 21845 18266 0 -1 4202560 177 0 0 0 0 0 0 0 15 0 19 0 906020414 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21854] ppid=21843 vsize=13626360 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21854/stat : 21854 (java) S 21843 21845 18266 0 -1 4202560 296 0 0 0 0 0 0 0 15 0 19 0 906020414 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21855] ppid=21843 vsize=13626360 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21855/stat : 21855 (java) S 21843 21845 18266 0 -1 4202560 139 0 0 0 0 0 0 0 15 0 19 0 906020414 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21856] ppid=21843 vsize=13626360 CPUtime=0.03 cores=0,2,4,6
/proc/21845/task/21856/stat : 21856 (java) S 21843 21845 18266 0 -1 4202560 723 0 0 0 3 0 0 0 15 0 19 0 906020415 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 0 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21857] ppid=21843 vsize=13626360 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21857/stat : 21857 (java) S 21843 21845 18266 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906020416 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21858] ppid=21843 vsize=13626360 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21858/stat : 21858 (java) S 21843 21845 18266 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 906020416 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21859] ppid=21843 vsize=13626360 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21859/stat : 21859 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020418 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907314097 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21860] ppid=21843 vsize=13626360 CPUtime=0.23 cores=0,2,4,6
/proc/21845/task/21860/stat : 21860 (java) S 21843 21845 18266 0 -1 4202560 1214 0 0 0 23 0 0 0 15 0 19 0 906020418 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21861] ppid=21843 vsize=13626360 CPUtime=0.17 cores=0,2,4,6
/proc/21845/task/21861/stat : 21861 (java) S 21843 21845 18266 0 -1 4202560 1908 0 0 0 17 0 0 0 15 0 19 0 906020418 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21862] ppid=21843 vsize=13626360 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21862/stat : 21862 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020418 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21863] ppid=21843 vsize=13626360 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21863/stat : 21863 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906020418 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21864] ppid=21843 vsize=13626360 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21864/stat : 21864 (java) S 21843 21845 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906020431 13953392640 19431 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 13626360
[startup+3.10079 s]
/proc/loadavg: 2.01 2.03 2.00 3/480 21864
/proc/meminfo: memFree=29704048/32950928 swapFree=52246700/67111528
[pid=21845] ppid=21843 vsize=13629432 CPUtime=4.15 cores=0,2,4,6
/proc/21845/stat : 21845 (java) S 21843 21845 18266 0 -1 4202496 29800 0 1 0 412 3 0 0 25 0 19 0 906020412 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21845/statm: 3407358 24229 2250 9 0 3398092 0
[pid=21845/tid=21846] ppid=21843 vsize=13629432 CPUtime=3 cores=0,2,4,6
/proc/21845/task/21846/stat : 21846 (java) R 21843 21845 18266 0 -1 4202560 14763 0 1 0 299 1 0 0 25 0 19 0 906020412 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 46912505630048 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21845/tid=21848] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21848/stat : 21848 (java) S 21843 21845 18266 0 -1 4202560 118 0 0 0 0 0 0 0 16 0 19 0 906020414 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21849] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21849/stat : 21849 (java) S 21843 21845 18266 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21850] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21850/stat : 21850 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21851] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21851/stat : 21851 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21852] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21852/stat : 21852 (java) S 21843 21845 18266 0 -1 4202560 19 0 0 0 0 0 0 0 16 0 19 0 906020414 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21853] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21853/stat : 21853 (java) S 21843 21845 18266 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21854] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21854/stat : 21854 (java) S 21843 21845 18266 0 -1 4202560 296 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21855] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21855/stat : 21855 (java) S 21843 21845 18266 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21856] ppid=21843 vsize=13629432 CPUtime=0.06 cores=0,2,4,6
/proc/21845/task/21856/stat : 21856 (java) S 21843 21845 18266 0 -1 4202560 994 0 0 0 6 0 0 0 15 0 19 0 906020415 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 0 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21857] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21857/stat : 21857 (java) S 21843 21845 18266 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906020416 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21858] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21858/stat : 21858 (java) S 21843 21845 18266 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 906020416 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21859] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21859/stat : 21859 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020418 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907314097 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21860] ppid=21843 vsize=13629432 CPUtime=0.3 cores=0,2,4,6
/proc/21845/task/21860/stat : 21860 (java) S 21843 21845 18266 0 -1 4202560 2038 0 0 0 30 0 0 0 15 0 19 0 906020418 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21861] ppid=21843 vsize=13629432 CPUtime=0.74 cores=0,2,4,6
/proc/21845/task/21861/stat : 21861 (java) R 21843 21845 18266 0 -1 4202560 10033 0 0 0 73 1 0 0 15 0 19 0 906020418 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 47112974973826 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21845/tid=21862] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21862/stat : 21862 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020418 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21863] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21863/stat : 21863 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906020418 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21864] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21864/stat : 21864 (java) S 21843 21845 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906020431 13956538368 24229 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 13629432
[startup+6.30119 s]
/proc/loadavg: 2.01 2.03 2.00 3/480 22003
/proc/meminfo: memFree=29720096/32950928 swapFree=52246700/67111528
[pid=21845] ppid=21843 vsize=13629432 CPUtime=7.37 cores=0,2,4,6
/proc/21845/stat : 21845 (java) S 21843 21845 18266 0 -1 4202496 30571 0 1 0 734 3 0 0 25 0 19 0 906020412 13956538368 24969 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21845/statm: 3407358 24969 2250 9 0 3398092 0
[pid=21845/tid=21846] ppid=21843 vsize=13629432 CPUtime=6.09 cores=0,2,4,6
/proc/21845/task/21846/stat : 21846 (java) R 21843 21845 18266 0 -1 4202560 14770 0 1 0 608 1 0 0 25 0 19 0 906020412 13956538368 24969 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 46912505620219 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21845/tid=21848] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21848/stat : 21848 (java) S 21843 21845 18266 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 24969 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21849] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21849/stat : 21849 (java) S 21843 21845 18266 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 24969 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21850] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21850/stat : 21850 (java) S 21843 21845 18266 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 24969 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21851] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21851/stat : 21851 (java) S 21843 21845 18266 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 24969 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21852] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21852/stat : 21852 (java) S 21843 21845 18266 0 -1 4202560 19 0 0 0 0 0 0 0 16 0 19 0 906020414 13956538368 24969 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21853] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21853/stat : 21853 (java) S 21843 21845 18266 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 24969 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21854] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21854/stat : 21854 (java) S 21843 21845 18266 0 -1 4202560 335 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 24969 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21855] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21855/stat : 21855 (java) S 21843 21845 18266 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 24969 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21856] ppid=21843 vsize=13629432 CPUtime=0.16 cores=0,2,4,6
/proc/21845/task/21856/stat : 21856 (java) S 21843 21845 18266 0 -1 4202560 1651 0 0 0 16 0 0 0 16 0 19 0 906020415 13956538368 24969 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 0 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21857] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21857/stat : 21857 (java) S 21843 21845 18266 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906020416 13956538368 24969 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21858] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21858/stat : 21858 (java) S 21843 21845 18266 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 906020416 13956538368 24969 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21859] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21859/stat : 21859 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020418 13956538368 24969 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907314097 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21860] ppid=21843 vsize=13629432 CPUtime=0.3 cores=0,2,4,6
/proc/21845/task/21860/stat : 21860 (java) S 21843 21845 18266 0 -1 4202560 2038 0 0 0 30 0 0 0 15 0 19 0 906020418 13956538368 24969 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21861] ppid=21843 vsize=13629432 CPUtime=0.75 cores=0,2,4,6
/proc/21845/task/21861/stat : 21861 (java) S 21843 21845 18266 0 -1 4202560 10033 0 0 0 74 1 0 0 15 0 19 0 906020418 13956538368 24969 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/21845/task/21849/stat : 21849 (java) S 21843 21845 18266 0 -1 4202560 34 0 0 0 1 0 0 0 16 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21850] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21850/stat : 21850 (java) S 21843 21845 18266 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21851] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21851/stat : 21851 (java) S 21843 21845 18266 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21852] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21852/stat : 21852 (java) S 21843 21845 18266 0 -1 4202560 20 0 0 0 1 0 0 0 16 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21853] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21853/stat : 21853 (java) S 21843 21845 18266 0 -1 4202560 199 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21854] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21854/stat : 21854 (java) S 21843 21845 18266 0 -1 4202560 335 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21855] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21855/stat : 21855 (java) S 21843 21845 18266 0 -1 4202560 189 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21856] ppid=21843 vsize=13629432 CPUtime=0.36 cores=0,2,4,6
/proc/21845/task/21856/stat : 21856 (java) S 21843 21845 18266 0 -1 4202560 1854 0 0 0 36 0 0 0 16 0 19 0 906020415 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 0 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21857] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21857/stat : 21857 (java) S 21843 21845 18266 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906020416 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21858] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21858/stat : 21858 (java) S 21843 21845 18266 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 906020416 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21859] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21859/stat : 21859 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907314097 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21860] ppid=21843 vsize=13629432 CPUtime=0.3 cores=0,2,4,6
/proc/21845/task/21860/stat : 21860 (java) S 21843 21845 18266 0 -1 4202560 2038 0 0 0 30 0 0 0 15 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21861] ppid=21843 vsize=13629432 CPUtime=0.75 cores=0,2,4,6
/proc/21845/task/21861/stat : 21861 (java) S 21843 21845 18266 0 -1 4202560 10033 0 0 0 74 1 0 0 15 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21862] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21862/stat : 21862 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21863] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21863/stat : 21863 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21864] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21864/stat : 21864 (java) S 21843 21845 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906020431 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 13.79
Current children cumulated vsize (KiB) 13629432
Solver just ended. Dumping a history of the last processes samples
[startup+13.5008 s]
/proc/loadavg: 2.01 2.03 2.00 3/480 22003
/proc/meminfo: memFree=29708948/32950928 swapFree=52246700/67111528
[pid=21845] ppid=21843 vsize=13629432 CPUtime=14.59 cores=0,2,4,6
/proc/21845/stat : 21845 (java) S 21843 21845 18266 0 -1 4202496 30803 0 1 0 1456 3 0 0 25 0 19 0 906020412 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21845/statm: 3407358 23915 2250 9 0 3398092 0
[pid=21845/tid=21846] ppid=21843 vsize=13629432 CPUtime=13.05 cores=0,2,4,6
/proc/21845/task/21846/stat : 21846 (java) R 21843 21845 18266 0 -1 4202560 14790 0 1 0 1304 1 0 0 25 0 19 0 906020412 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 46912505543195 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21845/tid=21848] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21848/stat : 21848 (java) S 21843 21845 18266 0 -1 4202560 118 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21849] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21849/stat : 21849 (java) S 21843 21845 18266 0 -1 4202560 34 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21850] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21850/stat : 21850 (java) S 21843 21845 18266 0 -1 4202560 23 0 0 0 1 0 0 0 16 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21851] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21851/stat : 21851 (java) S 21843 21845 18266 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21852] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21852/stat : 21852 (java) S 21843 21845 18266 0 -1 4202560 20 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21853] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21853/stat : 21853 (java) S 21843 21845 18266 0 -1 4202560 199 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21854] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21854/stat : 21854 (java) S 21843 21845 18266 0 -1 4202560 335 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21855] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21855/stat : 21855 (java) S 21843 21845 18266 0 -1 4202560 189 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21856] ppid=21843 vsize=13629432 CPUtime=0.38 cores=0,2,4,6
/proc/21845/task/21856/stat : 21856 (java) S 21843 21845 18266 0 -1 4202560 1854 0 0 0 38 0 0 0 16 0 19 0 906020415 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 0 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21857] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21857/stat : 21857 (java) S 21843 21845 18266 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906020416 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21858] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21858/stat : 21858 (java) S 21843 21845 18266 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 906020416 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21859] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21859/stat : 21859 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907314097 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21860] ppid=21843 vsize=13629432 CPUtime=0.3 cores=0,2,4,6
/proc/21845/task/21860/stat : 21860 (java) S 21843 21845 18266 0 -1 4202560 2038 0 0 0 30 0 0 0 15 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21861] ppid=21843 vsize=13629432 CPUtime=0.75 cores=0,2,4,6
/proc/21845/task/21861/stat : 21861 (java) S 21843 21845 18266 0 -1 4202560 10033 0 0 0 74 1 0 0 15 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21862] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21862/stat : 21862 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21863] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21863/stat : 21863 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21864] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21864/stat : 21864 (java) S 21843 21845 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906020431 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 14.59
Current children cumulated vsize (KiB) 13629432
[startup+13.7008 s]
/proc/loadavg: 2.01 2.03 2.00 3/480 22003
/proc/meminfo: memFree=29708948/32950928 swapFree=52246700/67111528
[pid=21845] ppid=21843 vsize=13629432 CPUtime=14.79 cores=0,2,4,6
/proc/21845/stat : 21845 (java) S 21843 21845 18266 0 -1 4202496 30803 0 1 0 1476 3 0 0 25 0 19 0 906020412 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21845/statm: 3407358 23915 2250 9 0 3398092 0
[pid=21845/tid=21846] ppid=21843 vsize=13629432 CPUtime=13.24 cores=0,2,4,6
/proc/21845/task/21846/stat : 21846 (java) R 21843 21845 18266 0 -1 4202560 14790 0 1 0 1323 1 0 0 25 0 19 0 906020412 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 46912505538847 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21845/tid=21848] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21848/stat : 21848 (java) S 21843 21845 18266 0 -1 4202560 118 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21849] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21849/stat : 21849 (java) S 21843 21845 18266 0 -1 4202560 34 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21850] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21850/stat : 21850 (java) S 21843 21845 18266 0 -1 4202560 23 0 0 0 1 0 0 0 16 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21851] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21851/stat : 21851 (java) S 21843 21845 18266 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21852] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21852/stat : 21852 (java) S 21843 21845 18266 0 -1 4202560 20 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21853] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21853/stat : 21853 (java) S 21843 21845 18266 0 -1 4202560 199 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21854] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21854/stat : 21854 (java) S 21843 21845 18266 0 -1 4202560 335 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21855] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21855/stat : 21855 (java) S 21843 21845 18266 0 -1 4202560 189 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21856] ppid=21843 vsize=13629432 CPUtime=0.38 cores=0,2,4,6
/proc/21845/task/21856/stat : 21856 (java) S 21843 21845 18266 0 -1 4202560 1854 0 0 0 38 0 0 0 16 0 19 0 906020415 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 0 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21857] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21857/stat : 21857 (java) S 21843 21845 18266 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906020416 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21858] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21858/stat : 21858 (java) S 21843 21845 18266 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 906020416 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21859] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21859/stat : 21859 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907314097 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21860] ppid=21843 vsize=13629432 CPUtime=0.3 cores=0,2,4,6
/proc/21845/task/21860/stat : 21860 (java) S 21843 21845 18266 0 -1 4202560 2038 0 0 0 30 0 0 0 15 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21861] ppid=21843 vsize=13629432 CPUtime=0.75 cores=0,2,4,6
/proc/21845/task/21861/stat : 21861 (java) S 21843 21845 18266 0 -1 4202560 10033 0 0 0 74 1 0 0 15 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21862] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21862/stat : 21862 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21863] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21863/stat : 21863 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21864] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21864/stat : 21864 (java) S 21843 21845 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906020431 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 14.79
Current children cumulated vsize (KiB) 13629432
[startup+13.8008 s]
/proc/loadavg: 2.01 2.03 2.00 3/480 22003
/proc/meminfo: memFree=29708948/32950928 swapFree=52246700/67111528
[pid=21845] ppid=21843 vsize=13629432 CPUtime=14.89 cores=0,2,4,6
/proc/21845/stat : 21845 (java) S 21843 21845 18266 0 -1 4202496 30803 0 1 0 1486 3 0 0 25 0 19 0 906020412 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21845/statm: 3407358 23915 2250 9 0 3398092 0
[pid=21845/tid=21846] ppid=21843 vsize=13629432 CPUtime=13.34 cores=0,2,4,6
/proc/21845/task/21846/stat : 21846 (java) R 21843 21845 18266 0 -1 4202560 14790 0 1 0 1333 1 0 0 25 0 19 0 906020412 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 46912505543814 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21845/tid=21848] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21848/stat : 21848 (java) S 21843 21845 18266 0 -1 4202560 118 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21849] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21849/stat : 21849 (java) S 21843 21845 18266 0 -1 4202560 34 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21850] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21850/stat : 21850 (java) S 21843 21845 18266 0 -1 4202560 23 0 0 0 1 0 0 0 16 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21851] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21851/stat : 21851 (java) S 21843 21845 18266 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21852] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21852/stat : 21852 (java) S 21843 21845 18266 0 -1 4202560 20 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21853] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21853/stat : 21853 (java) S 21843 21845 18266 0 -1 4202560 199 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21854] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21854/stat : 21854 (java) S 21843 21845 18266 0 -1 4202560 335 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21855] ppid=21843 vsize=13629432 CPUtime=0.01 cores=0,2,4,6
/proc/21845/task/21855/stat : 21855 (java) S 21843 21845 18266 0 -1 4202560 189 0 0 0 1 0 0 0 15 0 19 0 906020414 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21856] ppid=21843 vsize=13629432 CPUtime=0.38 cores=0,2,4,6
/proc/21845/task/21856/stat : 21856 (java) S 21843 21845 18266 0 -1 4202560 1854 0 0 0 38 0 0 0 16 0 19 0 906020415 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 0 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21857] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21857/stat : 21857 (java) S 21843 21845 18266 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 906020416 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21858] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21858/stat : 21858 (java) S 21843 21845 18266 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 906020416 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21859] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21859/stat : 21859 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907314097 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21860] ppid=21843 vsize=13629432 CPUtime=0.3 cores=0,2,4,6
/proc/21845/task/21860/stat : 21860 (java) S 21843 21845 18266 0 -1 4202560 2038 0 0 0 30 0 0 0 15 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 6 0 0 0
[pid=21845/tid=21861] ppid=21843 vsize=13629432 CPUtime=0.75 cores=0,2,4,6
/proc/21845/task/21861/stat : 21861 (java) S 21843 21845 18266 0 -1 4202560 10033 0 0 0 74 1 0 0 15 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21862] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21862/stat : 21862 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907306393 0 4 0 16800975 18446604441554436352 0 0 -1 4 0 0 0
[pid=21845/tid=21863] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21863/stat : 21863 (java) S 21843 21845 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906020418 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
[pid=21845/tid=21864] ppid=21843 vsize=13629432 CPUtime=0 cores=0,2,4,6
/proc/21845/task/21864/stat : 21864 (java) S 21843 21845 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906020431 13956538368 23915 33554432000 1073741824 1073778376 140737017201872 18446744073709551615 231907307008 0 4 0 16800975 18446604441554436352 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 14.89
Current children cumulated vsize (KiB) 13629432
Child status: 30
Real time (s): 13.8748
CPU time (s): 14.9827
CPU user time (s): 14.9387
CPU system time (s): 0.043993
CPU usage (%): 107.985
Max. virtual memory (cumulated for all children) (KiB): 13629432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.9387
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30823
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1165
involuntary context switches= 433
runsolver used 0.058991 second user time and 0.151976 second system time
The end