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-4249794-1500740159/watcher-4249794-1500740159 -o /tmp/evaluation-result-4249794-1500740159/solver-4249794-1500740159 -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 1562088383 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249794-1500740159.xml
pid=24146
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: 2.01 1.95 1.95 3/261 24149
/proc/meminfo: memFree=31578056/32770624 swapFree=6544/174316
[pid=24149] ppid=24146 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/stat : 24149 (java) S 24146 24149 19643 0 -1 1077944320 2071 0 0 0 0 0 0 0 20 0 2 0 9280898 10889764864 1790 33554432000 4194304 4196468 140737212205712 140737212188256 140302926900983 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
/proc/24149/statm: 2658634 1790 1188 1 0 2647545 0
[pid=24149/tid=24150] ppid=24146 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24150/stat : 24150 (java) R 24146 24149 19643 0 -1 4202560 858 0 0 0 0 0 0 0 20 0 2 0 9280899 10889764864 1922 33554432000 4194304 4196468 140737212205712 140302931143072 140302919190432 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[startup+0.100074 s]
/proc/loadavg: 2.01 1.95 1.95 3/261 24149
/proc/meminfo: memFree=31578056/32770624 swapFree=6544/174316
[pid=24149] ppid=24146 vsize=13264380 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24149/stat : 24149 (java) S 24146 24149 19643 0 -1 1077944320 4756 0 0 0 9 1 0 0 20 0 20 0 9280898 13582725120 5857 33554432000 4194304 4196468 140737212205712 140737212188256 140302926900983 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
/proc/24149/statm: 3316095 5857 2601 1 0 3303815 0
[pid=24149/tid=24150] ppid=24146 vsize=13264380 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24150/stat : 24150 (java) R 24146 24149 19643 0 -1 4202560 2846 0 0 0 7 0 0 0 20 0 20 0 9280899 13582725120 5857 33554432000 4194304 4196468 140737212205712 140302931143264 140302815591397 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13264380
[startup+0.200413 s]
/proc/loadavg: 2.01 1.95 1.95 3/261 24149
/proc/meminfo: memFree=31578056/32770624 swapFree=6544/174316
[pid=24149] ppid=24146 vsize=13263912 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/24149/stat : 24149 (java) S 24146 24149 19643 0 -1 1077944320 8610 0 0 0 23 2 0 0 20 0 20 0 9280898 13582245888 9126 33554432000 4194304 4196468 140737212205712 140737212188256 140302926900983 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
/proc/24149/statm: 3315978 9126 3512 1 0 3303698 0
[pid=24149/tid=24150] ppid=24146 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24150/stat : 24150 (java) R 24146 24149 19643 0 -1 4202560 6348 0 0 0 16 1 0 0 20 0 20 0 9280899 13582245888 9126 33554432000 4194304 4196468 140737212205712 140302931098272 140302926922909 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912
[startup+0.300455 s]
/proc/loadavg: 2.01 1.95 1.95 3/261 24149
/proc/meminfo: memFree=31578056/32770624 swapFree=6544/174316
[pid=24149] ppid=24146 vsize=13263912 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/24149/stat : 24149 (java) S 24146 24149 19643 0 -1 1077944320 9467 0 0 0 38 3 0 0 20 0 20 0 9280898 13582245888 10720 33554432000 4194304 4196468 140737212205712 140737212188256 140302926900983 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
/proc/24149/statm: 3315978 10720 3608 1 0 3303698 0
[pid=24149/tid=24150] ppid=24146 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24150/stat : 24150 (java) R 24146 24149 19643 0 -1 4202560 7011 0 0 0 25 2 0 0 20 0 20 0 9280899 13582245888 10720 33554432000 4194304 4196468 140737212205712 140302931122848 140302910981470 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 13263912
[startup+0.700273 s]
/proc/loadavg: 2.01 1.95 1.95 3/261 24149
/proc/meminfo: memFree=31578056/32770624 swapFree=6544/174316
[pid=24149] ppid=24146 vsize=13265980 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/24149/stat : 24149 (java) S 24146 24149 19643 0 -1 1077944320 13825 0 0 0 135 5 0 0 20 0 20 0 9280898 13584363520 19190 33554432000 4194304 4196468 140737212205712 140737212188256 140302926900983 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
/proc/24149/statm: 3316495 19190 3757 1 0 3304210 0
[pid=24149/tid=24150] ppid=24146 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24150/stat : 24150 (java) R 24146 24149 19643 0 -1 4202560 8194 0 0 0 64 3 0 0 20 0 20 0 9280899 13584363520 19190 33554432000 4194304 4196468 140737212205712 140302931134904 140302563888404 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 13265980
[startup+1.50117 s]
/proc/loadavg: 2.01 1.95 1.95 6/281 24169
/proc/meminfo: memFree=31424316/32770624 swapFree=6544/174392
[pid=24149] ppid=24146 vsize=13270076 CPUtime=4.41 cores=1,3,5,7,9,11,13,15
/proc/24149/stat : 24149 (java) S 24146 24149 19643 0 -1 1077944320 26581 0 0 0 428 13 0 0 20 0 20 0 9280898 13588557824 57090 33554432000 4194304 4196468 140737212205712 140737212188256 140302926900983 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
/proc/24149/statm: 3317519 57090 3798 1 0 3305234 0
[pid=24149/tid=24150] ppid=24146 vsize=13270076 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24150/stat : 24150 (java) R 24146 24149 19643 0 -1 4202560 10976 0 0 0 139 6 0 0 20 0 20 0 9280899 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302931136712 140302569584457 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24152] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24152/stat : 24152 (java) S 24146 24149 19643 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 9280900 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302525778448 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24153] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24153/stat : 24153 (java) S 24146 24149 19643 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 9280900 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302524725904 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24154] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24154/stat : 24154 (java) S 24146 24149 19643 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 9280900 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302523672848 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24155] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24155/stat : 24155 (java) S 24146 24149 19643 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 9280900 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302522620304 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24156] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24156/stat : 24156 (java) S 24146 24149 19643 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 9280900 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302521568272 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24157] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24157/stat : 24157 (java) S 24146 24149 19643 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 9280900 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302520515728 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24158] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24158/stat : 24158 (java) S 24146 24149 19643 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 9280900 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302519462672 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24159] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24159/stat : 24159 (java) S 24146 24149 19643 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 9280900 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302518410128 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24160] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24160/stat : 24160 (java) S 24146 24149 19643 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 20 0 9280902 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302390036720 140302926912130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24161] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24161/stat : 24161 (java) S 24146 24149 19643 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 9280903 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302388983008 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24162] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24162/stat : 24162 (java) S 24146 24149 19643 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 9280903 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302387929856 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24163] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24163/stat : 24163 (java) S 24146 24149 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9280907 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302386878416 140302926919579 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24164] ppid=24146 vsize=13270076 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24164/stat : 24164 (java) R 24146 24149 19643 0 -1 4202560 2988 0 0 0 75 1 0 0 20 0 20 0 9280907 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302385806656 140302910868741 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24165] ppid=24146 vsize=13270076 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24165/stat : 24165 (java) R 24146 24149 19643 0 -1 4202560 2824 0 0 0 75 1 0 0 20 0 20 0 9280907 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302384765456 140302907600520 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24166] ppid=24146 vsize=13270076 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24166/stat : 24166 (java) R 24146 24149 19643 0 -1 4202560 3832 0 0 0 78 0 0 0 20 0 20 0 9280907 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302383706824 140302911822965 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24167] ppid=24146 vsize=13270076 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24167/stat : 24167 (java) S 24146 24149 19643 0 -1 1077944384 3857 0 0 0 53 0 0 0 20 0 20 0 9280907 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302382668400 140302926912130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24168] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24168/stat : 24168 (java) S 24146 24149 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9280908 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302381615584 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24169] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24169/stat : 24169 (java) S 24146 24149 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9280908 13588557824 57090 33554432000 4194304 4196468 140737212205712 140302380563120 140302926912130 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 13270076
[startup+3.10114 s]
/proc/loadavg: 2.01 1.95 1.95 3/281 24169
/proc/meminfo: memFree=31347688/32770624 swapFree=6544/174344
[pid=24149] ppid=24146 vsize=13270076 CPUtime=6.59 cores=1,3,5,7,9,11,13,15
/proc/24149/stat : 24149 (java) S 24146 24149 19643 0 -1 1077944320 28469 0 0 0 638 21 0 0 20 0 20 0 9280898 13588557824 73214 33554432000 4194304 4196468 140737212205712 140737212188256 140302926900983 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
/proc/24149/statm: 3317519 73214 3808 1 0 3305234 0
[pid=24149/tid=24150] ppid=24146 vsize=13270076 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24150/stat : 24150 (java) R 24146 24149 19643 0 -1 4202560 11318 0 0 0 296 7 0 0 20 0 20 0 9280899 13588557824 73214 33554432000 4194304 4196468 140737212205712 140302931130640 140302569510492 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24152] ppid=24146 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24152/stat : 24152 (java) S 24146 24149 19643 0 -1 1077944384 42 0 0 0 0 1 0 0 20 0 20 0 9280900 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302525778448 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24153] ppid=24146 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24153/stat : 24153 (java) S 24146 24149 19643 0 -1 1077944384 383 0 0 0 0 1 0 0 20 0 20 0 9280900 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302524725904 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24154] ppid=24146 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24154/stat : 24154 (java) S 24146 24149 19643 0 -1 1077944384 85 0 0 0 0 1 0 0 20 0 20 0 9280900 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302523672848 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24155] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24155/stat : 24155 (java) S 24146 24149 19643 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 9280900 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302522620304 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24156] ppid=24146 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24156/stat : 24156 (java) S 24146 24149 19643 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 20 0 9280900 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302521568272 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24157] ppid=24146 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24157/stat : 24157 (java) S 24146 24149 19643 0 -1 1077944384 577 0 0 0 1 0 0 0 20 0 20 0 9280900 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302520515728 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24158] ppid=24146 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24158/stat : 24158 (java) S 24146 24149 19643 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 20 0 9280900 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302519462672 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24159] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24159/stat : 24159 (java) S 24146 24149 19643 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 9280900 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302518410128 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24160] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24160/stat : 24160 (java) S 24146 24149 19643 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 9280902 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302390036720 140302926912130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24161] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24161/stat : 24161 (java) S 24146 24149 19643 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 9280903 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302388983008 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24162] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24162/stat : 24162 (java) S 24146 24149 19643 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 9280903 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302387929856 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24163] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24163/stat : 24163 (java) S 24146 24149 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9280907 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302386878416 140302926919579 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24164] ppid=24146 vsize=13270076 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24164/stat : 24164 (java) S 24146 24149 19643 0 -1 1077944384 3212 0 0 0 90 1 0 0 20 0 20 0 9280907 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302385826544 140302926912130 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24165] ppid=24146 vsize=13270076 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24165/stat : 24165 (java) S 24146 24149 19643 0 -1 1077944384 3030 0 0 0 90 1 0 0 20 0 20 0 9280907 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302384774000 140302926912130 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24166] ppid=24146 vsize=13270076 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24166/stat : 24166 (java) S 24146 24149 19643 0 -1 1077944384 4077 0 0 0 96 0 0 0 20 0 20 0 9280907 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302383720944 140302926912130 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24167] ppid=24146 vsize=13270076 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24167/stat : 24167 (java) S 24146 24149 19643 0 -1 1077944384 3876 0 0 0 55 0 0 0 20 0 20 0 9280907 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302382668400 140302926912130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24168] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24168/stat : 24168 (java) S 24146 24149 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9280908 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302381615584 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24169] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24169/stat : 24169 (java) S 24146 24149 19643 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 9280908 13588557824 73726 33554432000 4194304 4196468 140737212205712 140302380563120 140302926912130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 13270076
[startup+6.3008 s]
/proc/loadavg: 1.93 1.94 1.95 3/281 24169
/proc/meminfo: memFree=31209632/32770624 swapFree=6544/174356
[pid=24149] ppid=24146 vsize=13270076 CPUtime=10.02 cores=1,3,5,7,9,11,13,15
/proc/24149/stat : 24149 (java) S 24146 24149 19643 0 -1 1077944320 29003 0 0 0 963 39 0 0 20 0 20 0 9280898 13588557824 115301 33554432000 4194304 4196468 140737212205712 140737212188256 140302926900983 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
/proc/24149/statm: 3317519 115301 3808 1 0 3305234 0
[pid=24149/tid=24150] ppid=24146 vsize=13270076 CPUtime=6.2 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24150/stat : 24150 (java) R 24146 24149 19643 0 -1 4202560 11486 0 0 0 611 9 0 0 20 0 20 0 9280899 13588557824 115301 33554432000 4194304 4196468 140737212205712 140302931136928 140302569583182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24152] ppid=24146 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24152/stat : 24152 (java) S 24146 24149 19643 0 -1 1077944384 61 0 0 0 1 3 0 0 20 0 20 0 9280900 13588557824 115301 33554432000 4194304 4196468 140737212205712 140302525778448 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24153] ppid=24146 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24153/stat : 24153 (java) S 24146 24149 19643 0 -1 1077944384 396 0 0 0 1 3 0 0 20 0 20 0 9280900 13588557824 115301 33554432000 4194304 4196468 140737212205712 140302524725904 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24154] ppid=24146 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24154/stat : 24154 (java) S 24146 24149 19643 0 -1 1077944384 100 0 0 0 1 3 0 0 20 0 20 0 9280900 13588557824 115301 33554432000 4194304 4196468 140737212205712 140302523672848 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24155] ppid=24146 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24155/stat : 24155 (java) S 24146 24149 19643 0 -1 1077944384 33 0 0 0 1 3 0 0 20 0 20 0 9280900 13588557824 115301 33554432000 4194304 4196468 140737212205712 140302522620304 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24156] ppid=24146 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24156/stat : 24156 (java) S 24146 24149 19643 0 -1 1077944384 54 0 0 0 1 3 0 0 20 0 20 0 9280900 13588557824 115301 33554432000 4194304 4196468 140737212205712 140302521568272 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24157] ppid=24146 vsize=13270076 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24157/stat : 24157 (java) S 24146 24149 19643 0 -1 1077944384 596 0 0 0 2 2 0 0 20 0 20 0 9280900 13588557824 115301 33554432000 4194304 4196468 140737212205712 140302520515728 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24158] ppid=24146 vsize=13270076 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24158/stat : 24158 (java) S 24146 24149 19643 0 -1 1077944384 39 0 0 0 2 3 0 0 20 0 20 0 9280900 13588557824 115301 33554432000 4194304 4196468 140737212205712 140302519462672 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24159] ppid=24146 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24159/stat : 24159 (java) S 24146 24149 19643 0 -1 1077944384 31 0 0 0 1 2 0 0 20 0 20 0 9280900 13588557824 115301 33554432000 4194304 4196468 140737212205712 140302518410128 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24160] ppid=24146 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24160/stat : 24160 (java) S 24146 24149 19643 0 -1 1077944384 447 0 0 0 1 0 0 0 20 0 20 0 9280902 13588557824 115301 33554432000 4194304 4196468 140737212205712 140302390036720 140302926912130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24161] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24161/stat : 24161 (java) S 24146 24149 19643 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 9280903 13588557824 115301 33554432000 4194304 4196468 140737212205712 140302388983008 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24162] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24162/stat : 24162 (java) S 24146 24149 19643 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 9280903 13588557824 115301 33554432000 4194304 4196468 140737212205712 140302387929856 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24163] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24163/stat : 24163 (java) S 24146 24149 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9280907 13588557824 115301 33554432000 4194304 4196468 140737212205712 140302386878416 140302926919579 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24164] ppid=24146 vsize=13270076 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24164/stat : 24164 (java) S 24146 24149 19643 0 -1 1077944384 3212 0 0 0 90 1 0 0 20 0 20 0 9280907 13588557824 115301 33554432000 4194304 4196468 140737212205712 140302385826544 140302926912130 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24165] ppid=24146 vsize=13270076 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24165/stat : 24165 (java) S 24146 24149 19643 0 -1 1077944384 3055 0 0 0 92 1 0 0 20 0 20 0 9280907 13588557824 115301 33554432000 4194304 4196468 140737212205712 140302384774000 140302926912130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24166] ppid=24146 vsize=13270076 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24166/stat : 24166 (java) S 24146 24149 19643 0 -1 1077944384 4077 0 0 0 96 0 0 0 20 0 20 0 9280907 13588557824 115301 33554432000 4194304 4196468 140737212205712 140302383720944 140302926912130 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24167] ppid=24146 vsize=13270076 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24167/stat : 24167 (java) S 24146 24149 19643 0 -1 1077944384 3925 0 0 0 56 0 0 0 20 0 20 0 9280907 13588557824 115813 33554432000 4194304 4196468 140737212205712 140302382668400 140302926912130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24168] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24168/stat : 24168 (java) S 24146 24149 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9280908 13588557824 115813 33554432000 4194304 4196468 140737212205712 140302381615584 140302926911189 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
[pid=24149/tid=24169] ppid=24146 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24169/stat : 24169 (java) S 24146 24149 19643 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 9280908 13588557824 115813 33554432000 4194304 4196468 140737212205712 140302380563120 140302926912130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20692992 140737212212365 140737212212548 140737212212548 140737212215247 0
Current children cumulated CPU time (s) 10.02
Current children cumulated vsize (KiB) 13270076
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24149 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.50071 s]
/proc/loadavg: 1.93 1.94 1.95 3/281 24169
/proc/meminfo: memFree=31209632/32770624 swapFree=6544/174356
[pid=24149] ppid=24146 vsize=0 CPUtime=10.22 cores=1,3,5,7,9,11,13,15
/proc/24149/stat : 24149 (java) Z 24146 24149 19643 0 -1 4227084 29339 0 0 0 982 40 0 0 20 0 2 0 9280898 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/24149/statm: 0 0 0 0 0 0 0
[pid=24149/tid=24159] ppid=24146 vsize=0 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/24149/task/24159/stat : 24159 (java) R 24146 24149 19643 0 -1 4203588 31 0 0 0 1 3 0 0 20 0 2 0 9280900 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 15 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.22
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 6.50347
CPU time (s): 10.2338
CPU user time (s): 9.82244
CPU system time (s): 0.411405
CPU usage (%): 157.36
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.82244
system time used= 0.411405
maximum resident set size= 500856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29339
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3836
involuntary context switches= 678
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04991 second user time and 0.068924 second system time
The end