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-4247791-1500730534/watcher-4247791-1500730534 -o /tmp/evaluation-result-4247791-1500730534/solver-4247791-1500730534 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500710999-18715 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 822362818 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247791-1500730534.xml
pid=22639
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: 1.73 1.77 1.73 4/261 22642
/proc/meminfo: memFree=31425208/32770624 swapFree=5948/296560
[pid=22642] ppid=22639 vsize=109408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/stat : 22642 (java) S 22639 22642 18684 0 -1 1077944320 1574 0 0 0 0 0 0 0 20 0 2 0 8320222 112033792 1332 33554432000 4194304 4196468 140732167781312 140732167763856 139860680457975 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
/proc/22642/statm: 27352 1332 1001 1 0 16810 0
[pid=22642/tid=22643] ppid=22639 vsize=109408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22643/stat : 22643 (java) D 22639 22642 18684 0 -1 4202560 258 0 0 0 0 0 0 0 20 0 2 0 8320223 112033792 1332 33554432000 4194304 4196468 140732167781312 139860684700080 139860680479805 0 0 0 16784584 18446744071581152138 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[startup+0.100117 s]
/proc/loadavg: 1.73 1.77 1.73 4/261 22642
/proc/meminfo: memFree=31425208/32770624 swapFree=5948/296560
[pid=22642] ppid=22639 vsize=109440 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/stat : 22642 (java) S 22639 22642 18684 0 -1 1077944320 1603 0 0 0 0 0 0 0 20 0 2 0 8320222 112066560 1360 33554432000 4194304 4196468 140732167781312 140732167763856 139860680457975 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
/proc/22642/statm: 27360 1360 1029 1 0 16810 0
[pid=22642/tid=22643] ppid=22639 vsize=109440 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22643/stat : 22643 (java) R 22639 22642 18684 0 -1 4202560 307 0 0 0 0 0 0 0 20 0 2 0 8320223 112066560 1360 33554432000 4194304 4196468 140732167781312 139860684700280 139860673642097 0 4 0 16784584 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 109440
[startup+0.200316 s]
/proc/loadavg: 1.73 1.77 1.73 4/261 22642
/proc/meminfo: memFree=31425208/32770624 swapFree=5948/296560
[pid=22642] ppid=22639 vsize=13264380 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/22642/stat : 22642 (java) S 22639 22642 18684 0 -1 1077944320 5850 0 0 0 9 1 0 0 20 0 20 0 8320222 13582725120 6441 33554432000 4194304 4196468 140732167781312 140732167763856 139860680457975 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
/proc/22642/statm: 3316095 6441 3313 1 0 3303815 0
[pid=22642/tid=22643] ppid=22639 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22643/stat : 22643 (java) R 22639 22642 18684 0 -1 4202560 3925 0 0 0 8 1 0 0 20 0 20 0 8320223 13582725120 6441 33554432000 4194304 4196468 140732167781312 139860684697592 139860680479901 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13264380
[startup+0.300347 s]
/proc/loadavg: 1.73 1.77 1.73 4/261 22642
/proc/meminfo: memFree=31425208/32770624 swapFree=5948/296560
[pid=22642] ppid=22639 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/22642/stat : 22642 (java) S 22639 22642 18684 0 -1 1077944320 8954 0 0 0 24 3 0 0 20 0 20 0 8320222 13582245888 8920 33554432000 4194304 4196468 140732167781312 140732167763856 139860680457975 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
/proc/22642/statm: 3315978 8920 3500 1 0 3303698 0
[pid=22642/tid=22643] ppid=22639 vsize=13263912 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22643/stat : 22643 (java) R 22639 22642 18684 0 -1 4202560 6675 0 0 0 17 2 0 0 20 0 20 0 8320223 13582245888 8920 33554432000 4194304 4196468 140732167781312 139860684688608 139860664538462 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13263912
[startup+0.70022 s]
/proc/loadavg: 1.73 1.77 1.73 4/261 22642
/proc/meminfo: memFree=31425208/32770624 swapFree=5948/296560
[pid=22642] ppid=22639 vsize=13265980 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/22642/stat : 22642 (java) S 22639 22642 18684 0 -1 1077944320 11818 0 0 0 95 5 0 0 20 0 20 0 8320222 13584363520 15667 33554432000 4194304 4196468 140732167781312 140732167763856 139860680457975 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
/proc/22642/statm: 3316495 15667 3746 1 0 3304210 0
[pid=22642/tid=22643] ppid=22639 vsize=13265980 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22643/stat : 22643 (java) R 22639 22642 18684 0 -1 4202560 8506 0 0 0 54 4 0 0 20 0 20 0 8320223 13584363520 15667 33554432000 4194304 4196468 140732167781312 139860684697024 139860664501605 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 13265980
[startup+1.50107 s]
/proc/loadavg: 1.73 1.77 1.73 6/281 22662
/proc/meminfo: memFree=31341760/32770624 swapFree=5948/296568
[pid=22642] ppid=22639 vsize=13270076 CPUtime=3.57 cores=0,2,4,6,8,10,12,14
/proc/22642/stat : 22642 (java) S 22639 22642 18684 0 -1 1077944320 27132 0 0 0 347 10 0 0 20 0 20 0 8320222 13588557824 33009 33554432000 4194304 4196468 140732167781312 140732167763856 139860680457975 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
/proc/22642/statm: 3317519 33009 3782 1 0 3305234 0
[pid=22642/tid=22643] ppid=22639 vsize=13270076 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22643/stat : 22643 (java) R 22639 22642 18684 0 -1 4202560 11613 0 0 0 132 5 0 0 20 0 20 0 8320223 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860684687744 139860323386000 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22645] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22645/stat : 22645 (java) S 22639 22642 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860645739408 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22646] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22646/stat : 22646 (java) S 22639 22642 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860278364944 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22647] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22647/stat : 22647 (java) S 22639 22642 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860277312656 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22648] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22648/stat : 22648 (java) S 22639 22642 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860276259856 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22649] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22649/stat : 22649 (java) S 22639 22642 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860275206544 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22650] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22650/stat : 22650 (java) S 22639 22642 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860274153744 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22651] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22651/stat : 22651 (java) S 22639 22642 18684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860273101456 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22652] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22652/stat : 22652 (java) S 22639 22642 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860272048656 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22653] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22653/stat : 22653 (java) S 22639 22642 18684 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 8320235 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860143811184 139860680469122 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22654] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22654/stat : 22654 (java) S 22639 22642 18684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 8320236 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860142757152 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22655] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22655/stat : 22655 (java) S 22639 22642 18684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 8320236 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860141704816 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22656] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22656/stat : 22656 (java) S 22639 22642 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8320240 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860140653136 139860680476571 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22657] ppid=22639 vsize=13270076 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22657/stat : 22657 (java) R 22639 22642 18684 0 -1 4202560 3103 0 0 0 50 1 0 0 20 0 20 0 8320241 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860139586504 139860658346625 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22658] ppid=22639 vsize=13270076 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22658/stat : 22658 (java) R 22639 22642 18684 0 -1 4202560 2137 0 0 0 53 0 0 0 20 0 20 0 8320241 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860138528464 139860661159680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22659] ppid=22639 vsize=13270076 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22659/stat : 22659 (java) R 22639 22642 18684 0 -1 4202560 1355 0 0 0 47 1 0 0 20 0 20 0 8320241 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860137481536 139860664746976 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22660] ppid=22639 vsize=13270076 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22660/stat : 22660 (java) S 22639 22642 18684 0 -1 1077944384 7529 0 0 0 62 0 0 0 20 0 20 0 8320241 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860136442096 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22661] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22661/stat : 22661 (java) S 22639 22642 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8320241 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860135390048 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22662] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22662/stat : 22662 (java) S 22639 22642 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8320241 13588557824 33009 33554432000 4194304 4196468 140732167781312 139860134337328 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 13270076
[startup+3.10086 s]
/proc/loadavg: 1.73 1.77 1.73 6/281 22662
/proc/meminfo: memFree=31271508/32770624 swapFree=5948/296568
[pid=22642] ppid=22639 vsize=13270076 CPUtime=6.53 cores=0,2,4,6,8,10,12,14
/proc/22642/stat : 22642 (java) S 22639 22642 18684 0 -1 1077944320 32323 0 0 0 637 16 0 0 20 0 20 0 8320222 13588557824 57906 33554432000 4194304 4196468 140732167781312 140732167763856 139860680457975 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
/proc/22642/statm: 3317519 57906 3814 1 0 3305234 0
[pid=22642/tid=22643] ppid=22639 vsize=13270076 CPUtime=2.96 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22643/stat : 22643 (java) R 22639 22642 18684 0 -1 4202560 12135 0 0 0 289 7 0 0 20 0 20 0 8320223 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860684688000 139860323234606 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22645] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22645/stat : 22645 (java) S 22639 22642 18684 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860645739408 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22646] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22646/stat : 22646 (java) S 22639 22642 18684 0 -1 1077944384 629 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860278364944 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22647] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22647/stat : 22647 (java) S 22639 22642 18684 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860277312656 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22648] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22648/stat : 22648 (java) S 22639 22642 18684 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860276259856 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22649] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22649/stat : 22649 (java) S 22639 22642 18684 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860275206544 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22650] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22650/stat : 22650 (java) S 22639 22642 18684 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860274153744 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22651] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22651/stat : 22651 (java) S 22639 22642 18684 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860273101456 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22652] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22652/stat : 22652 (java) S 22639 22642 18684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860272048656 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22653] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22653/stat : 22653 (java) S 22639 22642 18684 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 8320235 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860143811184 139860680469122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22654] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22654/stat : 22654 (java) S 22639 22642 18684 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 8320236 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860142757216 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22655] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22655/stat : 22655 (java) S 22639 22642 18684 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 8320236 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860141704832 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22656] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22656/stat : 22656 (java) S 22639 22642 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8320240 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860140653136 139860680476571 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22657] ppid=22639 vsize=13270076 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22657/stat : 22657 (java) S 22639 22642 18684 0 -1 1077944384 3371 0 0 0 84 1 0 0 20 0 20 0 8320241 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860139599984 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22658] ppid=22639 vsize=13270076 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22658/stat : 22658 (java) S 22639 22642 18684 0 -1 1077944384 2863 0 0 0 86 0 0 0 20 0 20 0 8320241 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860138547184 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22659] ppid=22639 vsize=13270076 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22659/stat : 22659 (java) S 22639 22642 18684 0 -1 1077944384 2467 0 0 0 103 1 0 0 20 0 20 0 8320241 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860137494896 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22660] ppid=22639 vsize=13270076 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22660/stat : 22660 (java) S 22639 22642 18684 0 -1 1077944384 8695 0 0 0 68 1 0 0 20 0 20 0 8320241 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860136442096 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22661] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22661/stat : 22661 (java) S 22639 22642 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8320241 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860135390048 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22662] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22662/stat : 22662 (java) S 22639 22642 18684 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 8320241 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860134337328 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
Current children cumulated CPU time (s) 6.53
Current children cumulated vsize (KiB) 13270076
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22642 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20101 s]
/proc/loadavg: 1.73 1.77 1.73 6/281 22662
/proc/meminfo: memFree=31271508/32770624 swapFree=5948/296568
[pid=22642] ppid=22639 vsize=13270076 CPUtime=6.63 cores=0,2,4,6,8,10,12,14
/proc/22642/stat : 22642 (java) S 22639 22642 18684 0 -1 1077944320 32335 0 0 0 647 16 0 0 20 0 20 0 8320222 13588557824 57906 33554432000 4194304 4196468 140732167781312 140732167763856 139860680457975 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
/proc/22642/statm: 3317519 57906 3814 1 0 3305234 0
[pid=22642/tid=22643] ppid=22639 vsize=13270076 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22643/stat : 22643 (java) R 22639 22642 18684 0 -1 4202560 12139 0 0 0 299 7 0 0 20 0 20 0 8320223 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860684688144 139860323349914 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22645] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22645/stat : 22645 (java) S 22639 22642 18684 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860645739408 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22646] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22646/stat : 22646 (java) S 22639 22642 18684 0 -1 1077944384 629 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860278364944 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22647] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22647/stat : 22647 (java) S 22639 22642 18684 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860277312656 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22648] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22648/stat : 22648 (java) S 22639 22642 18684 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860276259856 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22649] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22649/stat : 22649 (java) S 22639 22642 18684 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860275206544 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22650] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22650/stat : 22650 (java) S 22639 22642 18684 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860274153744 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22651] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22651/stat : 22651 (java) S 22639 22642 18684 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860273101456 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22652] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22652/stat : 22652 (java) S 22639 22642 18684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860272048656 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22653] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22653/stat : 22653 (java) S 22639 22642 18684 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 8320235 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860143811184 139860680469122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22654] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22654/stat : 22654 (java) S 22639 22642 18684 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 8320236 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860142757216 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22655] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22655/stat : 22655 (java) S 22639 22642 18684 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 8320236 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860141704832 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22656] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22656/stat : 22656 (java) S 22639 22642 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8320240 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860140653136 139860680476571 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22657] ppid=22639 vsize=13270076 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22657/stat : 22657 (java) S 22639 22642 18684 0 -1 1077944384 3371 0 0 0 84 1 0 0 20 0 20 0 8320241 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860139599984 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22658] ppid=22639 vsize=13270076 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22658/stat : 22658 (java) S 22639 22642 18684 0 -1 1077944384 2863 0 0 0 86 0 0 0 20 0 20 0 8320241 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860138547184 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22659] ppid=22639 vsize=13270076 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22659/stat : 22659 (java) S 22639 22642 18684 0 -1 1077944384 2467 0 0 0 103 1 0 0 20 0 20 0 8320241 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860137494896 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22660] ppid=22639 vsize=13270076 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22660/stat : 22660 (java) S 22639 22642 18684 0 -1 1077944384 8703 0 0 0 68 1 0 0 20 0 20 0 8320241 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860136442096 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22661] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22661/stat : 22661 (java) S 22639 22642 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8320241 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860135390048 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22662] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22662/stat : 22662 (java) S 22639 22642 18684 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 8320241 13588557824 57906 33554432000 4194304 4196468 140732167781312 139860134337328 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
Current children cumulated CPU time (s) 6.63
Current children cumulated vsize (KiB) 13270076
[startup+4.00082 s]
/proc/loadavg: 1.73 1.77 1.73 3/281 22662
/proc/meminfo: memFree=31206500/32770624 swapFree=5948/296568
[pid=22642] ppid=22639 vsize=13270076 CPUtime=7.46 cores=0,2,4,6,8,10,12,14
/proc/22642/stat : 22642 (java) S 22639 22642 18684 0 -1 1077944320 32450 0 0 0 729 17 0 0 20 0 20 0 8320222 13588557824 57951 33554432000 4194304 4196468 140732167781312 140732167763856 139860680457975 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
/proc/22642/statm: 3317519 57951 3814 1 0 3305234 0
[pid=22642/tid=22643] ppid=22639 vsize=13270076 CPUtime=3.86 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22643/stat : 22643 (java) R 22639 22642 18684 0 -1 4202560 12164 0 0 0 379 7 0 0 20 0 20 0 8320223 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860684688016 139860323360777 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22645] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22645/stat : 22645 (java) S 22639 22642 18684 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860645739408 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22646] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22646/stat : 22646 (java) S 22639 22642 18684 0 -1 1077944384 629 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860278364944 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22647] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22647/stat : 22647 (java) S 22639 22642 18684 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860277312656 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22648] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22648/stat : 22648 (java) S 22639 22642 18684 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860276259856 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22649] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22649/stat : 22649 (java) S 22639 22642 18684 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860275206544 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22650] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22650/stat : 22650 (java) S 22639 22642 18684 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860274153744 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22651] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22651/stat : 22651 (java) S 22639 22642 18684 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860273101456 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22652] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22652/stat : 22652 (java) S 22639 22642 18684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 8320233 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860272048656 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22653] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22653/stat : 22653 (java) S 22639 22642 18684 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 8320235 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860143811184 139860680469122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22654] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22654/stat : 22654 (java) S 22639 22642 18684 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 8320236 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860142757216 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22655] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22655/stat : 22655 (java) S 22639 22642 18684 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 8320236 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860141704832 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22656] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22656/stat : 22656 (java) S 22639 22642 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8320240 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860140653136 139860680476571 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22657] ppid=22639 vsize=13270076 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22657/stat : 22657 (java) S 22639 22642 18684 0 -1 1077944384 3371 0 0 0 84 1 0 0 20 0 20 0 8320241 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860139599984 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22658] ppid=22639 vsize=13270076 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22658/stat : 22658 (java) S 22639 22642 18684 0 -1 1077944384 2866 0 0 0 87 0 0 0 20 0 20 0 8320241 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860138547184 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22659] ppid=22639 vsize=13270076 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22659/stat : 22659 (java) S 22639 22642 18684 0 -1 1077944384 2467 0 0 0 103 1 0 0 20 0 20 0 8320241 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860137494896 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22660] ppid=22639 vsize=13270076 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22660/stat : 22660 (java) S 22639 22642 18684 0 -1 1077944384 8790 0 0 0 70 1 0 0 20 0 20 0 8320241 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860136442096 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22661] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22661/stat : 22661 (java) S 22639 22642 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8320241 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860135390048 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22662] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22662/stat : 22662 (java) S 22639 22642 18684 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 8320241 13588557824 57951 33554432000 4194304 4196468 140732167781312 139860134337328 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 13270076
[startup+4.20072 s]
/proc/loadavg: 1.73 1.77 1.73 3/281 22662
/proc/meminfo: memFree=31206500/32770624 swapFree=5948/296568
[pid=22642] ppid=22639 vsize=13270076 CPUtime=7.87 cores=0,2,4,6,8,10,12,14
/proc/22642/stat : 22642 (java) S 22639 22642 18684 0 -1 1077944320 32722 0 0 0 762 25 0 0 20 0 20 0 8320222 13588557824 63639 33554432000 4194304 4196468 140732167781312 140732167763856 139860680457975 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
/proc/22642/statm: 3317519 63639 3822 1 0 3305234 0
[pid=22642/tid=22643] ppid=22639 vsize=13270076 CPUtime=4.02 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22643/stat : 22643 (java) S 22639 22642 18684 0 -1 1077944384 12168 0 0 0 395 7 0 0 20 0 20 0 8320223 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860684696320 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22645] ppid=22639 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22645/stat : 22645 (java) R 22639 22642 18684 0 -1 4202560 48 0 0 0 2 1 0 0 20 0 20 0 8320233 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860645739608 139860665485182 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22646] ppid=22639 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22646/stat : 22646 (java) R 22639 22642 18684 0 -1 4202560 648 0 0 0 2 1 0 0 20 0 20 0 8320233 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860278365144 139860665480096 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22647] ppid=22639 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22647/stat : 22647 (java) R 22639 22642 18684 0 -1 4202560 35 0 0 0 1 1 0 0 20 0 20 0 8320233 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860277312544 139860673557840 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22648] ppid=22639 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22648/stat : 22648 (java) R 22639 22642 18684 0 -1 4202560 62 0 0 0 1 1 0 0 20 0 20 0 8320233 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860276260056 139860662083920 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22649] ppid=22639 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22649/stat : 22649 (java) R 22639 22642 18684 0 -1 4202560 333 0 0 0 1 1 0 0 20 0 20 0 8320233 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860275206744 139860673554569 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22650] ppid=22639 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22650/stat : 22650 (java) R 22639 22642 18684 0 -1 4202560 70 0 0 0 2 1 0 0 20 0 20 0 8320233 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860274153944 139860665483136 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22651] ppid=22639 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22651/stat : 22651 (java) R 22639 22642 18684 0 -1 4202560 79 0 0 0 2 1 0 0 20 0 20 0 8320233 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860273101656 139860673557844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22652] ppid=22639 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22652/stat : 22652 (java) R 22639 22642 18684 0 -1 4202560 58 0 0 0 2 1 0 0 20 0 20 0 8320233 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860272048856 139860665485352 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22653] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22653/stat : 22653 (java) S 22639 22642 18684 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 20 0 8320235 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860143809696 139860680468181 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22654] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22654/stat : 22654 (java) S 22639 22642 18684 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 8320236 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860142757216 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22655] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22655/stat : 22655 (java) S 22639 22642 18684 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 8320236 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860141704832 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22656] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22656/stat : 22656 (java) S 22639 22642 18684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8320240 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860140653136 139860680476571 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22657] ppid=22639 vsize=13270076 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22657/stat : 22657 (java) S 22639 22642 18684 0 -1 1077944384 3377 0 0 0 86 1 0 0 20 0 20 0 8320241 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860139599984 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22658] ppid=22639 vsize=13270076 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22658/stat : 22658 (java) S 22639 22642 18684 0 -1 1077944384 2866 0 0 0 87 0 0 0 20 0 20 0 8320241 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860138547184 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22659] ppid=22639 vsize=13270076 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22659/stat : 22659 (java) S 22639 22642 18684 0 -1 1077944384 2470 0 0 0 103 1 0 0 20 0 20 0 8320241 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860137494896 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22660] ppid=22639 vsize=13270076 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22660/stat : 22660 (java) S 22639 22642 18684 0 -1 1077944384 8797 0 0 0 70 1 0 0 20 0 20 0 8320241 13588557824 63639 33554432000 4194304 4196468 140732167781312 139860136442096 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22661] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22661/stat : 22661 (java) S 22639 22642 18684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8320241 13588557824 64151 33554432000 4194304 4196468 140732167781312 139860135390048 139860680468181 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
[pid=22642/tid=22662] ppid=22639 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/22642/task/22662/stat : 22662 (java) S 22639 22642 18684 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 8320241 13588557824 64151 33554432000 4194304 4196468 140732167781312 139860134337328 139860680469122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7475200 140732167783562 140732167783748 140732167783748 140732167786447 0
Current children cumulated CPU time (s) 7.87
Current children cumulated vsize (KiB) 13270076
Child status: 0
Real time (s): 4.24433
CPU time (s): 7.97057
CPU user time (s): 7.66708
CPU system time (s): 0.303486
CPU usage (%): 187.793
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.66708
system time used= 0.303486
maximum resident set size= 262104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33013
page faults= 0
swaps= 0
block input operations= 8
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4834
involuntary context switches= 598
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037961 second user time and 0.059938 second system time
The end