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-4246588-1500709183/watcher-4246588-1500709183 -o /tmp/evaluation-result-4246588-1500709183/solver-4246588-1500709183 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500682665-15783 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4246588-1500709183.xml
pid=21485
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.03 2.02 2.02 3/262 21488
/proc/meminfo: memFree=31604256/32770624 swapFree=5760/285056
[pid=21488] ppid=21485 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/stat : 21488 (java) S 21485 21488 15216 0 -1 1077944320 1947 0 0 0 0 0 0 0 20 0 2 0 6183672 8550137856 1668 33554432000 4194304 4196468 140732989294432 140732989276976 140682499809015 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
/proc/21488/statm: 2087436 1668 1198 1 0 2076347 0
[pid=21488/tid=21489] ppid=21485 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21489/stat : 21489 (java) R 21485 21488 15216 0 -1 4202560 736 0 0 0 0 0 0 0 20 0 2 0 6183673 8550137856 1800 33554432000 4194304 4196468 140732989294432 140682504051104 140682492098464 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[startup+0.100122 s]
/proc/loadavg: 2.03 2.02 2.02 3/262 21488
/proc/meminfo: memFree=31604256/32770624 swapFree=5760/285056
[pid=21488] ppid=21485 vsize=10900456 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/21488/stat : 21488 (java) S 21485 21488 15216 0 -1 1077944320 5042 0 0 0 8 1 0 0 20 0 20 0 6183672 11162066944 6141 33554432000 4194304 4196468 140732989294432 140732989276976 140682499809015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
/proc/21488/statm: 2725114 6141 2626 1 0 2713552 0
[pid=21488/tid=21489] ppid=21485 vsize=10900456 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21489/stat : 21489 (java) R 21485 21488 15216 0 -1 4202560 3120 0 0 0 7 1 0 0 20 0 20 0 6183673 11162066944 6141 33554432000 4194304 4196468 140732989294432 140682504043936 140682492487029 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900456
[startup+0.200456 s]
/proc/loadavg: 2.03 2.02 2.02 3/262 21488
/proc/meminfo: memFree=31604256/32770624 swapFree=5760/285056
[pid=21488] ppid=21485 vsize=10900580 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/21488/stat : 21488 (java) S 21485 21488 15216 0 -1 1077944320 7640 0 0 0 25 2 0 0 20 0 20 0 6183672 11162193920 9009 33554432000 4194304 4196468 140732989294432 140732989276976 140682499809015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
/proc/21488/statm: 2725145 9009 2886 1 0 2713552 0
[pid=21488/tid=21489] ppid=21485 vsize=10900580 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21489/stat : 21489 (java) R 21485 21488 15216 0 -1 4202560 4882 0 0 0 17 1 0 0 20 0 20 0 6183673 11162193920 9009 33554432000 4194304 4196468 140732989294432 140682504040992 140682483889502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10900580
[startup+0.300282 s]
/proc/loadavg: 2.03 2.02 2.02 3/262 21488
/proc/meminfo: memFree=31604256/32770624 swapFree=5760/285056
[pid=21488] ppid=21485 vsize=10969228 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/21488/stat : 21488 (java) S 21485 21488 15216 0 -1 1077944320 8465 0 0 0 44 3 0 0 20 0 21 0 6183672 11232489472 13407 33554432000 4194304 4196468 140732989294432 140732989276976 140682499809015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
/proc/21488/statm: 2742307 13407 2999 1 0 2730193 0
[pid=21488/tid=21489] ppid=21485 vsize=10969228 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21489/stat : 21489 (java) S 21485 21488 15216 0 -1 1077944384 5210 0 0 0 23 1 0 0 20 0 21 0 6183673 11232489472 13407 33554432000 4194304 4196468 140732989294432 140682504051888 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10969228
[startup+0.700206 s]
/proc/loadavg: 2.03 2.02 2.02 3/262 21488
/proc/meminfo: memFree=31604256/32770624 swapFree=5760/285056
[pid=21488] ppid=21485 vsize=10971352 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/21488/stat : 21488 (java) S 21485 21488 15216 0 -1 1077944320 11656 0 0 0 131 7 0 0 20 0 21 0 6183672 11234664448 41351 33554432000 4194304 4196468 140732989294432 140732989276976 140682499809015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
/proc/21488/statm: 2742838 41351 3102 1 0 2730705 0
[pid=21488/tid=21489] ppid=21485 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21489/stat : 21489 (java) S 21485 21488 15216 0 -1 1077944384 5210 0 0 0 23 1 0 0 20 0 21 0 6183673 11234664448 41351 33554432000 4194304 4196468 140732989294432 140682504051888 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 10971352
[startup+1.50111 s]
/proc/loadavg: 2.27 2.07 2.04 4/283 21509
/proc/meminfo: memFree=31330252/32770624 swapFree=5760/285004
[pid=21488] ppid=21485 vsize=10971352 CPUtime=3.78 cores=0,2,4,6,8,10,12,14
/proc/21488/stat : 21488 (java) S 21485 21488 15216 0 -1 1077944320 14298 0 0 0 298 80 0 0 20 0 21 0 6183672 11234664448 105774 33554432000 4194304 4196468 140732989294432 140732989276976 140682499809015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
/proc/21488/statm: 2742838 105774 3134 1 0 2730705 0
[pid=21488/tid=21489] ppid=21485 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21489/stat : 21489 (java) S 21485 21488 15216 0 -1 1077944384 5210 0 0 0 23 1 0 0 20 0 21 0 6183673 11234664448 105774 33554432000 4194304 4196468 140732989294432 140682504051888 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21491] ppid=21485 vsize=10971352 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21491/stat : 21491 (java) S 21485 21488 15216 0 -1 1077944384 104 0 0 0 4 9 0 0 20 0 21 0 6183674 11234664448 105774 33554432000 4194304 4196468 140732989294432 140682460769424 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21492] ppid=21485 vsize=10971352 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21492/stat : 21492 (java) S 21485 21488 15216 0 -1 1077944384 106 0 0 0 4 8 0 0 20 0 21 0 6183674 11234664448 105774 33554432000 4194304 4196468 140732989294432 140682105429008 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21493] ppid=21485 vsize=10971352 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21493/stat : 21493 (java) S 21485 21488 15216 0 -1 1077944384 79 0 0 0 3 8 0 0 20 0 21 0 6183674 11234664448 105774 33554432000 4194304 4196468 140732989294432 140682104376208 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21494] ppid=21485 vsize=10971352 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21494/stat : 21494 (java) S 21485 21488 15216 0 -1 1077944384 112 0 0 0 4 9 0 0 20 0 21 0 6183674 11234664448 105774 33554432000 4194304 4196468 140732989294432 140682103323408 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21495] ppid=21485 vsize=10971352 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21495/stat : 21495 (java) S 21485 21488 15216 0 -1 1077944384 52 0 0 0 2 7 0 0 20 0 21 0 6183674 11234664448 105774 33554432000 4194304 4196468 140732989294432 140682102270608 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21496] ppid=21485 vsize=10971352 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21496/stat : 21496 (java) S 21485 21488 15216 0 -1 1077944384 109 0 0 0 3 8 0 0 20 0 21 0 6183674 11234664448 105774 33554432000 4194304 4196468 140732989294432 140682101217808 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21497] ppid=21485 vsize=10971352 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21497/stat : 21497 (java) S 21485 21488 15216 0 -1 1077944384 126 0 0 0 5 7 0 0 20 0 21 0 6183674 11234664448 105774 33554432000 4194304 4196468 140732989294432 140682100165008 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21498] ppid=21485 vsize=10971352 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21498/stat : 21498 (java) S 21485 21488 15216 0 -1 1077944384 86 0 0 0 3 9 0 0 20 0 21 0 6183674 11234664448 105774 33554432000 4194304 4196468 140732989294432 140682099112208 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21499] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21499/stat : 21499 (java) S 21485 21488 15216 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 21 0 6183676 11234664448 105774 33554432000 4194304 4196468 140732989294432 140681840364400 140682499820162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21500] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21500/stat : 21500 (java) S 21485 21488 15216 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 6183677 11234664448 105774 33554432000 4194304 4196468 140732989294432 140681839310432 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21501] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21501/stat : 21501 (java) S 21485 21488 15216 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 6183677 11234664448 105774 33554432000 4194304 4196468 140732989294432 140681838257536 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21502] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21502/stat : 21502 (java) S 21485 21488 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6183681 11234664448 105774 33554432000 4194304 4196468 140732989294432 140681837205840 140682499827611 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21503] ppid=21485 vsize=10971352 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21503/stat : 21503 (java) S 21485 21488 15216 0 -1 1077944384 1388 0 0 0 38 0 0 0 20 0 21 0 6183681 11234664448 105774 33554432000 4194304 4196468 140732989294432 140681836153200 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21504] ppid=21485 vsize=10971352 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21504/stat : 21504 (java) S 21485 21488 15216 0 -1 1077944384 1302 0 0 0 36 0 0 0 20 0 21 0 6183681 11234664448 105774 33554432000 4194304 4196468 140732989294432 140681835100400 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21505] ppid=21485 vsize=10971352 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21505/stat : 21505 (java) S 21485 21488 15216 0 -1 1077944384 979 0 0 0 39 0 0 0 20 0 21 0 6183681 11234664448 105774 33554432000 4194304 4196468 140732989294432 140681834047600 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21506] ppid=21485 vsize=10971352 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21506/stat : 21506 (java) S 21485 21488 15216 0 -1 1077944384 1426 0 0 0 26 1 0 0 20 0 21 0 6183681 11234664448 105774 33554432000 4194304 4196468 140732989294432 140681832994800 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21507] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21507/stat : 21507 (java) S 21485 21488 15216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6183681 11234664448 105774 33554432000 4194304 4196468 140732989294432 140681831943264 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21508] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21508/stat : 21508 (java) S 21485 21488 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6183682 11234664448 105774 33554432000 4194304 4196468 140732989294432 140681830890544 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21509] ppid=21485 vsize=10971352 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21509/stat : 21509 (java) R 21485 21488 15216 0 -1 4202560 1641 0 0 0 102 5 0 0 20 0 21 0 6183700 11234664448 105774 33554432000 4194304 4196468 140732989294432 140681827698184 140682139347454 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 10971352
[startup+3.10115 s]
/proc/loadavg: 2.27 2.07 2.04 3/283 21509
/proc/meminfo: memFree=30888548/32770624 swapFree=5760/285012
[pid=21488] ppid=21485 vsize=10971352 CPUtime=6.24 cores=0,2,4,6,8,10,12,14
/proc/21488/stat : 21488 (java) S 21485 21488 15216 0 -1 1077944320 17307 0 0 0 481 143 0 0 20 0 21 0 6183672 11234664448 209518 33554432000 4194304 4196468 140732989294432 140732989276976 140682499809015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
/proc/21488/statm: 2742838 209518 3135 1 0 2730705 0
[pid=21488/tid=21489] ppid=21485 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21489/stat : 21489 (java) S 21485 21488 15216 0 -1 1077944384 5210 0 0 0 23 1 0 0 20 0 21 0 6183673 11234664448 209518 33554432000 4194304 4196468 140732989294432 140682504051888 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21491] ppid=21485 vsize=10971352 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21491/stat : 21491 (java) S 21485 21488 15216 0 -1 1077944384 177 0 0 0 9 16 0 0 20 0 21 0 6183674 11234664448 209518 33554432000 4194304 4196468 140732989294432 140682460769424 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21492] ppid=21485 vsize=10971352 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21492/stat : 21492 (java) S 21485 21488 15216 0 -1 1077944384 236 0 0 0 9 16 0 0 20 0 21 0 6183674 11234664448 209518 33554432000 4194304 4196468 140732989294432 140682105429008 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21493] ppid=21485 vsize=10971352 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21493/stat : 21493 (java) S 21485 21488 15216 0 -1 1077944384 177 0 0 0 8 15 0 0 20 0 21 0 6183674 11234664448 209518 33554432000 4194304 4196468 140732989294432 140682104376208 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21494] ppid=21485 vsize=10971352 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21494/stat : 21494 (java) S 21485 21488 15216 0 -1 1077944384 208 0 0 0 8 17 0 0 20 0 21 0 6183674 11234664448 209518 33554432000 4194304 4196468 140732989294432 140682103323408 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21495] ppid=21485 vsize=10971352 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21495/stat : 21495 (java) S 21485 21488 15216 0 -1 1077944384 169 0 0 0 6 14 0 0 20 0 21 0 6183674 11234664448 209518 33554432000 4194304 4196468 140732989294432 140682102270608 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21496] ppid=21485 vsize=10971352 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21496/stat : 21496 (java) S 21485 21488 15216 0 -1 1077944384 212 0 0 0 6 15 0 0 20 0 21 0 6183674 11234664448 209518 33554432000 4194304 4196468 140732989294432 140682101217808 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21497] ppid=21485 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21497/stat : 21497 (java) S 21485 21488 15216 0 -1 1077944384 239 0 0 0 9 15 0 0 20 0 21 0 6183674 11234664448 209518 33554432000 4194304 4196468 140732989294432 140682100165008 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21498] ppid=21485 vsize=10971352 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21498/stat : 21498 (java) S 21485 21488 15216 0 -1 1077944384 203 0 0 0 8 17 0 0 20 0 21 0 6183674 11234664448 209518 33554432000 4194304 4196468 140732989294432 140682099112208 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21499] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21499/stat : 21499 (java) S 21485 21488 15216 0 -1 1077944384 513 0 0 0 0 0 0 0 20 0 21 0 6183676 11234664448 209518 33554432000 4194304 4196468 140732989294432 140681840364400 140682499820162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21500] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21500/stat : 21500 (java) S 21485 21488 15216 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 6183677 11234664448 209518 33554432000 4194304 4196468 140732989294432 140681839310432 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21501] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21501/stat : 21501 (java) S 21485 21488 15216 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 6183677 11234664448 209518 33554432000 4194304 4196468 140732989294432 140681838257536 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21502] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21502/stat : 21502 (java) S 21485 21488 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6183681 11234664448 209518 33554432000 4194304 4196468 140732989294432 140681837205840 140682499827611 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21503] ppid=21485 vsize=10971352 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21503/stat : 21503 (java) S 21485 21488 15216 0 -1 1077944384 1388 0 0 0 38 0 0 0 20 0 21 0 6183681 11234664448 209518 33554432000 4194304 4196468 140732989294432 140681836153200 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21504] ppid=21485 vsize=10971352 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21504/stat : 21504 (java) S 21485 21488 15216 0 -1 1077944384 1302 0 0 0 36 0 0 0 20 0 21 0 6183681 11234664448 210030 33554432000 4194304 4196468 140732989294432 140681835100400 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21505] ppid=21485 vsize=10971352 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21505/stat : 21505 (java) S 21485 21488 15216 0 -1 1077944384 982 0 0 0 39 0 0 0 20 0 21 0 6183681 11234664448 210030 33554432000 4194304 4196468 140732989294432 140681834047600 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21506] ppid=21485 vsize=10971352 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21506/stat : 21506 (java) S 21485 21488 15216 0 -1 1077944384 1465 0 0 0 28 1 0 0 20 0 21 0 6183681 11234664448 210030 33554432000 4194304 4196468 140732989294432 140681832994800 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21507] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21507/stat : 21507 (java) S 21485 21488 15216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6183681 11234664448 210030 33554432000 4194304 4196468 140732989294432 140681831943264 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21508] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21508/stat : 21508 (java) S 21485 21488 15216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6183682 11234664448 210030 33554432000 4194304 4196468 140732989294432 140681830890544 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21509] ppid=21485 vsize=10971352 CPUtime=2.54 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21509/stat : 21509 (java) R 21485 21488 15216 0 -1 4202560 3457 0 0 0 246 8 0 0 20 0 21 0 6183700 11234664448 210030 33554432000 4194304 4196468 140732989294432 140681827698280 140682139299731 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 10971352
[startup+6.30092 s]
/proc/loadavg: 2.27 2.07 2.04 10/283 21509
/proc/meminfo: memFree=29957980/32770624 swapFree=5760/285016
[pid=21488] ppid=21485 vsize=10971352 CPUtime=15.97 cores=0,2,4,6,8,10,12,14
/proc/21488/stat : 21488 (java) S 21485 21488 15216 0 -1 1077944320 31013 0 0 0 1253 344 0 0 20 0 21 0 6183672 11234664448 415931 33554432000 4194304 4196468 140732989294432 140732989276976 140682499809015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
/proc/21488/statm: 2742838 415931 3172 1 0 2730705 0
[pid=21488/tid=21489] ppid=21485 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21489/stat : 21489 (java) S 21485 21488 15216 0 -1 1077944384 5210 0 0 0 23 1 0 0 20 0 21 0 6183673 11234664448 415931 33554432000 4194304 4196468 140732989294432 140682504051888 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21491] ppid=21485 vsize=10971352 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21491/stat : 21491 (java) S 21485 21488 15216 0 -1 1077944384 578 0 0 0 63 42 0 0 20 0 21 0 6183674 11234664448 415931 33554432000 4194304 4196468 140732989294432 140682460769424 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21492] ppid=21485 vsize=10971352 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21492/stat : 21492 (java) S 21485 21488 15216 0 -1 1077944384 1412 0 0 0 65 40 0 0 20 0 21 0 6183674 11234664448 415931 33554432000 4194304 4196468 140732989294432 140682105429008 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21493] ppid=21485 vsize=10971352 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21493/stat : 21493 (java) S 21485 21488 15216 0 -1 1077944384 510 0 0 0 63 39 0 0 20 0 21 0 6183674 11234664448 415931 33554432000 4194304 4196468 140732989294432 140682104376208 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21494] ppid=21485 vsize=10971352 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21494/stat : 21494 (java) S 21485 21488 15216 0 -1 1077944384 480 0 0 0 63 41 0 0 20 0 21 0 6183674 11234664448 415931 33554432000 4194304 4196468 140732989294432 140682103323408 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21495] ppid=21485 vsize=10971352 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21495/stat : 21495 (java) S 21485 21488 15216 0 -1 1077944384 562 0 0 0 62 38 0 0 20 0 21 0 6183674 11234664448 415931 33554432000 4194304 4196468 140732989294432 140682102270608 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21496] ppid=21485 vsize=10971352 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21496/stat : 21496 (java) S 21485 21488 15216 0 -1 1077944384 608 0 0 0 61 40 0 0 20 0 21 0 6183674 11234664448 415931 33554432000 4194304 4196468 140732989294432 140682101217808 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21497] ppid=21485 vsize=10971352 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21497/stat : 21497 (java) S 21485 21488 15216 0 -1 1077944384 589 0 0 0 64 41 0 0 20 0 21 0 6183674 11234664448 415931 33554432000 4194304 4196468 140732989294432 140682100165008 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21498] ppid=21485 vsize=10971352 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21498/stat : 21498 (java) S 21485 21488 15216 0 -1 1077944384 526 0 0 0 69 37 0 0 20 0 21 0 6183674 11234664448 415931 33554432000 4194304 4196468 140732989294432 140682099112208 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21499] ppid=21485 vsize=10971352 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21499/stat : 21499 (java) S 21485 21488 15216 0 -1 1077944384 3872 0 0 0 17 0 0 0 20 0 21 0 6183676 11234664448 415931 33554432000 4194304 4196468 140732989294432 140681840364400 140682499820162 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21500] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21500/stat : 21500 (java) S 21485 21488 15216 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 21 0 6183677 11234664448 415931 33554432000 4194304 4196468 140732989294432 140681839310432 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21501] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21501/stat : 21501 (java) S 21485 21488 15216 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 6183677 11234664448 415931 33554432000 4194304 4196468 140732989294432 140681838257536 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21502] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21502/stat : 21502 (java) S 21485 21488 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6183681 11234664448 415931 33554432000 4194304 4196468 140732989294432 140681837205840 140682499827611 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21503] ppid=21485 vsize=10971352 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21503/stat : 21503 (java) S 21485 21488 15216 0 -1 1077944384 2819 0 0 0 67 1 0 0 20 0 21 0 6183681 11234664448 415931 33554432000 4194304 4196468 140732989294432 140681836153200 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21504] ppid=21485 vsize=10971352 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21504/stat : 21504 (java) S 21485 21488 15216 0 -1 1077944384 1850 0 0 0 61 0 0 0 20 0 21 0 6183681 11234664448 415931 33554432000 4194304 4196468 140732989294432 140681835100400 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21505] ppid=21485 vsize=10971352 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21505/stat : 21505 (java) S 21485 21488 15216 0 -1 1077944384 1566 0 0 0 60 0 0 0 20 0 21 0 6183681 11234664448 415931 33554432000 4194304 4196468 140732989294432 140681834047600 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21506] ppid=21485 vsize=10971352 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21506/stat : 21506 (java) S 21485 21488 15216 0 -1 1077944384 2580 0 0 0 48 1 0 0 20 0 21 0 6183681 11234664448 415931 33554432000 4194304 4196468 140732989294432 140681832994800 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21507] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21507/stat : 21507 (java) S 21485 21488 15216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6183681 11234664448 415931 33554432000 4194304 4196468 140732989294432 140681831943264 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21508] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21508/stat : 21508 (java) S 21485 21488 15216 0 -1 1077944384 366 0 0 0 0 0 0 0 20 0 21 0 6183682 11234664448 415931 33554432000 4194304 4196468 140732989294432 140681830890544 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21509] ppid=21485 vsize=10971352 CPUtime=4.75 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21509/stat : 21509 (java) R 21485 21488 15216 0 -1 4202560 6095 0 0 0 461 14 0 0 20 0 21 0 6183700 11234664448 415931 33554432000 4194304 4196468 140732989294432 140681827697224 140682140968126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
Current children cumulated CPU time (s) 15.97
Current children cumulated vsize (KiB) 10971352
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21488 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40109 s]
/proc/loadavg: 2.27 2.07 2.04 10/283 21509
/proc/meminfo: memFree=29957980/32770624 swapFree=5760/285016
[pid=21488] ppid=21485 vsize=10971352 CPUtime=16.11 cores=0,2,4,6,8,10,12,14
/proc/21488/stat : 21488 (java) S 21485 21488 15216 0 -1 1077944320 31050 0 0 0 1267 344 0 0 20 0 21 0 6183672 11234664448 415963 33554432000 4194304 4196468 140732989294432 140732989276976 140682499809015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
/proc/21488/statm: 2742838 415963 3172 1 0 2730705 0
[pid=21488/tid=21489] ppid=21485 vsize=10971352 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21489/stat : 21489 (java) S 21485 21488 15216 0 -1 1077944384 5210 0 0 0 23 1 0 0 20 0 21 0 6183673 11234664448 415963 33554432000 4194304 4196468 140732989294432 140682504051888 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21491] ppid=21485 vsize=10971352 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21491/stat : 21491 (java) S 21485 21488 15216 0 -1 1077944384 578 0 0 0 63 42 0 0 20 0 21 0 6183674 11234664448 415963 33554432000 4194304 4196468 140732989294432 140682460769424 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21492] ppid=21485 vsize=10971352 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21492/stat : 21492 (java) S 21485 21488 15216 0 -1 1077944384 1412 0 0 0 65 40 0 0 20 0 21 0 6183674 11234664448 415963 33554432000 4194304 4196468 140732989294432 140682105429008 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21493] ppid=21485 vsize=10971352 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21493/stat : 21493 (java) S 21485 21488 15216 0 -1 1077944384 510 0 0 0 63 39 0 0 20 0 21 0 6183674 11234664448 415963 33554432000 4194304 4196468 140732989294432 140682104376208 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21494] ppid=21485 vsize=10971352 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21494/stat : 21494 (java) S 21485 21488 15216 0 -1 1077944384 480 0 0 0 63 41 0 0 20 0 21 0 6183674 11234664448 415963 33554432000 4194304 4196468 140732989294432 140682103323408 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21495] ppid=21485 vsize=10971352 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21495/stat : 21495 (java) S 21485 21488 15216 0 -1 1077944384 562 0 0 0 62 38 0 0 20 0 21 0 6183674 11234664448 415963 33554432000 4194304 4196468 140732989294432 140682102270608 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21496] ppid=21485 vsize=10971352 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21496/stat : 21496 (java) S 21485 21488 15216 0 -1 1077944384 608 0 0 0 61 40 0 0 20 0 21 0 6183674 11234664448 415963 33554432000 4194304 4196468 140732989294432 140682101217808 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21497] ppid=21485 vsize=10971352 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21497/stat : 21497 (java) S 21485 21488 15216 0 -1 1077944384 589 0 0 0 64 41 0 0 20 0 21 0 6183674 11234664448 415963 33554432000 4194304 4196468 140732989294432 140682100165008 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21498] ppid=21485 vsize=10971352 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21498/stat : 21498 (java) S 21485 21488 15216 0 -1 1077944384 526 0 0 0 69 37 0 0 20 0 21 0 6183674 11234664448 415963 33554432000 4194304 4196468 140732989294432 140682099112208 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21499] ppid=21485 vsize=10971352 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21499/stat : 21499 (java) S 21485 21488 15216 0 -1 1077944384 3872 0 0 0 17 0 0 0 20 0 21 0 6183676 11234664448 415963 33554432000 4194304 4196468 140732989294432 140681840364400 140682499820162 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21500] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21500/stat : 21500 (java) S 21485 21488 15216 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 21 0 6183677 11234664448 415963 33554432000 4194304 4196468 140732989294432 140681839310432 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21501] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21501/stat : 21501 (java) S 21485 21488 15216 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 6183677 11234664448 415963 33554432000 4194304 4196468 140732989294432 140681838257536 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21502] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21502/stat : 21502 (java) S 21485 21488 15216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6183681 11234664448 415963 33554432000 4194304 4196468 140732989294432 140681837205840 140682499827611 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21503] ppid=21485 vsize=10971352 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21503/stat : 21503 (java) S 21485 21488 15216 0 -1 1077944384 2827 0 0 0 68 1 0 0 20 0 21 0 6183681 11234664448 415963 33554432000 4194304 4196468 140732989294432 140681836153200 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21504] ppid=21485 vsize=10971352 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21504/stat : 21504 (java) S 21485 21488 15216 0 -1 1077944384 1850 0 0 0 61 0 0 0 20 0 21 0 6183681 11234664448 415963 33554432000 4194304 4196468 140732989294432 140681835100400 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21505] ppid=21485 vsize=10971352 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21505/stat : 21505 (java) S 21485 21488 15216 0 -1 1077944384 1568 0 0 0 61 0 0 0 20 0 21 0 6183681 11234664448 415963 33554432000 4194304 4196468 140732989294432 140681834047600 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21506] ppid=21485 vsize=10971352 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21506/stat : 21506 (java) S 21485 21488 15216 0 -1 1077944384 2607 0 0 0 49 1 0 0 20 0 21 0 6183681 11234664448 415963 33554432000 4194304 4196468 140732989294432 140681832994800 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21507] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21507/stat : 21507 (java) S 21485 21488 15216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6183681 11234664448 415963 33554432000 4194304 4196468 140732989294432 140681831943264 140682499819221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21508] ppid=21485 vsize=10971352 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21508/stat : 21508 (java) S 21485 21488 15216 0 -1 1077944384 366 0 0 0 0 0 0 0 20 0 21 0 6183682 11234664448 415963 33554432000 4194304 4196468 140732989294432 140681830890544 140682499820162 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
[pid=21488/tid=21509] ppid=21485 vsize=10971352 CPUtime=4.85 cores=0,2,4,6,8,10,12,14
/proc/21488/task/21509/stat : 21509 (java) R 21485 21488 15216 0 -1 4202560 6095 0 0 0 471 14 0 0 20 0 21 0 6183700 11234664448 415963 33554432000 4194304 4196468 140732989294432 140681827698168 140682499820950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9785344 140732989297859 140732989297988 140732989297988 140732989300687 0
Current children cumulated CPU time (s) 16.11
Current children cumulated vsize (KiB) 10971352
Child status: 0
Real time (s): 6.41912
CPU time (s): 16.1436
CPU user time (s): 12.6799
CPU system time (s): 3.46371
CPU usage (%): 251.492
Max. virtual memory (cumulated for all children) (KiB): 10971352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.6799
system time used= 3.46371
maximum resident set size= 1665148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31122
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3542
involuntary context switches= 1063
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056053 second user time and 0.064357 second system time
The end