Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | SAT (TO) | 72 | 1996.23 | 252.101 |
Name | StillLife/StillLife-m1-s1/ StillLife-10-14.xml |
MD5SUM | 2f9116219e9bb224096732f26408ee63 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 72 |
Best CPU time to get the best result obtained on this benchmark | 1996.23 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 280 |
Number of constraints | 320 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":140},{"size":9,"count":140}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":140},{"degree":7,"count":4},{"degree":8,"count":40},{"degree":10,"count":96}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":140},{"arity":3,"count":40},{"arity":4,"count":4},{"arity":6,"count":40},{"arity":9,"count":96}] |
Number of extensional constraints | 180 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":180},{"type":"sum","count":140}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400254-1568709596.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400254-1568709596.xml, -tl, 2016s, -p, 8] 0.34/0.23 c 8 solvers in parallel 0.34/0.29 c parse instance... 2.08/0.87 c solve instance... 2.52/0.95 o 0 2.52/0.95 o 4 2.52/0.96 o 6 2.52/0.98 o 8 2.52/0.98 o 10 2.52/0.99 o 11 2.52/1.00 o 15 3.14/1.03 o 16 3.14/1.10 o 63 3.93/1.15 o 64 4.61/1.22 o 65 6.10/1.43 o 66 6.87/1.58 o 67 7.64/1.69 o 68 10.95/2.08 o 69 15.54/2.68 o 70 1349.93/170.77 o 72 1995.58/252.07 s SATISFIABLE 1995.58/252.07 v <instantiation> 1995.58/252.07 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[4][12] s[4][13] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] s[5][11] s[5][12] s[5][13] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[6][10] s[6][11] s[6][12] s[6][13] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[7][10] s[7][11] s[7][12] s[7][13] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[8][10] s[8][11] s[8][12] s[8][13] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] s[9][10] s[9][11] s[9][12] s[9][13] </list> 1995.58/252.07 v <values>1 1 0 0 1 1 0 1 1 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 2 2 2 2 3 3 4 3 2 4 2 4 3 2 3 4 4 2 5 3 3 5 3 5 2 3 4 2 4 3 5 3 6 5 5 6 3 5 4 5 4 2 3 3 5 2 3 2 2 3 3 5 3 3 2 2 4 3 4 4 6 5 5 4 4 3 3 5 5 3 3 5 4 3 3 3 4 3 5 5 5 4 3 2 2 3 2 4 3 4 3 3 3 2 2 3 5 4 4 6 5 5 4 5 5 6 6 6 5 4 3 2 2 3 3 3 3 3 3 3 3 3 3 4 5 3 2 4 4 3 4 4 3 4 4 3 4 2 2 2 </values> 1995.58/252.07 v </instantiation> 1995.58/252.07 c Unexpected resolution interruption!
OK 72
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 (14715 MiB free) memory of node 1: 16384 MiB (15239 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400254-1568709596/watcher-4400254-1568709596 -o /tmp/evaluation-result-4400254-1568709596/solver-4400254-1568709596 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1488034755 HOME/instance-4400254-1568709596.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 Current StackSize limit: 8192 KiB solver pid=31362, runsolver pid=31359 [startup+0.100112 s]* /proc/loadavg: 8.28 8.29 8.23 2/210 31383 /proc/meminfo: memFree=30659640/32770624 swapFree=66926784/67108860 [pid=31362] ppid=31359 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31362/stat : 31362 (xcsp3-exec) S 31359 31362 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447215400 115843072 362 33554432000 4194304 5098028 140722250064160 140722250062264 139751734276732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24330240 140722250068859 140722250069102 140722250069102 140722250072010 0 /proc/31362/statm: 28282 362 304 221 0 87 0 [pid=31364] ppid=31362 vsize=28227396 memory=27372 CPUtime=0.12 cores=0-7 /proc/31364/stat : 31364 (java) S 31362 31362 26088 0 -1 1077944320 5797 0 0 0 11 1 0 0 20 0 20 0 447215400 28904853504 6843 33554432000 4194304 4196468 140720759159168 140720759141712 140188299742967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 /proc/31364/statm: 7056849 6843 3142 1 0 7019032 0 [pid=31364/tid=31365] ppid=31362 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/31364/task/31365/stat : 31365 (java) R 31362 31362 26088 0 -1 4202560 3669 0 0 0 8 0 0 0 20 0 20 0 447215401 28904853504 6843 33554432000 4194304 4196468 140720759159168 140188303975216 140187938702604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31366] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31366/stat : 31366 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215401 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187851623056 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31367] ppid=31362 vsize=28227396 memory=288370063267174016 CPUtime=0 cores=0-7 /proc/31364/task/31367/stat : 31367 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215401 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187850570256 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31368] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31368/stat : 31368 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187849517456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31369] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31369/stat : 31369 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187848464656 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31370] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31370/stat : 31370 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187847412880 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31371] ppid=31362 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31364/task/31371/stat : 31371 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187846360080 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31372] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31372/stat : 31372 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187845307280 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31373] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31373/stat : 31373 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187844254480 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31374] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31374/stat : 31374 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215403 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187800832368 140188299754114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31375] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31375/stat : 31375 (java) S 31362 31362 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447215403 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187683382304 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31376] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31376/stat : 31376 (java) S 31362 31362 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447215404 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187682329456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31377] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31377/stat : 31377 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215406 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187681277776 140188299761563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31378] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31378/stat : 31378 (java) S 31362 31362 26088 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 20 0 447215406 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187680226160 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31379] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31379/stat : 31379 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447215406 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187679173360 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31380] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31380/stat : 31380 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215406 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187678120560 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31381] ppid=31362 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/31364/task/31381/stat : 31381 (java) R 31362 31362 26088 0 -1 4202560 386 0 0 0 2 0 0 0 20 0 20 0 447215406 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187677067760 140188299754902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31382] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31382/stat : 31382 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447215406 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187676015200 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31383] ppid=31362 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31364/task/31383/stat : 31383 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215407 28904853504 6843 33554432000 4194304 4196468 140720759159168 140187674962480 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 28820 KiB [startup+0.210139 s]* /proc/loadavg: 8.28 8.29 8.23 3/210 31383 /proc/meminfo: memFree=30645940/32770624 swapFree=66926784/67108860 [pid=31362] ppid=31359 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31362/stat : 31362 (xcsp3-exec) S 31359 31362 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447215400 115843072 362 33554432000 4194304 5098028 140722250064160 140722250062264 139751734276732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24330240 140722250068859 140722250069102 140722250069102 140722250072010 0 /proc/31362/statm: 28282 362 304 221 0 87 0 [pid=31364] ppid=31362 vsize=28227396 memory=40020 CPUtime=0.34 cores=0-7 /proc/31364/stat : 31364 (java) S 31362 31362 26088 0 -1 1077944320 9754 0 0 0 31 3 0 0 20 0 20 0 447215400 28904853504 10005 33554432000 4194304 4196468 140720759159168 140720759141712 140188299742967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 /proc/31364/statm: 7056849 10005 3305 1 0 7019032 0 [pid=31364/tid=31365] ppid=31362 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7 /proc/31364/task/31365/stat : 31365 (java) R 31362 31362 26088 0 -1 4202560 6689 0 0 0 18 2 0 0 20 0 20 0 447215401 28904853504 10005 33554432000 4194304 4196468 140720759159168 140188303971680 140188292420981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31366] ppid=31362 vsize=28227396 memory=10923 CPUtime=0 cores=0-7 /proc/31364/task/31366/stat : 31366 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215401 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187851623056 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31367] ppid=31362 vsize=28227396 memory=139687115488617 CPUtime=0 cores=0-7 /proc/31364/task/31367/stat : 31367 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215401 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187850570256 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31368] ppid=31362 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31364/task/31368/stat : 31368 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187849517456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31369] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31369/stat : 31369 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187848464656 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31370] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31370/stat : 31370 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187847412880 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31371] ppid=31362 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31364/task/31371/stat : 31371 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187846360080 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31372] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31372/stat : 31372 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187845307280 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31373] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31373/stat : 31373 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187844254480 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31374] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31374/stat : 31374 (java) S 31362 31362 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447215403 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187800832368 140188299754114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31375] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31375/stat : 31375 (java) S 31362 31362 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447215403 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187683382304 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31376] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31376/stat : 31376 (java) S 31362 31362 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447215404 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187682329456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31377] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31377/stat : 31377 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215406 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187681277776 140188299761563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31378] ppid=31362 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/31364/task/31378/stat : 31378 (java) S 31362 31362 26088 0 -1 1077944384 542 0 0 0 2 0 0 0 20 0 20 0 447215406 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187680226160 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31379] ppid=31362 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/31364/task/31379/stat : 31379 (java) S 31362 31362 26088 0 -1 1077944384 305 0 0 0 1 0 0 0 20 0 20 0 447215406 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187679173360 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31380] ppid=31362 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/31364/task/31380/stat : 31380 (java) S 31362 31362 26088 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 447215406 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187678120560 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31381] ppid=31362 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/31364/task/31381/stat : 31381 (java) R 31362 31362 26088 0 -1 4202560 871 0 0 0 7 0 0 0 20 0 20 0 447215406 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187677062800 140188291980094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31382] ppid=31362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31382/stat : 31382 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447215406 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187676015200 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31383] ppid=31362 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31364/task/31383/stat : 31383 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215407 28904853504 10005 33554432000 4194304 4196468 140720759159168 140187674962480 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41468 KiB [startup+0.309512 s]* /proc/loadavg: 7.70 8.16 8.19 3/210 31383 /proc/meminfo: memFree=30640248/32770624 swapFree=66926784/67108860 [pid=31362] ppid=31359 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31362/stat : 31362 (xcsp3-exec) S 31359 31362 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447215400 115843072 362 33554432000 4194304 5098028 140722250064160 140722250062264 139751734276732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24330240 140722250068859 140722250069102 140722250069102 140722250072010 0 /proc/31362/statm: 28282 362 304 221 0 87 0 [pid=31364] ppid=31362 vsize=28231652 memory=48756 CPUtime=0.51 cores=0-7 /proc/31364/stat : 31364 (java) S 31362 31362 26088 0 -1 1077944320 11096 0 0 0 48 3 0 0 20 0 20 0 447215400 28909211648 12189 33554432000 4194304 4196468 140720759159168 140720759141712 140188299742967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 /proc/31364/statm: 7057913 12189 3343 1 0 7019032 0 [pid=31364/tid=31365] ppid=31362 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/31364/task/31365/stat : 31365 (java) R 31362 31362 26088 0 -1 4202560 7751 0 0 0 27 2 0 0 20 0 20 0 447215401 28909211648 12189 33554432000 4194304 4196468 140720759159168 140188303979584 140188299764893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31366] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31366/stat : 31366 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215401 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187851623056 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31367] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31367/stat : 31367 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215401 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187850570256 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31368] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31368/stat : 31368 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447215402 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187849517456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31369] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31369/stat : 31369 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187848464656 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31370] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31370/stat : 31370 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187847412880 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31371] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31371/stat : 31371 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215402 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187846360080 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31372] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31372/stat : 31372 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215402 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187845307280 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31373] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31373/stat : 31373 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215402 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187844254480 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31374] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31374/stat : 31374 (java) S 31362 31362 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447215403 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187800832368 140188299754114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31375] ppid=31362 vsize=28231652 memory=279373932600704 CPUtime=0 cores=0-7 /proc/31364/task/31375/stat : 31375 (java) S 31362 31362 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447215403 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187683382304 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31376] ppid=31362 vsize=28231652 memory=279373932605312 CPUtime=0 cores=0-7 /proc/31364/task/31376/stat : 31376 (java) S 31362 31362 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447215404 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187682329456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31377] ppid=31362 vsize=28231652 memory=279373932609920 CPUtime=0 cores=0-7 /proc/31364/task/31377/stat : 31377 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215406 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187681277776 140188299761563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31378] ppid=31362 vsize=28231652 memory=279373932614528 CPUtime=0.03 cores=0-7 /proc/31364/task/31378/stat : 31378 (java) R 31362 31362 26088 0 -1 4202560 581 0 0 0 3 0 0 0 20 0 20 0 447215406 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187680216544 140188280443264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31379] ppid=31362 vsize=28231652 memory=279373932619136 CPUtime=0.02 cores=0-7 /proc/31364/task/31379/stat : 31379 (java) R 31362 31362 26088 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 20 0 447215406 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187679173360 140188284142514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31380] ppid=31362 vsize=28231652 memory=279373932623744 CPUtime=0.02 cores=0-7 /proc/31364/task/31380/stat : 31380 (java) S 31362 31362 26088 0 -1 1077944384 70 0 0 0 2 0 0 0 20 0 20 0 447215406 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187678120560 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31381] ppid=31362 vsize=28231652 memory=279373932628352 CPUtime=0.12 cores=0-7 /proc/31364/task/31381/stat : 31381 (java) S 31362 31362 26088 0 -1 1077944384 1063 0 0 0 12 0 0 0 20 0 20 0 447215406 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187677067760 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31382] ppid=31362 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31382/stat : 31382 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447215406 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187676015200 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31383] ppid=31362 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/31364/task/31383/stat : 31383 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215407 28909211648 12189 33554432000 4194304 4196468 140720759159168 140187674962480 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50204 KiB [startup+0.700936 s] /proc/loadavg: 7.70 8.16 8.19 3/210 31383 /proc/meminfo: memFree=30627184/32770624 swapFree=66926784/67108860 [pid=31362] ppid=31359 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31362/stat : 31362 (xcsp3-exec) S 31359 31362 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447215400 115843072 362 33554432000 4194304 5098028 140722250064160 140722250062264 139751734276732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24330240 140722250068859 140722250069102 140722250069102 140722250072010 0 /proc/31362/statm: 28282 362 304 221 0 87 0 [pid=31364] ppid=31362 vsize=28233776 memory=82440 CPUtime=1.6 cores=0-7 /proc/31364/stat : 31364 (java) S 31362 31362 26088 0 -1 1077944320 15395 0 0 0 154 6 0 0 20 0 20 0 447215400 28911386624 20610 33554432000 4194304 4196468 140720759159168 140720759141712 140188299742967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 /proc/31364/statm: 7058444 20610 3454 1 0 7019544 0 [pid=31364/tid=31365] ppid=31362 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/31364/task/31365/stat : 31365 (java) R 31362 31362 26088 0 -1 4202560 9282 0 0 0 64 3 0 0 20 0 20 0 447215401 28911386624 20610 33554432000 4194304 4196468 140720759159168 140188303980816 140188299764314 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31366] ppid=31362 vsize=28233776 memory=139686966502272 CPUtime=0 cores=0-7 /proc/31364/task/31366/stat : 31366 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447215401 28911386624 20610 33554432000 4194304 4196468 140720759159168 140187851623056 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31367] ppid=31362 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/31364/task/31367/stat : 31367 (java) S 31362 31362 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447215401 28911386624 20610 33554432000 4194304 4196468 140720759159168 140187850570256 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31368] ppid=31362 vsize=28233776 memory=9364 CPUtime=0 cores=0-7 /proc/31364/task/31368/stat : 31368 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447215402 28911386624 20610 33554432000 4194304 4196468 140720759159168 140187849517456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 ################ # More data... # ################ [pid=31364/tid=31520] ppid=31362 vsize=29101156 memory=4008 CPUtime=157.54 cores=0-7 /proc/31364/task/31520/stat : 31520 (java) R 31362 31362 26088 0 -1 4202560 18018 0 0 0 15749 5 0 0 20 0 28 0 447215669 29799583744 147771 33554432000 4194304 4196468 140720759159168 140187460936120 140187943644270 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 Current children cumulated CPU time: 1283.22 s Current children cumulated vsize: 29214284 KiB Current children cumulated memory: 592532 KiB [startup+222.301 s] /proc/loadavg: 8.06 8.07 8.14 9/220 31550 /proc/meminfo: memFree=29926560/32770624 swapFree=66926788/67108860 [pid=31362] ppid=31359 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31362/stat : 31362 (xcsp3-exec) S 31359 31362 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447215400 115843072 362 33554432000 4194304 5098028 140722250064160 140722250062264 139751734276732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24330240 140722250068859 140722250069102 140722250069102 140722250072010 0 /proc/31362/statm: 28282 362 304 221 0 87 0 [pid=31364] ppid=31362 vsize=29101156 memory=768340 CPUtime=1759.64 cores=0-7 /proc/31364/stat : 31364 (java) S 31362 31362 26088 0 -1 1077944320 182171 0 0 0 175825 139 0 0 20 0 28 0 447215400 29799583744 192085 33554432000 4194304 4196468 140720759159168 140720759141712 140188299742967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 /proc/31364/statm: 7275289 192085 3546 1 0 7236389 0 [pid=31364/tid=31365] ppid=31362 vsize=29101156 memory=763184 CPUtime=0.87 cores=0-7 /proc/31364/task/31365/stat : 31365 (java) S 31362 31362 26088 0 -1 1077944384 9693 0 0 0 84 3 0 0 20 0 28 0 447215401 29799583744 192085 33554432000 4194304 4196468 140720759159168 140188303983744 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31366] ppid=31362 vsize=29101156 memory=763184 CPUtime=1.09 cores=0-7 /proc/31364/task/31366/stat : 31366 (java) S 31362 31362 26088 0 -1 1077944384 3933 0 0 0 99 10 0 0 20 0 28 0 447215401 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187851623056 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31367] ppid=31362 vsize=29101156 memory=760624 CPUtime=1.11 cores=0-7 /proc/31364/task/31367/stat : 31367 (java) S 31362 31362 26088 0 -1 1077944384 2704 0 0 0 101 10 0 0 20 0 28 0 447215401 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187850570256 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31368] ppid=31362 vsize=29101156 memory=1448 CPUtime=1.06 cores=0-7 /proc/31364/task/31368/stat : 31368 (java) S 31362 31362 26088 0 -1 1077944384 3044 0 0 0 97 9 0 0 20 0 28 0 447215402 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187849517456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31369] ppid=31362 vsize=29101156 memory=778228 CPUtime=1.11 cores=0-7 /proc/31364/task/31369/stat : 31369 (java) S 31362 31362 26088 0 -1 1077944384 4586 0 0 0 101 10 0 0 20 0 28 0 447215402 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187848464656 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31370] ppid=31362 vsize=29101156 memory=561064 CPUtime=1.11 cores=0-7 /proc/31364/task/31370/stat : 31370 (java) S 31362 31362 26088 0 -1 1077944384 3409 0 0 0 100 11 0 0 20 0 28 0 447215402 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187847412880 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31371] ppid=31362 vsize=29101156 memory=763184 CPUtime=1.09 cores=0-7 /proc/31364/task/31371/stat : 31371 (java) S 31362 31362 26088 0 -1 1077944384 3977 0 0 0 101 8 0 0 20 0 28 0 447215402 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187846360080 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31372] ppid=31362 vsize=29101156 memory=3580 CPUtime=1.08 cores=0-7 /proc/31364/task/31372/stat : 31372 (java) S 31362 31362 26088 0 -1 1077944384 4906 0 0 0 98 10 0 0 20 0 28 0 447215402 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187845307280 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31373] ppid=31362 vsize=29101156 memory=928 CPUtime=1.11 cores=0-7 /proc/31364/task/31373/stat : 31373 (java) S 31362 31362 26088 0 -1 1077944384 2801 0 0 0 102 9 0 0 20 0 28 0 447215402 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187844254480 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31374] ppid=31362 vsize=29101156 memory=1680 CPUtime=0.53 cores=0-7 /proc/31364/task/31374/stat : 31374 (java) S 31362 31362 26088 0 -1 1077944384 25351 0 0 0 41 12 0 0 20 0 28 0 447215403 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187800832368 140188299754114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31375] ppid=31362 vsize=29101156 memory=776768 CPUtime=0 cores=0-7 /proc/31364/task/31375/stat : 31375 (java) S 31362 31362 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 447215403 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187683382304 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31376] ppid=31362 vsize=29101156 memory=3580 CPUtime=0 cores=0-7 /proc/31364/task/31376/stat : 31376 (java) S 31362 31362 26088 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447215404 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187682329456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31377] ppid=31362 vsize=29101156 memory=279373934130976 CPUtime=0 cores=0-7 /proc/31364/task/31377/stat : 31377 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447215406 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187681277776 140188299761563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31378] ppid=31362 vsize=29101156 memory=6947190910687997796 CPUtime=1.37 cores=0-7 /proc/31364/task/31378/stat : 31378 (java) S 31362 31362 26088 0 -1 1077944384 8759 0 0 0 136 1 0 0 20 0 28 0 447215406 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187680226160 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31379] ppid=31362 vsize=29101156 memory=1448 CPUtime=1.34 cores=0-7 /proc/31364/task/31379/stat : 31379 (java) S 31362 31362 26088 0 -1 1077944384 6852 0 0 0 133 1 0 0 20 0 28 0 447215406 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187679173360 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31380] ppid=31362 vsize=29101156 memory=782956 CPUtime=1.27 cores=0-7 /proc/31364/task/31380/stat : 31380 (java) S 31362 31362 26088 0 -1 1077944384 4440 0 0 0 126 1 0 0 20 0 28 0 447215406 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187678120560 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31381] ppid=31362 vsize=29101156 memory=1444 CPUtime=0.79 cores=0-7 /proc/31364/task/31381/stat : 31381 (java) S 31362 31362 26088 0 -1 1077944384 6975 0 0 0 78 1 0 0 20 0 28 0 447215406 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187677067760 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31382] ppid=31362 vsize=29101156 memory=896 CPUtime=0 cores=0-7 /proc/31364/task/31382/stat : 31382 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447215406 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187676015200 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31383] ppid=31362 vsize=29101156 memory=7811330204900878933 CPUtime=0.05 cores=0-7 /proc/31364/task/31383/stat : 31383 (java) S 31362 31362 26088 0 -1 1077944384 1622 0 0 0 0 5 0 0 20 0 28 0 447215407 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187674962480 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31541] ppid=31362 vsize=29101156 memory=3907832917285890927 CPUtime=50.6 cores=0-7 /proc/31364/task/31541/stat : 31541 (java) R 31362 31362 26088 0 -1 4202560 2274 0 0 0 5060 0 0 0 20 0 28 0 447232477 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187461987392 140187944934569 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31542] ppid=31362 vsize=29101156 memory=0 CPUtime=50.97 cores=0-7 /proc/31364/task/31542/stat : 31542 (java) R 31362 31362 26088 0 -1 4202560 1850 0 0 0 5096 1 0 0 20 0 28 0 447232477 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187451469360 140187944095782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31543] ppid=31362 vsize=29101156 memory=288230376154903981 CPUtime=50.99 cores=0-7 /proc/31364/task/31543/stat : 31543 (java) R 31362 31362 26088 0 -1 4202560 1966 0 0 0 5098 1 0 0 20 0 28 0 447232477 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187449365560 140187944679151 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31544] ppid=31362 vsize=29101156 memory=4436 CPUtime=50.76 cores=0-7 /proc/31364/task/31544/stat : 31544 (java) R 31362 31362 26088 0 -1 4202560 10707 0 0 0 5072 4 0 0 20 0 28 0 447232477 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187452522896 140188285811092 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31545] ppid=31362 vsize=29101156 memory=4100 CPUtime=50.9 cores=0-7 /proc/31364/task/31545/stat : 31545 (java) R 31362 31362 26088 0 -1 4202560 1823 0 0 0 5089 1 0 0 20 0 28 0 447232477 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187464093984 140187944682336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31546] ppid=31362 vsize=29101156 memory=1412 CPUtime=50.91 cores=0-7 /proc/31364/task/31546/stat : 31546 (java) R 31362 31362 26088 0 -1 4202560 7315 0 0 0 5087 4 0 0 20 0 28 0 447232477 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187453575728 140187945846077 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31547] ppid=31362 vsize=29101156 memory=279373932399152 CPUtime=50.85 cores=0-7 /proc/31364/task/31547/stat : 31547 (java) R 31362 31362 26088 0 -1 4202560 1846 0 0 0 5085 0 0 0 20 0 28 0 447232477 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187460936112 140187944682418 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31548] ppid=31362 vsize=29101156 memory=8013657910543148907 CPUtime=50.75 cores=0-7 /proc/31364/task/31548/stat : 31548 (java) R 31362 31362 26088 0 -1 4202560 2212 0 0 0 5075 0 0 0 20 0 28 0 447232477 29799583744 192085 33554432000 4194304 4196468 140720759159168 140187450419968 140187945847501 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 Current children cumulated CPU time: 1759.64 s Current children cumulated vsize: 29214284 KiB Current children cumulated memory: 769788 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.04 8.07 8.13 9/220 31553 /proc/meminfo: memFree=29610576/32770624 swapFree=66926788/67108860 [pid=31362] ppid=31359 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31362/stat : 31362 (xcsp3-exec) S 31359 31362 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447215400 115843072 362 33554432000 4194304 5098028 140722250064160 140722250062264 139751734276732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24330240 140722250068859 140722250069102 140722250069102 140722250072010 0 /proc/31362/statm: 28282 362 304 221 0 87 0 [pid=31364] ppid=31362 vsize=29101156 memory=1077180 CPUtime=1995.58 cores=0-7 /proc/31364/stat : 31364 (java) S 31362 31362 26088 0 -1 1077944320 204916 0 0 0 199388 170 0 0 20 0 28 0 447215400 29799583744 269295 33554432000 4194304 4196468 140720759159168 140720759141712 140188299742967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 /proc/31364/statm: 7275289 269295 3546 1 0 7236389 0 [pid=31364/tid=31365] ppid=31362 vsize=29101156 memory=8317482817917895235 CPUtime=0.87 cores=0-7 /proc/31364/task/31365/stat : 31365 (java) S 31362 31362 26088 0 -1 1077944384 9693 0 0 0 84 3 0 0 20 0 28 0 447215401 29799583744 269295 33554432000 4194304 4196468 140720759159168 140188303983744 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31366] ppid=31362 vsize=29101156 memory=4126316290023845779 CPUtime=1.27 cores=0-7 /proc/31364/task/31366/stat : 31366 (java) S 31362 31362 26088 0 -1 1077944384 4269 0 0 0 115 12 0 0 20 0 28 0 447215401 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187851623056 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31367] ppid=31362 vsize=29101156 memory=1444 CPUtime=1.29 cores=0-7 /proc/31364/task/31367/stat : 31367 (java) S 31362 31362 26088 0 -1 1077944384 3130 0 0 0 117 12 0 0 20 0 28 0 447215401 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187850570256 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31368] ppid=31362 vsize=29101156 memory=896 CPUtime=1.25 cores=0-7 /proc/31364/task/31368/stat : 31368 (java) S 31362 31362 26088 0 -1 1077944384 3554 0 0 0 114 11 0 0 20 0 28 0 447215402 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187849517456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31369] ppid=31362 vsize=29101156 memory=1984 CPUtime=1.3 cores=0-7 /proc/31364/task/31369/stat : 31369 (java) S 31362 31362 26088 0 -1 1077944384 4889 0 0 0 118 12 0 0 20 0 28 0 447215402 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187848464656 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31370] ppid=31362 vsize=29101156 memory=2552 CPUtime=1.29 cores=0-7 /proc/31364/task/31370/stat : 31370 (java) S 31362 31362 26088 0 -1 1077944384 3897 0 0 0 116 13 0 0 20 0 28 0 447215402 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187847412880 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31371] ppid=31362 vsize=29101156 memory=1760 CPUtime=1.27 cores=0-7 /proc/31364/task/31371/stat : 31371 (java) S 31362 31362 26088 0 -1 1077944384 4368 0 0 0 117 10 0 0 20 0 28 0 447215402 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187846360080 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31372] ppid=31362 vsize=29101156 memory=1556 CPUtime=1.24 cores=0-7 /proc/31364/task/31372/stat : 31372 (java) S 31362 31362 26088 0 -1 1077944384 5098 0 0 0 112 12 0 0 20 0 28 0 447215402 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187845307280 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31373] ppid=31362 vsize=29101156 memory=2832 CPUtime=1.28 cores=0-7 /proc/31364/task/31373/stat : 31373 (java) S 31362 31362 26088 0 -1 1077944384 3055 0 0 0 118 10 0 0 20 0 28 0 447215402 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187844254480 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31374] ppid=31362 vsize=29101156 memory=984 CPUtime=0.62 cores=0-7 /proc/31364/task/31374/stat : 31374 (java) S 31362 31362 26088 0 -1 1077944384 34454 0 0 0 47 15 0 0 20 0 28 0 447215403 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187800832368 140188299754114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31375] ppid=31362 vsize=29101156 memory=14012 CPUtime=0 cores=0-7 /proc/31364/task/31375/stat : 31375 (java) S 31362 31362 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 447215403 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187683382304 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31376] ppid=31362 vsize=29101156 memory=11228 CPUtime=0 cores=0-7 /proc/31364/task/31376/stat : 31376 (java) S 31362 31362 26088 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 447215404 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187682329456 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31377] ppid=31362 vsize=29101156 memory=2120 CPUtime=0 cores=0-7 /proc/31364/task/31377/stat : 31377 (java) S 31362 31362 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447215406 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187681277776 140188299761563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31378] ppid=31362 vsize=29101156 memory=12020 CPUtime=1.37 cores=0-7 /proc/31364/task/31378/stat : 31378 (java) S 31362 31362 26088 0 -1 1077944384 8764 0 0 0 136 1 0 0 20 0 28 0 447215406 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187680226160 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31379] ppid=31362 vsize=29101156 memory=496 CPUtime=1.34 cores=0-7 /proc/31364/task/31379/stat : 31379 (java) S 31362 31362 26088 0 -1 1077944384 6856 0 0 0 133 1 0 0 20 0 28 0 447215406 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187679173360 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31380] ppid=31362 vsize=29101156 memory=1120 CPUtime=1.27 cores=0-7 /proc/31364/task/31380/stat : 31380 (java) S 31362 31362 26088 0 -1 1077944384 4444 0 0 0 126 1 0 0 20 0 28 0 447215406 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187678120560 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31381] ppid=31362 vsize=29101156 memory=776 CPUtime=0.79 cores=0-7 /proc/31364/task/31381/stat : 31381 (java) S 31362 31362 26088 0 -1 1077944384 6979 0 0 0 78 1 0 0 20 0 28 0 447215406 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187677067760 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31382] ppid=31362 vsize=29101156 memory=1552 CPUtime=0 cores=0-7 /proc/31364/task/31382/stat : 31382 (java) S 31362 31362 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447215406 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187676015200 140188299753173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31383] ppid=31362 vsize=29101156 memory=8076 CPUtime=0.05 cores=0-7 /proc/31364/task/31383/stat : 31383 (java) S 31362 31362 26088 0 -1 1077944384 1685 0 0 0 0 5 0 0 20 0 28 0 447215407 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187674962480 140188299754114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31541] ppid=31362 vsize=29101156 memory=4008 CPUtime=79.93 cores=0-7 /proc/31364/task/31541/stat : 31541 (java) R 31362 31362 26088 0 -1 4202560 2704 0 0 0 7992 1 0 0 20 0 28 0 447232477 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187461989744 140187944681018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31542] ppid=31362 vsize=29101156 memory=1556 CPUtime=80.37 cores=0-7 /proc/31364/task/31542/stat : 31542 (java) R 31362 31362 26088 0 -1 4202560 2262 0 0 0 8036 1 0 0 20 0 28 0 447232477 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187451470008 140187943768832 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31543] ppid=31362 vsize=29101156 memory=2832 CPUtime=80.35 cores=0-7 /proc/31364/task/31543/stat : 31543 (java) R 31362 31362 26088 0 -1 4202560 2401 0 0 0 8034 1 0 0 20 0 28 0 447232477 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187449365560 140187943606288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31544] ppid=31362 vsize=29101156 memory=984 CPUtime=80.04 cores=0-7 /proc/31364/task/31544/stat : 31544 (java) R 31362 31362 26088 0 -1 4202560 12415 0 0 0 7997 7 0 0 20 0 28 0 447232477 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187452523448 140187944678213 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31545] ppid=31362 vsize=29101156 memory=1448 CPUtime=80.1 cores=0-7 /proc/31364/task/31545/stat : 31545 (java) R 31362 31362 26088 0 -1 4202560 2077 0 0 0 8008 2 0 0 20 0 28 0 447232477 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187464093800 140187943644192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31546] ppid=31362 vsize=29101156 memory=1074100 CPUtime=80.3 cores=0-7 /proc/31364/task/31546/stat : 31546 (java) R 31362 31362 26088 0 -1 4202560 11817 0 0 0 8020 10 0 0 20 0 28 0 447232477 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187453575136 140187944680998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31547] ppid=31362 vsize=29101156 memory=2120 CPUtime=80.19 cores=0-7 /proc/31364/task/31547/stat : 31547 (java) R 31362 31362 26088 0 -1 4202560 2380 0 0 0 8018 1 0 0 20 0 28 0 447232477 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187460936248 140187938637863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 [pid=31364/tid=31548] ppid=31362 vsize=29101156 memory=12020 CPUtime=79.88 cores=0-7 /proc/31364/task/31548/stat : 31548 (java) R 31362 31362 26088 0 -1 4202560 4599 0 0 0 7985 3 0 0 20 0 28 0 447232477 29799583744 269295 33554432000 4194304 4196468 140720759159168 140187450417592 140188285811092 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30502912 140720759165936 140720759166107 140720759166107 140720759168975 0 Current children cumulated CPU time: 1995.58 s Current children cumulated vsize: 29214284 KiB Current children cumulated memory: 1078628 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.041 s] # the end of solver process 31362 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.00117 s, system=0.00117 s [startup+252.101 s] # the end of solver process 31364 was just reported to runsolver # cumulated CPU time of all completed processes: user=1994.51 s, system=1.72067 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 252.101 CPU time (s): 1996.23 CPU user time (s): 1994.51 CPU system time (s): 1.72067 CPU usage (%): 791.836 Max. virtual memory (cumulated for all children) (KiB): 29214284 Max. memory (cumulated for all children) (KiB): 1078628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1994.51 system time used= 1.72067 maximum resident set size= 1078208 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 205664 page faults= 0 swaps= 0 block input operations= 0 block output operations= 480 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41318 involuntary context switches= 22902 # summary of solver processes directly reported to runsolver: # pid: 31362,31364 # total CPU time (s): 1996.23 # total CPU user time (s): 1994.51 # total CPU system time (s): 1.72067 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.35429 second user time and 2.78377 second system time The end
Begin job on node107 at 2019-09-17 09:37:57 IDJOB=4400254 IDBENCH=115967 IDSOLVER=2855 FILE ID=node107/4400254-1568709596 RUNJOBID= node107-1568696839-26115 PBS_JOBID= 21703898 Free space on /tmp= 59040 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-10-14.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400254-1568709596/watcher-4400254-1568709596 -o /tmp/evaluation-result-4400254-1568709596/solver-4400254-1568709596 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1488034755 HOME/instance-4400254-1568709596.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2f9116219e9bb224096732f26408ee63 RANDOM SEED=1488034755 node107.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 30674168 kB MemAvailable: 31811176 kB Buffers: 226124 kB Cached: 1187144 kB SwapCached: 76296 kB Active: 682832 kB Inactive: 808280 kB Active(anon): 11784 kB Inactive(anon): 109076 kB Active(file): 671048 kB Inactive(file): 699204 kB Unevictable: 111200 kB Mlocked: 111200 kB SwapTotal: 67108860 kB SwapFree: 66926784 kB Dirty: 26380 kB Writeback: 0 kB AnonPages: 138324 kB Mapped: 42776 kB Shmem: 34400 kB Slab: 194896 kB SReclaimable: 165180 kB SUnreclaim: 29716 kB KernelStack: 3760 kB PageTables: 5232 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497684 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 92160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 59012 MiB End job on node107 at 2019-09-17 09:42:10