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-4244451-1500685582/watcher-4244451-1500685582 -o /tmp/evaluation-result-4244451-1500685582/solver-4244451-1500685582 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500683185-8691 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 47801753 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244451-1500685582.xml
pid=9100
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.81 1.80 1.83 3/262 9103
/proc/meminfo: memFree=31792020/32770624 swapFree=5896/51604
[pid=9103] ppid=9100 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/stat : 9103 (java) S 9100 9103 8659 0 -1 1077944320 2103 0 0 0 0 0 0 0 20 0 2 0 3826570 10889764864 2366 33554432000 4194304 4196468 140721271812608 140721271795152 140093448318711 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
/proc/9103/statm: 2658634 2366 1188 1 0 2647545 0
[pid=9103/tid=9104] ppid=9100 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9104/stat : 9104 (java) R 9100 9103 8659 0 -1 4202560 892 0 0 0 0 0 0 0 20 0 2 0 3826571 10889764864 2432 33554432000 4194304 4196468 140721271812608 140093452560800 140093440608160 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[startup+0.100101 s]
/proc/loadavg: 1.81 1.80 1.83 3/262 9103
/proc/meminfo: memFree=31792020/32770624 swapFree=5896/51604
[pid=9103] ppid=9100 vsize=13263912 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/9103/stat : 9103 (java) S 9100 9103 8659 0 -1 1077944320 6718 0 0 0 9 1 0 0 20 0 20 0 3826570 13582245888 7002 33554432000 4194304 4196468 140721271812608 140721271795152 140093448318711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
/proc/9103/statm: 3315978 7002 3390 1 0 3303698 0
[pid=9103/tid=9104] ppid=9100 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9104/stat : 9104 (java) R 9100 9103 8659 0 -1 4202560 4730 0 0 0 7 1 0 0 20 0 20 0 3826571 13582245888 7002 33554432000 4194304 4196468 140721271812608 140093452542000 140093448340637 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912
[startup+0.200439 s]
/proc/loadavg: 1.81 1.80 1.83 3/262 9103
/proc/meminfo: memFree=31792020/32770624 swapFree=5896/51604
[pid=9103] ppid=9100 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/9103/stat : 9103 (java) S 9100 9103 8659 0 -1 1077944320 9092 0 0 0 24 2 0 0 20 0 20 0 3826570 13582245888 9498 33554432000 4194304 4196468 140721271812608 140721271795152 140093448318711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
/proc/9103/statm: 3315978 9498 3567 1 0 3303698 0
[pid=9103/tid=9104] ppid=9100 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9104/stat : 9104 (java) R 9100 9103 8659 0 -1 4202560 6800 0 0 0 16 1 0 0 20 0 20 0 3826571 13582245888 9498 33554432000 4194304 4196468 140721271812608 140093452518496 140093426344912 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.30041 s]
/proc/loadavg: 1.81 1.80 1.83 3/262 9103
/proc/meminfo: memFree=31792020/32770624 swapFree=5896/51604
[pid=9103] ppid=9100 vsize=13263932 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/9103/stat : 9103 (java) S 9100 9103 8659 0 -1 1077944320 10406 0 0 0 44 2 0 0 20 0 20 0 3826570 13582266368 12152 33554432000 4194304 4196468 140721271812608 140721271795152 140093448318711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
/proc/9103/statm: 3315983 12152 3708 1 0 3303698 0
[pid=9103/tid=9104] ppid=9100 vsize=13263932 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9104/stat : 9104 (java) R 9100 9103 8659 0 -1 4202560 7482 0 0 0 26 2 0 0 20 0 20 0 3826571 13582266368 12152 33554432000 4194304 4196468 140721271812608 140093452553248 140093448340637 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13263932
[startup+0.700303 s]
/proc/loadavg: 1.81 1.80 1.83 3/262 9103
/proc/meminfo: memFree=31792020/32770624 swapFree=5896/51604
[pid=9103] ppid=9100 vsize=13268028 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/9103/stat : 9103 (java) S 9100 9103 8659 0 -1 1077944320 13122 0 0 0 119 4 0 0 20 0 20 0 3826570 13586460672 18979 33554432000 4194304 4196468 140721271812608 140721271795152 140093448318711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
/proc/9103/statm: 3317007 18979 3762 1 0 3304722 0
[pid=9103/tid=9104] ppid=9100 vsize=13268028 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9104/stat : 9104 (java) R 9100 9103 8659 0 -1 4202560 9161 0 0 0 64 3 0 0 20 0 20 0 3826571 13586460672 18979 33554432000 4194304 4196468 140721271812608 140093452539568 140093432399198 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 13268028
[startup+1.50121 s]
/proc/loadavg: 1.81 1.80 1.83 6/282 9123
/proc/meminfo: memFree=31619428/32770624 swapFree=5896/51592
[pid=9103] ppid=9100 vsize=13334592 CPUtime=3.87 cores=1,3,5,7,9,11,13,15
/proc/9103/stat : 9103 (java) S 9100 9103 8659 0 -1 1077944320 32456 0 0 0 378 9 0 0 20 0 18 0 3826570 13654622208 53050 33554432000 4194304 4196468 140721271812608 140721271795152 140093448318711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
/proc/9103/statm: 3333648 53050 3789 1 0 3321363 0
[pid=9103/tid=9104] ppid=9100 vsize=13334592 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9104/stat : 9104 (java) D 9100 9103 8659 0 -1 4202560 10851 0 0 0 134 5 0 0 20 0 18 0 3826571 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093452561720 140093441004343 0 0 0 16800975 18446744072100613253 0 0 -1 7 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9105] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9105/stat : 9105 (java) S 9100 9103 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 3826572 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093380454672 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9107] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9107/stat : 9107 (java) S 9100 9103 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 3826572 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093379402128 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9108] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9108/stat : 9108 (java) S 9100 9103 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 3826572 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093045049872 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9109] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9109/stat : 9109 (java) S 9100 9103 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 3826572 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093043997328 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9110] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9110/stat : 9110 (java) S 9100 9103 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 3826572 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093042944784 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9111] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9111/stat : 9111 (java) S 9100 9103 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 3826572 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093041892240 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9112] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9112/stat : 9112 (java) S 9100 9103 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 3826572 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093040839696 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9113] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9113/stat : 9113 (java) S 9100 9103 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 3826572 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093039787152 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9115] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9115/stat : 9115 (java) S 9100 9103 8659 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 3826574 13654622208 53050 33554432000 4194304 4196468 140721271812608 140092978127776 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9116] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9116/stat : 9116 (java) S 9100 9103 8659 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 18 0 3826574 13654622208 53050 33554432000 4194304 4196468 140721271812608 140092977075184 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9117] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9117/stat : 9117 (java) S 9100 9103 8659 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 18 0 3826577 13654622208 53050 33554432000 4194304 4196468 140721271812608 140092976022528 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9118] ppid=9100 vsize=13334592 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9118/stat : 9118 (java) S 9100 9103 8659 0 -1 1077944384 6148 0 0 0 65 0 0 0 20 0 18 0 3826577 13654622208 53050 33554432000 4194304 4196468 140721271812608 140092773472784 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9119] ppid=9100 vsize=13334592 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9119/stat : 9119 (java) S 9100 9103 8659 0 -1 1077944384 5982 0 0 0 72 0 0 0 20 0 18 0 3826577 13654622208 53050 33554432000 4194304 4196468 140721271812608 140092772421088 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9120] ppid=9100 vsize=13334592 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9120/stat : 9120 (java) S 9100 9103 8659 0 -1 1077944384 6127 0 0 0 66 1 0 0 20 0 18 0 3826577 13654622208 53050 33554432000 4194304 4196468 140721271812608 140092771368560 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9121] ppid=9100 vsize=13334592 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9121/stat : 9121 (java) S 9100 9103 8659 0 -1 1077944384 1899 0 0 0 39 1 0 0 20 0 18 0 3826577 13654622208 53050 33554432000 4194304 4196468 140721271812608 140092770335600 140093448329858 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9122] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9122/stat : 9122 (java) S 9100 9103 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 3826578 13654622208 53050 33554432000 4194304 4196468 140721271812608 140092769282272 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 13334592
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9103 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50121 s]
/proc/loadavg: 1.81 1.80 1.83 6/282 9123
/proc/meminfo: memFree=31619428/32770624 swapFree=5896/51592
[pid=9103] ppid=9100 vsize=13334592 CPUtime=3.87 cores=1,3,5,7,9,11,13,15
/proc/9103/stat : 9103 (java) S 9100 9103 8659 0 -1 1077944320 32456 0 0 0 378 9 0 0 20 0 18 0 3826570 13654622208 53050 33554432000 4194304 4196468 140721271812608 140721271795152 140093448318711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
/proc/9103/statm: 3333648 53050 3789 1 0 3321363 0
[pid=9103/tid=9104] ppid=9100 vsize=13334592 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9104/stat : 9104 (java) D 9100 9103 8659 0 -1 4202560 10851 0 0 0 134 5 0 0 20 0 18 0 3826571 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093452561720 140093441004343 0 0 0 16800975 18446744072100613253 0 0 -1 7 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9105] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9105/stat : 9105 (java) S 9100 9103 8659 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 3826572 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093380454672 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9107] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9107/stat : 9107 (java) S 9100 9103 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 3826572 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093379402128 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9108] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9108/stat : 9108 (java) S 9100 9103 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 3826572 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093045049872 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9109] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9109/stat : 9109 (java) S 9100 9103 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 3826572 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093043997328 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9110] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9110/stat : 9110 (java) S 9100 9103 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 3826572 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093042944784 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9111] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9111/stat : 9111 (java) S 9100 9103 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 3826572 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093041892240 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9112] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9112/stat : 9112 (java) S 9100 9103 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 3826572 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093040839696 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9113] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9113/stat : 9113 (java) S 9100 9103 8659 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 3826572 13654622208 53050 33554432000 4194304 4196468 140721271812608 140093039787152 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9115] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9115/stat : 9115 (java) S 9100 9103 8659 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 3826574 13654622208 53050 33554432000 4194304 4196468 140721271812608 140092978127776 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9116] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9116/stat : 9116 (java) S 9100 9103 8659 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 18 0 3826574 13654622208 53050 33554432000 4194304 4196468 140721271812608 140092977075184 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9117] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9117/stat : 9117 (java) S 9100 9103 8659 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 18 0 3826577 13654622208 53050 33554432000 4194304 4196468 140721271812608 140092976022528 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9118] ppid=9100 vsize=13334592 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9118/stat : 9118 (java) S 9100 9103 8659 0 -1 1077944384 6148 0 0 0 65 0 0 0 20 0 18 0 3826577 13654622208 53050 33554432000 4194304 4196468 140721271812608 140092773472784 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9119] ppid=9100 vsize=13334592 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9119/stat : 9119 (java) S 9100 9103 8659 0 -1 1077944384 5982 0 0 0 72 0 0 0 20 0 18 0 3826577 13654622208 53050 33554432000 4194304 4196468 140721271812608 140092772421088 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9120] ppid=9100 vsize=13334592 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9120/stat : 9120 (java) S 9100 9103 8659 0 -1 1077944384 6127 0 0 0 66 1 0 0 20 0 18 0 3826577 13654622208 53050 33554432000 4194304 4196468 140721271812608 140092771368560 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9121] ppid=9100 vsize=13334592 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9121/stat : 9121 (java) S 9100 9103 8659 0 -1 1077944384 1899 0 0 0 39 1 0 0 20 0 18 0 3826577 13654622208 53050 33554432000 4194304 4196468 140721271812608 140092770335600 140093448329858 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
[pid=9103/tid=9122] ppid=9100 vsize=13334592 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9103/task/9122/stat : 9122 (java) S 9100 9103 8659 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 3826578 13654622208 53050 33554432000 4194304 4196468 140721271812608 140092769282272 140093448328917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39628800 140721271817355 140721271817540 140721271817540 140721271820239 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 13334592
Child status: 0
Real time (s): 1.90639
CPU time (s): 3.88853
CPU user time (s): 3.78802
CPU system time (s): 0.100513
CPU usage (%): 203.974
Max. virtual memory (cumulated for all children) (KiB): 13334592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.78802
system time used= 0.100513
maximum resident set size= 212592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32462
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3211
involuntary context switches= 282
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011805 second user time and 0.028309 second system time
The end