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-4246637-1500709277/watcher-4246637-1500709277 -o /tmp/evaluation-result-4246637-1500709277/solver-4246637-1500709277 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500682665-15783 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4246637-1500709277.xml
pid=21855
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: 2.04 2.04 2.03 2/262 21858
/proc/meminfo: memFree=31637552/32770624 swapFree=5760/285312
[pid=21858] ppid=21855 vsize=109440 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/stat : 21858 (java) S 21855 21858 15216 0 -1 1077944320 1648 0 0 0 0 0 0 0 20 0 2 0 6193087 112066560 1412 33554432000 4194304 4196468 140724985771872 140724985754416 140267206147831 0 0 0 16784584 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
/proc/21858/statm: 27360 1412 1072 1 0 16810 0
[pid=21858/tid=21859] ppid=21855 vsize=111596 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21859/stat : 21859 (java) D 21855 21858 15216 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 2 0 6193088 114274304 1412 33554432000 4194304 4196468 140724985771872 140267210389520 140267198827053 0 4 0 16784584 18446744072101600804 0 0 -1 12 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[startup+0.100061 s]
/proc/loadavg: 2.04 2.04 2.03 2/262 21858
/proc/meminfo: memFree=31637552/32770624 swapFree=5760/285312
[pid=21858] ppid=21855 vsize=10900456 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/21858/stat : 21858 (java) S 21855 21858 15216 0 -1 1077944320 4550 0 0 0 8 1 0 0 20 0 20 0 6193087 11162066944 5645 33554432000 4194304 4196468 140724985771872 140724985754416 140267206147831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
/proc/21858/statm: 2725114 5645 2596 1 0 2713552 0
[pid=21858/tid=21859] ppid=21855 vsize=10900456 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21859/stat : 21859 (java) R 21855 21858 15216 0 -1 4202560 2642 0 0 0 7 0 0 0 20 0 20 0 6193088 11162066944 5645 33554432000 4194304 4196468 140724985771872 140267210390112 140267190228318 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900456
[startup+0.200355 s]
/proc/loadavg: 2.04 2.04 2.03 2/262 21858
/proc/meminfo: memFree=31637552/32770624 swapFree=5760/285312
[pid=21858] ppid=21855 vsize=10900580 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/21858/stat : 21858 (java) S 21855 21858 15216 0 -1 1077944320 7249 0 0 0 24 3 0 0 20 0 20 0 6193087 11162193920 9109 33554432000 4194304 4196468 140724985771872 140724985754416 140267206147831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
/proc/21858/statm: 2725145 9109 2876 1 0 2713552 0
[pid=21858/tid=21859] ppid=21855 vsize=10900580 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21859/stat : 21859 (java) R 21855 21858 15216 0 -1 4202560 4443 0 0 0 16 1 0 0 20 0 20 0 6193088 11162193920 9109 33554432000 4194304 4196468 140724985771872 140267210361648 140267206169757 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10900580
[startup+0.300302 s]
/proc/loadavg: 2.04 2.04 2.03 2/262 21858
/proc/meminfo: memFree=31637552/32770624 swapFree=5760/285312
[pid=21858] ppid=21855 vsize=10969228 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/21858/stat : 21858 (java) S 21855 21858 15216 0 -1 1077944320 7962 0 0 0 45 3 0 0 20 0 21 0 6193087 11232489472 13286 33554432000 4194304 4196468 140724985771872 140724985754416 140267206147831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
/proc/21858/statm: 2742307 13286 2960 1 0 2730193 0
[pid=21858/tid=21859] ppid=21855 vsize=10969228 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21859/stat : 21859 (java) S 21855 21858 15216 0 -1 1077944384 4725 0 0 0 23 1 0 0 20 0 21 0 6193088 11232489472 13286 33554432000 4194304 4196468 140724985771872 140267210390704 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10969228
[startup+0.700177 s]
/proc/loadavg: 2.04 2.04 2.03 2/262 21858
/proc/meminfo: memFree=31637552/32770624 swapFree=5760/285312
[pid=21858] ppid=21855 vsize=10971352 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/21858/stat : 21858 (java) S 21855 21858 15216 0 -1 1077944320 11301 0 0 0 128 5 0 0 20 0 21 0 6193087 11234664448 22012 33554432000 4194304 4196468 140724985771872 140724985754416 140267206147831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
/proc/21858/statm: 2742838 22012 3104 1 0 2730705 0
[pid=21858/tid=21859] ppid=21855 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21859/stat : 21859 (java) S 21855 21858 15216 0 -1 1077944384 4725 0 0 0 23 1 0 0 20 0 21 0 6193088 11234664448 22012 33554432000 4194304 4196468 140724985771872 140267210390704 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 10971352
[startup+1.50116 s]
/proc/loadavg: 2.04 2.04 2.03 4/283 21879
/proc/meminfo: memFree=31558452/32770624 swapFree=5760/285312
[pid=21858] ppid=21855 vsize=10973400 CPUtime=3.15 cores=0,2,4,6,8,10,12,14
/proc/21858/stat : 21858 (java) S 21855 21858 15216 0 -1 1077944320 18845 0 0 0 308 7 0 0 20 0 21 0 6193087 11236761600 25384 33554432000 4194304 4196468 140724985771872 140724985754416 140267206147831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
/proc/21858/statm: 2743350 25384 3119 1 0 2731217 0
[pid=21858/tid=21859] ppid=21855 vsize=10973400 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21859/stat : 21859 (java) S 21855 21858 15216 0 -1 1077944384 4725 0 0 0 23 1 0 0 20 0 21 0 6193088 11236761600 25384 33554432000 4194304 4196468 140724985771872 140267210390704 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21861] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21861/stat : 21861 (java) S 21855 21858 15216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 6193089 11236761600 25384 33554432000 4194304 4196468 140724985771872 140267132222352 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21862] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21862/stat : 21862 (java) S 21855 21858 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6193089 11236761600 25384 33554432000 4194304 4196468 140724985771872 140267131169552 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21863] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21863/stat : 21863 (java) S 21855 21858 15216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6193089 11236761600 25384 33554432000 4194304 4196468 140724985771872 140267130117264 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21864] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21864/stat : 21864 (java) S 21855 21858 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6193089 11236761600 25384 33554432000 4194304 4196468 140724985771872 140267129064464 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21865] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21865/stat : 21865 (java) S 21855 21858 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6193089 11236761600 25384 33554432000 4194304 4196468 140724985771872 140267128011152 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21866] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21866/stat : 21866 (java) S 21855 21858 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6193089 11236761600 25384 33554432000 4194304 4196468 140724985771872 140267126958352 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21867] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21867/stat : 21867 (java) S 21855 21858 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6193089 11236761600 25384 33554432000 4194304 4196468 140724985771872 140267125906064 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21868] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21868/stat : 21868 (java) S 21855 21858 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6193089 11236761600 25384 33554432000 4194304 4196468 140724985771872 140267124853264 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21869] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21869/stat : 21869 (java) S 21855 21858 15216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 6193092 11236761600 25384 33554432000 4194304 4196468 140724985771872 140266278267504 140267206158978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21870] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21870/stat : 21870 (java) S 21855 21858 15216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 6193093 11236761600 25384 33554432000 4194304 4196468 140724985771872 140266277213472 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21871] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21871/stat : 21871 (java) S 21855 21858 15216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 6193093 11236761600 25384 33554432000 4194304 4196468 140724985771872 140266276161136 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21872] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21872/stat : 21872 (java) S 21855 21858 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6193097 11236761600 25384 33554432000 4194304 4196468 140724985771872 140266275109456 140267206166427 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21873] ppid=21855 vsize=10973400 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21873/stat : 21873 (java) R 21855 21858 15216 0 -1 4202560 2122 0 0 0 40 0 0 0 20 0 21 0 6193097 11236761600 25384 33554432000 4194304 4196468 140724985771872 140266274042488 140267187692505 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21874] ppid=21855 vsize=10973400 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21874/stat : 21874 (java) R 21855 21858 15216 0 -1 4202560 2772 0 0 0 48 0 0 0 20 0 21 0 6193097 11236761600 25384 33554432000 4194304 4196468 140724985771872 140266272984520 140267189644560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21875] ppid=21855 vsize=10973400 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21875/stat : 21875 (java) R 21855 21858 15216 0 -1 4202560 2564 0 0 0 41 0 0 0 20 0 21 0 6193097 11236761600 25384 33554432000 4194304 4196468 140724985771872 140266271935768 140267183371984 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21876] ppid=21855 vsize=10973400 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21876/stat : 21876 (java) S 21855 21858 15216 0 -1 1077944384 1756 0 0 0 34 1 0 0 20 0 21 0 6193097 11236761600 25384 33554432000 4194304 4196468 140724985771872 140266270898416 140267206158978 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21877] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21877/stat : 21877 (java) S 21855 21858 15216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6193097 11236761600 25384 33554432000 4194304 4196468 140724985771872 140266269846368 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21878] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21878/stat : 21878 (java) S 21855 21858 15216 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 6193097 11236761600 25384 33554432000 4194304 4196468 140724985771872 140266268793648 140267206158978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21879] ppid=21855 vsize=10973400 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21879/stat : 21879 (java) R 21855 21858 15216 0 -1 4202560 3517 0 0 0 119 1 0 0 20 0 21 0 6193115 11236761600 25384 33554432000 4194304 4196468 140724985771872 140266265601848 140266807054106 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 10973400
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21858 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60157 s]
/proc/loadavg: 2.04 2.04 2.03 4/283 21879
/proc/meminfo: memFree=31558452/32770624 swapFree=5760/285312
[pid=21858] ppid=21855 vsize=10973400 CPUtime=3.4 cores=0,2,4,6,8,10,12,14
/proc/21858/stat : 21858 (java) S 21855 21858 15216 0 -1 1077944320 19663 0 0 0 333 7 0 0 20 0 21 0 6193087 11236761600 26262 33554432000 4194304 4196468 140724985771872 140724985754416 140267206147831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
/proc/21858/statm: 2743350 26262 3120 1 0 2731217 0
[pid=21858/tid=21859] ppid=21855 vsize=10973400 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21859/stat : 21859 (java) S 21855 21858 15216 0 -1 1077944384 4725 0 0 0 23 1 0 0 20 0 21 0 6193088 11236761600 26262 33554432000 4194304 4196468 140724985771872 140267210390704 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21861] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21861/stat : 21861 (java) S 21855 21858 15216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 6193089 11236761600 26262 33554432000 4194304 4196468 140724985771872 140267132222352 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21862] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21862/stat : 21862 (java) S 21855 21858 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6193089 11236761600 26262 33554432000 4194304 4196468 140724985771872 140267131169552 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21863] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21863/stat : 21863 (java) S 21855 21858 15216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6193089 11236761600 26262 33554432000 4194304 4196468 140724985771872 140267130117264 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21864] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21864/stat : 21864 (java) S 21855 21858 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6193089 11236761600 26262 33554432000 4194304 4196468 140724985771872 140267129064464 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21865] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21865/stat : 21865 (java) S 21855 21858 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6193089 11236761600 26262 33554432000 4194304 4196468 140724985771872 140267128011152 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21866] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21866/stat : 21866 (java) S 21855 21858 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6193089 11236761600 26262 33554432000 4194304 4196468 140724985771872 140267126958352 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21867] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21867/stat : 21867 (java) S 21855 21858 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6193089 11236761600 26262 33554432000 4194304 4196468 140724985771872 140267125906064 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21868] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21868/stat : 21868 (java) S 21855 21858 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6193089 11236761600 26262 33554432000 4194304 4196468 140724985771872 140267124853264 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21869] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21869/stat : 21869 (java) S 21855 21858 15216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 6193092 11236761600 26262 33554432000 4194304 4196468 140724985771872 140266278267504 140267206158978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21870] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21870/stat : 21870 (java) S 21855 21858 15216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 6193093 11236761600 26262 33554432000 4194304 4196468 140724985771872 140266277213472 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21871] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21871/stat : 21871 (java) S 21855 21858 15216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 6193093 11236761600 26262 33554432000 4194304 4196468 140724985771872 140266276161136 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21872] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21872/stat : 21872 (java) S 21855 21858 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6193097 11236761600 26262 33554432000 4194304 4196468 140724985771872 140266275109456 140267206166427 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21873] ppid=21855 vsize=10973400 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21873/stat : 21873 (java) S 21855 21858 15216 0 -1 1077944384 2228 0 0 0 44 0 0 0 20 0 21 0 6193097 11236761600 26262 33554432000 4194304 4196468 140724985771872 140266274056304 140267206158978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21874] ppid=21855 vsize=10973400 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21874/stat : 21874 (java) S 21855 21858 15216 0 -1 1077944384 3301 0 0 0 55 0 0 0 20 0 21 0 6193097 11236761600 26262 33554432000 4194304 4196468 140724985771872 140266273003504 140267206158978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21875] ppid=21855 vsize=10973400 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21875/stat : 21875 (java) S 21855 21858 15216 0 -1 1077944384 2746 0 0 0 46 0 0 0 20 0 21 0 6193097 11236761600 26262 33554432000 4194304 4196468 140724985771872 140266271951216 140267206158978 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21876] ppid=21855 vsize=10973400 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21876/stat : 21876 (java) S 21855 21858 15216 0 -1 1077944384 1756 0 0 0 34 1 0 0 20 0 21 0 6193097 11236761600 26262 33554432000 4194304 4196468 140724985771872 140266270898416 140267206158978 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21877] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21877/stat : 21877 (java) S 21855 21858 15216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6193097 11236761600 26262 33554432000 4194304 4196468 140724985771872 140266269846368 140267206158037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21878] ppid=21855 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21878/stat : 21878 (java) S 21855 21858 15216 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 6193097 11236761600 26262 33554432000 4194304 4196468 140724985771872 140266268793648 140267206158978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
[pid=21858/tid=21879] ppid=21855 vsize=10973400 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/21858/task/21879/stat : 21879 (java) R 21855 21858 15216 0 -1 4202560 3518 0 0 0 129 1 0 0 20 0 21 0 6193115 11236761600 26262 33554432000 4194304 4196468 140724985771872 140266265601768 140266807289525 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25550848 140724985775299 140724985775428 140724985775428 140724985778127 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 10973400
Child status: 0
Real time (s): 1.63087
CPU time (s): 3.44594
CPU user time (s): 3.36486
CPU system time (s): 0.08108
CPU usage (%): 211.295
Max. virtual memory (cumulated for all children) (KiB): 10973400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.36486
system time used= 0.08108
maximum resident set size= 107440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20057
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= 2557
involuntary context switches= 278
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.014576 second user time and 0.023322 second system time
The end