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-4259475-1501661077/watcher-4259475-1501661077 -o /tmp/evaluation-result-4259475-1501661077/solver-4259475-1501661077 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501653519-11656 --watchdog 300 bin/concrete HOME/instance-4259475-1501661077.xml
pid=20859
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 2.12 1.81 1.73 3/199 20862
/proc/meminfo: memFree=30436144/32770624 swapFree=0/242224
[pid=20862] ppid=20859 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20862/stat : 20862 (runsolver) D 20859 20862 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13923060 24240128 106 18446744073709551615 4194304 4338465 140728640629520 140728640627160 140074767864535 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 38256640 140728640635088 140728640635462 140728640635462 140728640638922 0
/proc/20862/statm: 5918 106 53 36 0 2156 0
[startup+0.100062 s]
/proc/loadavg: 2.12 1.81 1.73 3/199 20862
/proc/meminfo: memFree=30436144/32770624 swapFree=0/242224
[pid=20862] ppid=20859 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/20862/stat : 20862 (bash) S 20859 20862 5228 0 -1 4202496 681 1545 0 0 0 0 0 0 20 0 1 0 13923060 9736192 351 18446744073709551615 4194304 5098028 140722245852160 140722245849800 139854259198976 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 9 0 0 7196144 7232144 35303424 140722245857809 140722245857894 140722245857894 140722245861354 0
/proc/20862/statm: 2377 351 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200587 s]
/proc/loadavg: 2.12 1.81 1.73 3/199 20862
/proc/meminfo: memFree=30436144/32770624 swapFree=0/242224
[pid=20862] ppid=20859 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/20862/stat : 20862 (bash) S 20859 20862 5228 0 -1 4202496 889 6489 0 0 0 0 0 1 20 0 1 0 13923060 9867264 376 18446744073709551615 4194304 5098028 140722245852160 140722245846168 139854259198976 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 9 0 0 7196144 7232144 35303424 140722245857809 140722245857894 140722245857894 140722245861354 0
/proc/20862/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300293 s]
/proc/loadavg: 2.12 1.81 1.73 3/199 20862
/proc/meminfo: memFree=30436144/32770624 swapFree=0/242224
[pid=20862] ppid=20859 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/20862/stat : 20862 (java) S 20859 20862 5228 0 -1 1077944320 5743 12669 0 0 5 1 5 3 20 0 14 0 13923060 14241083392 5418 18446744073709551615 4194304 4196468 140722651777792 140722651760336 139730108661495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
/proc/20862/statm: 3476827 5418 2558 1 0 3466332 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308
[startup+0.724575 s]
/proc/loadavg: 2.12 1.81 1.73 3/199 20862
/proc/meminfo: memFree=30436144/32770624 swapFree=0/242224
[pid=20862] ppid=20859 vsize=13974784 CPUtime=0.71 cores=1,3,5,7
/proc/20862/stat : 20862 (java) S 20859 20862 5228 0 -1 1077944320 13944 12669 0 0 60 3 5 3 20 0 15 0 13923060 14310178816 14847 18446744073709551615 4194304 4196468 140722651777792 140722651760336 139730108661495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
/proc/20862/statm: 3493696 14847 3098 1 0 3482973 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 13974784
[startup+1.50686 s]
/proc/loadavg: 2.12 1.81 1.73 3/214 20925
/proc/meminfo: memFree=30319084/32770624 swapFree=0/242268
[pid=20862] ppid=20859 vsize=13985408 CPUtime=1.89 cores=1,3,5,7
/proc/20862/stat : 20862 (java) S 20859 20862 5228 0 -1 1077944320 29373 12669 0 0 172 9 5 3 20 0 15 0 13923060 14321057792 42695 18446744073709551615 4194304 4196468 140722651777792 140722651760336 139730108661495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
/proc/20862/statm: 3496352 42695 3355 1 0 3485533 0
[pid=20862/tid=20912] ppid=20859 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/20862/task/20912/stat : 20912 (java) S 20859 20862 5228 0 -1 1077944384 22354 12669 0 0 114 6 5 3 20 0 15 0 13923081 14321057792 42695 18446744073709551615 4194304 4196468 140722651777792 139730112878208 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20913] ppid=20859 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/20862/task/20913/stat : 20913 (java) S 20859 20862 5228 0 -1 1077944384 56 12669 0 0 1 0 5 3 20 0 15 0 13923082 14321057792 42695 18446744073709551615 4194304 4196468 140722651777792 139729708784032 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20914] ppid=20859 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/20862/task/20914/stat : 20914 (java) S 20859 20862 5228 0 -1 1077944384 64 12669 0 0 1 0 5 3 20 0 15 0 13923082 14321057792 42695 18446744073709551615 4194304 4196468 140722651777792 139729707731216 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20915] ppid=20859 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/20862/task/20915/stat : 20915 (java) R 20859 20862 5228 0 -1 4202560 195 12669 0 0 1 0 5 3 20 0 15 0 13923082 14321057792 42695 18446744073709551615 4194304 4196468 140722651777792 139729706679048 139730101289703 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20916] ppid=20859 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/20862/task/20916/stat : 20916 (java) S 20859 20862 5228 0 -1 1077944384 47 12669 0 0 1 0 5 3 20 0 15 0 13923082 14321057792 42695 18446744073709551615 4194304 4196468 140722651777792 139729705626128 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20917] ppid=20859 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/20862/task/20917/stat : 20917 (java) S 20859 20862 5228 0 -1 1077944384 1266 12669 0 0 1 0 5 3 20 0 15 0 13923083 14321057792 42695 18446744073709551615 4194304 4196468 140722651777792 139729654396064 139730108671701 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20918] ppid=20859 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20918/stat : 20918 (java) S 20859 20862 5228 0 -1 1077944384 33 12669 0 0 0 0 5 3 20 0 15 0 13923083 14321057792 42695 18446744073709551615 4194304 4196468 140722651777792 139729653343520 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20919] ppid=20859 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20919/stat : 20919 (java) S 20859 20862 5228 0 -1 1077944384 21 12669 0 0 0 0 5 3 20 0 15 0 13923084 14321057792 42695 18446744073709551615 4194304 4196468 140722651777792 139729652291184 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20920] ppid=20859 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20920/stat : 20920 (java) S 20859 20862 5228 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 13923086 14321057792 42695 18446744073709551615 4194304 4196468 140722651777792 139729651239504 139730108680091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20921] ppid=20859 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/20862/task/20921/stat : 20921 (java) S 20859 20862 5228 0 -1 1077944384 1292 12669 0 0 16 0 5 3 20 0 15 0 13923086 14321057792 42695 18446744073709551615 4194304 4196468 140722651777792 139729650186352 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20922] ppid=20859 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/20862/task/20922/stat : 20922 (java) S 20859 20862 5228 0 -1 1077944384 460 12669 0 0 12 0 5 3 20 0 15 0 13923086 14321057792 42695 18446744073709551615 4194304 4196468 140722651777792 139729649133552 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20923] ppid=20859 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/20862/task/20923/stat : 20923 (java) S 20859 20862 5228 0 -1 1077944384 1420 12669 0 0 23 0 5 3 20 0 15 0 13923086 14321057792 42695 18446744073709551615 4194304 4196468 140722651777792 139729580321136 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20924] ppid=20859 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20924/stat : 20924 (java) S 20859 20862 5228 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 13923086 14321057792 42695 18446744073709551615 4194304 4196468 140722651777792 139729579268576 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20925] ppid=20859 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20925/stat : 20925 (java) S 20859 20862 5228 0 -1 1077944384 10 12669 0 0 0 0 5 3 20 0 15 0 13923092 14321057792 42695 18446744073709551615 4194304 4196468 140722651777792 139729578216368 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13985408
[startup+3.10057 s]
/proc/loadavg: 2.03 1.80 1.73 4/214 20925
/proc/meminfo: memFree=30258536/32770624 swapFree=0/242268
[pid=20862] ppid=20859 vsize=13999932 CPUtime=5.58 cores=1,3,5,7
/proc/20862/stat : 20862 (java) S 20859 20862 5228 0 -1 1077944320 49760 12669 0 0 536 14 5 3 20 0 15 0 13923060 14335930368 55024 18446744073709551615 4194304 4196468 140722651777792 140722651760336 139730108661495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
/proc/20862/statm: 3499983 55024 3431 1 0 3488605 0
[pid=20862/tid=20912] ppid=20859 vsize=13999932 CPUtime=2.86 cores=1,3,5,7
/proc/20862/task/20912/stat : 20912 (java) R 20859 20862 5228 0 -1 4202560 35305 12669 0 0 270 8 5 3 20 0 15 0 13923081 14335930368 55024 18446744073709551615 4194304 4196468 140722651777792 139730112873920 139730094341661 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20913] ppid=20859 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/20862/task/20913/stat : 20913 (java) S 20859 20862 5228 0 -1 1077944384 56 12669 0 0 1 0 5 3 20 0 15 0 13923082 14335930368 55024 18446744073709551615 4194304 4196468 140722651777792 139729708784016 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20914] ppid=20859 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/20862/task/20914/stat : 20914 (java) S 20859 20862 5228 0 -1 1077944384 64 12669 0 0 1 0 5 3 20 0 15 0 13923082 14335930368 55024 18446744073709551615 4194304 4196468 140722651777792 139729707731216 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20915] ppid=20859 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/20862/task/20915/stat : 20915 (java) S 20859 20862 5228 0 -1 1077944384 195 12669 0 0 1 0 5 3 20 0 15 0 13923082 14335930368 55024 18446744073709551615 4194304 4196468 140722651777792 139729706678928 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20916] ppid=20859 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/20862/task/20916/stat : 20916 (java) S 20859 20862 5228 0 -1 1077944384 47 12669 0 0 1 0 5 3 20 0 15 0 13923082 14335930368 55024 18446744073709551615 4194304 4196468 140722651777792 139729705626128 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20917] ppid=20859 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/20862/task/20917/stat : 20917 (java) S 20859 20862 5228 0 -1 1077944384 1457 12669 0 0 1 0 5 3 20 0 15 0 13923083 14335930368 55024 18446744073709551615 4194304 4196468 140722651777792 139729654397552 139730108672642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20918] ppid=20859 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20918/stat : 20918 (java) S 20859 20862 5228 0 -1 1077944384 55 12669 0 0 0 0 5 3 20 0 15 0 13923083 14335930368 55024 18446744073709551615 4194304 4196468 140722651777792 139729653343584 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20919] ppid=20859 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20919/stat : 20919 (java) S 20859 20862 5228 0 -1 1077944384 44 12669 0 0 0 0 5 3 20 0 15 0 13923084 14335930368 55024 18446744073709551615 4194304 4196468 140722651777792 139729652291200 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20920] ppid=20859 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20920/stat : 20920 (java) S 20859 20862 5228 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 13923086 14335930368 55024 18446744073709551615 4194304 4196468 140722651777792 139729651239504 139730108680091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20921] ppid=20859 vsize=13999932 CPUtime=0.8 cores=1,3,5,7
/proc/20862/task/20921/stat : 20921 (java) S 20859 20862 5228 0 -1 1077944384 2390 12669 0 0 71 1 5 3 20 0 15 0 13923086 14335930368 55024 18446744073709551615 4194304 4196468 140722651777792 139729650186352 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20922] ppid=20859 vsize=13999932 CPUtime=0.97 cores=1,3,5,7
/proc/20862/task/20922/stat : 20922 (java) S 20859 20862 5228 0 -1 1077944384 4009 12669 0 0 88 1 5 3 20 0 15 0 13923086 14335930368 55024 18446744073709551615 4194304 4196468 140722651777792 139729649133552 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20923] ppid=20859 vsize=13999932 CPUtime=1.05 cores=1,3,5,7
/proc/20862/task/20923/stat : 20923 (java) S 20859 20862 5228 0 -1 1077944384 3976 12669 0 0 97 0 5 3 20 0 15 0 13923086 14335930368 55024 18446744073709551615 4194304 4196468 140722651777792 139729580321136 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20924] ppid=20859 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20924/stat : 20924 (java) S 20859 20862 5228 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 13923086 14335930368 55024 18446744073709551615 4194304 4196468 140722651777792 139729579268576 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20925] ppid=20859 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20925/stat : 20925 (java) S 20859 20862 5228 0 -1 1077944384 12 12669 0 0 0 0 5 3 20 0 15 0 13923092 14335930368 55024 18446744073709551615 4194304 4196468 140722651777792 139729578216368 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 13999932
[startup+6.30062 s]
/proc/loadavg: 2.03 1.80 1.73 5/214 20925
/proc/meminfo: memFree=30085020/32770624 swapFree=0/242268
[pid=20862] ppid=20859 vsize=14069564 CPUtime=14.8 cores=1,3,5,7
/proc/20862/stat : 20862 (java) S 20859 20862 5228 0 -1 1077944320 64250 12669 0 0 1451 21 5 3 20 0 15 0 13923060 14407233536 93036 18446744073709551615 4194304 4196468 140722651777792 140722651760336 139730108661495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
/proc/20862/statm: 3517391 93036 3478 1 0 3506013 0
[pid=20862/tid=20912] ppid=20859 vsize=14069564 CPUtime=5.77 cores=1,3,5,7
/proc/20862/task/20912/stat : 20912 (java) R 20859 20862 5228 0 -1 4202560 44555 12669 0 0 558 11 5 3 20 0 15 0 13923081 14407233536 93036 18446744073709551615 4194304 4196468 140722651777792 139730112895680 139729735770119 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20913] ppid=20859 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/20862/task/20913/stat : 20913 (java) S 20859 20862 5228 0 -1 1077944384 105 12669 0 0 15 0 5 3 20 0 15 0 13923082 14407233536 93036 18446744073709551615 4194304 4196468 140722651777792 139729708784016 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20914] ppid=20859 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/20862/task/20914/stat : 20914 (java) S 20859 20862 5228 0 -1 1077944384 104 12669 0 0 14 0 5 3 20 0 15 0 13923082 14407233536 93036 18446744073709551615 4194304 4196468 140722651777792 139729707731216 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20915] ppid=20859 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/20862/task/20915/stat : 20915 (java) S 20859 20862 5228 0 -1 1077944384 275 12669 0 0 15 0 5 3 20 0 15 0 13923082 14407233536 93036 18446744073709551615 4194304 4196468 140722651777792 139729706678928 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20916] ppid=20859 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/20862/task/20916/stat : 20916 (java) S 20859 20862 5228 0 -1 1077944384 70 12669 0 0 15 0 5 3 20 0 15 0 13923082 14407233536 93036 18446744073709551615 4194304 4196468 140722651777792 139729705626128 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20917] ppid=20859 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/20862/task/20917/stat : 20917 (java) S 20859 20862 5228 0 -1 1077944384 2245 12669 0 0 12 0 5 3 20 0 15 0 13923083 14407233536 93036 18446744073709551615 4194304 4196468 140722651777792 139729654397552 139730108672642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20918] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20918/stat : 20918 (java) S 20859 20862 5228 0 -1 1077944384 55 12669 0 0 0 0 5 3 20 0 15 0 13923083 14407233536 93036 18446744073709551615 4194304 4196468 140722651777792 139729653343648 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20919] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20919/stat : 20919 (java) S 20859 20862 5228 0 -1 1077944384 45 12669 0 0 0 0 5 3 20 0 15 0 13923084 14407233536 93036 18446744073709551615 4194304 4196468 140722651777792 139729652291200 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20920] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20920/stat : 20920 (java) S 20859 20862 5228 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 13923086 14407233536 93036 18446744073709551615 4194304 4196468 140722651777792 139729651239504 139730108680091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20921] ppid=20859 vsize=14069564 CPUtime=3.27 cores=1,3,5,7
/proc/20862/task/20921/stat : 20921 (java) S 20859 20862 5228 0 -1 1077944384 3749 12669 0 0 318 1 5 3 20 0 15 0 13923086 14407233536 93036 18446744073709551615 4194304 4196468 140722651777792 139729650186352 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20922] ppid=20859 vsize=14069564 CPUtime=3.28 cores=1,3,5,7
/proc/20862/task/20922/stat : 20922 (java) S 20859 20862 5228 0 -1 1077944384 5195 12669 0 0 319 1 5 3 20 0 15 0 13923086 14407233536 93036 18446744073709551615 4194304 4196468 140722651777792 139729649133552 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20923] ppid=20859 vsize=14069564 CPUtime=1.88 cores=1,3,5,7
/proc/20862/task/20923/stat : 20923 (java) S 20859 20862 5228 0 -1 1077944384 5684 12669 0 0 179 1 5 3 20 0 15 0 13923086 14407233536 93036 18446744073709551615 4194304 4196468 140722651777792 139729580321136 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20924] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20924/stat : 20924 (java) S 20859 20862 5228 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 13923086 14407233536 93036 18446744073709551615 4194304 4196468 140722651777792 139729579268576 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20925] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20925/stat : 20925 (java) S 20859 20862 5228 0 -1 1077944384 13 12669 0 0 0 0 5 3 20 0 15 0 13923092 14407233536 93036 18446744073709551615 4194304 4196468 140722651777792 139729578216368 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
Current children cumulated CPU time (s) 14.8
Current children cumulated vsize (KiB) 14069564
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20862 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.70062 s]
/proc/loadavg: 2.03 1.80 1.73 5/214 20925
/proc/meminfo: memFree=30085020/32770624 swapFree=0/242268
[pid=20862] ppid=20859 vsize=14069564 CPUtime=15.35 cores=1,3,5,7
/proc/20862/stat : 20862 (java) S 20859 20862 5228 0 -1 1077944320 64268 12669 0 0 1506 21 5 3 20 0 15 0 13923060 14407233536 98668 18446744073709551615 4194304 4196468 140722651777792 140722651760336 139730108661495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
/proc/20862/statm: 3517391 98668 3478 1 0 3506013 0
[pid=20862/tid=20912] ppid=20859 vsize=14069564 CPUtime=6.18 cores=1,3,5,7
/proc/20862/task/20912/stat : 20912 (java) R 20859 20862 5228 0 -1 4202560 44573 12669 0 0 598 12 5 3 20 0 15 0 13923081 14407233536 98668 18446744073709551615 4194304 4196468 140722651777792 139730112895680 139729748687656 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20913] ppid=20859 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/20862/task/20913/stat : 20913 (java) S 20859 20862 5228 0 -1 1077944384 105 12669 0 0 15 0 5 3 20 0 15 0 13923082 14407233536 98668 18446744073709551615 4194304 4196468 140722651777792 139729708784016 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20914] ppid=20859 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/20862/task/20914/stat : 20914 (java) S 20859 20862 5228 0 -1 1077944384 104 12669 0 0 14 0 5 3 20 0 15 0 13923082 14407233536 98668 18446744073709551615 4194304 4196468 140722651777792 139729707731216 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20915] ppid=20859 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/20862/task/20915/stat : 20915 (java) S 20859 20862 5228 0 -1 1077944384 275 12669 0 0 15 0 5 3 20 0 15 0 13923082 14407233536 98668 18446744073709551615 4194304 4196468 140722651777792 139729706678928 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20916] ppid=20859 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/20862/task/20916/stat : 20916 (java) S 20859 20862 5228 0 -1 1077944384 70 12669 0 0 15 0 5 3 20 0 15 0 13923082 14407233536 98668 18446744073709551615 4194304 4196468 140722651777792 139729705626128 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20917] ppid=20859 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/20862/task/20917/stat : 20917 (java) S 20859 20862 5228 0 -1 1077944384 2245 12669 0 0 12 0 5 3 20 0 15 0 13923083 14407233536 98668 18446744073709551615 4194304 4196468 140722651777792 139729654397552 139730108672642 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20918] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20918/stat : 20918 (java) S 20859 20862 5228 0 -1 1077944384 55 12669 0 0 0 0 5 3 20 0 15 0 13923083 14407233536 98668 18446744073709551615 4194304 4196468 140722651777792 139729653343648 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20919] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20919/stat : 20919 (java) S 20859 20862 5228 0 -1 1077944384 45 12669 0 0 0 0 5 3 20 0 15 0 13923084 14407233536 99180 18446744073709551615 4194304 4196468 140722651777792 139729652291200 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20920] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20920/stat : 20920 (java) S 20859 20862 5228 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 13923086 14407233536 99180 18446744073709551615 4194304 4196468 140722651777792 139729651239504 139730108680091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20921] ppid=20859 vsize=14069564 CPUtime=3.35 cores=1,3,5,7
/proc/20862/task/20921/stat : 20921 (java) S 20859 20862 5228 0 -1 1077944384 3749 12669 0 0 326 1 5 3 20 0 15 0 13923086 14407233536 99180 18446744073709551615 4194304 4196468 140722651777792 139729650186352 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20922] ppid=20859 vsize=14069564 CPUtime=3.35 cores=1,3,5,7
/proc/20862/task/20922/stat : 20922 (java) S 20859 20862 5228 0 -1 1077944384 5195 12669 0 0 326 1 5 3 20 0 15 0 13923086 14407233536 99180 18446744073709551615 4194304 4196468 140722651777792 139729649133552 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20923] ppid=20859 vsize=14069564 CPUtime=1.88 cores=1,3,5,7
/proc/20862/task/20923/stat : 20923 (java) S 20859 20862 5228 0 -1 1077944384 5684 12669 0 0 179 1 5 3 20 0 15 0 13923086 14407233536 99180 18446744073709551615 4194304 4196468 140722651777792 139729580321136 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20924] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20924/stat : 20924 (java) S 20859 20862 5228 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 13923086 14407233536 99180 18446744073709551615 4194304 4196468 140722651777792 139729579268576 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20925] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20925/stat : 20925 (java) S 20859 20862 5228 0 -1 1077944384 13 12669 0 0 0 0 5 3 20 0 15 0 13923092 14407233536 99180 18446744073709551615 4194304 4196468 140722651777792 139729578216368 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
Current children cumulated CPU time (s) 15.35
Current children cumulated vsize (KiB) 14069564
[startup+7.10067 s]
/proc/loadavg: 2.03 1.80 1.73 4/214 20925
/proc/meminfo: memFree=30024760/32770624 swapFree=0/242264
[pid=20862] ppid=20859 vsize=14069564 CPUtime=15.96 cores=1,3,5,7
/proc/20862/stat : 20862 (java) S 20859 20862 5228 0 -1 1077944320 64321 12669 0 0 1566 22 5 3 20 0 15 0 13923060 14407233536 107372 18446744073709551615 4194304 4196468 140722651777792 140722651760336 139730108661495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
/proc/20862/statm: 3517391 107372 3478 1 0 3506013 0
[pid=20862/tid=20912] ppid=20859 vsize=14069564 CPUtime=6.57 cores=1,3,5,7
/proc/20862/task/20912/stat : 20912 (java) R 20859 20862 5228 0 -1 4202560 44591 12669 0 0 637 12 5 3 20 0 15 0 13923081 14407233536 107372 18446744073709551615 4194304 4196468 140722651777792 139730112893272 139729747451842 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20913] ppid=20859 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/20862/task/20913/stat : 20913 (java) S 20859 20862 5228 0 -1 1077944384 105 12669 0 0 15 0 5 3 20 0 15 0 13923082 14407233536 107372 18446744073709551615 4194304 4196468 140722651777792 139729708784016 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20914] ppid=20859 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/20862/task/20914/stat : 20914 (java) S 20859 20862 5228 0 -1 1077944384 104 12669 0 0 14 0 5 3 20 0 15 0 13923082 14407233536 107372 18446744073709551615 4194304 4196468 140722651777792 139729707731216 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20915] ppid=20859 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/20862/task/20915/stat : 20915 (java) S 20859 20862 5228 0 -1 1077944384 275 12669 0 0 15 0 5 3 20 0 15 0 13923082 14407233536 107372 18446744073709551615 4194304 4196468 140722651777792 139729706678928 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20916] ppid=20859 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/20862/task/20916/stat : 20916 (java) S 20859 20862 5228 0 -1 1077944384 70 12669 0 0 15 0 5 3 20 0 15 0 13923082 14407233536 107372 18446744073709551615 4194304 4196468 140722651777792 139729705626128 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20917] ppid=20859 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/20862/task/20917/stat : 20917 (java) S 20859 20862 5228 0 -1 1077944384 2280 12669 0 0 13 0 5 3 20 0 15 0 13923083 14407233536 107372 18446744073709551615 4194304 4196468 140722651777792 139729654397552 139730108672642 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20918] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20918/stat : 20918 (java) S 20859 20862 5228 0 -1 1077944384 55 12669 0 0 0 0 5 3 20 0 15 0 13923083 14407233536 107372 18446744073709551615 4194304 4196468 140722651777792 139729653343648 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20919] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20919/stat : 20919 (java) S 20859 20862 5228 0 -1 1077944384 45 12669 0 0 0 0 5 3 20 0 15 0 13923084 14407233536 107372 18446744073709551615 4194304 4196468 140722651777792 139729652291200 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20920] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20920/stat : 20920 (java) S 20859 20862 5228 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 13923086 14407233536 107372 18446744073709551615 4194304 4196468 140722651777792 139729651239504 139730108680091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20921] ppid=20859 vsize=14069564 CPUtime=3.42 cores=1,3,5,7
/proc/20862/task/20921/stat : 20921 (java) S 20859 20862 5228 0 -1 1077944384 3749 12669 0 0 333 1 5 3 20 0 15 0 13923086 14407233536 107372 18446744073709551615 4194304 4196468 140722651777792 139729650186352 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20922] ppid=20859 vsize=14069564 CPUtime=3.48 cores=1,3,5,7
/proc/20862/task/20922/stat : 20922 (java) R 20859 20862 5228 0 -1 4202560 5195 12669 0 0 339 1 5 3 20 0 15 0 13923086 14407233536 107372 18446744073709551615 4194304 4196468 140722651777792 139729649133848 139730092663392 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20923] ppid=20859 vsize=14069564 CPUtime=1.89 cores=1,3,5,7
/proc/20862/task/20923/stat : 20923 (java) S 20859 20862 5228 0 -1 1077944384 5684 12669 0 0 180 1 5 3 20 0 15 0 13923086 14407233536 107372 18446744073709551615 4194304 4196468 140722651777792 139729580321136 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20924] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20924/stat : 20924 (java) S 20859 20862 5228 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 13923086 14407233536 107372 18446744073709551615 4194304 4196468 140722651777792 139729579268576 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20925] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20925/stat : 20925 (java) S 20859 20862 5228 0 -1 1077944384 13 12669 0 0 0 0 5 3 20 0 15 0 13923092 14407233536 107372 18446744073709551615 4194304 4196468 140722651777792 139729578216368 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
Current children cumulated CPU time (s) 15.96
Current children cumulated vsize (KiB) 14069564
[startup+7.50063 s]
/proc/loadavg: 2.03 1.80 1.73 4/214 20925
/proc/meminfo: memFree=30024760/32770624 swapFree=0/242264
[pid=20862] ppid=20859 vsize=14069564 CPUtime=16.94 cores=1,3,5,7
/proc/20862/stat : 20862 (java) S 20859 20862 5228 0 -1 1077944320 65156 12669 0 0 1664 22 5 3 20 0 15 0 13923060 14407233536 107946 18446744073709551615 4194304 4196468 140722651777792 140722651760336 139730108661495 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
/proc/20862/statm: 3517391 107946 3481 1 0 3506013 0
[pid=20862/tid=20912] ppid=20859 vsize=14069564 CPUtime=6.97 cores=1,3,5,7
/proc/20862/task/20912/stat : 20912 (java) R 20859 20862 5228 0 -1 4202560 44591 12669 0 0 677 12 5 3 20 0 15 0 13923081 14407233536 107946 18446744073709551615 4194304 4196468 140722651777792 139730112895872 139729749347788 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20913] ppid=20859 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/20862/task/20913/stat : 20913 (java) S 20859 20862 5228 0 -1 1077944384 106 12669 0 0 15 0 5 3 20 0 15 0 13923082 14407233536 107946 18446744073709551615 4194304 4196468 140722651777792 139729708784016 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20914] ppid=20859 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/20862/task/20914/stat : 20914 (java) S 20859 20862 5228 0 -1 1077944384 104 12669 0 0 14 0 5 3 20 0 15 0 13923082 14407233536 107946 18446744073709551615 4194304 4196468 140722651777792 139729707731216 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20915] ppid=20859 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/20862/task/20915/stat : 20915 (java) S 20859 20862 5228 0 -1 1077944384 276 12669 0 0 15 0 5 3 20 0 15 0 13923082 14407233536 107946 18446744073709551615 4194304 4196468 140722651777792 139729706678928 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20916] ppid=20859 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/20862/task/20916/stat : 20916 (java) S 20859 20862 5228 0 -1 1077944384 71 12669 0 0 15 0 5 3 20 0 15 0 13923082 14407233536 107946 18446744073709551615 4194304 4196468 140722651777792 139729705626128 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20917] ppid=20859 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/20862/task/20917/stat : 20917 (java) S 20859 20862 5228 0 -1 1077944384 2280 12669 0 0 13 0 5 3 20 0 15 0 13923083 14407233536 107946 18446744073709551615 4194304 4196468 140722651777792 139729654397552 139730108672642 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20918] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20918/stat : 20918 (java) S 20859 20862 5228 0 -1 1077944384 55 12669 0 0 0 0 5 3 20 0 15 0 13923083 14407233536 107946 18446744073709551615 4194304 4196468 140722651777792 139729653343648 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20919] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20919/stat : 20919 (java) S 20859 20862 5228 0 -1 1077944384 45 12669 0 0 0 0 5 3 20 0 15 0 13923084 14407233536 107946 18446744073709551615 4194304 4196468 140722651777792 139729652291200 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20920] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20920/stat : 20920 (java) S 20859 20862 5228 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 13923086 14407233536 107946 18446744073709551615 4194304 4196468 140722651777792 139729651239504 139730108680091 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20921] ppid=20859 vsize=14069564 CPUtime=3.76 cores=1,3,5,7
/proc/20862/task/20921/stat : 20921 (java) S 20859 20862 5228 0 -1 1077944384 4228 12669 0 0 366 2 5 3 20 0 15 0 13923086 14407233536 107946 18446744073709551615 4194304 4196468 140722651777792 139729650186352 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20922] ppid=20859 vsize=14069564 CPUtime=3.72 cores=1,3,5,7
/proc/20862/task/20922/stat : 20922 (java) S 20859 20862 5228 0 -1 1077944384 5548 12669 0 0 363 1 5 3 20 0 15 0 13923086 14407233536 107946 18446744073709551615 4194304 4196468 140722651777792 139729649133552 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20923] ppid=20859 vsize=14069564 CPUtime=1.89 cores=1,3,5,7
/proc/20862/task/20923/stat : 20923 (java) S 20859 20862 5228 0 -1 1077944384 5684 12669 0 0 180 1 5 3 20 0 15 0 13923086 14407233536 107946 18446744073709551615 4194304 4196468 140722651777792 139729580321136 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20924] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20924/stat : 20924 (java) S 20859 20862 5228 0 -1 1077944384 3 12669 0 0 0 0 5 3 20 0 15 0 13923086 14407233536 107946 18446744073709551615 4194304 4196468 140722651777792 139729579268576 139730108671701 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
[pid=20862/tid=20925] ppid=20859 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20862/task/20925/stat : 20925 (java) S 20859 20862 5228 0 -1 1077944384 13 12669 0 0 0 0 5 3 20 0 15 0 13923092 14407233536 107946 18446744073709551615 4194304 4196468 140722651777792 139729578216368 139730108672642 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25632768 140722651785165 140722651787950 140722651787950 140722651791311 0
Current children cumulated CPU time (s) 16.94
Current children cumulated vsize (KiB) 14069564
Child status: 0
Real time (s): 7.56458
CPU time (s): 17.0393
CPU user time (s): 16.7705
CPU system time (s): 0.268779
CPU usage (%): 225.251
Max. virtual memory (cumulated for all children) (KiB): 14069564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.7705
system time used= 0.268779
maximum resident set size= 434932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77902
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7617
involuntary context switches= 225
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041405 second user time and 0.041405 second system time
The end