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-4247787-1500723260/watcher-4247787-1500723260 -o /tmp/evaluation-result-4247787-1500723260/solver-4247787-1500723260 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500713972-15317 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4247787-1500723260.xml
pid=18852
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.04 1.97 2.01 3/263 18855
/proc/meminfo: memFree=31696668/32770624 swapFree=6236/126536
[pid=18855] ppid=18852 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/stat : 18855 (java) S 18852 18855 15286 0 -1 1077944320 2212 0 0 0 0 0 0 0 20 0 2 0 7594438 8550137856 1932 33554432000 4194304 4196468 140732252619120 140732252601664 140054159048439 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
/proc/18855/statm: 2087436 1932 1198 1 0 2076347 0
[pid=18855/tid=18856] ppid=18852 vsize=8351800 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18856/stat : 18856 (java) S 18852 18855 15286 0 -1 1077944384 926 0 0 0 0 0 0 0 20 0 4 0 7594439 8552243200 1932 33554432000 4194304 4196468 140732252619120 140054163289808 140054159058645 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18857] ppid=18852 vsize=8352828 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18857/stat : 18857 (java) S 18852 18855 15286 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 7594440 8553295872 1998 33554432000 4194304 4196468 140732252619120 140054120008288 140054159058645 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18858] ppid=18852 vsize=8352828 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18858/stat : 18858 (java) S 18852 18855 15286 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 7594440 8553295872 1998 33554432000 4194304 4196468 140732252619120 140053765135072 140054159058645 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18859] ppid=18852 vsize=8353856 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18859/stat : 18859 (java) S 18852 18855 15286 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 7594440 8554348544 1998 33554432000 4194304 4196468 140732252619120 140053764082528 140054159058645 0 4 0 16784584 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18860] ppid=18852 vsize=8353856 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18860/stat : 18860 (java) R 18852 18855 15286 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 6 0 7594440 8554348544 1998 33554432000 4194304 4196468 140732252619120 140054163289808 140054151788289 0 4 0 16784584 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[startup+0.100072 s]
/proc/loadavg: 2.04 1.97 2.01 3/263 18855
/proc/meminfo: memFree=31696668/32770624 swapFree=6236/126536
[pid=18855] ppid=18852 vsize=10900580 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/18855/stat : 18855 (java) S 18852 18855 15286 0 -1 1077944320 5033 0 0 0 8 1 0 0 20 0 20 0 7594438 11162193920 6113 33554432000 4194304 4196468 140732252619120 140732252601664 140054159048439 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
/proc/18855/statm: 2725145 6113 2625 1 0 2713552 0
[pid=18855/tid=18856] ppid=18852 vsize=10900580 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18856/stat : 18856 (java) R 18852 18855 15286 0 -1 4202560 3120 0 0 0 7 0 0 0 20 0 20 0 7594439 11162193920 6113 33554432000 4194304 4196468 140732252619120 140054163282480 140054159070365 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18857] ppid=18852 vsize=10900580 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18857/stat : 18857 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7594440 11162193920 6113 33554432000 4194304 4196468 140732252619120 140054120007952 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18858] ppid=18852 vsize=10900580 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18858/stat : 18858 (java) S 18852 18855 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7594440 11162193920 6113 33554432000 4194304 4196468 140732252619120 140053765134736 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18859] ppid=18852 vsize=10900580 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18859/stat : 18859 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7594440 11162193920 6113 33554432000 4194304 4196468 140732252619120 140053764082192 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18860] ppid=18852 vsize=10900580 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18860/stat : 18860 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7594440 11162193920 6113 33554432000 4194304 4196468 140732252619120 140053763029648 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900580
[startup+0.200809 s]
/proc/loadavg: 2.04 1.97 2.01 3/263 18855
/proc/meminfo: memFree=31696668/32770624 swapFree=6236/126536
[pid=18855] ppid=18852 vsize=10900580 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/18855/stat : 18855 (java) S 18852 18855 15286 0 -1 1077944320 7672 0 0 0 26 2 0 0 20 0 20 0 7594438 11162193920 9084 33554432000 4194304 4196468 140732252619120 140732252601664 140054159048439 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
/proc/18855/statm: 2725145 9084 2892 1 0 2713552 0
[pid=18855/tid=18856] ppid=18852 vsize=10900580 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18856/stat : 18856 (java) R 18852 18855 15286 0 -1 4202560 4876 0 0 0 17 1 0 0 20 0 20 0 7594439 11162193920 9084 33554432000 4194304 4196468 140732252619120 140054163274304 140054151726613 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18857] ppid=18852 vsize=10900580 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18857/stat : 18857 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7594440 11162193920 9084 33554432000 4194304 4196468 140732252619120 140054120007952 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18858] ppid=18852 vsize=10900580 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18858/stat : 18858 (java) S 18852 18855 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7594440 11162193920 9084 33554432000 4194304 4196468 140732252619120 140053765134736 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18859] ppid=18852 vsize=10900580 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18859/stat : 18859 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7594440 11162193920 9084 33554432000 4194304 4196468 140732252619120 140053764082192 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18860] ppid=18852 vsize=10900580 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18860/stat : 18860 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7594440 11162193920 9084 33554432000 4194304 4196468 140732252619120 140053763029648 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10900580
[startup+0.300556 s]
/proc/loadavg: 2.04 1.97 2.01 3/263 18855
/proc/meminfo: memFree=31696668/32770624 swapFree=6236/126536
[pid=18855] ppid=18852 vsize=10969228 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/18855/stat : 18855 (java) S 18852 18855 15286 0 -1 1077944320 8432 0 0 0 46 2 0 0 20 0 21 0 7594438 11232489472 13286 33554432000 4194304 4196468 140732252619120 140732252601664 140054159048439 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
/proc/18855/statm: 2742307 13286 2975 1 0 2730193 0
[pid=18855/tid=18856] ppid=18852 vsize=10969228 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18856/stat : 18856 (java) S 18852 18855 15286 0 -1 1077944384 5222 0 0 0 24 1 0 0 20 0 21 0 7594439 11232489472 13286 33554432000 4194304 4196468 140732252619120 140054163291312 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18857] ppid=18852 vsize=10969228 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18857/stat : 18857 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7594440 11232489472 13286 33554432000 4194304 4196468 140732252619120 140054120007952 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18858] ppid=18852 vsize=10969228 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18858/stat : 18858 (java) S 18852 18855 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7594440 11232489472 13286 33554432000 4194304 4196468 140732252619120 140053765134736 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18859] ppid=18852 vsize=10969228 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18859/stat : 18859 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7594440 11232489472 13286 33554432000 4194304 4196468 140732252619120 140053764082192 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18860] ppid=18852 vsize=10969228 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18860/stat : 18860 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7594440 11232489472 13286 33554432000 4194304 4196468 140732252619120 140053763029648 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10969228
[startup+0.700402 s]
/proc/loadavg: 2.04 1.97 2.01 3/263 18855
/proc/meminfo: memFree=31696668/32770624 swapFree=6236/126536
[pid=18855] ppid=18852 vsize=10971352 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/18855/stat : 18855 (java) S 18852 18855 15286 0 -1 1077944320 12320 0 0 0 135 4 0 0 20 0 21 0 7594438 11234664448 20032 33554432000 4194304 4196468 140732252619120 140732252601664 140054159048439 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
/proc/18855/statm: 2742838 20032 3110 1 0 2730705 0
[pid=18855/tid=18856] ppid=18852 vsize=10971352 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18856/stat : 18856 (java) S 18852 18855 15286 0 -1 1077944384 5222 0 0 0 24 1 0 0 20 0 21 0 7594439 11234664448 20032 33554432000 4194304 4196468 140732252619120 140054163291312 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18857] ppid=18852 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18857/stat : 18857 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7594440 11234664448 20032 33554432000 4194304 4196468 140732252619120 140054120007952 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18858] ppid=18852 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18858/stat : 18858 (java) S 18852 18855 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7594440 11234664448 20032 33554432000 4194304 4196468 140732252619120 140053765134736 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18859] ppid=18852 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18859/stat : 18859 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7594440 11234664448 20032 33554432000 4194304 4196468 140732252619120 140053764082192 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18860] ppid=18852 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18860/stat : 18860 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7594440 11234664448 20032 33554432000 4194304 4196468 140732252619120 140053763029648 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 10971352
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18855 sig 9
??? kill -18855 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800557 s]
/proc/loadavg: 2.04 1.97 2.01 3/263 18855
/proc/meminfo: memFree=31696668/32770624 swapFree=6236/126536
[pid=18855] ppid=18852 vsize=10971352 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/18855/stat : 18855 (java) S 18852 18855 15286 0 -1 1077944320 12380 0 0 0 151 4 0 0 20 0 21 0 7594438 11234664448 20032 33554432000 4194304 4196468 140732252619120 140732252601664 140054159048439 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
/proc/18855/statm: 2742838 20032 3110 1 0 2730705 0
[pid=18855/tid=18856] ppid=18852 vsize=10971352 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18856/stat : 18856 (java) S 18852 18855 15286 0 -1 1077944384 5222 0 0 0 24 1 0 0 20 0 21 0 7594439 11234664448 20032 33554432000 4194304 4196468 140732252619120 140054163291312 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18857] ppid=18852 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18857/stat : 18857 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7594440 11234664448 20032 33554432000 4194304 4196468 140732252619120 140054120007952 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18858] ppid=18852 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18858/stat : 18858 (java) S 18852 18855 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7594440 11234664448 20032 33554432000 4194304 4196468 140732252619120 140053765134736 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18859] ppid=18852 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18859/stat : 18859 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7594440 11234664448 20032 33554432000 4194304 4196468 140732252619120 140053764082192 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18860] ppid=18852 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18860/stat : 18860 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7594440 11234664448 20032 33554432000 4194304 4196468 140732252619120 140053763029648 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 10971352
[startup+1.00044 s]
/proc/loadavg: 2.04 1.97 2.01 3/263 18855
/proc/meminfo: memFree=31696668/32770624 swapFree=6236/126536
[pid=18855] ppid=18852 vsize=10971352 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/18855/stat : 18855 (java) S 18852 18855 15286 0 -1 1077944320 12427 0 0 0 174 4 0 0 20 0 21 0 7594438 11234664448 20079 33554432000 4194304 4196468 140732252619120 140732252601664 140054159048439 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
/proc/18855/statm: 2742838 20079 3110 1 0 2730705 0
[pid=18855/tid=18856] ppid=18852 vsize=10971352 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18856/stat : 18856 (java) S 18852 18855 15286 0 -1 1077944384 5222 0 0 0 24 1 0 0 20 0 21 0 7594439 11234664448 20079 33554432000 4194304 4196468 140732252619120 140054163291312 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18857] ppid=18852 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18857/stat : 18857 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7594440 11234664448 20079 33554432000 4194304 4196468 140732252619120 140054120007952 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18858] ppid=18852 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18858/stat : 18858 (java) S 18852 18855 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7594440 11234664448 20079 33554432000 4194304 4196468 140732252619120 140053765134736 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18859] ppid=18852 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18859/stat : 18859 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7594440 11234664448 20079 33554432000 4194304 4196468 140732252619120 140053764082192 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18860] ppid=18852 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18860/stat : 18860 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7594440 11234664448 20079 33554432000 4194304 4196468 140732252619120 140053763029648 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 10971352
[startup+1.10029 s]
/proc/loadavg: 2.04 1.97 2.01 6/284 18876
/proc/meminfo: memFree=31626520/32770624 swapFree=6236/126884
[pid=18855] ppid=18852 vsize=11037916 CPUtime=2.03 cores=0,2,4,6,8,10,12,14
/proc/18855/stat : 18855 (java) S 18852 18855 15286 0 -1 1077944320 12707 0 0 0 198 5 0 0 20 0 20 0 7594438 11302825984 21914 33554432000 4194304 4196468 140732252619120 140732252601664 140054159048439 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
/proc/18855/statm: 2759479 21914 3121 1 0 2747346 0
[pid=18855/tid=18856] ppid=18852 vsize=11037916 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18856/stat : 18856 (java) S 18852 18855 15286 0 -1 1077944384 5222 0 0 0 24 1 0 0 20 0 20 0 7594439 11302825984 21914 33554432000 4194304 4196468 140732252619120 140054163291312 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18857] ppid=18852 vsize=11037916 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18857/stat : 18857 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7594440 11302825984 21914 33554432000 4194304 4196468 140732252619120 140054120007952 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18858] ppid=18852 vsize=11037916 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18858/stat : 18858 (java) S 18852 18855 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7594440 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053765134736 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18859] ppid=18852 vsize=11037916 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18859/stat : 18859 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7594440 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053764082192 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18860] ppid=18852 vsize=11037916 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18860/stat : 18860 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7594440 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053763029648 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18861] ppid=18852 vsize=11037916 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18861/stat : 18861 (java) S 18852 18855 15286 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7594440 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053761977104 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18862] ppid=18852 vsize=11037916 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18862/stat : 18862 (java) S 18852 18855 15286 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7594440 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053760924560 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18864] ppid=18852 vsize=11037916 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18864/stat : 18864 (java) S 18852 18855 15286 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7594440 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053759872016 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18865] ppid=18852 vsize=11037916 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18865/stat : 18865 (java) S 18852 18855 15286 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7594440 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053758819472 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18866] ppid=18852 vsize=11037916 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18866/stat : 18866 (java) S 18852 18855 15286 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 7594442 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053634287104 140054159059586 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18867] ppid=18852 vsize=11037916 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18867/stat : 18867 (java) S 18852 18855 15286 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 7594443 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053633233824 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18868] ppid=18852 vsize=11037916 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18868/stat : 18868 (java) S 18852 18855 15286 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 7594443 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053632181232 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18869] ppid=18852 vsize=11037916 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18869/stat : 18869 (java) S 18852 18855 15286 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 7594447 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053631128576 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18870] ppid=18852 vsize=11037916 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18870/stat : 18870 (java) S 18852 18855 15286 0 -1 1077944384 1082 0 0 0 18 0 0 0 20 0 20 0 7594447 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053630077424 140054159059586 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18871] ppid=18852 vsize=11037916 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18871/stat : 18871 (java) S 18852 18855 15286 0 -1 1077944384 932 0 0 0 17 0 0 0 20 0 20 0 7594447 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053629015984 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18872] ppid=18852 vsize=11037916 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18872/stat : 18872 (java) S 18852 18855 15286 0 -1 1077944384 390 0 0 0 17 0 0 0 20 0 20 0 7594447 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053627972336 140054159059586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18873] ppid=18852 vsize=11037916 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18873/stat : 18873 (java) S 18852 18855 15286 0 -1 1077944384 1636 0 0 0 38 0 0 0 20 0 20 0 7594447 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053626913904 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18874] ppid=18852 vsize=11037916 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18874/stat : 18874 (java) S 18852 18855 15286 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7594447 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053625866464 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
[pid=18855/tid=18876] ppid=18852 vsize=11037916 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/18855/task/18876/stat : 18876 (java) S 18852 18855 15286 0 -1 1077944384 2016 0 0 0 81 1 0 0 20 0 20 0 7594466 11302825984 21914 33554432000 4194304 4196468 140732252619120 140053621622416 140054159058645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140732252624067 140732252624196 140732252624196 140732252626895 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 11037916
Child status: 2
Real time (s): 1.12139
CPU time (s): 2.04205
CPU user time (s): 1.98158
CPU system time (s): 0.060474
CPU usage (%): 182.1
Max. virtual memory (cumulated for all children) (KiB): 11037916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.98158
system time used= 0.060474
maximum resident set size= 88412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12711
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2496
involuntary context switches= 180
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.014816 second user time and 0.01917 second system time
The end