0.29/0.25 c version: 2017-08-22
0.29/0.25 c seed: 2060240724
0.29/0.25 c timeout: 20160
0.29/0.25 c memlimit: 22000
0.29/0.25 c nbcore: 8
0.29/0.28 c Parsing instance...
0.85/0.58 c Parsing done, starting search...
3.25/1.33 s SATISFIABLE
3.25/1.33 v <instantiation>
3.25/1.33 v <list>
3.25/1.33 v x[1][1] x[1][2] x[1][4] x[1][5] x[1][6] x[1][8] x[1][9] x[1][10] x[1][11] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][8] x[2][9] x[2][10] x[2][11] x[3][2] x[3][3] x[3][6] x[3][7] x[3][10] x[3][11] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][1] x[5][2] x[5][4] x[5][5] x[5][8] x[5][9] x[6][1] x[6][2] x[6][3] x[6][5] x[6][6] x[6][9] x[6][10] x[6][11] x[7][3] x[7][4] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[8][1] x[8][2] x[8][4] x[8][5] x[8][7] x[8][8] x[8][9] x[9][1] x[9][2] x[9][5] x[9][6] x[9][8] x[9][9] x[9][10] x[9][11] x[10][1] x[10][2] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][10] x[10][11] x[11][1] x[11][2] x[11][3] x[11][4] x[11][6] x[11][7] x[11][10] x[11][11] x[12][3] x[12][4] x[12][5] x[12][7] x[12][8] x[12][10] x[12][11] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][8] x[13][9] x[14][1] x[14][2] x[14][3] x[14][6] x[14][7] x[14][9] x[14][10] x[14][11] x[15][3] x[15][4] x[15][7] x[15][8] x[15][10] x[15][11] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[17][1] x[17][2] x[17][5] x[17][6] x[17][9] x[17][10] x[18][1] x[18][2] x[18][3] x[18][4] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[19][1] x[19][2] x[19][3] x[19][4] x[19][6] x[19][7] x[19][8] x[19][10] x[19][11]
3.25/1.33 v </list>
3.25/1.33 v <values>
3.25/1.33 v 1 3 7 1 6 9 7 2 1 3 6 7 9 5 8 8 9 7 5 8 9 9 7 9 7 6 7 8 9 4 3 1 2 4 6 3 5 7 1 3 1 7 9 3 2 1 6 1 9 1 2 4 7 1 5 2 3 7 9 9 8 9 3 4 2 5 7 9 2 3 5 1 3 8 6 9 8 7 5 8 9 8 7 6 9 7 1 9 5 7 8 9 8 2 7 6 8 1 3 4 7 6 1 3 9 6 5 9 8 1 8 4 8 1 7 9 4 1 4 6 9 8 7 4 7 1 5 2 7 9 3 1 2 7 3 5 2 1 4 5 1 3 6 2 9 8 5 3 2 1 3 9 1
3.25/1.33 v </values>
3.25/1.33 v </instantiation>
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12527 MiB free)
memory of node 1: 16384 MiB (10645 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285180-1503429167/watcher-4285180-1503429167 -o /tmp/evaluation-result-4285180-1503429167/solver-4285180-1503429167 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503423187-5645 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 2060240724 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285180-1503429167.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6286, runsolver pid=6283
Current StackSize limit: 8192 KiB
[startup+0.100146 s]*
/proc/loadavg: 7.16 8.36 8.31 2/198 6306
/proc/meminfo: memFree=23710480/32770624 swapFree=67108860/67108860
[pid=6286] ppid=6283 vsize=26000852 memory=32568 CPUtime=0.13 cores=0-7
/proc/6286/stat : 6286 (java) S 6283 6286 5618 0 -1 1077944320 8548 0 0 0 11 2 0 0 20 0 20 0 176004735 26624872448 8142 33554432000 4194304 4196468 140726765810112 140726765792656 139717742911223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
/proc/6286/statm: 6500213 8142 3411 1 0 6487932 0
[pid=6286/tid=6288] ppid=6283 vsize=26000852 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/6286/task/6288/stat : 6288 (java) R 6283 6286 5618 0 -1 4202560 6489 0 0 0 8 1 0 0 20 0 20 0 176004735 26624872448 8142 33554432000 4194304 4196468 140726765810112 139717747108176 139717742933149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6289] ppid=6283 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6286/task/6289/stat : 6289 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26624872448 8142 33554432000 4194304 4196468 140726765810112 139717703870864 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6290] ppid=6283 vsize=26000852 memory=140072026248832 CPUtime=0 cores=0-7
/proc/6286/task/6290/stat : 6290 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004736 26624872448 8142 33554432000 4194304 4196468 140726765810112 139717299845392 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6291] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6291/stat : 6291 (java) S 6283 6286 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004736 26624872448 8142 33554432000 4194304 4196468 140726765810112 139717298793104 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6292] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6292/stat : 6292 (java) S 6283 6286 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004736 26624872448 8142 33554432000 4194304 4196468 140726765810112 139717297740304 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6293] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6293/stat : 6293 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26624872448 8142 33554432000 4194304 4196468 140726765810112 139717296688016 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6294] ppid=6283 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/6286/task/6294/stat : 6294 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26624872448 8142 33554432000 4194304 4196468 140726765810112 139717295635216 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6295] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6295/stat : 6295 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26624872448 8142 33554432000 4194304 4196468 140726765810112 139717294582928 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6296] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6296/stat : 6296 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004736 26624872448 8142 33554432000 4194304 4196468 140726765810112 139717293530128 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6297] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6297/stat : 6297 (java) S 6283 6286 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004737 26624872448 8142 33554432000 4194304 4196468 140726765810112 139716870428784 139717742922370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6298] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6298/stat : 6298 (java) S 6283 6286 5618 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176004738 26624872448 8142 33554432000 4194304 4196468 140726765810112 139716869374752 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6299] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6299/stat : 6299 (java) S 6283 6286 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176004738 26624872448 8142 33554432000 4194304 4196468 140726765810112 139716868322416 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6300] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6300/stat : 6300 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004740 26624872448 8142 33554432000 4194304 4196468 140726765810112 139716867270736 139717742929819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6301] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6301/stat : 6301 (java) S 6283 6286 5618 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 176004740 26624872448 8142 33554432000 4194304 4196468 140726765810112 139716866218608 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6302] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6302/stat : 6302 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004740 26624872448 8142 33554432000 4194304 4196468 140726765810112 139716865165808 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6303] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6303/stat : 6303 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004740 26624872448 8142 33554432000 4194304 4196468 140726765810112 139716864113520 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6304] ppid=6283 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/6286/task/6304/stat : 6304 (java) S 6283 6286 5618 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 20 0 176004740 26624872448 8142 33554432000 4194304 4196468 140726765810112 139716863060720 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6305] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6305/stat : 6305 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004741 26624872448 8142 33554432000 4194304 4196468 140726765810112 139716862007648 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6306] ppid=6283 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/6286/task/6306/stat : 6306 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004741 26624872448 8142 33554432000 4194304 4196468 140726765810112 139716860954928 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32568 KiB
[startup+0.210511 s]*
/proc/loadavg: 7.16 8.36 8.31 3/198 6306
/proc/meminfo: memFree=23701476/32770624 swapFree=67108860/67108860
[pid=6286] ppid=6283 vsize=26000852 memory=41716 CPUtime=0.29 cores=0-7
/proc/6286/stat : 6286 (java) S 6283 6286 5618 0 -1 1077944320 9549 0 0 0 27 2 0 0 20 0 20 0 176004735 26624872448 10429 33554432000 4194304 4196468 140726765810112 140726765792656 139717742911223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
/proc/6286/statm: 6500213 10429 3627 1 0 6487932 0
[pid=6286/tid=6288] ppid=6283 vsize=26000852 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/6286/task/6288/stat : 6288 (java) R 6283 6286 5618 0 -1 4202560 7124 0 0 0 18 2 0 0 20 0 20 0 176004735 26624872448 10429 33554432000 4194304 4196468 140726765810112 139717747117392 139717726991710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6289] ppid=6283 vsize=26000852 memory=9275 CPUtime=0 cores=0-7
/proc/6286/task/6289/stat : 6289 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26624872448 10429 33554432000 4194304 4196468 140726765810112 139717703870864 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6290] ppid=6283 vsize=26000852 memory=140072026254734 CPUtime=0 cores=0-7
/proc/6286/task/6290/stat : 6290 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004736 26624872448 10429 33554432000 4194304 4196468 140726765810112 139717299845392 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6291] ppid=6283 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/6286/task/6291/stat : 6291 (java) S 6283 6286 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004736 26624872448 10429 33554432000 4194304 4196468 140726765810112 139717298793104 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6292] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6292/stat : 6292 (java) S 6283 6286 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004736 26624872448 10429 33554432000 4194304 4196468 140726765810112 139717297740304 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6293] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6293/stat : 6293 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26624872448 10429 33554432000 4194304 4196468 140726765810112 139717296688016 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6294] ppid=6283 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/6286/task/6294/stat : 6294 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26624872448 10429 33554432000 4194304 4196468 140726765810112 139717295635216 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6295] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6295/stat : 6295 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26624872448 10429 33554432000 4194304 4196468 140726765810112 139717294582928 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6296] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6296/stat : 6296 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004736 26624872448 10429 33554432000 4194304 4196468 140726765810112 139717293530128 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6297] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6297/stat : 6297 (java) S 6283 6286 5618 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176004737 26624872448 10429 33554432000 4194304 4196468 140726765810112 139716870428784 139717742922370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6298] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6298/stat : 6298 (java) S 6283 6286 5618 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176004738 26624872448 10429 33554432000 4194304 4196468 140726765810112 139716869374752 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6299] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6299/stat : 6299 (java) S 6283 6286 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176004738 26624872448 10429 33554432000 4194304 4196468 140726765810112 139716868322416 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6300] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6300/stat : 6300 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004740 26624872448 10429 33554432000 4194304 4196468 140726765810112 139716867270736 139717742929819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6301] ppid=6283 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/6286/task/6301/stat : 6301 (java) S 6283 6286 5618 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 20 0 176004740 26624872448 10429 33554432000 4194304 4196468 140726765810112 139716866218608 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6302] ppid=6283 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/6286/task/6302/stat : 6302 (java) S 6283 6286 5618 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 20 0 176004740 26624872448 10429 33554432000 4194304 4196468 140726765810112 139716865165808 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6303] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6303/stat : 6303 (java) S 6283 6286 5618 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 176004740 26624872448 10429 33554432000 4194304 4196468 140726765810112 139716864113520 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6304] ppid=6283 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/6286/task/6304/stat : 6304 (java) R 6283 6286 5618 0 -1 4202560 394 0 0 0 5 0 0 0 20 0 20 0 176004740 26624872448 10429 33554432000 4194304 4196468 140726765810112 139716863060720 139717742932570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6305] ppid=6283 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6305/stat : 6305 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004741 26624872448 10429 33554432000 4194304 4196468 140726765810112 139716862007648 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6306] ppid=6283 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/6286/task/6306/stat : 6306 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004741 26624872448 10429 33554432000 4194304 4196468 140726765810112 139716860954928 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41716 KiB
[startup+0.310221 s]*
/proc/loadavg: 7.16 8.36 8.31 2/198 6306
/proc/meminfo: memFree=23694644/32770624 swapFree=67108860/67108860
[pid=6286] ppid=6283 vsize=26000872 memory=49100 CPUtime=0.48 cores=0-7
/proc/6286/stat : 6286 (java) S 6283 6286 5618 0 -1 1077944320 10623 0 0 0 45 3 0 0 20 0 20 0 176004735 26624892928 12275 33554432000 4194304 4196468 140726765810112 140726765792656 139717742911223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
/proc/6286/statm: 6500218 12275 3721 1 0 6487932 0
[pid=6286/tid=6288] ppid=6283 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6286/task/6288/stat : 6288 (java) R 6283 6286 5618 0 -1 4202560 7760 0 0 0 27 2 0 0 20 0 20 0 176004735 26624892928 12275 33554432000 4194304 4196468 140726765810112 139717747128192 139717742923158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6289] ppid=6283 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6289/stat : 6289 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26624892928 12275 33554432000 4194304 4196468 140726765810112 139717703870864 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6290] ppid=6283 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6290/stat : 6290 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004736 26624892928 12275 33554432000 4194304 4196468 140726765810112 139717299845392 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6291] ppid=6283 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6291/stat : 6291 (java) S 6283 6286 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004736 26624892928 12275 33554432000 4194304 4196468 140726765810112 139717298793104 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6292] ppid=6283 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6292/stat : 6292 (java) S 6283 6286 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004736 26624892928 12275 33554432000 4194304 4196468 140726765810112 139717297740304 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6293] ppid=6283 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/6286/task/6293/stat : 6293 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26624892928 12275 33554432000 4194304 4196468 140726765810112 139717296688016 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6294] ppid=6283 vsize=26000872 memory=140071902737327 CPUtime=0 cores=0-7
/proc/6286/task/6294/stat : 6294 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26624892928 12275 33554432000 4194304 4196468 140726765810112 139717295635216 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6295] ppid=6283 vsize=26000872 memory=140071902739632 CPUtime=0 cores=0-7
/proc/6286/task/6295/stat : 6295 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26624892928 12275 33554432000 4194304 4196468 140726765810112 139717294582928 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6296] ppid=6283 vsize=26000872 memory=140071902741936 CPUtime=0 cores=0-7
/proc/6286/task/6296/stat : 6296 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004736 26624892928 12275 33554432000 4194304 4196468 140726765810112 139717293530128 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6297] ppid=6283 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6297/stat : 6297 (java) S 6283 6286 5618 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176004737 26624892928 12275 33554432000 4194304 4196468 140726765810112 139716870428784 139717742922370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6298] ppid=6283 vsize=26000872 memory=280143805490832 CPUtime=0 cores=0-7
/proc/6286/task/6298/stat : 6298 (java) S 6283 6286 5618 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176004738 26624892928 12275 33554432000 4194304 4196468 140726765810112 139716869374752 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6299] ppid=6283 vsize=26000872 memory=280143805497744 CPUtime=0 cores=0-7
/proc/6286/task/6299/stat : 6299 (java) S 6283 6286 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176004738 26624892928 12275 33554432000 4194304 4196468 140726765810112 139716868322416 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6300] ppid=6283 vsize=26000872 memory=280143805439024 CPUtime=0 cores=0-7
/proc/6286/task/6300/stat : 6300 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004740 26624892928 12275 33554432000 4194304 4196468 140726765810112 139716867270736 139717742929819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6301] ppid=6283 vsize=26000872 memory=280143805511568 CPUtime=0.03 cores=0-7
/proc/6286/task/6301/stat : 6301 (java) R 6283 6286 5618 0 -1 1077944384 441 0 0 0 3 0 0 0 20 0 20 0 176004740 26624892928 12275 33554432000 4194304 4196468 140726765810112 139716866218608 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6302] ppid=6283 vsize=26000872 memory=280143805518480 CPUtime=0.03 cores=0-7
/proc/6286/task/6302/stat : 6302 (java) S 6283 6286 5618 0 -1 1077944384 395 0 0 0 3 0 0 0 20 0 20 0 176004740 26624892928 12275 33554432000 4194304 4196468 140726765810112 139716865165808 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6303] ppid=6283 vsize=26000872 memory=280143805516176 CPUtime=0.03 cores=0-7
/proc/6286/task/6303/stat : 6303 (java) S 6283 6286 5618 0 -1 1077944384 194 0 0 0 3 0 0 0 20 0 20 0 176004740 26624892928 12275 33554432000 4194304 4196468 140726765810112 139716864113520 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6304] ppid=6283 vsize=26000872 memory=280143805532784 CPUtime=0.08 cores=0-7
/proc/6286/task/6304/stat : 6304 (java) R 6283 6286 5618 0 -1 4202560 448 0 0 0 8 0 0 0 20 0 20 0 176004740 26624892928 12275 33554432000 4194304 4196468 140726765810112 139716863060720 139717721595328 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6305] ppid=6283 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6305/stat : 6305 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004741 26624892928 12275 33554432000 4194304 4196468 140726765810112 139716862007648 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6306] ppid=6283 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/6286/task/6306/stat : 6306 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004741 26624892928 12275 33554432000 4194304 4196468 140726765810112 139716860954928 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49100 KiB
[startup+0.700933 s]
/proc/loadavg: 7.16 8.36 8.31 4/198 6306
/proc/meminfo: memFree=23661668/32770624 swapFree=67108860/67108860
[pid=6286] ppid=6283 vsize=26004968 memory=75032 CPUtime=1.18 cores=0-7
/proc/6286/stat : 6286 (java) S 6283 6286 5618 0 -1 1077944320 12862 0 0 0 113 5 0 0 20 0 20 0 176004735 26629087232 18758 33554432000 4194304 4196468 140726765810112 140726765792656 139717742911223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
/proc/6286/statm: 6501242 18758 3758 1 0 6488956 0
[pid=6286/tid=6288] ppid=6283 vsize=26004968 memory=0 CPUtime=0.67 cores=0-7
/proc/6286/task/6288/stat : 6288 (java) R 6283 6286 5618 0 -1 4202560 9284 0 0 0 64 3 0 0 20 0 20 0 176004735 26629087232 18758 33554432000 4194304 4196468 140726765810112 139717747138992 139717726991710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6289] ppid=6283 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6289/stat : 6289 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26629087232 18758 33554432000 4194304 4196468 140726765810112 139717703870864 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6290] ppid=6283 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6290/stat : 6290 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004736 26629087232 18758 33554432000 4194304 4196468 140726765810112 139717299845392 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6291] ppid=6283 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6291/stat : 6291 (java) S 6283 6286 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004736 26629087232 18758 33554432000 4194304 4196468 140726765810112 139717298793104 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6292] ppid=6283 vsize=26004968 memory=1224 CPUtime=0 cores=0-7
/proc/6286/task/6292/stat : 6292 (java) S 6283 6286 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004736 26629087232 18758 33554432000 4194304 4196468 140726765810112 139717297740304 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6293] ppid=6283 vsize=26004968 memory=5792 CPUtime=0 cores=0-7
/proc/6286/task/6293/stat : 6293 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26629087232 18758 33554432000 4194304 4196468 140726765810112 139717296688016 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6294] ppid=6283 vsize=26004968 memory=4620 CPUtime=0 cores=0-7
/proc/6286/task/6294/stat : 6294 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26629087232 18758 33554432000 4194304 4196468 140726765810112 139717295635216 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6295] ppid=6283 vsize=26004968 memory=1200 CPUtime=0 cores=0-7
/proc/6286/task/6295/stat : 6295 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26629087232 18758 33554432000 4194304 4196468 140726765810112 139717294582928 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6296] ppid=6283 vsize=26004968 memory=15880 CPUtime=0 cores=0-7
/proc/6286/task/6296/stat : 6296 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004736 26629087232 18758 33554432000 4194304 4196468 140726765810112 139717293530128 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6297] ppid=6283 vsize=26004968 memory=16236 CPUtime=0 cores=0-7
/proc/6286/task/6297/stat : 6297 (java) S 6283 6286 5618 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176004737 26629087232 18758 33554432000 4194304 4196468 140726765810112 139716870428784 139717742922370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
################
# More data... #
################
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 26004968 KiB
Current children cumulated memory: 75032 KiB
[startup+1.35442 s]
# the end of solver process 6286 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.259 s, system=0.128938 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.819625 s]
/proc/loadavg: 7.16 8.36 8.31 4/198 6306
/proc/meminfo: memFree=23661668/32770624 swapFree=67108860/67108860
[pid=6286] ppid=6283 vsize=26007016 memory=86248 CPUtime=1.36 cores=0-7
/proc/6286/stat : 6286 (java) S 6283 6286 5618 0 -1 1077944320 14169 0 0 0 130 6 0 0 20 0 20 0 176004735 26631184384 21562 33554432000 4194304 4196468 140726765810112 140726765792656 139717742911223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
/proc/6286/statm: 6501754 21562 3758 1 0 6489468 0
[pid=6286/tid=6288] ppid=6283 vsize=26007016 memory=11104 CPUtime=0.79 cores=0-7
/proc/6286/task/6288/stat : 6288 (java) R 6283 6286 5618 0 -1 4202560 10445 0 0 0 75 4 0 0 20 0 20 0 176004735 26631184384 21562 33554432000 4194304 4196468 140726765810112 139717747144944 139717380012134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6289] ppid=6283 vsize=26007016 memory=1224 CPUtime=0 cores=0-7
/proc/6286/task/6289/stat : 6289 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26631184384 21562 33554432000 4194304 4196468 140726765810112 139717703870864 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6290] ppid=6283 vsize=26007016 memory=5792 CPUtime=0 cores=0-7
/proc/6286/task/6290/stat : 6290 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004736 26631184384 21581 33554432000 4194304 4196468 140726765810112 139717299845392 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6291] ppid=6283 vsize=26007016 memory=4620 CPUtime=0 cores=0-7
/proc/6286/task/6291/stat : 6291 (java) S 6283 6286 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004736 26631184384 21581 33554432000 4194304 4196468 140726765810112 139717298793104 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6292] ppid=6283 vsize=26007016 memory=1200 CPUtime=0 cores=0-7
/proc/6286/task/6292/stat : 6292 (java) S 6283 6286 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176004736 26631184384 21581 33554432000 4194304 4196468 140726765810112 139717297740304 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6293] ppid=6283 vsize=26007016 memory=15880 CPUtime=0 cores=0-7
/proc/6286/task/6293/stat : 6293 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26631184384 21581 33554432000 4194304 4196468 140726765810112 139717296688016 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6294] ppid=6283 vsize=26007016 memory=16236 CPUtime=0 cores=0-7
/proc/6286/task/6294/stat : 6294 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26631184384 21581 33554432000 4194304 4196468 140726765810112 139717295635216 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6295] ppid=6283 vsize=26007016 memory=4044 CPUtime=0 cores=0-7
/proc/6286/task/6295/stat : 6295 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004736 26631184384 21581 33554432000 4194304 4196468 140726765810112 139717294582928 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6296] ppid=6283 vsize=26007016 memory=280143805500880 CPUtime=0 cores=0-7
/proc/6286/task/6296/stat : 6296 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004736 26631184384 21581 33554432000 4194304 4196468 140726765810112 139717293530128 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6297] ppid=6283 vsize=26007016 memory=280143805287952 CPUtime=0 cores=0-7
/proc/6286/task/6297/stat : 6297 (java) S 6283 6286 5618 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176004737 26631184384 21581 33554432000 4194304 4196468 140726765810112 139716870428784 139717742922370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6298] ppid=6283 vsize=26007016 memory=280143805287824 CPUtime=0 cores=0-7
/proc/6286/task/6298/stat : 6298 (java) S 6283 6286 5618 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176004738 26631184384 21581 33554432000 4194304 4196468 140726765810112 139716869374752 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6299] ppid=6283 vsize=26007016 memory=164 CPUtime=0 cores=0-7
/proc/6286/task/6299/stat : 6299 (java) S 6283 6286 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176004738 26631184384 21581 33554432000 4194304 4196468 140726765810112 139716868322416 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6300] ppid=6283 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6300/stat : 6300 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004740 26631184384 21581 33554432000 4194304 4196468 140726765810112 139716867270736 139717742929819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6301] ppid=6283 vsize=26007016 memory=0 CPUtime=0.08 cores=0-7
/proc/6286/task/6301/stat : 6301 (java) S 6283 6286 5618 0 -1 1077944384 601 0 0 0 8 0 0 0 20 0 20 0 176004740 26631184384 21581 33554432000 4194304 4196468 140726765810112 139716866218608 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6302] ppid=6283 vsize=26007016 memory=0 CPUtime=0.08 cores=0-7
/proc/6286/task/6302/stat : 6302 (java) S 6283 6286 5618 0 -1 1077944384 553 0 0 0 8 0 0 0 20 0 20 0 176004740 26631184384 21581 33554432000 4194304 4196468 140726765810112 139716865165808 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6303] ppid=6283 vsize=26007016 memory=0 CPUtime=0.06 cores=0-7
/proc/6286/task/6303/stat : 6303 (java) R 6283 6286 5618 0 -1 1077944384 223 0 0 0 6 0 0 0 20 0 20 0 176004740 26631184384 21581 33554432000 4194304 4196468 140726765810112 139716864113520 139717742922370 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6304] ppid=6283 vsize=26007016 memory=0 CPUtime=0.3 cores=0-7
/proc/6286/task/6304/stat : 6304 (java) R 6283 6286 5618 0 -1 4202560 962 0 0 0 30 0 0 0 20 0 20 0 176004740 26631184384 21581 33554432000 4194304 4196468 140726765810112 139716863060720 139717735148350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6305] ppid=6283 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6305/stat : 6305 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176004741 26631184384 21581 33554432000 4194304 4196468 140726765810112 139716862007648 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6306] ppid=6283 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6306/stat : 6306 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176004741 26631184384 21581 33554432000 4194304 4196468 140726765810112 139716860954928 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 26007016 KiB
Current children cumulated memory: 86248 KiB
[startup+1.20091 s]
/proc/loadavg: 7.16 8.36 8.31 4/199 6307
/proc/meminfo: memFree=23612356/32770624 swapFree=67108860/67108860
[pid=6286] ppid=6283 vsize=26477060 memory=155380 CPUtime=2.6 cores=0-7
/proc/6286/stat : 6286 (java) S 6283 6286 5618 0 -1 1077944320 30812 0 0 0 250 10 0 0 20 0 27 0 176004735 27112509440 38845 33554432000 4194304 4196468 140726765810112 140726765792656 139717742911223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
/proc/6286/statm: 6619265 38845 3786 1 0 6606979 0
[pid=6286/tid=6288] ppid=6283 vsize=26477060 memory=8112282956445269571 CPUtime=1.16 cores=0-7
/proc/6286/task/6288/stat : 6288 (java) R 6283 6286 5618 0 -1 4202560 13207 0 0 0 111 5 0 0 20 0 27 0 176004735 27112509440 38845 33554432000 4194304 4196468 140726765810112 139717747146480 139717726991710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6289] ppid=6283 vsize=26477060 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/6286/task/6289/stat : 6289 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 176004736 27112509440 38845 33554432000 4194304 4196468 140726765810112 139717703870864 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6290] ppid=6283 vsize=26477060 memory=13845266004445726 CPUtime=0 cores=0-7
/proc/6286/task/6290/stat : 6290 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 176004736 27112509440 38845 33554432000 4194304 4196468 140726765810112 139717299845392 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6291] ppid=6283 vsize=26477060 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6291/stat : 6291 (java) S 6283 6286 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 27 0 176004736 27112509440 38845 33554432000 4194304 4196468 140726765810112 139717298793104 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6292] ppid=6283 vsize=26477060 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6292/stat : 6292 (java) S 6283 6286 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 27 0 176004736 27112509440 38845 33554432000 4194304 4196468 140726765810112 139717297740304 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6293] ppid=6283 vsize=26477060 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/6286/task/6293/stat : 6293 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 176004736 27112509440 38845 33554432000 4194304 4196468 140726765810112 139717296688016 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6294] ppid=6283 vsize=26477060 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6294/stat : 6294 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 176004736 27112509440 38845 33554432000 4194304 4196468 140726765810112 139717295635216 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6295] ppid=6283 vsize=26477060 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6295/stat : 6295 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 176004736 27112509440 38845 33554432000 4194304 4196468 140726765810112 139717294582928 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6296] ppid=6283 vsize=26477060 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6296/stat : 6296 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 176004736 27112509440 38845 33554432000 4194304 4196468 140726765810112 139717293530128 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6297] ppid=6283 vsize=26477060 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6297/stat : 6297 (java) S 6283 6286 5618 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 27 0 176004737 27112509440 38845 33554432000 4194304 4196468 140726765810112 139716870428784 139717742922370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6298] ppid=6283 vsize=26477060 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6298/stat : 6298 (java) S 6283 6286 5618 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 27 0 176004738 27112509440 38845 33554432000 4194304 4196468 140726765810112 139716869374752 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6299] ppid=6283 vsize=26477060 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6299/stat : 6299 (java) S 6283 6286 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 27 0 176004738 27112509440 38845 33554432000 4194304 4196468 140726765810112 139716868322416 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6300] ppid=6283 vsize=26477060 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6300/stat : 6300 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 176004740 27112509440 38845 33554432000 4194304 4196468 140726765810112 139716867270736 139717742929819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6301] ppid=6283 vsize=26477060 memory=0 CPUtime=0.24 cores=0-7
/proc/6286/task/6301/stat : 6301 (java) S 6283 6286 5618 0 -1 1077944384 2189 0 0 0 23 1 0 0 20 0 27 0 176004740 27112509440 38845 33554432000 4194304 4196468 140726765810112 139716866218608 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6302] ppid=6283 vsize=26477060 memory=288230574492221466 CPUtime=0.31 cores=0-7
/proc/6286/task/6302/stat : 6302 (java) S 6283 6286 5618 0 -1 1077944384 4404 0 0 0 31 0 0 0 20 0 27 0 176004740 27112509440 38845 33554432000 4194304 4196468 140726765810112 139716865165808 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6303] ppid=6283 vsize=26477060 memory=0 CPUtime=0.33 cores=0-7
/proc/6286/task/6303/stat : 6303 (java) S 6283 6286 5618 0 -1 1077944384 4910 0 0 0 33 0 0 0 20 0 27 0 176004740 27112509440 38845 33554432000 4194304 4196468 140726765810112 139716864113520 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6304] ppid=6283 vsize=26477060 memory=6656426216303648864 CPUtime=0.48 cores=0-7
/proc/6286/task/6304/stat : 6304 (java) S 6283 6286 5618 0 -1 1077944384 4442 0 0 0 47 1 0 0 20 0 27 0 176004740 27112509440 38845 33554432000 4194304 4196468 140726765810112 139716863060720 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6305] ppid=6283 vsize=26477060 memory=7014184150208438868 CPUtime=0 cores=0-7
/proc/6286/task/6305/stat : 6305 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 176004741 27112509440 38845 33554432000 4194304 4196468 140726765810112 139716862007648 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6306] ppid=6283 vsize=26477060 memory=280143805648096 CPUtime=0 cores=0-7
/proc/6286/task/6306/stat : 6306 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 176004741 27112509440 38845 33554432000 4194304 4196468 140726765810112 139716860954928 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6307] ppid=6283 vsize=26477060 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/6286/task/6307/stat : 6307 (java) S 6283 6286 5618 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 27 0 176004829 27112509440 38845 33554432000 4194304 4196468 140726765810112 139716850664320 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 26477060 KiB
Current children cumulated memory: 155380 KiB
[startup+1.30225 s]
/proc/loadavg: 7.16 8.36 8.31 4/199 6307
/proc/meminfo: memFree=23612356/32770624 swapFree=67108860/67108860
[pid=6286] ppid=6283 vsize=26745400 memory=173668 CPUtime=3.25 cores=0-7
/proc/6286/stat : 6286 (java) S 6283 6286 5618 0 -1 1077944320 32192 0 0 0 314 11 0 0 20 0 31 0 176004735 27387289600 43417 33554432000 4194304 4196468 140726765810112 140726765792656 139717742911223 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
/proc/6286/statm: 6686350 43417 3792 1 0 6673543 0
[pid=6286/tid=6288] ppid=6283 vsize=26745400 memory=0 CPUtime=1.17 cores=0-7
/proc/6286/task/6288/stat : 6288 (java) S 6283 6286 5618 0 -1 1077944384 13271 0 0 0 112 5 0 0 20 0 31 0 176004735 27387289600 43417 33554432000 4194304 4196468 140726765810112 139717747148928 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6289] ppid=6283 vsize=26745400 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6289/stat : 6289 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 31 0 176004736 27387289600 43417 33554432000 4194304 4196468 140726765810112 139717703870864 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6290] ppid=6283 vsize=26745400 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6290/stat : 6290 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 31 0 176004736 27387289600 43417 33554432000 4194304 4196468 140726765810112 139717299845392 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6291] ppid=6283 vsize=26745400 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6291/stat : 6291 (java) S 6283 6286 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 31 0 176004736 27387289600 43417 33554432000 4194304 4196468 140726765810112 139717298793104 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6292] ppid=6283 vsize=26745400 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6292/stat : 6292 (java) S 6283 6286 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 31 0 176004736 27387289600 43417 33554432000 4194304 4196468 140726765810112 139717297740304 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6293] ppid=6283 vsize=26745400 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6293/stat : 6293 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 31 0 176004736 27387289600 43417 33554432000 4194304 4196468 140726765810112 139717296688016 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6294] ppid=6283 vsize=26745400 memory=75032 CPUtime=0 cores=0-7
/proc/6286/task/6294/stat : 6294 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 31 0 176004736 27387289600 43417 33554432000 4194304 4196468 140726765810112 139717295635216 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6295] ppid=6283 vsize=26745400 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6295/stat : 6295 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 31 0 176004736 27387289600 43417 33554432000 4194304 4196468 140726765810112 139717294582928 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6296] ppid=6283 vsize=26745400 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6296/stat : 6296 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 31 0 176004736 27387289600 43417 33554432000 4194304 4196468 140726765810112 139717293530128 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6297] ppid=6283 vsize=26745400 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6297/stat : 6297 (java) S 6283 6286 5618 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 31 0 176004737 27387289600 43417 33554432000 4194304 4196468 140726765810112 139716870428784 139717742922370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6298] ppid=6283 vsize=26745400 memory=0 CPUtime=0 cores=0-7
/proc/6286/task/6298/stat : 6298 (java) S 6283 6286 5618 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 31 0 176004738 27387289600 43417 33554432000 4194304 4196468 140726765810112 139716869374752 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6299] ppid=6283 vsize=26745400 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/6286/task/6299/stat : 6299 (java) S 6283 6286 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 31 0 176004738 27387289600 43417 33554432000 4194304 4196468 140726765810112 139716868322416 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6300] ppid=6283 vsize=26745400 memory=280143805649792 CPUtime=0 cores=0-7
/proc/6286/task/6300/stat : 6300 (java) S 6283 6286 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 31 0 176004740 27387289600 43417 33554432000 4194304 4196468 140726765810112 139716867270736 139717742929819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6301] ppid=6283 vsize=26745400 memory=280143805649984 CPUtime=0.28 cores=0-7
/proc/6286/task/6301/stat : 6301 (java) R 6283 6286 5618 0 -1 4202560 2211 0 0 0 27 1 0 0 20 0 31 0 176004740 27387289600 43417 33554432000 4194304 4196468 140726765810112 139716866206160 139717742925127 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6302] ppid=6283 vsize=26745400 memory=280143805628096 CPUtime=0.38 cores=0-7
/proc/6286/task/6302/stat : 6302 (java) R 6283 6286 5618 0 -1 4202560 4482 0 0 0 37 1 0 0 20 0 31 0 176004740 27387289600 43417 33554432000 4194304 4196468 140726765810112 139716865158832 139717726267301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6303] ppid=6283 vsize=26745400 memory=280143805351712 CPUtime=0.37 cores=0-7
/proc/6286/task/6303/stat : 6303 (java) R 6283 6286 5618 0 -1 4202560 5147 0 0 0 37 0 0 0 20 0 31 0 176004740 27387289600 43417 33554432000 4194304 4196468 140726765810112 139716864098352 139717722167899 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6304] ppid=6283 vsize=26745400 memory=280143805351904 CPUtime=0.54 cores=0-7
/proc/6286/task/6304/stat : 6304 (java) S 6283 6286 5618 0 -1 1077944384 4765 0 0 0 53 1 0 0 20 0 31 0 176004740 27387289600 43417 33554432000 4194304 4196468 140726765810112 139716863060720 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6305] ppid=6283 vsize=26745400 memory=280143805352096 CPUtime=0 cores=0-7
/proc/6286/task/6305/stat : 6305 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 31 0 176004741 27387289600 43417 33554432000 4194304 4196468 140726765810112 139716862007648 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6306] ppid=6283 vsize=26745400 memory=280143805352288 CPUtime=0 cores=0-7
/proc/6286/task/6306/stat : 6306 (java) S 6283 6286 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 31 0 176004741 27387289600 43417 33554432000 4194304 4196468 140726765810112 139716860954928 139717742922370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
[pid=6286/tid=6307] ppid=6283 vsize=26745400 memory=1224 CPUtime=0 cores=0-7
/proc/6286/task/6307/stat : 6307 (java) S 6283 6286 5618 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 31 0 176004829 27387289600 43417 33554432000 4194304 4196468 140726765810112 139716850664320 139717742921429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140726765814881 140726765815067 140726765815067 140726765817807 0
Current children cumulated CPU time: 3.25 s
Current children cumulated vsize: 26745400 KiB
Current children cumulated memory: 173668 KiB
Child status: 0
Real time (s): 1.35448
CPU time (s): 3.38794
CPU user time (s): 3.259
CPU system time (s): 0.128938
CPU usage (%): 250.128
Max. virtual memory (cumulated for all children) (KiB): 26745400
Max. memory (cumulated for all children) (KiB): 173668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.259
system time used= 0.128938
maximum resident set size= 185324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32643
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= 4564
involuntary context switches= 32
# summary of solver processes directly reported to runsolver:
# pid: 6286
# total CPU time (s): 3.38794
# total CPU user time (s): 3.259
# total CPU system time (s): 0.128938
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034687 second user time and 0.053607 second system time
The end
Begin job on node102 at 2017-08-22 20:58:26
IDJOB=4285180
IDBENCH=124682
IDSOLVER=2681
FILE ID=node102/4285180-1503429167
RUNJOBID= node102-1503423187-5645
PBS_JOBID= 20632129
Free space on /tmp= 61048 MiB
SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/Kakuro/Kakuro-sumdiff-easy/Kakuro-easy-079-sumdiff.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285180-1503429167/watcher-4285180-1503429167 -o /tmp/evaluation-result-4285180-1503429167/solver-4285180-1503429167 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503423187-5645 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 2060240724 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285180-1503429167.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= ca3cb4e4201b5b0bf39d1bab0662b894
RANDOM SEED=2060240724
node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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.35
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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.35
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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.35
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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.35
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 23729324 kB
MemAvailable: 31953372 kB
Buffers: 252832 kB
Cached: 8259332 kB
SwapCached: 0 kB
Active: 1798436 kB
Inactive: 6766504 kB
Active(anon): 5436 kB
Inactive(anon): 91260 kB
Active(file): 1793000 kB
Inactive(file): 6675244 kB
Unevictable: 7484 kB
Mlocked: 7484 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 42228 kB
Writeback: 0 kB
AnonPages: 76568 kB
Mapped: 55112 kB
Shmem: 41612 kB
Slab: 171084 kB
SReclaimable: 143276 kB
SUnreclaim: 27808 kB
KernelStack: 3520 kB
PageTables: 4828 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 342632 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 134528 kB
DirectMap2M: 33411072 kB
Free space on /tmp at the end= 61008 MiB
End job on node102 at 2017-08-22 20:58:27