0.29/0.25 c version: 2017-07-26
0.29/0.25 c seed: 479108053
0.29/0.25 c timeout: 20160
0.29/0.25 c memlimit: 11000
0.29/0.25 c nbcore: 8
0.29/0.28 c Parsing instance...
1.27/0.68 c Parsing done, starting search...
4.06/1.42 s SATISFIABLE
4.06/1.42 v <instantiation>
4.06/1.42 v <list>
4.06/1.42 v x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][7] 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][7] x[2][8] x[2][9] x[2][10] x[2][11] x[3][1] x[3][2] x[3][4] x[3][5] x[3][6] x[3][7] x[3][9] x[3][10] x[4][2] x[4][3] x[4][4] x[4][6] x[4][7] x[4][10] x[4][11] x[5][1] x[5][2] x[5][3] x[5][5] x[5][6] x[5][8] x[5][9] x[5][10] x[5][11] x[6][1] x[6][2] x[6][4] x[6][5] x[6][6] x[6][8] x[6][9] x[7][3] x[7][4] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[8][2] x[8][3] x[8][5] x[8][6] x[8][7] x[8][9] x[8][10] x[8][11] x[9][1] x[9][2] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[10][1] x[10][2] x[10][4] x[10][5] x[10][7] x[10][8] x[10][10] x[10][11] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][10] x[11][11] x[12][1] x[12][2] x[12][3] x[12][5] x[12][6] x[12][7] x[12][9] x[12][10] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][8] x[13][9] x[14][3] x[14][4] x[14][6] x[14][7] x[14][8] x[14][10] x[14][11] x[15][1] x[15][2] x[15][3] x[15][4] x[15][6] x[15][7] x[15][9] x[15][10] x[15][11] x[16][1] x[16][2] x[16][5] x[16][6] x[16][8] x[16][9] x[16][10] x[17][2] x[17][3] x[17][5] x[17][6] x[17][7] x[17][8] x[17][10] x[17][11] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] 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][5] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11]
4.06/1.42 v </list>
4.06/1.42 v <values>
4.06/1.42 v 4 9 1 7 8 3 2 4 6 1 3 5 2 6 1 6 1 8 7 3 9 7 8 6 9 7 9 8 6 8 9 5 9 9 7 6 8 9 9 7 2 6 4 1 1 3 9 7 8 3 8 1 2 3 1 5 4 2 1 3 3 2 6 9 7 1 1 2 4 1 5 2 7 3 9 7 9 7 8 9 1 3 4 5 7 6 8 9 2 1 7 5 8 8 9 7 1 5 2 3 6 4 1 1 3 9 7 1 3 2 1 3 9 8 7 6 2 1 8 2 5 7 9 7 9 6 9 8 5 1 9 6 8 7 7 9 8 7 2 9 5 5 1 4 9 6 9 6 4 7 8 1 2 3 6 8
4.06/1.42 v </values>
4.06/1.42 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 (11626 MiB free)
memory of node 1: 16384 MiB (14845 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275363-1502716012/watcher-4275363-1502716012 -o /tmp/evaluation-result-4275363-1502716012/solver-4275363-1502716012 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502715151-32092 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 479108053 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275363-1502716012.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=32210, runsolver pid=32207
Current StackSize limit: 8192 KiB
[startup+0.100161 s]*
/proc/loadavg: 7.97 8.55 8.68 1/199 32230
/proc/meminfo: memFree=27089952/32770624 swapFree=67108860/67108860
[pid=32210] ppid=32207 vsize=14325320 memory=33548 CPUtime=0.12 cores=0-7
/proc/32210/stat : 32210 (java) S 32207 32210 32065 0 -1 1077944320 8294 0 0 0 10 2 0 0 20 0 20 0 104682316 14669127680 8387 33554432000 4194304 4196468 140731131580720 140731131563264 140141431639799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
/proc/32210/statm: 3581330 8387 3411 1 0 3569050 0
[pid=32210/tid=32212] ppid=32207 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32210/task/32212/stat : 32212 (java) R 32207 32210 32065 0 -1 4202560 6230 0 0 0 7 2 0 0 20 0 20 0 104682316 14669127680 8387 33554432000 4194304 4196468 140731131580720 140141435836752 140141415720286 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32213] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32213/stat : 32213 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14669127680 8387 33554432000 4194304 4196468 140731131580720 140141361728400 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32214] ppid=32207 vsize=14325320 memory=139628516075136 CPUtime=0 cores=0-7
/proc/32210/task/32214/stat : 32214 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14669127680 8387 33554432000 4194304 4196468 140731131580720 140141026523920 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32215] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32215/stat : 32215 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682317 14669127680 8387 33554432000 4194304 4196468 140731131580720 140141025471632 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32216] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32216/stat : 32216 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14669127680 8387 33554432000 4194304 4196468 140731131580720 140141024418832 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32217] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32217/stat : 32217 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682317 14669127680 8387 33554432000 4194304 4196468 140731131580720 140141023365520 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32218] ppid=32207 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/32210/task/32218/stat : 32218 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14669127680 8387 33554432000 4194304 4196468 140731131580720 140141022312720 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32219] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32219/stat : 32219 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682317 14669127680 8387 33554432000 4194304 4196468 140731131580720 140141021260432 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32220] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32220/stat : 32220 (java) S 32207 32210 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104682317 14669127680 8387 33554432000 4194304 4196468 140731131580720 140141020207632 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32221] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32221/stat : 32221 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682319 14669127680 8387 33554432000 4194304 4196468 140731131580720 140140621060720 140141431650946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32222] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32222/stat : 32222 (java) S 32207 32210 32065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104682319 14669127680 8387 33554432000 4194304 4196468 140731131580720 140140620006688 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32223] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32223/stat : 32223 (java) S 32207 32210 32065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104682319 14669127680 8387 33554432000 4194304 4196468 140731131580720 140140618954352 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32224] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32224/stat : 32224 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682322 14669127680 8387 33554432000 4194304 4196468 140731131580720 140140617902672 140141431658395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32225] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32225/stat : 32225 (java) S 32207 32210 32065 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 104682322 14669127680 8387 33554432000 4194304 4196468 140731131580720 140140616849520 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32226] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32226/stat : 32226 (java) S 32207 32210 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104682322 14669127680 8387 33554432000 4194304 4196468 140731131580720 140140615796720 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32227] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32227/stat : 32227 (java) S 32207 32210 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104682322 14669127680 8387 33554432000 4194304 4196468 140731131580720 140140614744432 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32228] ppid=32207 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/32210/task/32228/stat : 32228 (java) S 32207 32210 32065 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 20 0 104682322 14669127680 8387 33554432000 4194304 4196468 140731131580720 140140613691632 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32229] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32229/stat : 32229 (java) S 32207 32210 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104682322 14669127680 8387 33554432000 4194304 4196468 140731131580720 140140612639584 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32230] ppid=32207 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/32210/task/32230/stat : 32230 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682322 14669127680 8387 33554432000 4194304 4196468 140731131580720 140140611586864 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33548 KiB
[startup+0.210245 s]*
/proc/loadavg: 7.97 8.55 8.68 3/199 32230
/proc/meminfo: memFree=27080004/32770624 swapFree=67108860/67108860
[pid=32210] ppid=32207 vsize=14325320 memory=42436 CPUtime=0.29 cores=0-7
/proc/32210/stat : 32210 (java) S 32207 32210 32065 0 -1 1077944320 9307 0 0 0 26 3 0 0 20 0 20 0 104682316 14669127680 10609 33554432000 4194304 4196468 140731131580720 140731131563264 140141431639799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
/proc/32210/statm: 3581330 10609 3592 1 0 3569050 0
[pid=32210/tid=32212] ppid=32207 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/32210/task/32212/stat : 32212 (java) R 32207 32210 32065 0 -1 4202560 6865 0 0 0 17 2 0 0 20 0 20 0 104682316 14669127680 10609 33554432000 4194304 4196468 140731131580720 140141435854816 140141415720286 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32213] ppid=32207 vsize=14325320 memory=9321 CPUtime=0 cores=0-7
/proc/32210/task/32213/stat : 32213 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14669127680 10609 33554432000 4194304 4196468 140731131580720 140141361728400 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32214] ppid=32207 vsize=14325320 memory=139628516540314 CPUtime=0 cores=0-7
/proc/32210/task/32214/stat : 32214 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14669127680 10609 33554432000 4194304 4196468 140731131580720 140141026523920 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32215] ppid=32207 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/32210/task/32215/stat : 32215 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682317 14669127680 10609 33554432000 4194304 4196468 140731131580720 140141025471632 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32216] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32216/stat : 32216 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14669127680 10609 33554432000 4194304 4196468 140731131580720 140141024418832 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32217] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32217/stat : 32217 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682317 14669127680 10609 33554432000 4194304 4196468 140731131580720 140141023365520 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32218] ppid=32207 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/32210/task/32218/stat : 32218 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14669127680 10609 33554432000 4194304 4196468 140731131580720 140141022312720 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32219] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32219/stat : 32219 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682317 14669127680 10609 33554432000 4194304 4196468 140731131580720 140141021260432 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32220] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32220/stat : 32220 (java) S 32207 32210 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104682317 14669127680 10609 33554432000 4194304 4196468 140731131580720 140141020207632 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32221] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32221/stat : 32221 (java) S 32207 32210 32065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104682319 14669127680 10609 33554432000 4194304 4196468 140731131580720 140140621060720 140141431650946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32222] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32222/stat : 32222 (java) S 32207 32210 32065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104682319 14669127680 10609 33554432000 4194304 4196468 140731131580720 140140620006688 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32223] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32223/stat : 32223 (java) S 32207 32210 32065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104682319 14669127680 10609 33554432000 4194304 4196468 140731131580720 140140618954352 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32224] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32224/stat : 32224 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682322 14669127680 10609 33554432000 4194304 4196468 140731131580720 140140617902672 140141431658395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32225] ppid=32207 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/32210/task/32225/stat : 32225 (java) S 32207 32210 32065 0 -1 1077944384 428 0 0 0 1 0 0 0 20 0 20 0 104682322 14669127680 10609 33554432000 4194304 4196468 140731131580720 140140616849520 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32226] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32226/stat : 32226 (java) S 32207 32210 32065 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 104682322 14669127680 10609 33554432000 4194304 4196468 140731131580720 140140615796720 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32227] ppid=32207 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/32210/task/32227/stat : 32227 (java) S 32207 32210 32065 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 20 0 104682322 14669127680 10609 33554432000 4194304 4196468 140731131580720 140140614744432 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32228] ppid=32207 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/32210/task/32228/stat : 32228 (java) R 32207 32210 32065 0 -1 4202560 394 0 0 0 5 0 0 0 20 0 20 0 104682322 14669127680 10609 33554432000 4194304 4196468 140731131580720 140140613691632 140141423876926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32229] ppid=32207 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32229/stat : 32229 (java) S 32207 32210 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104682322 14669127680 10609 33554432000 4194304 4196468 140731131580720 140140612639584 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32230] ppid=32207 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/32210/task/32230/stat : 32230 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682322 14669127680 10609 33554432000 4194304 4196468 140731131580720 140140611586864 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 42436 KiB
[startup+0.309806 s]*
/proc/loadavg: 7.97 8.55 8.68 2/199 32230
/proc/meminfo: memFree=27072284/32770624 swapFree=67108860/67108860
[pid=32210] ppid=32207 vsize=14325340 memory=50912 CPUtime=0.48 cores=0-7
/proc/32210/stat : 32210 (java) S 32207 32210 32065 0 -1 1077944320 10499 0 0 0 44 4 0 0 20 0 20 0 104682316 14669148160 12728 33554432000 4194304 4196468 140731131580720 140731131563264 140141431639799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
/proc/32210/statm: 3581335 12728 3687 1 0 3569050 0
[pid=32210/tid=32212] ppid=32207 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32210/task/32212/stat : 32212 (java) R 32207 32210 32065 0 -1 4202560 7607 0 0 0 26 3 0 0 20 0 20 0 104682316 14669148160 12728 33554432000 4194304 4196468 140731131580720 140141435868224 140141423874527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32213] ppid=32207 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32213/stat : 32213 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14669148160 12728 33554432000 4194304 4196468 140731131580720 140141361728400 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32214] ppid=32207 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32214/stat : 32214 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14669148160 12728 33554432000 4194304 4196468 140731131580720 140141026523920 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32215] ppid=32207 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32215/stat : 32215 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682317 14669148160 12728 33554432000 4194304 4196468 140731131580720 140141025471632 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32216] ppid=32207 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32216/stat : 32216 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14669148160 12728 33554432000 4194304 4196468 140731131580720 140141024418832 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32217] ppid=32207 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/32210/task/32217/stat : 32217 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682317 14669148160 12728 33554432000 4194304 4196468 140731131580720 140141023365520 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32218] ppid=32207 vsize=14325340 memory=139628380255151 CPUtime=0 cores=0-7
/proc/32210/task/32218/stat : 32218 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14669148160 12728 33554432000 4194304 4196468 140731131580720 140141022312720 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32219] ppid=32207 vsize=14325340 memory=139628380257456 CPUtime=0 cores=0-7
/proc/32210/task/32219/stat : 32219 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682317 14669148160 12728 33554432000 4194304 4196468 140731131580720 140141021260432 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32220] ppid=32207 vsize=14325340 memory=139628380259760 CPUtime=0 cores=0-7
/proc/32210/task/32220/stat : 32220 (java) S 32207 32210 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104682317 14669148160 12728 33554432000 4194304 4196468 140731131580720 140141020207632 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32221] ppid=32207 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32221/stat : 32221 (java) S 32207 32210 32065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104682319 14669148160 12728 33554432000 4194304 4196468 140731131580720 140140621060720 140141431650946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32222] ppid=32207 vsize=14325340 memory=279256760526480 CPUtime=0 cores=0-7
/proc/32210/task/32222/stat : 32222 (java) S 32207 32210 32065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104682319 14669148160 12728 33554432000 4194304 4196468 140731131580720 140140620006688 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32223] ppid=32207 vsize=14325340 memory=279256760533392 CPUtime=0 cores=0-7
/proc/32210/task/32223/stat : 32223 (java) S 32207 32210 32065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104682319 14669148160 12728 33554432000 4194304 4196468 140731131580720 140140618954352 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32224] ppid=32207 vsize=14325340 memory=279256760474672 CPUtime=0 cores=0-7
/proc/32210/task/32224/stat : 32224 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682322 14669148160 12728 33554432000 4194304 4196468 140731131580720 140140617902672 140141431658395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32225] ppid=32207 vsize=14325340 memory=279256760547216 CPUtime=0.04 cores=0-7
/proc/32210/task/32225/stat : 32225 (java) S 32207 32210 32065 0 -1 1077944384 605 0 0 0 4 0 0 0 20 0 20 0 104682322 14669148160 12728 33554432000 4194304 4196468 140731131580720 140140616849520 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32226] ppid=32207 vsize=14325340 memory=279256760554128 CPUtime=0.03 cores=0-7
/proc/32210/task/32226/stat : 32226 (java) S 32207 32210 32065 0 -1 1077944384 209 0 0 0 3 0 0 0 20 0 20 0 104682322 14669148160 12728 33554432000 4194304 4196468 140731131580720 140140615796720 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32227] ppid=32207 vsize=14325340 memory=279256760551824 CPUtime=0.01 cores=0-7
/proc/32210/task/32227/stat : 32227 (java) S 32207 32210 32065 0 -1 1077944384 193 0 0 0 1 0 0 0 20 0 20 0 104682322 14669148160 12728 33554432000 4194304 4196468 140731131580720 140140614744432 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32228] ppid=32207 vsize=14325340 memory=279256760568432 CPUtime=0.08 cores=0-7
/proc/32210/task/32228/stat : 32228 (java) R 32207 32210 32065 0 -1 4202560 500 0 0 0 8 0 0 0 20 0 20 0 104682322 14669148160 12728 33554432000 4194304 4196468 140731131580720 140140613691632 140141431651734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32229] ppid=32207 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32229/stat : 32229 (java) S 32207 32210 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104682322 14669148160 12728 33554432000 4194304 4196468 140731131580720 140140612639584 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32230] ppid=32207 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/32210/task/32230/stat : 32230 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682322 14669148160 12728 33554432000 4194304 4196468 140731131580720 140140611586864 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 50912 KiB
[startup+0.70084 s]
/proc/loadavg: 7.97 8.55 8.68 6/199 32230
/proc/meminfo: memFree=27058060/32770624 swapFree=67108860/67108860
[pid=32210] ppid=32207 vsize=14327388 memory=111020 CPUtime=1.66 cores=0-7
/proc/32210/stat : 32210 (java) S 32207 32210 32065 0 -1 1077944320 14737 0 0 0 160 6 0 0 20 0 20 0 104682316 14671245312 27755 33554432000 4194304 4196468 140731131580720 140731131563264 140141431639799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
/proc/32210/statm: 3581847 27755 3778 1 0 3569562 0
[pid=32210/tid=32212] ppid=32207 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/32210/task/32212/stat : 32212 (java) R 32207 32210 32065 0 -1 4202560 8621 0 0 0 63 4 0 0 20 0 20 0 104682316 14671245312 27820 33554432000 4194304 4196468 140731131580720 140141435860800 140141415720286 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32213] ppid=32207 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32213/stat : 32213 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14671245312 27820 33554432000 4194304 4196468 140731131580720 140141361728400 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32214] ppid=32207 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32214/stat : 32214 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14671245312 27820 33554432000 4194304 4196468 140731131580720 140141026523920 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32215] ppid=32207 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32215/stat : 32215 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682317 14671245312 27820 33554432000 4194304 4196468 140731131580720 140141025471632 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32216] ppid=32207 vsize=14327388 memory=1224 CPUtime=0 cores=0-7
/proc/32210/task/32216/stat : 32216 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14671245312 27820 33554432000 4194304 4196468 140731131580720 140141024418832 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32217] ppid=32207 vsize=14327388 memory=1716 CPUtime=0 cores=0-7
/proc/32210/task/32217/stat : 32217 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682317 14671245312 27820 33554432000 4194304 4196468 140731131580720 140141023365520 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32218] ppid=32207 vsize=14327388 memory=10592 CPUtime=0 cores=0-7
/proc/32210/task/32218/stat : 32218 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14671245312 27820 33554432000 4194304 4196468 140731131580720 140141022312720 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32219] ppid=32207 vsize=14327388 memory=1200 CPUtime=0 cores=0-7
/proc/32210/task/32219/stat : 32219 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682317 14671245312 27820 33554432000 4194304 4196468 140731131580720 140141021260432 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32220] ppid=32207 vsize=14327388 memory=15872 CPUtime=0 cores=0-7
/proc/32210/task/32220/stat : 32220 (java) S 32207 32210 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104682317 14671245312 27820 33554432000 4194304 4196468 140731131580720 140141020207632 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32221] ppid=32207 vsize=14327388 memory=4044 CPUtime=0 cores=0-7
/proc/32210/task/32221/stat : 32221 (java) S 32207 32210 32065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104682319 14671245312 27820 33554432000 4194304 4196468 140731131580720 140140621060720 140141431650946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
################
# More data... #
################
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 14327388 KiB
Current children cumulated memory: 111020 KiB
[startup+1.44616 s]
# the end of solver process 32210 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.06466 s, system=0.170031 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.802466 s]
/proc/loadavg: 7.97 8.55 8.68 6/199 32230
/proc/meminfo: memFree=27058060/32770624 swapFree=67108860/67108860
[pid=32210] ppid=32207 vsize=14329436 memory=122196 CPUtime=1.84 cores=0-7
/proc/32210/stat : 32210 (java) S 32207 32210 32065 0 -1 1077944320 15461 0 0 0 178 6 0 0 20 0 20 0 104682316 14673342464 30549 33554432000 4194304 4196468 140731131580720 140731131563264 140141431639799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
/proc/32210/statm: 3582359 30549 3780 1 0 3570074 0
[pid=32210/tid=32212] ppid=32207 vsize=14329436 memory=1936 CPUtime=0.77 cores=0-7
/proc/32210/task/32212/stat : 32212 (java) R 32207 32210 32065 0 -1 4202560 9318 0 0 0 73 4 0 0 20 0 20 0 104682316 14673342464 30549 33554432000 4194304 4196468 140731131580720 140141435874544 140141415720286 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32213] ppid=32207 vsize=14329436 memory=1224 CPUtime=0 cores=0-7
/proc/32210/task/32213/stat : 32213 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14673342464 30549 33554432000 4194304 4196468 140731131580720 140141361728400 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32214] ppid=32207 vsize=14329436 memory=1716 CPUtime=0 cores=0-7
/proc/32210/task/32214/stat : 32214 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14673342464 30549 33554432000 4194304 4196468 140731131580720 140141026523920 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32215] ppid=32207 vsize=14329436 memory=10592 CPUtime=0 cores=0-7
/proc/32210/task/32215/stat : 32215 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682317 14673342464 30549 33554432000 4194304 4196468 140731131580720 140141025471632 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32216] ppid=32207 vsize=14329436 memory=1200 CPUtime=0 cores=0-7
/proc/32210/task/32216/stat : 32216 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14673342464 30549 33554432000 4194304 4196468 140731131580720 140141024418832 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32217] ppid=32207 vsize=14329436 memory=15872 CPUtime=0 cores=0-7
/proc/32210/task/32217/stat : 32217 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682317 14673342464 30549 33554432000 4194304 4196468 140731131580720 140141023365520 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32218] ppid=32207 vsize=14329436 memory=4044 CPUtime=0 cores=0-7
/proc/32210/task/32218/stat : 32218 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104682317 14673342464 30549 33554432000 4194304 4196468 140731131580720 140141022312720 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32219] ppid=32207 vsize=14329436 memory=16444 CPUtime=0 cores=0-7
/proc/32210/task/32219/stat : 32219 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682317 14673342464 30549 33554432000 4194304 4196468 140731131580720 140141021260432 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32220] ppid=32207 vsize=14329436 memory=279256760536528 CPUtime=0 cores=0-7
/proc/32210/task/32220/stat : 32220 (java) S 32207 32210 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104682317 14673342464 30549 33554432000 4194304 4196468 140731131580720 140141020207632 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32221] ppid=32207 vsize=14329436 memory=279256760445288 CPUtime=0 cores=0-7
/proc/32210/task/32221/stat : 32221 (java) S 32207 32210 32065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104682319 14673342464 30549 33554432000 4194304 4196468 140731131580720 140140621060720 140141431650946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32222] ppid=32207 vsize=14329436 memory=279256760323472 CPUtime=0 cores=0-7
/proc/32210/task/32222/stat : 32222 (java) S 32207 32210 32065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104682319 14673342464 30549 33554432000 4194304 4196468 140731131580720 140140620006688 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32223] ppid=32207 vsize=14329436 memory=164 CPUtime=0 cores=0-7
/proc/32210/task/32223/stat : 32223 (java) S 32207 32210 32065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104682319 14673342464 30549 33554432000 4194304 4196468 140731131580720 140140618954352 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32224] ppid=32207 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32224/stat : 32224 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682322 14673342464 30549 33554432000 4194304 4196468 140731131580720 140140617902672 140141431658395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32225] ppid=32207 vsize=14329436 memory=0 CPUtime=0.25 cores=0-7
/proc/32210/task/32225/stat : 32225 (java) S 32207 32210 32065 0 -1 1077944384 1347 0 0 0 25 0 0 0 20 0 20 0 104682322 14673342464 30549 33554432000 4194304 4196468 140731131580720 140140616849520 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32226] ppid=32207 vsize=14329436 memory=0 CPUtime=0.27 cores=0-7
/proc/32210/task/32226/stat : 32226 (java) S 32207 32210 32065 0 -1 1077944384 1184 0 0 0 27 0 0 0 20 0 20 0 104682322 14673342464 30549 33554432000 4194304 4196468 140731131580720 140140615796720 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32227] ppid=32207 vsize=14329436 memory=0 CPUtime=0.23 cores=0-7
/proc/32210/task/32227/stat : 32227 (java) S 32207 32210 32065 0 -1 1077944384 978 0 0 0 23 0 0 0 20 0 20 0 104682322 14673342464 30549 33554432000 4194304 4196468 140731131580720 140140614744432 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32228] ppid=32207 vsize=14329436 memory=0 CPUtime=0.28 cores=0-7
/proc/32210/task/32228/stat : 32228 (java) S 32207 32210 32065 0 -1 1077944384 1248 0 0 0 28 0 0 0 20 0 20 0 104682322 14673342464 30549 33554432000 4194304 4196468 140731131580720 140140613691632 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32229] ppid=32207 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32229/stat : 32229 (java) S 32207 32210 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104682322 14673342464 30549 33554432000 4194304 4196468 140731131580720 140140612639584 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32230] ppid=32207 vsize=14329436 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32230/stat : 32230 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104682322 14673342464 30549 33554432000 4194304 4196468 140731131580720 140140611586864 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 14329436 KiB
Current children cumulated memory: 122196 KiB
[startup+1.20092 s]
/proc/loadavg: 7.97 8.55 8.68 3/200 32231
/proc/meminfo: memFree=26982860/32770624 swapFree=67108860/67108860
[pid=32210] ppid=32207 vsize=15133328 memory=180404 CPUtime=2.67 cores=0-7
/proc/32210/stat : 32210 (java) S 32207 32210 32065 0 -1 1077944320 20831 0 0 0 258 9 0 0 20 0 33 0 104682316 15496527872 45101 33554432000 4194304 4196468 140731131580720 140731131563264 140141431639799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
/proc/32210/statm: 3783332 45101 3792 1 0 3771047 0
[pid=32210/tid=32212] ppid=32207 vsize=15133328 memory=6791534058613427641 CPUtime=1.17 cores=0-7
/proc/32210/task/32212/stat : 32212 (java) S 32207 32210 32065 0 -1 1077944384 13413 0 0 0 111 6 0 0 20 0 33 0 104682316 15496527872 45101 33554432000 4194304 4196468 140731131580720 140141435877184 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32213] ppid=32207 vsize=15133328 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/32210/task/32213/stat : 32213 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 33 0 104682317 15496527872 45101 33554432000 4194304 4196468 140731131580720 140141361728400 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32214] ppid=32207 vsize=15133328 memory=16099269136353865 CPUtime=0 cores=0-7
/proc/32210/task/32214/stat : 32214 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 33 0 104682317 15496527872 45101 33554432000 4194304 4196468 140731131580720 140141026523920 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32215] ppid=32207 vsize=15133328 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32215/stat : 32215 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 104682317 15496527872 45101 33554432000 4194304 4196468 140731131580720 140141025471632 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32216] ppid=32207 vsize=15133328 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32216/stat : 32216 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 33 0 104682317 15496527872 45101 33554432000 4194304 4196468 140731131580720 140141024418832 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32217] ppid=32207 vsize=15133328 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32217/stat : 32217 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 104682317 15496527872 45101 33554432000 4194304 4196468 140731131580720 140141023365520 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32218] ppid=32207 vsize=15133328 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32218/stat : 32218 (java) S 32207 32210 32065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 33 0 104682317 15496527872 45101 33554432000 4194304 4196468 140731131580720 140141022312720 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32219] ppid=32207 vsize=15133328 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32219/stat : 32219 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 104682317 15496527872 45101 33554432000 4194304 4196468 140731131580720 140141021260432 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32220] ppid=32207 vsize=15133328 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32220/stat : 32220 (java) S 32207 32210 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 104682317 15496527872 45102 33554432000 4194304 4196468 140731131580720 140141020207632 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32221] ppid=32207 vsize=15133328 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32221/stat : 32221 (java) S 32207 32210 32065 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 33 0 104682319 15496527872 45102 33554432000 4194304 4196468 140731131580720 140140621060720 140141431650946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32222] ppid=32207 vsize=15133328 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32222/stat : 32222 (java) S 32207 32210 32065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 33 0 104682319 15496527872 45102 33554432000 4194304 4196468 140731131580720 140140620006688 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32223] ppid=32207 vsize=15264400 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32223/stat : 32223 (java) S 32207 32210 32065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 33 0 104682319 15630745600 45102 33554432000 4194304 4196468 140731131580720 140140618954352 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32224] ppid=32207 vsize=15264400 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32224/stat : 32224 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 104682322 15630745600 45102 33554432000 4194304 4196468 140731131580720 140140617902672 140141431658395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32225] ppid=32207 vsize=15264400 memory=0 CPUtime=0.33 cores=0-7
/proc/32210/task/32225/stat : 32225 (java) D 32207 32210 32065 0 -1 4202560 1485 0 0 0 33 0 0 0 20 0 33 0 104682322 15630745600 45102 33554432000 4194304 4196468 140731131580720 140140616833872 140141416038205 0 4 0 16800975 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32226] ppid=32207 vsize=15264400 memory=288230574492221466 CPUtime=0.34 cores=0-7
/proc/32210/task/32226/stat : 32226 (java) D 32207 32210 32065 0 -1 4202560 1312 0 0 0 34 0 0 0 20 0 33 0 104682322 15630745600 45102 33554432000 4194304 4196468 140731131580720 140140615797016 140141411071872 0 4 0 16800975 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32227] ppid=32207 vsize=15264400 memory=279256760320240 CPUtime=0.33 cores=0-7
/proc/32210/task/32227/stat : 32227 (java) D 32207 32210 32065 0 -1 4202560 1088 0 0 0 33 0 0 0 20 0 33 0 104682322 15630745600 45102 33554432000 4194304 4196468 140731131580720 140140614744352 140141423879724 0 4 0 16800975 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32228] ppid=32207 vsize=15264400 memory=7596561473297671524 CPUtime=0.41 cores=0-7
/proc/32210/task/32228/stat : 32228 (java) D 32207 32210 32065 0 -1 4202560 1631 0 0 0 41 0 0 0 20 0 33 0 104682322 15630745600 45102 33554432000 4194304 4196468 140731131580720 140140613688568 140141410623532 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32229] ppid=32207 vsize=15264400 memory=7590361232874761569 CPUtime=0 cores=0-7
/proc/32210/task/32229/stat : 32229 (java) S 32207 32210 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 104682322 15630745600 45102 33554432000 4194304 4196468 140731131580720 140140612639584 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32230] ppid=32207 vsize=15264400 memory=279256760713488 CPUtime=0 cores=0-7
/proc/32210/task/32230/stat : 32230 (java) S 32207 32210 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 104682322 15630745600 45102 33554432000 4194304 4196468 140731131580720 140140611586864 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32231] ppid=32207 vsize=15264400 memory=279256760685056 CPUtime=0 cores=0-7
/proc/32210/task/32231/stat : 32231 (java) S 32207 32210 32065 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 33 0 104682410 15630745600 45102 33554432000 4194304 4196468 140731131580720 140140601300352 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 15133328 KiB
Current children cumulated memory: 180404 KiB
[startup+1.40087 s]
/proc/loadavg: 7.97 8.55 8.68 3/200 32231
/proc/meminfo: memFree=26982860/32770624 swapFree=67108860/67108860
[pid=32210] ppid=32207 vsize=15269560 memory=226060 CPUtime=4.06 cores=0-7
/proc/32210/stat : 32210 (java) S 32207 32210 32065 0 -1 1077944320 28507 0 0 0 391 15 0 0 20 0 34 0 104682316 15636029440 56515 33554432000 4194304 4196468 140731131580720 140731131563264 140141431639799 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
/proc/32210/statm: 3817390 56515 3816 1 0 3804584 0
[pid=32210/tid=32212] ppid=32207 vsize=15269560 memory=10592 CPUtime=1.17 cores=0-7
/proc/32210/task/32212/stat : 32212 (java) S 32207 32210 32065 0 -1 1077944384 13425 0 0 0 111 6 0 0 20 0 34 0 104682316 15636029440 56581 33554432000 4194304 4196468 140731131580720 140141435877504 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32213] ppid=32207 vsize=15269560 memory=1200 CPUtime=0 cores=0-7
/proc/32210/task/32213/stat : 32213 (java) S 32207 32210 32065 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 34 0 104682317 15636029440 56581 33554432000 4194304 4196468 140731131580720 140141361728400 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32214] ppid=32207 vsize=15269560 memory=15872 CPUtime=0 cores=0-7
/proc/32210/task/32214/stat : 32214 (java) S 32207 32210 32065 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 34 0 104682317 15636029440 56581 33554432000 4194304 4196468 140731131580720 140141026523920 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32215] ppid=32207 vsize=15269560 memory=4044 CPUtime=0 cores=0-7
/proc/32210/task/32215/stat : 32215 (java) S 32207 32210 32065 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 34 0 104682317 15636029440 56581 33554432000 4194304 4196468 140731131580720 140141025471632 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32216] ppid=32207 vsize=15269560 memory=16444 CPUtime=0 cores=0-7
/proc/32210/task/32216/stat : 32216 (java) S 32207 32210 32065 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 34 0 104682317 15636029440 56581 33554432000 4194304 4196468 140731131580720 140141024418832 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32217] ppid=32207 vsize=15269560 memory=17876 CPUtime=0 cores=0-7
/proc/32210/task/32217/stat : 32217 (java) S 32207 32210 32065 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 34 0 104682317 15636029440 56581 33554432000 4194304 4196468 140731131580720 140141023365520 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32218] ppid=32207 vsize=15269560 memory=1796 CPUtime=0 cores=0-7
/proc/32210/task/32218/stat : 32218 (java) S 32207 32210 32065 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 34 0 104682317 15636029440 56581 33554432000 4194304 4196468 140731131580720 140141022312720 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32219] ppid=32207 vsize=15269560 memory=279256761197248 CPUtime=0 cores=0-7
/proc/32210/task/32219/stat : 32219 (java) S 32207 32210 32065 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 34 0 104682317 15636029440 56647 33554432000 4194304 4196468 140731131580720 140141021260432 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32220] ppid=32207 vsize=15269560 memory=138328011766708 CPUtime=0 cores=0-7
/proc/32210/task/32220/stat : 32220 (java) S 32207 32210 32065 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 34 0 104682317 15636029440 56647 33554432000 4194304 4196468 140731131580720 140141020207632 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32221] ppid=32207 vsize=15269560 memory=138328011766709 CPUtime=0 cores=0-7
/proc/32210/task/32221/stat : 32221 (java) S 32207 32210 32065 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 34 0 104682319 15636029440 56647 33554432000 4194304 4196468 140731131580720 140140621060720 140141431650946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32222] ppid=32207 vsize=15269560 memory=138328011766710 CPUtime=0 cores=0-7
/proc/32210/task/32222/stat : 32222 (java) S 32207 32210 32065 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 34 0 104682319 15636029440 56647 33554432000 4194304 4196468 140731131580720 140140620006752 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32223] ppid=32207 vsize=15269560 memory=138328011766711 CPUtime=0 cores=0-7
/proc/32210/task/32223/stat : 32223 (java) S 32207 32210 32065 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 34 0 104682319 15636029440 56647 33554432000 4194304 4196468 140731131580720 140140618954352 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32224] ppid=32207 vsize=15269560 memory=138328011766712 CPUtime=0 cores=0-7
/proc/32210/task/32224/stat : 32224 (java) S 32207 32210 32065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 104682322 15636029440 56647 33554432000 4194304 4196468 140731131580720 140140617902672 140141431658395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32225] ppid=32207 vsize=15269560 memory=10945 CPUtime=0.43 cores=0-7
/proc/32210/task/32225/stat : 32225 (java) R 32207 32210 32065 0 -1 4202560 2871 0 0 0 42 1 0 0 20 0 34 0 104682322 15636029440 56647 33554432000 4194304 4196468 140731131580720 140140616831096 140141416833982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32226] ppid=32207 vsize=15269560 memory=0 CPUtime=0.45 cores=0-7
/proc/32210/task/32226/stat : 32226 (java) R 32207 32210 32065 0 -1 4202560 2668 0 0 0 44 1 0 0 20 0 34 0 104682322 15636029440 56647 33554432000 4194304 4196468 140731131580720 140140615784192 140141417662025 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32227] ppid=32207 vsize=15269560 memory=0 CPUtime=0.42 cores=0-7
/proc/32210/task/32227/stat : 32227 (java) R 32207 32210 32065 0 -1 4202560 2131 0 0 0 42 0 0 0 20 0 34 0 104682322 15636029440 56647 33554432000 4194304 4196468 140731131580720 140140614725320 140141412340096 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32228] ppid=32207 vsize=15269560 memory=0 CPUtime=0.49 cores=0-7
/proc/32210/task/32228/stat : 32228 (java) R 32207 32210 32065 0 -1 4202560 4304 0 0 0 49 0 0 0 20 0 34 0 104682322 15636029440 56647 33554432000 4194304 4196468 140731131580720 140140613687360 140141431661146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32229] ppid=32207 vsize=15269560 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32229/stat : 32229 (java) S 32207 32210 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 104682322 15636029440 56647 33554432000 4194304 4196468 140731131580720 140140612639584 140141431650005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32230] ppid=32207 vsize=15269560 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32230/stat : 32230 (java) S 32207 32210 32065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 104682322 15636029440 56647 33554432000 4194304 4196468 140731131580720 140140611586864 140141431650946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
[pid=32210/tid=32231] ppid=32207 vsize=15269560 memory=0 CPUtime=0 cores=0-7
/proc/32210/task/32231/stat : 32231 (java) R 32207 32210 32065 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 34 0 104682410 15636029440 56647 33554432000 4194304 4196468 140731131580720 140140601300352 140141431661146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36859904 140731131585634 140731131585819 140731131585819 140731131588559 0
Current children cumulated CPU time: 4.06 s
Current children cumulated vsize: 15269560 KiB
Current children cumulated memory: 226060 KiB
Child status: 0
Real time (s): 1.44622
CPU time (s): 4.23469
CPU user time (s): 4.06466
CPU system time (s): 0.170031
CPU usage (%): 292.812
Max. virtual memory (cumulated for all children) (KiB): 15269560
Max. memory (cumulated for all children) (KiB): 226060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.06466
system time used= 0.170031
maximum resident set size= 234248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30252
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4169
involuntary context switches= 59
# summary of solver processes directly reported to runsolver:
# pid: 32210
# total CPU time (s): 4.23469
# total CPU user time (s): 4.06466
# total CPU system time (s): 0.170031
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03389 second user time and 0.053073 second system time
The end
Begin job on node150 at 2017-08-14 14:52:33
IDJOB=4275363
IDBENCH=125230
IDSOLVER=2668
FILE ID=node150/4275363-1502716012
RUNJOBID= node150-1502715151-32092
PBS_JOBID= 20629031
Free space on /tmp= 61636 MiB
SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Kakuro/Kakuro-ext-easy/Kakuro-easy-084-ext.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275363-1502716012/watcher-4275363-1502716012 -o /tmp/evaluation-result-4275363-1502716012/solver-4275363-1502716012 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502715151-32092 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 479108053 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275363-1502716012.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 37e2ea114ae3db8b6cbf50904aeeb113
RANDOM SEED=479108053
node150.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 : 5332.89
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 : 5332.89
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 : 5332.89
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 : 5332.89
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: 27108276 kB
MemAvailable: 31975252 kB
Buffers: 273000 kB
Cached: 4869980 kB
SwapCached: 0 kB
Active: 767140 kB
Inactive: 4429816 kB
Active(anon): 57032 kB
Inactive(anon): 25068 kB
Active(file): 710108 kB
Inactive(file): 4404748 kB
Unevictable: 6228 kB
Mlocked: 6228 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 42864 kB
Writeback: 0 kB
AnonPages: 126808 kB
Mapped: 45184 kB
Shmem: 25224 kB
Slab: 161756 kB
SReclaimable: 135908 kB
SUnreclaim: 25848 kB
KernelStack: 3648 kB
PageTables: 4260 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323080 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 73728 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 120192 kB
DirectMap2M: 33425408 kB
Free space on /tmp at the end= 61596 MiB
End job on node150 at 2017-08-14 14:52:35