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-4246008-1500704808/watcher-4246008-1500704808 -o /tmp/evaluation-result-4246008-1500704808/solver-4246008-1500704808 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500683388-8490 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1916546486 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246008-1500704808.xml
pid=12467
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.10 1.58 1.53 3/261 12470
/proc/meminfo: memFree=31552060/32770624 swapFree=5772/134408
[pid=12470] ppid=12467 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/stat : 12470 (java) S 12467 12470 7995 0 -1 1077944320 1717 0 0 0 0 0 0 0 20 0 2 0 5748137 369864704 1924 33554432000 4194304 4196468 140735750782384 140735750764928 140470045478647 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
/proc/12470/statm: 90299 1924 1072 1 0 79210 0
[pid=12470/tid=12471] ppid=12467 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12471/stat : 12471 (java) S 12467 12470 7995 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 5748137 369864704 1924 33554432000 4194304 4196468 140735750782384 140470049720736 140470045489794 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[startup+0.100167 s]
/proc/loadavg: 2.10 1.58 1.53 3/261 12470
/proc/meminfo: memFree=31552060/32770624 swapFree=5772/134408
[pid=12470] ppid=12467 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/12470/stat : 12470 (java) S 12467 12470 7995 0 -1 1077944320 5788 0 0 0 8 1 0 0 20 0 20 0 5748137 13582725120 6373 33554432000 4194304 4196468 140735750782384 140735750764928 140470045478647 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
/proc/12470/statm: 3316095 6373 3306 1 0 3303815 0
[pid=12470/tid=12471] ppid=12467 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12471/stat : 12471 (java) R 12467 12470 7995 0 -1 4202560 3875 0 0 0 7 1 0 0 20 0 20 0 5748137 13582725120 6373 33554432000 4194304 4196468 140735750782384 140470049715376 140470029559134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380
[startup+0.200318 s]
/proc/loadavg: 2.10 1.58 1.53 3/261 12470
/proc/meminfo: memFree=31552060/32770624 swapFree=5772/134408
[pid=12470] ppid=12467 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/12470/stat : 12470 (java) S 12467 12470 7995 0 -1 1077944320 8897 0 0 0 23 2 0 0 20 0 20 0 5748137 13582245888 8941 33554432000 4194304 4196468 140735750782384 140735750764928 140470045478647 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
/proc/12470/statm: 3315978 8941 3563 1 0 3303698 0
[pid=12470/tid=12471] ppid=12467 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12471/stat : 12471 (java) R 12467 12470 7995 0 -1 4202560 6634 0 0 0 16 2 0 0 20 0 20 0 5748137 13582245888 8941 33554432000 4194304 4196468 140735750782384 140470049707024 140470029559134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912
[startup+0.300376 s]
/proc/loadavg: 2.10 1.58 1.53 3/261 12470
/proc/meminfo: memFree=31552060/32770624 swapFree=5772/134408
[pid=12470] ppid=12467 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/12470/stat : 12470 (java) S 12467 12470 7995 0 -1 1077944320 9880 0 0 0 39 3 0 0 20 0 20 0 5748137 13582245888 11143 33554432000 4194304 4196468 140735750782384 140735750764928 140470045478647 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
/proc/12470/statm: 3315978 11143 3625 1 0 3303698 0
[pid=12470/tid=12471] ppid=12467 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12471/stat : 12471 (java) R 12467 12470 7995 0 -1 4202560 7359 0 0 0 25 2 0 0 20 0 20 0 5748137 13582245888 11143 33554432000 4194304 4196468 140735750782384 140470049701232 140470029559134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700252 s]
/proc/loadavg: 2.10 1.58 1.53 3/261 12470
/proc/meminfo: memFree=31552060/32770624 swapFree=5772/134408
[pid=12470] ppid=12467 vsize=13265980 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/12470/stat : 12470 (java) S 12467 12470 7995 0 -1 1077944320 12668 0 0 0 127 4 0 0 20 0 20 0 5748137 13584363520 18011 33554432000 4194304 4196468 140735750782384 140735750764928 140470045478647 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
/proc/12470/statm: 3316495 18011 3759 1 0 3304210 0
[pid=12470/tid=12471] ppid=12467 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12471/stat : 12471 (java) R 12467 12470 7995 0 -1 4202560 8674 0 0 0 64 3 0 0 20 0 20 0 5748137 13584363520 18011 33554432000 4194304 4196468 140735750782384 140470049713984 140470029522277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 13265980
[startup+1.50118 s]
/proc/loadavg: 2.09 1.58 1.53 4/281 12490
/proc/meminfo: memFree=31447616/32770624 swapFree=5772/134476
[pid=12470] ppid=12467 vsize=13270076 CPUtime=4 cores=0,2,4,6,8,10,12,14
/proc/12470/stat : 12470 (java) S 12467 12470 7995 0 -1 1077944320 28467 0 0 0 391 9 0 0 20 0 20 0 5748137 13588557824 48714 33554432000 4194304 4196468 140735750782384 140735750764928 140470045478647 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
/proc/12470/statm: 3317519 48714 3775 1 0 3305234 0
[pid=12470/tid=12471] ppid=12467 vsize=13270076 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12471/stat : 12471 (java) R 12467 12470 7995 0 -1 4202560 10994 0 0 0 142 5 0 0 20 0 20 0 5748137 13588557824 48714 33554432000 4194304 4196468 140735750782384 140470049714712 140469681099852 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12473] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12473/stat : 12473 (java) S 12467 12470 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 48714 33554432000 4194304 4196468 140735750782384 140469998098832 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12474] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12474/stat : 12474 (java) S 12467 12470 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 48714 33554432000 4194304 4196468 140735750782384 140469997046032 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12475] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12475/stat : 12475 (java) S 12467 12470 7995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 48714 33554432000 4194304 4196468 140735750782384 140469995993744 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12476] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12476/stat : 12476 (java) S 12467 12470 7995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 48714 33554432000 4194304 4196468 140735750782384 140469994940944 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12477] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12477/stat : 12477 (java) S 12467 12470 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 48714 33554432000 4194304 4196468 140735750782384 140469993888656 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12478] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12478/stat : 12478 (java) S 12467 12470 7995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 48714 33554432000 4194304 4196468 140735750782384 140469639510800 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12479] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12479/stat : 12479 (java) S 12467 12470 7995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 48714 33554432000 4194304 4196468 140735750782384 140469638458512 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12480] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12480/stat : 12480 (java) S 12467 12470 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 48714 33554432000 4194304 4196468 140735750782384 140469637405712 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12481] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12481/stat : 12481 (java) S 12467 12470 7995 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 5748140 13588557824 48714 33554432000 4194304 4196468 140735750782384 140468711032944 140470045489794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12482] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12482/stat : 12482 (java) S 12467 12470 7995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5748141 13588557824 48714 33554432000 4194304 4196468 140735750782384 140468709978912 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12483] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12483/stat : 12483 (java) S 12467 12470 7995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5748141 13588557824 48714 33554432000 4194304 4196468 140735750782384 140468708926576 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12484] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12484/stat : 12484 (java) S 12467 12470 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5748145 13588557824 48714 33554432000 4194304 4196468 140735750782384 140468707874896 140470045497243 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12485] ppid=12467 vsize=13270076 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12485/stat : 12485 (java) R 12467 12470 7995 0 -1 4202560 3464 0 0 0 65 1 0 0 20 0 20 0 5748145 13588557824 48714 33554432000 4194304 4196468 140735750782384 140468706808792 140470023481255 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12486] ppid=12467 vsize=13270076 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12486/stat : 12486 (java) R 12467 12470 7995 0 -1 4202560 2965 0 0 0 58 0 0 0 20 0 20 0 5748145 13588557824 48714 33554432000 4194304 4196468 140735750782384 140468705750984 140470030366160 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12487] ppid=12467 vsize=13270076 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12487/stat : 12487 (java) R 12467 12470 7995 0 -1 4202560 3397 0 0 0 64 0 0 0 20 0 20 0 5748145 13588557824 48714 33554432000 4194304 4196468 140735750782384 140468704698696 140470029384652 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12488] ppid=12467 vsize=13270076 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12488/stat : 12488 (java) S 12467 12470 7995 0 -1 1077944384 6243 0 0 0 61 1 0 0 20 0 20 0 5748145 13588557824 48714 33554432000 4194304 4196468 140735750782384 140468703664880 140470045489794 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12489] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12489/stat : 12489 (java) S 12467 12470 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5748146 13588557824 48714 33554432000 4194304 4196468 140735750782384 140468702611808 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12490] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12490/stat : 12490 (java) S 12467 12470 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5748146 13588557824 48714 33554432000 4194304 4196468 140735750782384 140468701559088 140470045489794 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 13270076
[startup+3.10088 s]
/proc/loadavg: 2.09 1.58 1.53 3/281 12490
/proc/meminfo: memFree=31327020/32770624 swapFree=5772/134436
[pid=12470] ppid=12467 vsize=13270076 CPUtime=6.47 cores=0,2,4,6,8,10,12,14
/proc/12470/stat : 12470 (java) S 12467 12470 7995 0 -1 1077944320 32406 0 0 0 633 14 0 0 20 0 20 0 5748137 13588557824 61506 33554432000 4194304 4196468 140735750782384 140735750764928 140470045478647 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
/proc/12470/statm: 3317519 61506 3798 1 0 3305234 0
[pid=12470/tid=12471] ppid=12467 vsize=13270076 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12471/stat : 12471 (java) R 12467 12470 7995 0 -1 4202560 11339 0 0 0 284 6 0 0 20 0 20 0 5748137 13588557824 61506 33554432000 4194304 4196468 140735750782384 140470049715016 140469680501795 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12473] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12473/stat : 12473 (java) S 12467 12470 7995 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 61506 33554432000 4194304 4196468 140735750782384 140469998098832 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12474] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12474/stat : 12474 (java) S 12467 12470 7995 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 61506 33554432000 4194304 4196468 140735750782384 140469997046032 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12475] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12475/stat : 12475 (java) S 12467 12470 7995 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 61506 33554432000 4194304 4196468 140735750782384 140469995993744 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12476] ppid=12467 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12476/stat : 12476 (java) S 12467 12470 7995 0 -1 1077944384 907 0 0 0 1 0 0 0 20 0 20 0 5748138 13588557824 61506 33554432000 4194304 4196468 140735750782384 140469994940944 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12477] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12477/stat : 12477 (java) S 12467 12470 7995 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 61506 33554432000 4194304 4196468 140735750782384 140469993888656 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12478] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12478/stat : 12478 (java) S 12467 12470 7995 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 61506 33554432000 4194304 4196468 140735750782384 140469639510800 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12479] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12479/stat : 12479 (java) S 12467 12470 7995 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 61506 33554432000 4194304 4196468 140735750782384 140469638458512 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12480] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12480/stat : 12480 (java) S 12467 12470 7995 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 61506 33554432000 4194304 4196468 140735750782384 140469637405712 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12481] ppid=12467 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12481/stat : 12481 (java) S 12467 12470 7995 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 20 0 5748140 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468711032944 140470045489794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12482] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12482/stat : 12482 (java) S 12467 12470 7995 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 5748141 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468709978976 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12483] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12483/stat : 12483 (java) S 12467 12470 7995 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 5748141 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468708926592 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12484] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12484/stat : 12484 (java) S 12467 12470 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5748145 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468707874896 140470045497243 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12485] ppid=12467 vsize=13270076 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12485/stat : 12485 (java) S 12467 12470 7995 0 -1 1077944384 3869 0 0 0 96 1 0 0 20 0 20 0 5748145 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468706822768 140470045489794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12486] ppid=12467 vsize=13270076 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12486/stat : 12486 (java) S 12467 12470 7995 0 -1 1077944384 3339 0 0 0 90 0 0 0 20 0 20 0 5748145 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468705769968 140470045489794 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12487] ppid=12467 vsize=13270076 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12487/stat : 12487 (java) S 12467 12470 7995 0 -1 1077944384 3864 0 0 0 89 0 0 0 20 0 20 0 5748145 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468704717680 140470045489794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12488] ppid=12467 vsize=13270076 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12488/stat : 12488 (java) S 12467 12470 7995 0 -1 1077944384 6741 0 0 0 62 1 0 0 20 0 20 0 5748145 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468703664880 140470045489794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12489] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12489/stat : 12489 (java) S 12467 12470 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5748146 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468702611808 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12490] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12490/stat : 12490 (java) S 12467 12470 7995 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 5748146 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468701559088 140470045489794 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 48 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
Current children cumulated CPU time (s) 6.47
Current children cumulated vsize (KiB) 13270076
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12470 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20109 s]
/proc/loadavg: 2.09 1.58 1.53 3/281 12490
/proc/meminfo: memFree=31327020/32770624 swapFree=5772/134436
[pid=12470] ppid=12467 vsize=13270076 CPUtime=6.57 cores=0,2,4,6,8,10,12,14
/proc/12470/stat : 12470 (java) S 12467 12470 7995 0 -1 1077944320 32406 0 0 0 643 14 0 0 20 0 20 0 5748137 13588557824 61506 33554432000 4194304 4196468 140735750782384 140735750764928 140470045478647 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
/proc/12470/statm: 3317519 61506 3798 1 0 3305234 0
[pid=12470/tid=12471] ppid=12467 vsize=13270076 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12471/stat : 12471 (java) R 12467 12470 7995 0 -1 4202560 11339 0 0 0 294 6 0 0 20 0 20 0 5748137 13588557824 61506 33554432000 4194304 4196468 140735750782384 140470049715016 140469680405005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12473] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12473/stat : 12473 (java) S 12467 12470 7995 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 61506 33554432000 4194304 4196468 140735750782384 140469998098832 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12474] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12474/stat : 12474 (java) S 12467 12470 7995 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 61506 33554432000 4194304 4196468 140735750782384 140469997046032 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12475] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12475/stat : 12475 (java) S 12467 12470 7995 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 61506 33554432000 4194304 4196468 140735750782384 140469995993744 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12476] ppid=12467 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12476/stat : 12476 (java) S 12467 12470 7995 0 -1 1077944384 907 0 0 0 1 0 0 0 20 0 20 0 5748138 13588557824 61506 33554432000 4194304 4196468 140735750782384 140469994940944 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12477] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12477/stat : 12477 (java) S 12467 12470 7995 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 61506 33554432000 4194304 4196468 140735750782384 140469993888656 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12478] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12478/stat : 12478 (java) S 12467 12470 7995 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 61506 33554432000 4194304 4196468 140735750782384 140469639510800 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12479] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12479/stat : 12479 (java) S 12467 12470 7995 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 61506 33554432000 4194304 4196468 140735750782384 140469638458512 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12480] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12480/stat : 12480 (java) S 12467 12470 7995 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 20 0 5748138 13588557824 61506 33554432000 4194304 4196468 140735750782384 140469637405712 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12481] ppid=12467 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12481/stat : 12481 (java) S 12467 12470 7995 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 20 0 5748140 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468711032944 140470045489794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12482] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12482/stat : 12482 (java) S 12467 12470 7995 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 5748141 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468709978976 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12483] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12483/stat : 12483 (java) S 12467 12470 7995 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 5748141 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468708926592 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12484] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12484/stat : 12484 (java) S 12467 12470 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5748145 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468707874896 140470045497243 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12485] ppid=12467 vsize=13270076 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12485/stat : 12485 (java) S 12467 12470 7995 0 -1 1077944384 3869 0 0 0 96 1 0 0 20 0 20 0 5748145 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468706822768 140470045489794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12486] ppid=12467 vsize=13270076 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12486/stat : 12486 (java) S 12467 12470 7995 0 -1 1077944384 3339 0 0 0 90 0 0 0 20 0 20 0 5748145 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468705769968 140470045489794 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12487] ppid=12467 vsize=13270076 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12487/stat : 12487 (java) S 12467 12470 7995 0 -1 1077944384 3864 0 0 0 89 0 0 0 20 0 20 0 5748145 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468704717680 140470045489794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12488] ppid=12467 vsize=13270076 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12488/stat : 12488 (java) S 12467 12470 7995 0 -1 1077944384 6741 0 0 0 62 1 0 0 20 0 20 0 5748145 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468703664880 140470045489794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12489] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12489/stat : 12489 (java) S 12467 12470 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5748146 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468702611808 140470045488853 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
[pid=12470/tid=12490] ppid=12467 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12490/stat : 12490 (java) S 12467 12470 7995 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 5748146 13588557824 61506 33554432000 4194304 4196468 140735750782384 140468701559088 140470045489794 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 48 0 0 6293624 6294260 18616320 140735750784137 140735750784324 140735750784324 140735750787023 0
Current children cumulated CPU time (s) 6.57
Current children cumulated vsize (KiB) 13270076
[startup+3.40854 s]
/proc/loadavg: 2.09 1.58 1.53 3/281 12490
/proc/meminfo: memFree=31317456/32770624 swapFree=5772/134436
[pid=12470] ppid=12467 vsize=0 CPUtime=6.8 cores=0,2,4,6,8,10,12,14
/proc/12470/stat : 12470 (java) Z 12467 12470 7995 0 -1 4227084 33321 0 0 0 665 15 0 0 20 0 2 0 5748137 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/12470/statm: 0 0 0 0 0 0 0
[pid=12470/tid=12487] ppid=12467 vsize=0 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/12470/task/12487/stat : 12487 (java) R 12467 12470 7995 0 -1 4203588 3878 0 0 0 90 1 0 0 20 0 2 0 5748145 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 10 0 0 47 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 3.4109
CPU time (s): 6.81588
CPU user time (s): 6.66
CPU system time (s): 0.155886
CPU usage (%): 199.826
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.66
system time used= 0.155886
maximum resident set size= 246796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33321
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= 4422
involuntary context switches= 483
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025547 second user time and 0.035766 second system time
The end