runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4247785-1500713609/watcher-4247785-1500713609 -o /tmp/evaluation-result-4247785-1500713609/solver-4247785-1500713609 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500683444-15057 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 2143227350 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247785-1500713609.xml
pid=19327
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.41 1.43 1.47 2/261 19330
/proc/meminfo: memFree=29467372/32770624 swapFree=5688/270872
[pid=19330] ppid=19327 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/stat : 19330 (java) S 19327 19330 14714 0 -1 1077944320 1717 0 0 0 0 0 0 0 20 0 2 0 6627591 369864704 1925 33554432000 4194304 4196468 140724526249008 140724526231552 140357851315959 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
/proc/19330/statm: 90299 1925 1072 1 0 79210 0
[pid=19330/tid=19331] ppid=19327 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19331/stat : 19331 (java) S 19327 19330 14714 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 6627591 369864704 1925 33554432000 4194304 4196468 140724526249008 140357855558048 140357851327106 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[startup+0.100102 s]
/proc/loadavg: 1.41 1.43 1.47 2/261 19330
/proc/meminfo: memFree=29467372/32770624 swapFree=5688/270872
[pid=19330] ppid=19327 vsize=13263912 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19330/stat : 19330 (java) S 19327 19330 14714 0 -1 1077944320 5799 0 0 0 8 1 0 0 20 0 20 0 6627591 13582245888 6059 33554432000 4194304 4196468 140724526249008 140724526231552 140357851315959 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
/proc/19330/statm: 3315978 6059 2776 1 0 3303698 0
[pid=19330/tid=19331] ppid=19327 vsize=13263912 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19331/stat : 19331 (java) R 19327 19330 14714 0 -1 4202560 3873 0 0 0 7 1 0 0 20 0 20 0 6627591 13582245888 6059 33554432000 4194304 4196468 140724526249008 140357855551056 140357807951427 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13263912
[startup+0.200395 s]
/proc/loadavg: 1.41 1.43 1.47 2/261 19330
/proc/meminfo: memFree=29467372/32770624 swapFree=5688/270872
[pid=19330] ppid=19327 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/19330/stat : 19330 (java) S 19327 19330 14714 0 -1 1077944320 8830 0 0 0 23 3 0 0 20 0 20 0 6627591 13582245888 8811 33554432000 4194304 4196468 140724526249008 140724526231552 140357851315959 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
/proc/19330/statm: 3315978 8811 3549 1 0 3303698 0
[pid=19330/tid=19331] ppid=19327 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19331/stat : 19331 (java) R 19327 19330 14714 0 -1 4202560 6515 0 0 0 16 2 0 0 20 0 20 0 6627591 13582245888 8811 33554432000 4194304 4196468 140724526249008 140357855524000 140357851337885 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300324 s]
/proc/loadavg: 1.41 1.43 1.47 2/261 19330
/proc/meminfo: memFree=29467372/32770624 swapFree=5688/270872
[pid=19330] ppid=19327 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19330/stat : 19330 (java) S 19327 19330 14714 0 -1 1077944320 9857 0 0 0 39 3 0 0 20 0 20 0 6627591 13582245888 11169 33554432000 4194304 4196468 140724526249008 140724526231552 140357851315959 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
/proc/19330/statm: 3315978 11169 3670 1 0 3303698 0
[pid=19330/tid=19331] ppid=19327 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19331/stat : 19331 (java) R 19327 19330 14714 0 -1 4202560 7255 0 0 0 25 3 0 0 20 0 20 0 6627591 13582245888 11169 33554432000 4194304 4196468 140724526249008 140357855526736 140357807929268 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700319 s]
/proc/loadavg: 1.41 1.43 1.47 2/261 19330
/proc/meminfo: memFree=29467372/32770624 swapFree=5688/270872
[pid=19330] ppid=19327 vsize=13265980 CPUtime=1.22 cores=0,2,4,6,8,10,12,14
/proc/19330/stat : 19330 (java) S 19327 19330 14714 0 -1 1077944320 12583 0 0 0 117 5 0 0 20 0 20 0 6627591 13584363520 17874 33554432000 4194304 4196468 140724526249008 140724526231552 140357851315959 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
/proc/19330/statm: 3316495 17874 3757 1 0 3304210 0
[pid=19330/tid=19331] ppid=19327 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19331/stat : 19331 (java) R 19327 19330 14714 0 -1 4202560 8828 0 0 0 63 4 0 0 20 0 20 0 6627591 13584363520 17874 33554432000 4194304 4196468 140724526249008 140357855545184 140357843553086 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 13265980
[startup+1.50116 s]
/proc/loadavg: 1.41 1.43 1.47 7/281 19350
/proc/meminfo: memFree=29365156/32770624 swapFree=5688/270556
[pid=19330] ppid=19327 vsize=13270076 CPUtime=4.08 cores=0,2,4,6,8,10,12,14
/proc/19330/stat : 19330 (java) S 19327 19330 14714 0 -1 1077944320 24896 0 0 0 399 9 0 0 20 0 20 0 6627591 13588557824 40279 33554432000 4194304 4196468 140724526249008 140724526231552 140357851315959 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
/proc/19330/statm: 3317519 40279 3784 1 0 3305234 0
[pid=19330/tid=19331] ppid=19327 vsize=13270076 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19331/stat : 19331 (java) R 19327 19330 14714 0 -1 4202560 10670 0 0 0 141 6 0 0 20 0 20 0 6627591 13588557824 40279 33554432000 4194304 4196468 140724526249008 140357855551432 140357472891138 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19333] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19333/stat : 19333 (java) S 19327 19330 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 40279 33554432000 4194304 4196468 140724526249008 140357790280592 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19334] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19334/stat : 19334 (java) S 19327 19330 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 40279 33554432000 4194304 4196468 140724526249008 140357789227792 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19335] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19335/stat : 19335 (java) S 19327 19330 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 40279 33554432000 4194304 4196468 140724526249008 140357788175504 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19336] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19336/stat : 19336 (java) S 19327 19330 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 40279 33554432000 4194304 4196468 140724526249008 140357447146512 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19337] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19337/stat : 19337 (java) S 19327 19330 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 40279 33554432000 4194304 4196468 140724526249008 140357446093200 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19338] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19338/stat : 19338 (java) S 19327 19330 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 40279 33554432000 4194304 4196468 140724526249008 140357445040400 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19339] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19339/stat : 19339 (java) S 19327 19330 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 40279 33554432000 4194304 4196468 140724526249008 140357443988112 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19340] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19340/stat : 19340 (java) S 19327 19330 14714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 40279 33554432000 4194304 4196468 140724526249008 140357442935312 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19341] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19341/stat : 19341 (java) S 19327 19330 14714 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 6627594 13588557824 40279 33554432000 4194304 4196468 140724526249008 140356584196720 140357851327106 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19342] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19342/stat : 19342 (java) S 19327 19330 14714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6627595 13588557824 40279 33554432000 4194304 4196468 140724526249008 140356583142688 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19343] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19343/stat : 19343 (java) S 19327 19330 14714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6627595 13588557824 40279 33554432000 4194304 4196468 140724526249008 140356582090352 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19344] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19344/stat : 19344 (java) S 19327 19330 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6627598 13588557824 40279 33554432000 4194304 4196468 140724526249008 140356581038672 140357851334555 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19345] ppid=19327 vsize=13270076 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19345/stat : 19345 (java) R 19327 19330 14714 0 -1 4202560 3184 0 0 0 74 0 0 0 20 0 20 0 6627598 13588557824 40279 33554432000 4194304 4196468 140724526249008 140356579978712 140357832837235 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19346] ppid=19327 vsize=13270076 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19346/stat : 19346 (java) R 19327 19330 14714 0 -1 4202560 3152 0 0 0 66 0 0 0 20 0 20 0 6627598 13588557824 40279 33554432000 4194304 4196468 140724526249008 140356242873800 140357836225002 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19347] ppid=19327 vsize=13270076 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19347/stat : 19347 (java) R 19327 19330 14714 0 -1 4202560 4056 0 0 0 65 1 0 0 20 0 20 0 6627599 13588557824 40279 33554432000 4194304 4196468 140724526249008 140356241821216 140357830562352 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19348] ppid=19327 vsize=13270076 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19348/stat : 19348 (java) S 19327 19330 14714 0 -1 1077944384 2429 0 0 0 52 0 0 0 20 0 20 0 6627599 13588557824 40279 33554432000 4194304 4196468 140724526249008 140356240787696 140357851327106 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19349] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19349/stat : 19349 (java) S 19327 19330 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6627599 13588557824 40279 33554432000 4194304 4196468 140724526249008 140356239735648 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19350] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19350/stat : 19350 (java) S 19327 19330 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6627599 13588557824 40279 33554432000 4194304 4196468 140724526249008 140356238682928 140357851327106 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 13270076
[startup+3.10119 s]
/proc/loadavg: 1.41 1.43 1.47 4/281 19350
/proc/meminfo: memFree=29254068/32770624 swapFree=5688/270556
[pid=19330] ppid=19327 vsize=13270076 CPUtime=7.62 cores=0,2,4,6,8,10,12,14
/proc/19330/stat : 19330 (java) S 19327 19330 14714 0 -1 1077944320 30111 0 0 0 749 13 0 0 20 0 20 0 6627591 13588557824 56788 33554432000 4194304 4196468 140724526249008 140724526231552 140357851315959 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
/proc/19330/statm: 3317519 56788 3825 1 0 3305234 0
[pid=19330/tid=19331] ppid=19327 vsize=13270076 CPUtime=3.05 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19331/stat : 19331 (java) R 19327 19330 14714 0 -1 4202560 11048 0 0 0 298 7 0 0 20 0 20 0 6627591 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357855551992 140357473861000 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19333] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19333/stat : 19333 (java) S 19327 19330 14714 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357790280592 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19334] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19334/stat : 19334 (java) S 19327 19330 14714 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357789227792 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19335] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19335/stat : 19335 (java) S 19327 19330 14714 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357788175504 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19336] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19336/stat : 19336 (java) S 19327 19330 14714 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357447146512 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19337] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19337/stat : 19337 (java) S 19327 19330 14714 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357446093200 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19338] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19338/stat : 19338 (java) S 19327 19330 14714 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357445040400 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19339] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19339/stat : 19339 (java) S 19327 19330 14714 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357443988112 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19340] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19340/stat : 19340 (java) S 19327 19330 14714 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357442935312 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19341] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19341/stat : 19341 (java) S 19327 19330 14714 0 -1 1077944384 1078 0 0 0 0 0 0 0 20 0 20 0 6627594 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356584196720 140357851327106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19342] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19342/stat : 19342 (java) S 19327 19330 14714 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 20 0 6627595 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356583142752 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19343] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19343/stat : 19343 (java) S 19327 19330 14714 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 6627595 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356582090352 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19344] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19344/stat : 19344 (java) S 19327 19330 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6627598 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356581038672 140357851334555 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19345] ppid=19327 vsize=13270076 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19345/stat : 19345 (java) S 19327 19330 14714 0 -1 1077944384 3595 0 0 0 139 0 0 0 20 0 20 0 6627598 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356579985520 140357851327106 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19346] ppid=19327 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19346/stat : 19346 (java) S 19327 19330 14714 0 -1 1077944384 3986 0 0 0 121 0 0 0 20 0 20 0 6627598 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356242892784 140357851327106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19347] ppid=19327 vsize=13270076 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19347/stat : 19347 (java) S 19327 19330 14714 0 -1 1077944384 4287 0 0 0 122 1 0 0 20 0 20 0 6627599 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356241840496 140357851327106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19348] ppid=19327 vsize=13270076 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19348/stat : 19348 (java) S 19327 19330 14714 0 -1 1077944384 4076 0 0 0 62 0 0 0 20 0 20 0 6627599 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356240787696 140357851327106 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19349] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19349/stat : 19349 (java) S 19327 19330 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6627599 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356239735648 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19350] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19350/stat : 19350 (java) S 19327 19330 14714 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 6627599 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356238682928 140357851327106 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 13270076
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19330 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20146 s]
/proc/loadavg: 1.41 1.43 1.47 4/281 19350
/proc/meminfo: memFree=29254068/32770624 swapFree=5688/270556
[pid=19330] ppid=19327 vsize=13270076 CPUtime=7.74 cores=0,2,4,6,8,10,12,14
/proc/19330/stat : 19330 (java) S 19327 19330 14714 0 -1 1077944320 30122 0 0 0 761 13 0 0 20 0 20 0 6627591 13588557824 56788 33554432000 4194304 4196468 140724526249008 140724526231552 140357851315959 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
/proc/19330/statm: 3317519 56788 3825 1 0 3305234 0
[pid=19330/tid=19331] ppid=19327 vsize=13270076 CPUtime=3.15 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19331/stat : 19331 (java) R 19327 19330 14714 0 -1 4202560 11051 0 0 0 308 7 0 0 20 0 20 0 6627591 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357855553880 140357472576796 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19333] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19333/stat : 19333 (java) S 19327 19330 14714 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357790280592 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19334] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19334/stat : 19334 (java) S 19327 19330 14714 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357789227792 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19335] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19335/stat : 19335 (java) S 19327 19330 14714 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357788175504 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19336] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19336/stat : 19336 (java) S 19327 19330 14714 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357447146512 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19337] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19337/stat : 19337 (java) S 19327 19330 14714 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357446093200 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19338] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19338/stat : 19338 (java) S 19327 19330 14714 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357445040400 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19339] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19339/stat : 19339 (java) S 19327 19330 14714 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357443988112 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19340] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19340/stat : 19340 (java) S 19327 19330 14714 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 56788 33554432000 4194304 4196468 140724526249008 140357442935312 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19341] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19341/stat : 19341 (java) S 19327 19330 14714 0 -1 1077944384 1078 0 0 0 0 0 0 0 20 0 20 0 6627594 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356584196720 140357851327106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19342] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19342/stat : 19342 (java) S 19327 19330 14714 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 20 0 6627595 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356583142752 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19343] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19343/stat : 19343 (java) S 19327 19330 14714 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 6627595 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356582090352 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19344] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19344/stat : 19344 (java) S 19327 19330 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6627598 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356581038672 140357851334555 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19345] ppid=19327 vsize=13270076 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19345/stat : 19345 (java) S 19327 19330 14714 0 -1 1077944384 3595 0 0 0 139 0 0 0 20 0 20 0 6627598 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356579985520 140357851327106 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19346] ppid=19327 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19346/stat : 19346 (java) S 19327 19330 14714 0 -1 1077944384 3986 0 0 0 121 0 0 0 20 0 20 0 6627598 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356242892784 140357851327106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19347] ppid=19327 vsize=13270076 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19347/stat : 19347 (java) S 19327 19330 14714 0 -1 1077944384 4287 0 0 0 124 1 0 0 20 0 20 0 6627599 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356241840496 140357851327106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19348] ppid=19327 vsize=13270076 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19348/stat : 19348 (java) S 19327 19330 14714 0 -1 1077944384 4084 0 0 0 62 0 0 0 20 0 20 0 6627599 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356240787696 140357851327106 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19349] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19349/stat : 19349 (java) S 19327 19330 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6627599 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356239735648 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19350] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19350/stat : 19350 (java) S 19327 19330 14714 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 6627599 13588557824 56788 33554432000 4194304 4196468 140724526249008 140356238682928 140357851327106 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 13270076
[startup+3.41408 s]
/proc/loadavg: 1.30 1.41 1.46 4/281 19350
/proc/meminfo: memFree=29253524/32770624 swapFree=5688/270556
[pid=19330] ppid=19327 vsize=13270076 CPUtime=8.33 cores=0,2,4,6,8,10,12,14
/proc/19330/stat : 19330 (java) S 19327 19330 14714 0 -1 1077944320 30383 0 0 0 814 19 0 0 20 0 20 0 6627591 13588557824 59931 33554432000 4194304 4196468 140724526249008 140724526231552 140357851315959 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
/proc/19330/statm: 3317519 59931 3828 1 0 3305234 0
[pid=19330/tid=19331] ppid=19327 vsize=13270076 CPUtime=3.35 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19331/stat : 19331 (java) R 19327 19330 14714 0 -1 4202560 11070 0 0 0 328 7 0 0 20 0 20 0 6627591 13588557824 59931 33554432000 4194304 4196468 140724526249008 140357855554216 140357831054023 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19333] ppid=19327 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19333/stat : 19333 (java) S 19327 19330 14714 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 6627592 13588557824 59931 33554432000 4194304 4196468 140724526249008 140357790280592 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19334] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19334/stat : 19334 (java) S 19327 19330 14714 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 59931 33554432000 4194304 4196468 140724526249008 140357789227792 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19335] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19335/stat : 19335 (java) S 19327 19330 14714 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 59931 33554432000 4194304 4196468 140724526249008 140357788175504 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19336] ppid=19327 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19336/stat : 19336 (java) S 19327 19330 14714 0 -1 1077944384 309 0 0 0 0 1 0 0 20 0 20 0 6627592 13588557824 59931 33554432000 4194304 4196468 140724526249008 140357447146512 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19337] ppid=19327 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19337/stat : 19337 (java) S 19327 19330 14714 0 -1 1077944384 74 0 0 0 1 1 0 0 20 0 20 0 6627592 13588557824 59931 33554432000 4194304 4196468 140724526249008 140357446093200 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19338] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19338/stat : 19338 (java) S 19327 19330 14714 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 59931 33554432000 4194304 4196468 140724526249008 140357445040400 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19339] ppid=19327 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19339/stat : 19339 (java) S 19327 19330 14714 0 -1 1077944384 59 0 0 0 0 1 0 0 20 0 20 0 6627592 13588557824 59931 33554432000 4194304 4196468 140724526249008 140357443988112 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19340] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19340/stat : 19340 (java) S 19327 19330 14714 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 6627592 13588557824 59931 33554432000 4194304 4196468 140724526249008 140357442935312 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19341] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19341/stat : 19341 (java) S 19327 19330 14714 0 -1 1077944384 1078 0 0 0 0 0 0 0 20 0 20 0 6627594 13588557824 59931 33554432000 4194304 4196468 140724526249008 140356584196720 140357851327106 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19342] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19342/stat : 19342 (java) S 19327 19330 14714 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 20 0 6627595 13588557824 59931 33554432000 4194304 4196468 140724526249008 140356583142752 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19343] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19343/stat : 19343 (java) S 19327 19330 14714 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 20 0 6627595 13588557824 59931 33554432000 4194304 4196468 140724526249008 140356582090368 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19344] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19344/stat : 19344 (java) S 19327 19330 14714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6627598 13588557824 59931 33554432000 4194304 4196468 140724526249008 140356581038672 140357851334555 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19345] ppid=19327 vsize=13270076 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19345/stat : 19345 (java) S 19327 19330 14714 0 -1 1077944384 3613 0 0 0 142 0 0 0 20 0 20 0 6627598 13588557824 59931 33554432000 4194304 4196468 140724526249008 140356579985520 140357851327106 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19346] ppid=19327 vsize=13270076 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19346/stat : 19346 (java) R 19327 19330 14714 0 -1 4202560 4005 0 0 0 128 0 0 0 20 0 20 0 6627598 13588557824 59931 33554432000 4194304 4196468 140724526249008 140356242872736 140357836224863 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19347] ppid=19327 vsize=13270076 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19347/stat : 19347 (java) R 19327 19330 14714 0 -1 4202560 4302 0 0 0 142 1 0 0 20 0 20 0 6627599 13588557824 59931 33554432000 4194304 4196468 140724526249008 140356241821904 140357843605413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19348] ppid=19327 vsize=13270076 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19348/stat : 19348 (java) S 19327 19330 14714 0 -1 1077944384 4129 0 0 0 63 0 0 0 20 0 20 0 6627599 13588557824 59931 33554432000 4194304 4196468 140724526249008 140356240787696 140357851327106 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19349] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19349/stat : 19349 (java) S 19327 19330 14714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6627599 13588557824 59931 33554432000 4194304 4196468 140724526249008 140356239735648 140357851326165 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
[pid=19330/tid=19350] ppid=19327 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19330/task/19350/stat : 19350 (java) S 19327 19330 14714 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 6627599 13588557824 59931 33554432000 4194304 4196468 140724526249008 140356238682928 140357851327106 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31621120 140724526257293 140724526257476 140724526257476 140724526260175 0
Current children cumulated CPU time (s) 8.33
Current children cumulated vsize (KiB) 13270076
Child status: 0
Real time (s): 3.48083
CPU time (s): 8.51881
CPU user time (s): 8.31242
CPU system time (s): 0.206393
CPU usage (%): 244.735
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.31242
system time used= 0.206393
maximum resident set size= 240484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30735
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4311
involuntary context switches= 620
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035786 second user time and 0.073678 second system time
The end