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-4249808-1500740169/watcher-4249808-1500740169 -o /tmp/evaluation-result-4249808-1500740169/solver-4249808-1500740169 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500709764-19675 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1146039875 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249808-1500740169.xml
pid=24332
running on 8 cores: 1,3,5,7,9,11,13,15
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.93 1.94 1.95 3/261 24335
/proc/meminfo: memFree=31577320/32770624 swapFree=6544/174396
[pid=24335] ppid=24332 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/stat : 24335 (java) S 24332 24335 19643 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 9281908 369864704 1925 33554432000 4194304 4196468 140730978583728 140730978566272 140005482868471 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
/proc/24335/statm: 90299 1925 1072 1 0 79210 0
[pid=24335/tid=24336] ppid=24332 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24336/stat : 24336 (java) S 24332 24335 19643 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 9281909 369864704 1925 33554432000 4194304 4196468 140730978583728 140005487110560 140005482879618 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[startup+0.100072 s]
/proc/loadavg: 1.93 1.94 1.95 3/261 24335
/proc/meminfo: memFree=31577320/32770624 swapFree=6544/174396
[pid=24335] ppid=24332 vsize=13264380 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/24335/stat : 24335 (java) S 24332 24335 19643 0 -1 1077944320 5569 0 0 0 8 1 0 0 20 0 20 0 9281908 13582725120 6155 33554432000 4194304 4196468 140730978583728 140730978566272 140005482868471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
/proc/24335/statm: 3316095 6155 3135 1 0 3303815 0
[pid=24335/tid=24336] ppid=24332 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24336/stat : 24336 (java) R 24332 24335 19643 0 -1 4202560 3677 0 0 0 7 1 0 0 20 0 20 0 9281909 13582725120 6155 33554432000 4194304 4196468 140730978583728 140005487103392 140005439504246 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380
[startup+0.200419 s]
/proc/loadavg: 1.93 1.94 1.95 3/261 24335
/proc/meminfo: memFree=31577320/32770624 swapFree=6544/174396
[pid=24335] ppid=24332 vsize=13263912 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/24335/stat : 24335 (java) S 24332 24335 19643 0 -1 1077944320 8887 0 0 0 23 2 0 0 20 0 20 0 9281908 13582245888 8952 33554432000 4194304 4196468 140730978583728 140730978566272 140005482868471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
/proc/24335/statm: 3315978 8952 3571 1 0 3303698 0
[pid=24335/tid=24336] ppid=24332 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24336/stat : 24336 (java) R 24332 24335 19643 0 -1 4202560 6613 0 0 0 16 2 0 0 20 0 20 0 9281909 13582245888 8952 33554432000 4194304 4196468 140730978583728 140005487073408 140005466948958 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912
[startup+0.30036 s]
/proc/loadavg: 1.93 1.94 1.95 3/261 24335
/proc/meminfo: memFree=31577320/32770624 swapFree=6544/174396
[pid=24335] ppid=24332 vsize=13263912 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/24335/stat : 24335 (java) S 24332 24335 19643 0 -1 1077944320 9926 0 0 0 38 3 0 0 20 0 20 0 9281908 13582245888 11171 33554432000 4194304 4196468 140730978583728 140730978566272 140005482868471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
/proc/24335/statm: 3315978 11171 3616 1 0 3303698 0
[pid=24335/tid=24336] ppid=24332 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24336/stat : 24336 (java) R 24332 24335 19643 0 -1 4202560 7335 0 0 0 25 2 0 0 20 0 20 0 9281909 13582245888 11171 33554432000 4194304 4196468 140730978583728 140005487086616 140005464768247 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13263912
[startup+0.700295 s]
/proc/loadavg: 1.93 1.94 1.95 3/261 24335
/proc/meminfo: memFree=31577320/32770624 swapFree=6544/174396
[pid=24335] ppid=24332 vsize=13265980 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/24335/stat : 24335 (java) S 24332 24335 19643 0 -1 1077944320 13916 0 0 0 136 6 0 0 20 0 20 0 9281908 13584363520 19305 33554432000 4194304 4196468 140730978583728 140730978566272 140005482868471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
/proc/24335/statm: 3316495 19305 3765 1 0 3304210 0
[pid=24335/tid=24336] ppid=24332 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24336/stat : 24336 (java) R 24332 24335 19643 0 -1 4202560 8634 0 0 0 63 4 0 0 20 0 20 0 9281909 13584363520 19305 33554432000 4194304 4196468 140730978583728 140005487104352 140005482880406 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 13265980
[startup+1.50076 s]
/proc/loadavg: 1.93 1.94 1.95 5/281 24355
/proc/meminfo: memFree=31419104/32770624 swapFree=6544/174432
[pid=24335] ppid=24332 vsize=13270076 CPUtime=4.3 cores=1,3,5,7,9,11,13,15
/proc/24335/stat : 24335 (java) S 24332 24335 19643 0 -1 1077944320 30227 0 0 0 410 20 0 0 20 0 20 0 9281908 13588557824 60064 33554432000 4194304 4196468 140730978583728 140730978566272 140005482868471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
/proc/24335/statm: 3317519 60064 3804 1 0 3305234 0
[pid=24335/tid=24336] ppid=24332 vsize=13270076 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24336/stat : 24336 (java) R 24332 24335 19643 0 -1 4202560 11320 0 0 0 137 7 0 0 20 0 20 0 9281909 13588557824 60064 33554432000 4194304 4196468 140730978583728 140005487104808 140005086763304 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24338] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24338/stat : 24338 (java) S 24332 24335 19643 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 9281910 13588557824 60064 33554432000 4194304 4196468 140730978583728 140005401348368 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24339] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24339/stat : 24339 (java) S 24332 24335 19643 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 20 0 9281910 13588557824 60064 33554432000 4194304 4196468 140730978583728 140005400295824 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24340] ppid=24332 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24340/stat : 24340 (java) S 24332 24335 19643 0 -1 1077944384 40 0 0 0 0 1 0 0 20 0 20 0 9281910 13588557824 60064 33554432000 4194304 4196468 140730978583728 140005399243280 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24341] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24341/stat : 24341 (java) S 24332 24335 19643 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 9281910 13588557824 60064 33554432000 4194304 4196468 140730978583728 140005078985360 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24342] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24342/stat : 24342 (java) S 24332 24335 19643 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 9281910 13588557824 60064 33554432000 4194304 4196468 140730978583728 140005077932816 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24343] ppid=24332 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24343/stat : 24343 (java) S 24332 24335 19643 0 -1 1077944384 41 0 0 0 0 1 0 0 20 0 20 0 9281910 13588557824 60064 33554432000 4194304 4196468 140730978583728 140005076880272 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24344] ppid=24332 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24344/stat : 24344 (java) S 24332 24335 19643 0 -1 1077944384 67 0 0 0 0 1 0 0 20 0 20 0 9281910 13588557824 60130 33554432000 4194304 4196468 140730978583728 140005075827728 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24345] ppid=24332 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24345/stat : 24345 (java) S 24332 24335 19643 0 -1 1077944384 46 0 0 0 0 1 0 0 20 0 20 0 9281910 13588557824 60130 33554432000 4194304 4196468 140730978583728 140005074775184 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24346] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24346/stat : 24346 (java) S 24332 24335 19643 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 20 0 9281912 13588557824 60130 33554432000 4194304 4196468 140730978583728 140004811978736 140005482879618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24347] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24347/stat : 24347 (java) S 24332 24335 19643 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 9281913 13588557824 60196 33554432000 4194304 4196468 140730978583728 140004810924960 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24348] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24348/stat : 24348 (java) S 24332 24335 19643 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 9281913 13588557824 60196 33554432000 4194304 4196468 140730978583728 140004809872368 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24349] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24349/stat : 24349 (java) S 24332 24335 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281917 13588557824 60196 33554432000 4194304 4196468 140730978583728 140004808820944 140005482887067 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24350] ppid=24332 vsize=13270076 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24350/stat : 24350 (java) R 24332 24335 19643 0 -1 4202560 3216 0 0 0 68 1 0 0 20 0 20 0 9281917 13588557824 60196 33554432000 4194304 4196468 140730978583728 140004807761192 140005463568768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24351] ppid=24332 vsize=13270076 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24351/stat : 24351 (java) R 24332 24335 19643 0 -1 4202560 3635 0 0 0 72 0 0 0 20 0 20 0 9281917 13588557824 60262 33554432000 4194304 4196468 140730978583728 140004806697032 140005466779166 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24352] ppid=24332 vsize=13270076 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24352/stat : 24352 (java) R 24332 24335 19643 0 -1 4202560 3807 0 0 0 60 1 0 0 20 0 20 0 9281917 13588557824 60262 33554432000 4194304 4196468 140730978583728 140004805644488 140005466394272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24353] ppid=24332 vsize=13270076 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24353/stat : 24353 (java) S 24332 24335 19643 0 -1 1077944384 6221 0 0 0 65 1 0 0 20 0 20 0 9281917 13588557824 60262 33554432000 4194304 4196468 140730978583728 140004804610928 140005482879618 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24354] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24354/stat : 24354 (java) S 24332 24335 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9281917 13588557824 60262 33554432000 4194304 4196468 140730978583728 140004803557600 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24355] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24355/stat : 24355 (java) S 24332 24335 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9281918 13588557824 60262 33554432000 4194304 4196468 140730978583728 140004802505136 140005482879618 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 13270076
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24335 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60119 s]
/proc/loadavg: 1.93 1.94 1.95 5/281 24355
/proc/meminfo: memFree=31419104/32770624 swapFree=6544/174432
[pid=24335] ppid=24332 vsize=13270076 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/24335/stat : 24335 (java) S 24332 24335 19643 0 -1 1077944320 32682 0 0 0 450 20 0 0 20 0 20 0 9281908 13588557824 62506 33554432000 4194304 4196468 140730978583728 140730978566272 140005482868471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
/proc/24335/statm: 3317519 62506 3804 1 0 3305234 0
[pid=24335/tid=24336] ppid=24332 vsize=13270076 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24336/stat : 24336 (java) R 24332 24335 19643 0 -1 4202560 11320 0 0 0 147 7 0 0 20 0 20 0 9281909 13588557824 62506 33554432000 4194304 4196468 140730978583728 140005487103784 140005086286443 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24338] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24338/stat : 24338 (java) S 24332 24335 19643 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 9281910 13588557824 62506 33554432000 4194304 4196468 140730978583728 140005401348368 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24339] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24339/stat : 24339 (java) S 24332 24335 19643 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 20 0 9281910 13588557824 62506 33554432000 4194304 4196468 140730978583728 140005400295824 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24340] ppid=24332 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24340/stat : 24340 (java) S 24332 24335 19643 0 -1 1077944384 40 0 0 0 0 1 0 0 20 0 20 0 9281910 13588557824 62506 33554432000 4194304 4196468 140730978583728 140005399243280 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24341] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24341/stat : 24341 (java) S 24332 24335 19643 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 9281910 13588557824 62506 33554432000 4194304 4196468 140730978583728 140005078985360 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24342] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24342/stat : 24342 (java) S 24332 24335 19643 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 9281910 13588557824 62506 33554432000 4194304 4196468 140730978583728 140005077932816 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24343] ppid=24332 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24343/stat : 24343 (java) S 24332 24335 19643 0 -1 1077944384 41 0 0 0 0 1 0 0 20 0 20 0 9281910 13588557824 62506 33554432000 4194304 4196468 140730978583728 140005076880272 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24344] ppid=24332 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24344/stat : 24344 (java) S 24332 24335 19643 0 -1 1077944384 67 0 0 0 0 1 0 0 20 0 20 0 9281910 13588557824 62506 33554432000 4194304 4196468 140730978583728 140005075827728 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24345] ppid=24332 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24345/stat : 24345 (java) S 24332 24335 19643 0 -1 1077944384 46 0 0 0 0 1 0 0 20 0 20 0 9281910 13588557824 62506 33554432000 4194304 4196468 140730978583728 140005074775184 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24346] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24346/stat : 24346 (java) S 24332 24335 19643 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 20 0 9281912 13588557824 62506 33554432000 4194304 4196468 140730978583728 140004811978736 140005482879618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24347] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24347/stat : 24347 (java) S 24332 24335 19643 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 9281913 13588557824 62506 33554432000 4194304 4196468 140730978583728 140004810924960 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24348] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24348/stat : 24348 (java) S 24332 24335 19643 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 9281913 13588557824 62506 33554432000 4194304 4196468 140730978583728 140004809872368 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24349] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24349/stat : 24349 (java) S 24332 24335 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281917 13588557824 62506 33554432000 4194304 4196468 140730978583728 140004808820944 140005482887067 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24350] ppid=24332 vsize=13270076 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24350/stat : 24350 (java) R 24332 24335 19643 0 -1 4202560 4226 0 0 0 78 1 0 0 20 0 20 0 9281917 13588557824 62506 33554432000 4194304 4196468 140730978583728 140004807749576 140005460885483 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24351] ppid=24332 vsize=13270076 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24351/stat : 24351 (java) R 24332 24335 19643 0 -1 4202560 4099 0 0 0 81 0 0 0 20 0 20 0 9281917 13588557824 62506 33554432000 4194304 4196468 140730978583728 140004806701520 140005482882335 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24352] ppid=24332 vsize=13270076 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24352/stat : 24352 (java) R 24332 24335 19643 0 -1 4202560 4617 0 0 0 69 1 0 0 20 0 20 0 9281917 13588557824 62506 33554432000 4194304 4196468 140730978583728 140004805649496 140005482889818 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24353] ppid=24332 vsize=13270076 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24353/stat : 24353 (java) S 24332 24335 19643 0 -1 1077944384 6221 0 0 0 66 1 0 0 20 0 20 0 9281917 13588557824 62506 33554432000 4194304 4196468 140730978583728 140004804610928 140005482879618 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24354] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24354/stat : 24354 (java) S 24332 24335 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9281917 13588557824 62506 33554432000 4194304 4196468 140730978583728 140004803557600 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24355] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24355/stat : 24355 (java) S 24332 24335 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9281918 13588557824 62506 33554432000 4194304 4196468 140730978583728 140004802505136 140005482879618 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
Current children cumulated CPU time (s) 4.7
Current children cumulated vsize (KiB) 13270076
[startup+1.70118 s]
/proc/loadavg: 1.93 1.94 1.95 5/281 24355
/proc/meminfo: memFree=31419104/32770624 swapFree=6544/174432
[pid=24335] ppid=24332 vsize=13270076 CPUtime=5.1 cores=1,3,5,7,9,11,13,15
/proc/24335/stat : 24335 (java) S 24332 24335 19643 0 -1 1077944320 33135 0 0 0 490 20 0 0 20 0 20 0 9281908 13588557824 62901 33554432000 4194304 4196468 140730978583728 140730978566272 140005482868471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
/proc/24335/statm: 3317519 62901 3804 1 0 3305234 0
[pid=24335/tid=24336] ppid=24332 vsize=13270076 CPUtime=1.64 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24336/stat : 24336 (java) R 24332 24335 19643 0 -1 4202560 11320 0 0 0 157 7 0 0 20 0 20 0 9281909 13588557824 62901 33554432000 4194304 4196468 140730978583728 140005487104408 140005086105731 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24338] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24338/stat : 24338 (java) S 24332 24335 19643 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 9281910 13588557824 62901 33554432000 4194304 4196468 140730978583728 140005401348368 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24339] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24339/stat : 24339 (java) S 24332 24335 19643 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 20 0 9281910 13588557824 62901 33554432000 4194304 4196468 140730978583728 140005400295824 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24340] ppid=24332 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24340/stat : 24340 (java) S 24332 24335 19643 0 -1 1077944384 40 0 0 0 0 1 0 0 20 0 20 0 9281910 13588557824 62901 33554432000 4194304 4196468 140730978583728 140005399243280 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24341] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24341/stat : 24341 (java) S 24332 24335 19643 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 9281910 13588557824 62901 33554432000 4194304 4196468 140730978583728 140005078985360 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24342] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24342/stat : 24342 (java) S 24332 24335 19643 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 9281910 13588557824 62901 33554432000 4194304 4196468 140730978583728 140005077932816 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24343] ppid=24332 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24343/stat : 24343 (java) S 24332 24335 19643 0 -1 1077944384 41 0 0 0 0 1 0 0 20 0 20 0 9281910 13588557824 62901 33554432000 4194304 4196468 140730978583728 140005076880272 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24344] ppid=24332 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24344/stat : 24344 (java) S 24332 24335 19643 0 -1 1077944384 67 0 0 0 0 1 0 0 20 0 20 0 9281910 13588557824 62901 33554432000 4194304 4196468 140730978583728 140005075827728 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24345] ppid=24332 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24345/stat : 24345 (java) S 24332 24335 19643 0 -1 1077944384 46 0 0 0 0 1 0 0 20 0 20 0 9281910 13588557824 62901 33554432000 4194304 4196468 140730978583728 140005074775184 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24346] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24346/stat : 24346 (java) S 24332 24335 19643 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 20 0 9281912 13588557824 62901 33554432000 4194304 4196468 140730978583728 140004811978736 140005482879618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24347] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24347/stat : 24347 (java) S 24332 24335 19643 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 9281913 13588557824 62901 33554432000 4194304 4196468 140730978583728 140004810924960 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24348] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24348/stat : 24348 (java) S 24332 24335 19643 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 9281913 13588557824 62901 33554432000 4194304 4196468 140730978583728 140004809872368 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24349] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24349/stat : 24349 (java) S 24332 24335 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281917 13588557824 62901 33554432000 4194304 4196468 140730978583728 140004808820944 140005482887067 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24350] ppid=24332 vsize=13270076 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24350/stat : 24350 (java) R 24332 24335 19643 0 -1 4202560 4594 0 0 0 88 1 0 0 20 0 20 0 9281917 13588557824 62901 33554432000 4194304 4196468 140730978583728 140004807754584 140005462114319 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24351] ppid=24332 vsize=13270076 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24351/stat : 24351 (java) R 24332 24335 19643 0 -1 4202560 4156 0 0 0 91 0 0 0 20 0 20 0 9281917 13588557824 62901 33554432000 4194304 4196468 140730978583728 140004806715152 140005482882353 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24352] ppid=24332 vsize=13270076 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24352/stat : 24352 (java) R 24332 24335 19643 0 -1 4202560 4645 0 0 0 79 1 0 0 20 0 20 0 9281917 13588557824 62901 33554432000 4194304 4196468 140730978583728 140004805645488 140005460463216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24353] ppid=24332 vsize=13270076 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24353/stat : 24353 (java) S 24332 24335 19643 0 -1 1077944384 6221 0 0 0 66 1 0 0 20 0 20 0 9281917 13588557824 62901 33554432000 4194304 4196468 140730978583728 140004804610928 140005482879618 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24354] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24354/stat : 24354 (java) S 24332 24335 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9281917 13588557824 62901 33554432000 4194304 4196468 140730978583728 140004803557600 140005482878677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
[pid=24335/tid=24355] ppid=24332 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24335/task/24355/stat : 24355 (java) S 24332 24335 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9281918 13588557824 62901 33554432000 4194304 4196468 140730978583728 140004802505136 140005482879618 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24920064 140730978587789 140730978587972 140730978587972 140730978590671 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 13270076
Child status: 0
Real time (s): 1.77657
CPU time (s): 5.3606
CPU user time (s): 5.14412
CPU system time (s): 0.216478
CPU usage (%): 301.738
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.14412
system time used= 0.216478
maximum resident set size= 253060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33268
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= 3875
involuntary context switches= 400
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.016157 second user time and 0.026928 second system time
The end