2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: AbsCon-basic 2017-06-11	? (TO)		2400.05	2395.92

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-4249621-1500760680/watcher-4249621-1500760680 -o /tmp/evaluation-result-4249621-1500760680/solver-4249621-1500760680 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500755887-22354 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4249621-1500760680.xml 

pid=22889
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/236 22892
/proc/meminfo: memFree=30885596/32770624 swapFree=6820/905000
[pid=22892] ppid=22889 vsize=8339376 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/stat : 22892 (java) S 22889 22892 22322 0 -1 1077944320 1789 0 0 0 0 0 0 0 20 0 2 0 11333156 8539521024 2047 33554432000 4194304 4196468 140729942141104 140729942123648 139715891670775 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
/proc/22892/statm: 2084844 2047 1183 1 0 2073755 0
[pid=22892/tid=22896] ppid=22889 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22896/stat : 22896 (java) R 22889 22892 22322 0 -1 4202560 629 0 0 0 0 0 0 0 20 0 2 0 11333156 8550137856 2178 33554432000 4194304 4196468 140729942141104 139715895912864 139715883960224 0 4 0 16784584 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0

[startup+0.100173 s]
/proc/loadavg: 2.00 2.01 2.05 3/236 22892
/proc/meminfo: memFree=30885596/32770624 swapFree=6820/905000
[pid=22892] ppid=22889 vsize=10434508 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/22892/stat : 22892 (java) S 22889 22892 22322 0 -1 1077944320 3848 0 0 0 4 1 0 0 20 0 13 0 11333156 10684936192 5065 33554432000 4194304 4196468 140729942141104 140729942123648 139715891670775 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
/proc/22892/statm: 2608627 5065 2137 1 0 2597065 0
[pid=22892/tid=22896] ppid=22889 vsize=10434508 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22896/stat : 22896 (java) R 22889 22892 22322 0 -1 4202560 2475 0 0 0 4 0 0 0 20 0 13 0 11333156 10684936192 5065 33554432000 4194304 4196468 140729942141104 139715895905520 139715891692701 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10434508

[startup+0.2004 s]
/proc/loadavg: 2.00 2.01 2.05 3/236 22892
/proc/meminfo: memFree=30885596/32770624 swapFree=6820/905000
[pid=22892] ppid=22889 vsize=10900580 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/22892/stat : 22892 (java) S 22889 22892 22322 0 -1 1077944320 5404 0 0 0 17 2 0 0 20 0 20 0 11333156 11162193920 7009 33554432000 4194304 4196468 140729942141104 140729942123648 139715891670775 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
/proc/22892/statm: 2725145 7009 2831 1 0 2713552 0
[pid=22892/tid=22896] ppid=22889 vsize=10900580 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22896/stat : 22896 (java) R 22889 22892 22322 0 -1 4202560 3260 0 0 0 13 1 0 0 20 0 20 0 11333156 11162193920 7009 33554432000 4194304 4196468 140729942141104 139715895901320 139715891682710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10900580

[startup+0.300349 s]
/proc/loadavg: 2.00 2.01 2.05 3/236 22892
/proc/meminfo: memFree=30885596/32770624 swapFree=6820/905000
[pid=22892] ppid=22889 vsize=10902664 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/22892/stat : 22892 (java) S 22889 22892 22322 0 -1 1077944320 8094 0 0 0 37 3 0 0 20 0 20 0 11333156 11164327936 10474 33554432000 4194304 4196468 140729942141104 140729942123648 139715891670775 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
/proc/22892/statm: 2725666 10474 2950 1 0 2713552 0
[pid=22892/tid=22896] ppid=22889 vsize=10902664 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22896/stat : 22896 (java) R 22889 22892 22322 0 -1 4202560 5111 0 0 0 22 1 0 0 20 0 20 0 11333156 11164327936 10474 33554432000 4194304 4196468 140729942141104 139715895904768 139715875751262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 10902664

[startup+0.700214 s]
/proc/loadavg: 2.00 2.01 2.05 3/236 22892
/proc/meminfo: memFree=30885596/32770624 swapFree=6820/905000
[pid=22892] ppid=22889 vsize=10971352 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/22892/stat : 22892 (java) S 22889 22892 22322 0 -1 1077944320 11198 0 0 0 134 5 0 0 20 0 21 0 11333156 11234664448 22529 33554432000 4194304 4196468 140729942141104 140729942123648 139715891670775 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
/proc/22892/statm: 2742838 22529 3112 1 0 2730705 0
[pid=22892/tid=22896] ppid=22889 vsize=10971352 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22896/stat : 22896 (java) S 22889 22892 22322 0 -1 1077944384 5165 0 0 0 24 2 0 0 20 0 21 0 11333156 11234664448 22529 33554432000 4194304 4196468 140729942141104 139715895913648 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 10971352

[startup+1.50113 s]
/proc/loadavg: 2.00 2.01 2.05 4/283 22960
/proc/meminfo: memFree=30571812/32770624 swapFree=6820/905124
[pid=22892] ppid=22889 vsize=10973400 CPUtime=3.58 cores=1,3,5,7,9,11,13,15
/proc/22892/stat : 22892 (java) S 22889 22892 22322 0 -1 1077944320 13888 0 0 0 341 17 0 0 20 0 21 0 11333156 11236761600 51570 33554432000 4194304 4196468 140729942141104 140729942123648 139715891670775 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
/proc/22892/statm: 2743350 51570 3144 1 0 2731217 0
[pid=22892/tid=22896] ppid=22889 vsize=10973400 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22896/stat : 22896 (java) S 22889 22892 22322 0 -1 1077944384 5165 0 0 0 24 2 0 0 20 0 21 0 11333156 11236761600 51570 33554432000 4194304 4196468 140729942141104 139715895913648 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22898] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22898/stat : 22898 (java) S 22889 22892 22322 0 -1 1077944384 23 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 51570 33554432000 4194304 4196468 140729942141104 139715828361872 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22899] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22899/stat : 22899 (java) S 22889 22892 22322 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 21 0 11333157 11236761600 51570 33554432000 4194304 4196468 140729942141104 139715827309072 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22900] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22900/stat : 22900 (java) S 22889 22892 22322 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 51570 33554432000 4194304 4196468 140729942141104 139715826256272 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22901] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22901/stat : 22901 (java) S 22889 22892 22322 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 21 0 11333157 11236761600 51570 33554432000 4194304 4196468 140729942141104 139715825203472 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22902] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22902/stat : 22902 (java) S 22889 22892 22322 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 11333157 11236761600 51570 33554432000 4194304 4196468 140729942141104 139715824151696 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22903] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22903/stat : 22903 (java) S 22889 22892 22322 0 -1 1077944384 15 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 51570 33554432000 4194304 4196468 140729942141104 139715493620752 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22904] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22904/stat : 22904 (java) S 22889 22892 22322 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 51570 33554432000 4194304 4196468 140729942141104 139715492567952 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22905] ppid=22889 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22905/stat : 22905 (java) S 22889 22892 22322 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 21 0 11333157 11236761600 51570 33554432000 4194304 4196468 140729942141104 139715491515152 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22912] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22912/stat : 22912 (java) S 22889 22892 22322 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 21 0 11333160 11236761600 51570 33554432000 4194304 4196468 140729942141104 139714709834096 139715891681922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22913] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22913/stat : 22913 (java) S 22889 22892 22322 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 11333161 11236761600 51570 33554432000 4194304 4196468 140729942141104 139714708780064 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22914] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22914/stat : 22914 (java) S 22889 22892 22322 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 11333161 11236761600 51570 33554432000 4194304 4196468 140729942141104 139714707727216 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22922] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22922/stat : 22922 (java) S 22889 22892 22322 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11333169 11236761600 51570 33554432000 4194304 4196468 140729942141104 139714706675536 139715891689371 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22923] ppid=22889 vsize=10973400 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22923/stat : 22923 (java) S 22889 22892 22322 0 -1 1077944384 1430 0 0 0 51 0 0 0 20 0 21 0 11333169 11236761600 51570 33554432000 4194304 4196468 140729942141104 139714705623920 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22924] ppid=22889 vsize=10973400 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22924/stat : 22924 (java) S 22889 22892 22322 0 -1 1077944384 1130 0 0 0 53 0 0 0 20 0 21 0 11333169 11236761600 51570 33554432000 4194304 4196468 140729942141104 139714704571120 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22925] ppid=22889 vsize=10973400 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22925/stat : 22925 (java) S 22889 22892 22322 0 -1 1077944384 850 0 0 0 44 0 0 0 20 0 21 0 11333169 11236761600 51570 33554432000 4194304 4196468 140729942141104 139714703518320 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22926] ppid=22889 vsize=10973400 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22926/stat : 22926 (java) S 22889 22892 22322 0 -1 1077944384 1694 0 0 0 48 0 0 0 20 0 21 0 11333169 11236761600 51570 33554432000 4194304 4196468 140729942141104 139714702465520 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22927] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22927/stat : 22927 (java) S 22889 22892 22322 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11333169 11236761600 51570 33554432000 4194304 4196468 140729942141104 139714701412960 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22929] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22929/stat : 22929 (java) S 22889 22892 22322 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11333169 11236761600 51570 33554432000 4194304 4196468 140729942141104 139714700360240 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22959] ppid=22889 vsize=10973400 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22959/stat : 22959 (java) R 22889 22892 22322 0 -1 4202560 2063 0 0 0 111 2 0 0 20 0 21 0 11333188 11236761600 51570 33554432000 4194304 4196468 140729942141104 139714697166672 139715509535708 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 10973400

[startup+3.10119 s]
/proc/loadavg: 1.92 2.00 2.04 5/283 22960
/proc/meminfo: memFree=30566160/32770624 swapFree=6820/905064
[pid=22892] ppid=22889 vsize=10973400 CPUtime=5.67 cores=1,3,5,7,9,11,13,15
/proc/22892/stat : 22892 (java) S 22889 22892 22322 0 -1 1077944320 14160 0 0 0 550 17 0 0 20 0 21 0 11333156 11236761600 51840 33554432000 4194304 4196468 140729942141104 140729942123648 139715891670775 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
/proc/22892/statm: 2743350 51840 3146 1 0 2731217 0
[pid=22892/tid=22896] ppid=22889 vsize=10973400 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22896/stat : 22896 (java) S 22889 22892 22322 0 -1 1077944384 5165 0 0 0 24 2 0 0 20 0 21 0 11333156 11236761600 51840 33554432000 4194304 4196468 140729942141104 139715895913648 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22898] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22898/stat : 22898 (java) S 22889 22892 22322 0 -1 1077944384 23 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 51840 33554432000 4194304 4196468 140729942141104 139715828361872 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22899] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22899/stat : 22899 (java) S 22889 22892 22322 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 21 0 11333157 11236761600 51840 33554432000 4194304 4196468 140729942141104 139715827309072 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22900] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22900/stat : 22900 (java) S 22889 22892 22322 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 51840 33554432000 4194304 4196468 140729942141104 139715826256272 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22901] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22901/stat : 22901 (java) S 22889 22892 22322 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 21 0 11333157 11236761600 51840 33554432000 4194304 4196468 140729942141104 139715825203472 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22902] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22902/stat : 22902 (java) S 22889 22892 22322 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 11333157 11236761600 51840 33554432000 4194304 4196468 140729942141104 139715824151696 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22903] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22903/stat : 22903 (java) S 22889 22892 22322 0 -1 1077944384 15 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 51840 33554432000 4194304 4196468 140729942141104 139715493620752 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22904] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22904/stat : 22904 (java) S 22889 22892 22322 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 51840 33554432000 4194304 4196468 140729942141104 139715492567952 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22905] ppid=22889 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22905/stat : 22905 (java) S 22889 22892 22322 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 21 0 11333157 11236761600 51840 33554432000 4194304 4196468 140729942141104 139715491515152 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22912] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22912/stat : 22912 (java) S 22889 22892 22322 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 21 0 11333160 11236761600 51840 33554432000 4194304 4196468 140729942141104 139714709834096 139715891681922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22913] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22913/stat : 22913 (java) S 22889 22892 22322 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 11333161 11236761600 51840 33554432000 4194304 4196468 140729942141104 139714708780064 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22914] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22914/stat : 22914 (java) S 22889 22892 22322 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 11333161 11236761600 51840 33554432000 4194304 4196468 140729942141104 139714707727216 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22922] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22922/stat : 22922 (java) S 22889 22892 22322 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11333169 11236761600 51840 33554432000 4194304 4196468 140729942141104 139714706675536 139715891689371 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22923] ppid=22889 vsize=10973400 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22923/stat : 22923 (java) S 22889 22892 22322 0 -1 1077944384 1470 0 0 0 71 1 0 0 20 0 21 0 11333169 11236761600 51840 33554432000 4194304 4196468 140729942141104 139714705623920 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22924] ppid=22889 vsize=10973400 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22924/stat : 22924 (java) S 22889 22892 22322 0 -1 1077944384 1154 0 0 0 67 1 0 0 20 0 21 0 11333169 11236761600 51840 33554432000 4194304 4196468 140729942141104 139714704571120 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22925] ppid=22889 vsize=10973400 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22925/stat : 22925 (java) S 22889 22892 22322 0 -1 1077944384 872 0 0 0 53 0 0 0 20 0 21 0 11333169 11236761600 51840 33554432000 4194304 4196468 140729942141104 139714703518320 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22926] ppid=22889 vsize=10973400 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22926/stat : 22926 (java) S 22889 22892 22322 0 -1 1077944384 1809 0 0 0 53 1 0 0 20 0 21 0 11333169 11236761600 51840 33554432000 4194304 4196468 140729942141104 139714702465520 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22927] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22927/stat : 22927 (java) S 22889 22892 22322 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11333169 11236761600 51840 33554432000 4194304 4196468 140729942141104 139714701412960 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22929] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22929/stat : 22929 (java) S 22889 22892 22322 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11333169 11236761600 51840 33554432000 4194304 4196468 140729942141104 139714700360240 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22959] ppid=22889 vsize=10973400 CPUtime=2.73 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22959/stat : 22959 (java) R 22889 22892 22322 0 -1 4202560 2132 0 0 0 271 2 0 0 20 0 21 0 11333188 11236761600 51840 33554432000 4194304 4196468 140729942141104 139714697169160 139715510123990 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 10973400

[startup+6.30093 s]
/proc/loadavg: 1.92 2.00 2.04 3/283 22960
/proc/meminfo: memFree=30565272/32770624 swapFree=6820/905072
[pid=22892] ppid=22889 vsize=10973400 CPUtime=8.93 cores=1,3,5,7,9,11,13,15
/proc/22892/stat : 22892 (java) S 22889 22892 22322 0 -1 1077944320 16366 0 0 0 875 18 0 0 20 0 21 0 11333156 11236761600 52019 33554432000 4194304 4196468 140729942141104 140729942123648 139715891670775 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
/proc/22892/statm: 2743350 52019 3148 1 0 2731217 0
[pid=22892/tid=22896] ppid=22889 vsize=10973400 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22896/stat : 22896 (java) S 22889 22892 22322 0 -1 1077944384 5165 0 0 0 24 2 0 0 20 0 21 0 11333156 11236761600 52019 33554432000 4194304 4196468 140729942141104 139715895913648 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22898] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22898/stat : 22898 (java) S 22889 22892 22322 0 -1 1077944384 23 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 52019 33554432000 4194304 4196468 140729942141104 139715828361872 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22899] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22899/stat : 22899 (java) S 22889 22892 22322 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 21 0 11333157 11236761600 52019 33554432000 4194304 4196468 140729942141104 139715827309072 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22900] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22900/stat : 22900 (java) S 22889 22892 22322 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 52019 33554432000 4194304 4196468 140729942141104 139715826256272 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22901] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22901/stat : 22901 (java) S 22889 22892 22322 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 21 0 11333157 11236761600 52019 33554432000 4194304 4196468 140729942141104 139715825203472 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22902] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22902/stat : 22902 (java) S 22889 22892 22322 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 11333157 11236761600 52019 33554432000 4194304 4196468 140729942141104 139715824151696 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22903] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22903/stat : 22903 (java) S 22889 22892 22322 0 -1 1077944384 15 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 52019 33554432000 4194304 4196468 140729942141104 139715493620752 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22904] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22904/stat : 22904 (java) S 22889 22892 22322 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 52019 33554432000 4194304 4196468 140729942141104 139715492567952 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22905] ppid=22889 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22905/stat : 22905 (java) S 22889 22892 22322 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 21 0 11333157 11236761600 52019 33554432000 4194304 4196468 140729942141104 139715491515152 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22912] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22912/stat : 22912 (java) S 22889 22892 22322 0 -1 1077944384 377 0 0 0 0 0 0 0 20 0 21 0 11333160 11236761600 52019 33554432000 4194304 4196468 140729942141104 139714709834096 139715891681922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22913] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15

################
# More data... #
################

[pid=22892/tid=22929] ppid=22889 vsize=10973400 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22929/stat : 22929 (java) S 22889 22892 22322 0 -1 1077944384 1195 0 0 0 53 57 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714700360240 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22959] ppid=22889 vsize=10973400 CPUtime=2321.27 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22959/stat : 22959 (java) R 22889 22892 22322 0 -1 4202560 11252 0 0 0 232123 4 0 0 20 0 21 0 11333188 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714697170040 139715510861640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
Current children cumulated CPU time (s) 2326.4
Current children cumulated vsize (KiB) 10973400

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/283 23082
/proc/meminfo: memFree=30482116/32770624 swapFree=6820/906248
[pid=22892] ppid=22889 vsize=10973400 CPUtime=2386.41 cores=1,3,5,7,9,11,13,15
/proc/22892/stat : 22892 (java) S 22889 22892 22322 0 -1 1077944320 41895 0 0 0 238569 72 0 0 20 0 21 0 11333156 11236761600 60841 33554432000 4194304 4196468 140729942141104 140729942123648 139715891670775 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
/proc/22892/statm: 2743350 60841 3149 1 0 2731217 0
[pid=22892/tid=22896] ppid=22889 vsize=10973400 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22896/stat : 22896 (java) S 22889 22892 22322 0 -1 1077944384 5165 0 0 0 24 2 0 0 20 0 21 0 11333156 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715895913648 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22898] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22898/stat : 22898 (java) S 22889 22892 22322 0 -1 1077944384 23 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715828361872 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22899] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22899/stat : 22899 (java) S 22889 22892 22322 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715827309072 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22900] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22900/stat : 22900 (java) S 22889 22892 22322 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715826256272 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22901] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22901/stat : 22901 (java) S 22889 22892 22322 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715825203472 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22902] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22902/stat : 22902 (java) S 22889 22892 22322 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715824151696 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22903] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22903/stat : 22903 (java) S 22889 22892 22322 0 -1 1077944384 15 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715493620752 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22904] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22904/stat : 22904 (java) S 22889 22892 22322 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715492567952 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22905] ppid=22889 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22905/stat : 22905 (java) S 22889 22892 22322 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715491515152 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22912] ppid=22889 vsize=10973400 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22912/stat : 22912 (java) S 22889 22892 22322 0 -1 1077944384 801 0 0 0 2 2 0 0 20 0 21 0 11333160 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714709834096 139715891681922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22913] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22913/stat : 22913 (java) S 22889 22892 22322 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 11333161 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714708780064 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22914] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22914/stat : 22914 (java) S 22889 22892 22322 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 11333161 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714707727216 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22922] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22922/stat : 22922 (java) S 22889 22892 22322 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714706675536 139715891689371 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22923] ppid=22889 vsize=10973400 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22923/stat : 22923 (java) S 22889 22892 22322 0 -1 1077944384 5828 0 0 0 108 2 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714705623920 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22924] ppid=22889 vsize=10973400 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22924/stat : 22924 (java) S 22889 22892 22322 0 -1 1077944384 5379 0 0 0 102 1 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714704571120 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22925] ppid=22889 vsize=10973400 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22925/stat : 22925 (java) S 22889 22892 22322 0 -1 1077944384 5699 0 0 0 73 1 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714703518320 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22926] ppid=22889 vsize=10973400 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22926/stat : 22926 (java) S 22889 22892 22322 0 -1 1077944384 4954 0 0 0 61 2 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714702465520 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22927] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22927/stat : 22927 (java) S 22889 22892 22322 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714701412960 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22929] ppid=22889 vsize=10973400 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22929/stat : 22929 (java) S 22889 22892 22322 0 -1 1077944384 1201 0 0 0 55 58 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714700360240 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22959] ppid=22889 vsize=10973400 CPUtime=2381.25 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22959/stat : 22959 (java) R 22889 22892 22322 0 -1 4202560 11396 0 0 0 238121 4 0 0 20 0 21 0 11333188 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714697170232 139715510861864 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
Current children cumulated CPU time (s) 2386.41
Current children cumulated vsize (KiB) 10973400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2395.91 s]
/proc/loadavg: 2.00 2.02 2.05 3/283 23082
/proc/meminfo: memFree=30482108/32770624 swapFree=6820/906256
[pid=22892] ppid=22889 vsize=10973400 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/22892/stat : 22892 (java) S 22889 22892 22322 0 -1 1077944320 41986 0 0 0 239930 73 0 0 20 0 21 0 11333156 11236761600 60841 33554432000 4194304 4196468 140729942141104 140729942123648 139715891670775 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
/proc/22892/statm: 2743350 60841 3149 1 0 2731217 0
[pid=22892/tid=22896] ppid=22889 vsize=10973400 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22896/stat : 22896 (java) S 22889 22892 22322 0 -1 1077944384 5165 0 0 0 24 2 0 0 20 0 21 0 11333156 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715895913648 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22898] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22898/stat : 22898 (java) S 22889 22892 22322 0 -1 1077944384 23 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715828361872 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22899] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22899/stat : 22899 (java) S 22889 22892 22322 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715827309072 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22900] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22900/stat : 22900 (java) S 22889 22892 22322 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715826256272 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22901] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22901/stat : 22901 (java) S 22889 22892 22322 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715825203472 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22902] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22902/stat : 22902 (java) S 22889 22892 22322 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715824151696 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22903] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22903/stat : 22903 (java) S 22889 22892 22322 0 -1 1077944384 15 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715493620752 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22904] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22904/stat : 22904 (java) S 22889 22892 22322 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715492567952 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22905] ppid=22889 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22905/stat : 22905 (java) S 22889 22892 22322 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715491515152 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22912] ppid=22889 vsize=10973400 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22912/stat : 22912 (java) S 22889 22892 22322 0 -1 1077944384 806 0 0 0 2 2 0 0 20 0 21 0 11333160 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714709834096 139715891681922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22913] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22913/stat : 22913 (java) S 22889 22892 22322 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 11333161 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714708780064 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22914] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22914/stat : 22914 (java) S 22889 22892 22322 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 11333161 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714707727216 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22922] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22922/stat : 22922 (java) S 22889 22892 22322 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714706675536 139715891689371 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22923] ppid=22889 vsize=10973400 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22923/stat : 22923 (java) S 22889 22892 22322 0 -1 1077944384 5830 0 0 0 108 2 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714705623920 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22924] ppid=22889 vsize=10973400 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22924/stat : 22924 (java) S 22889 22892 22322 0 -1 1077944384 5383 0 0 0 102 1 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714704571120 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22925] ppid=22889 vsize=10973400 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22925/stat : 22925 (java) S 22889 22892 22322 0 -1 1077944384 5700 0 0 0 73 1 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714703518320 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22926] ppid=22889 vsize=10973400 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22926/stat : 22926 (java) S 22889 22892 22322 0 -1 1077944384 4954 0 0 0 61 2 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714702465520 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22927] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22927/stat : 22927 (java) S 22889 22892 22322 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714701412960 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22929] ppid=22889 vsize=10973400 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22929/stat : 22929 (java) S 22889 22892 22322 0 -1 1077944384 1229 0 0 0 55 58 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714700360240 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22959] ppid=22889 vsize=10973400 CPUtime=2394.86 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22959/stat : 22959 (java) R 22889 22892 22322 0 -1 4202560 11447 0 0 0 239482 4 0 0 20 0 21 0 11333188 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714697170232 139715510861869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 10973400

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22892 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2395.91 s]
/proc/loadavg: 2.00 2.02 2.05 3/283 23082
/proc/meminfo: memFree=30482108/32770624 swapFree=6820/906256
[pid=22892] ppid=22889 vsize=10973400 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/22892/stat : 22892 (java) S 22889 22892 22322 0 -1 1077944320 41986 0 0 0 239930 73 0 0 20 0 21 0 11333156 11236761600 60841 33554432000 4194304 4196468 140729942141104 140729942123648 139715891670775 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
/proc/22892/statm: 2743350 60841 3149 1 0 2731217 0
[pid=22892/tid=22896] ppid=22889 vsize=10973400 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22896/stat : 22896 (java) S 22889 22892 22322 0 -1 1077944384 5165 0 0 0 24 2 0 0 20 0 21 0 11333156 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715895913648 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22898] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22898/stat : 22898 (java) S 22889 22892 22322 0 -1 1077944384 23 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715828361872 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22899] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22899/stat : 22899 (java) S 22889 22892 22322 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715827309072 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22900] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22900/stat : 22900 (java) S 22889 22892 22322 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715826256272 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22901] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22901/stat : 22901 (java) S 22889 22892 22322 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715825203472 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22902] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22902/stat : 22902 (java) S 22889 22892 22322 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715824151696 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22903] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22903/stat : 22903 (java) S 22889 22892 22322 0 -1 1077944384 15 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715493620752 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22904] ppid=22889 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22904/stat : 22904 (java) S 22889 22892 22322 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715492567952 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22905] ppid=22889 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22905/stat : 22905 (java) S 22889 22892 22322 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 21 0 11333157 11236761600 60841 33554432000 4194304 4196468 140729942141104 139715491515152 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22912] ppid=22889 vsize=10973400 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22912/stat : 22912 (java) S 22889 22892 22322 0 -1 1077944384 806 0 0 0 2 2 0 0 20 0 21 0 11333160 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714709834096 139715891681922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22913] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22913/stat : 22913 (java) S 22889 22892 22322 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 11333161 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714708780064 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22914] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22914/stat : 22914 (java) S 22889 22892 22322 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 11333161 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714707727216 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22922] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22922/stat : 22922 (java) S 22889 22892 22322 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714706675536 139715891689371 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22923] ppid=22889 vsize=10973400 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22923/stat : 22923 (java) S 22889 22892 22322 0 -1 1077944384 5830 0 0 0 108 2 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714705623920 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22924] ppid=22889 vsize=10973400 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22924/stat : 22924 (java) S 22889 22892 22322 0 -1 1077944384 5383 0 0 0 102 1 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714704571120 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22925] ppid=22889 vsize=10973400 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22925/stat : 22925 (java) S 22889 22892 22322 0 -1 1077944384 5700 0 0 0 73 1 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714703518320 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22926] ppid=22889 vsize=10973400 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22926/stat : 22926 (java) S 22889 22892 22322 0 -1 1077944384 4954 0 0 0 61 2 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714702465520 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22927] ppid=22889 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22927/stat : 22927 (java) S 22889 22892 22322 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714701412960 139715891680981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22929] ppid=22889 vsize=10973400 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22929/stat : 22929 (java) S 22889 22892 22322 0 -1 1077944384 1229 0 0 0 55 58 0 0 20 0 21 0 11333169 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714700360240 139715891681922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
[pid=22892/tid=22959] ppid=22889 vsize=10973400 CPUtime=2394.86 cores=1,3,5,7,9,11,13,15
/proc/22892/task/22959/stat : 22959 (java) R 22889 22892 22322 0 -1 4202560 11447 0 0 0 239482 4 0 0 20 0 21 0 11333188 11236761600 60841 33554432000 4194304 4196468 140729942141104 139714697170232 139715510861869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34263040 140729942148291 140729942148420 140729942148420 140729942151119 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 10973400

Child status: 143
Real time (s): 2395.92
CPU time (s): 2400.05
CPU user time (s): 2399.31
CPU system time (s): 0.735882
CPU usage (%): 100.172
Max. virtual memory (cumulated for all children) (KiB): 10973400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.31
system time used= 0.735882
maximum resident set size= 244084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42285
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55809
involuntary context switches= 121068

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4078 second user time and 19.9798 second system time

The end

Begin job on node145 at 2017-07-22 23:58:00
IDJOB=4249621
IDBENCH=137526
IDSOLVER=2624
FILE ID=node145/4249621-1500760680
RUNJOBID= node145-1500755887-22354
PBS_JOBID= 20624593
Free space on /tmp= 61760 MiB

SOLVER NAME= AbsCon-basic 2017-06-11
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n4w2b3r4.xml
COMMAND LINE= java -jar HOME/AbsCon-basic.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249621-1500760680/watcher-4249621-1500760680 -o /tmp/evaluation-result-4249621-1500760680/solver-4249621-1500760680 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500755887-22354 --watchdog 2560  java -jar HOME/AbsCon-basic.jar HOME/instance-4249621-1500760680.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 1f09663ffd56a311acfaad7e4cbda3a4
RANDOM SEED=288078599

node145.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30881240 kB
MemAvailable:   31978116 kB
Buffers:          165636 kB
Cached:          1202516 kB
SwapCached:            0 kB
Active:           461544 kB
Inactive:         972804 kB
Active(anon):       9940 kB
Inactive(anon):    67804 kB
Active(file):     451604 kB
Inactive(file):   905000 kB
Unevictable:        6820 kB
Mlocked:            6820 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7956 kB
Writeback:             0 kB
AnonPages:         56140 kB
Mapped:            32096 kB
Shmem:              8852 kB
Slab:             146424 kB
SReclaimable:     112212 kB
SUnreclaim:        34212 kB
KernelStack:        4832 kB
PageTables:         5132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     318072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61752 MiB
End job on node145 at 2017-07-23 00:37:57

Name	BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml
MD5SUM	1f09663ffd56a311acfaad7e4cbda3a4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables	3829
Number of constraints	235
Number of domains	2
Minimum domain size	117
Maximum domain size	266
Distribution of domain sizes	[{"size":117,"count":1},{"size":266,"count":3828}]
Minimum variable degree	2
Maximum variable degree	5
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":4,"count":3712},{"degree":5,"count":116}]
Minimum constraint arity	33
Maximum constraint arity	3828
Distribution of constraint arities	[{"arity":33,"count":232},{"arity":117,"count":1},{"arity":3828,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"ordered","count":116},{"type":"lex","count":1},{"type":"sum","count":116},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4249621

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data