Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 67 | 1993.12 | 252.106 |
Name | StillLife/StillLife-m1-s1/ StillLife-11-12.xml |
MD5SUM | 4e3f80c217ff28730f7a01615dcb2e7f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 70 |
Best CPU time to get the best result obtained on this benchmark | 251.94501 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 264 |
Number of constraints | 302 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":132},{"size":9,"count":132}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":132},{"degree":7,"count":4},{"degree":8,"count":38},{"degree":10,"count":90}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":132},{"arity":3,"count":38},{"arity":4,"count":4},{"arity":6,"count":38},{"arity":9,"count":90}] |
Number of extensional constraints | 170 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":170},{"type":"sum","count":132}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271780-1502640158.xml" -tl '2016s' -p 8 -x 0 0.12/0.15 c [HOME/instance-4271780-1502640158.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 2.24/0.80 c solve instance... 2.24/0.86 o 0 2.24/0.88 o 4 2.24/0.88 o 6 2.81/0.90 o 60 2.81/0.99 o 61 3.69/1.02 o 62 3.69/1.02 o 63 9.84/1.86 o 64 29.64/4.33 o 65 41.53/5.86 o 66 41.53/5.88 o 67 1992.40/252.08 s SATISFIABLE 1992.40/252.08 v <instantiation> 1992.40/252.08 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[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[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[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[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[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[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[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[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[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[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] 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[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[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[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[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[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[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[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[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[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[10][0] s[10][1] s[10][2] s[10][3] s[10][4] s[10][5] s[10][6] s[10][7] s[10][8] s[10][9] s[10][10] s[10][11] </list> 1992.40/252.08 v <values>1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 3 3 4 3 3 4 3 3 4 3 3 2 3 3 4 3 3 4 3 3 4 3 3 2 4 5 5 5 5 5 5 5 5 5 4 2 2 3 3 3 3 3 3 3 2 2 2 2 3 5 5 3 4 4 3 5 5 6 6 3 4 3 4 2 2 2 2 4 2 3 3 2 3 3 5 2 4 4 2 5 3 6 5 4 4 3 4 2 3 3 2 5 2 5 2 2 2 4 4 5 6 6 4 5 2 6 3 4 2 5 3 3 3 3 3 5 3 6 3 4 2 3 3 4 4 3 4 3 2 4 2 2 </values> 1992.40/252.08 v </instantiation> 1992.40/252.08 c Unexpected resolution interruption!
OK 67
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 (15310 MiB free) memory of node 1: 16384 MiB (15612 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271780-1502640158/watcher-4271780-1502640158 -o /tmp/evaluation-result-4271780-1502640158/solver-4271780-1502640158 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 339199499 HOME/instance-4271780-1502640158.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 solver pid=20957, runsolver pid=20954 Current StackSize limit: 8192 KiB [startup+0.100113 s]* /proc/loadavg: 8.32 7.81 6.85 2/199 20978 /proc/meminfo: memFree=31650372/32770624 swapFree=67108860/67108860 [pid=20957] ppid=20954 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/20957/stat : 20957 (xcsp3-exec) S 20954 20957 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97104051 9740288 345 33554432000 4194304 5098028 140729608645904 140729608644008 140281439818364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7921664 140729608647787 140729608647996 140729608647996 140729608650731 0 /proc/20957/statm: 2378 345 289 221 0 87 0 [pid=20959] ppid=20957 vsize=25999808 memory=26232 CPUtime=0.12 cores=0-7 /proc/20959/stat : 20959 (java) S 20957 20957 8183 0 -1 1077944320 5482 0 0 0 11 1 0 0 20 0 20 0 97104051 26623803392 6558 33554432000 4194304 4196468 140726223269696 140726223252240 139855790546679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 /proc/20959/statm: 6499952 6558 2849 1 0 6488269 0 [pid=20959/tid=20960] ppid=20957 vsize=25999808 memory=8328452518542484124 CPUtime=0.09 cores=0-7 /proc/20959/task/20960/stat : 20960 (java) R 20957 20957 8183 0 -1 4202560 3478 0 0 0 8 1 0 0 20 0 20 0 97104051 26623803392 6558 33554432000 4194304 4196468 140726223269696 139855794767576 139855790558614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20961] ppid=20957 vsize=25999808 memory=732370665792273381 CPUtime=0 cores=0-7 /proc/20959/task/20961/stat : 20961 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26623803392 6558 33554432000 4194304 4196468 140726223269696 139855747098896 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20962] ppid=20957 vsize=25999808 memory=140527454819968 CPUtime=0 cores=0-7 /proc/20959/task/20962/stat : 20962 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26623803392 6558 33554432000 4194304 4196468 140726223269696 139855746046352 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20963] ppid=20957 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20963/stat : 20963 (java) S 20957 20957 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97104052 26623803392 6558 33554432000 4194304 4196468 140726223269696 139855347186192 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20964] ppid=20957 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20964/stat : 20964 (java) S 20957 20957 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97104052 26623803392 6558 33554432000 4194304 4196468 140726223269696 139855346133648 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20965] ppid=20957 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20965/stat : 20965 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26623803392 6558 33554432000 4194304 4196468 140726223269696 139855345081104 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20966] ppid=20957 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/20959/task/20966/stat : 20966 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26623803392 6558 33554432000 4194304 4196468 140726223269696 139855344028560 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20967] ppid=20957 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20967/stat : 20967 (java) S 20957 20957 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97104052 26623803392 6558 33554432000 4194304 4196468 140726223269696 139855342976016 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20968] ppid=20957 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20968/stat : 20968 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26623803392 6558 33554432000 4194304 4196468 140726223269696 139855341923472 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20969] ppid=20957 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20969/stat : 20969 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104054 26623803392 6558 33554432000 4194304 4196468 140726223269696 139853994891248 139855790557826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20970] ppid=20957 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20970/stat : 20970 (java) S 20957 20957 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97104054 26623803392 6558 33554432000 4194304 4196468 140726223269696 139853993837472 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20971] ppid=20957 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20971/stat : 20971 (java) S 20957 20957 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97104054 26623803392 6558 33554432000 4194304 4196468 140726223269696 139853992784880 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20972] ppid=20957 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20972/stat : 20972 (java) S 20957 20957 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97104057 26623803392 6558 33554432000 4194304 4196468 140726223269696 139853991733456 139855790565275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20973] ppid=20957 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20973/stat : 20973 (java) S 20957 20957 8183 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 97104057 26623803392 6558 33554432000 4194304 4196468 140726223269696 139853990681072 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20974] ppid=20957 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20974/stat : 20974 (java) S 20957 20957 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97104057 26623803392 6558 33554432000 4194304 4196468 140726223269696 139853989628528 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20975] ppid=20957 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20975/stat : 20975 (java) S 20957 20957 8183 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97104057 26623803392 6558 33554432000 4194304 4196468 140726223269696 139853988575984 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20976] ppid=20957 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/20959/task/20976/stat : 20976 (java) R 20957 20957 8183 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 97104057 26623803392 6558 33554432000 4194304 4196468 140726223269696 139853987523440 139855790558614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20977] ppid=20957 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20977/stat : 20977 (java) S 20957 20957 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97104057 26623803392 6558 33554432000 4194304 4196468 140726223269696 139853986470112 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20978] ppid=20957 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/20959/task/20978/stat : 20978 (java) S 20957 20957 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97104057 26623803392 6558 33554432000 4194304 4196468 140726223269696 139853985417648 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27612 KiB [startup+0.210277 s]* /proc/loadavg: 8.32 7.81 6.85 3/199 20978 /proc/meminfo: memFree=31640036/32770624 swapFree=67108860/67108860 [pid=20957] ppid=20954 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/20957/stat : 20957 (xcsp3-exec) S 20954 20957 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97104051 9740288 345 33554432000 4194304 5098028 140729608645904 140729608644008 140281439818364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7921664 140729608647787 140729608647996 140729608647996 140729608650731 0 /proc/20957/statm: 2378 345 289 221 0 87 0 [pid=20959] ppid=20957 vsize=26004064 memory=38956 CPUtime=0.33 cores=0-7 /proc/20959/stat : 20959 (java) S 20957 20957 8183 0 -1 1077944320 8247 0 0 0 31 2 0 0 20 0 20 0 97104051 26628161536 9739 33554432000 4194304 4196468 140726223269696 140726223252240 139855790546679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 /proc/20959/statm: 6501016 9739 3068 1 0 6488269 0 [pid=20959/tid=20960] ppid=20957 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7 /proc/20959/task/20960/stat : 20960 (java) R 20957 20957 8183 0 -1 4202560 5390 0 0 0 18 1 0 0 20 0 20 0 97104051 26628161536 9739 33554432000 4194304 4196468 140726223269696 139855794767672 139855774627166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20961] ppid=20957 vsize=26004064 memory=732370665792273381 CPUtime=0 cores=0-7 /proc/20959/task/20961/stat : 20961 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26628161536 9739 33554432000 4194304 4196468 140726223269696 139855747098896 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20962] ppid=20957 vsize=26004064 memory=140527454819968 CPUtime=0 cores=0-7 /proc/20959/task/20962/stat : 20962 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26628161536 9739 33554432000 4194304 4196468 140726223269696 139855746046352 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20963] ppid=20957 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20963/stat : 20963 (java) S 20957 20957 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97104052 26628161536 9739 33554432000 4194304 4196468 140726223269696 139855347186192 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20964] ppid=20957 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20964/stat : 20964 (java) S 20957 20957 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97104052 26628161536 9739 33554432000 4194304 4196468 140726223269696 139855346133648 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20965] ppid=20957 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20965/stat : 20965 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26628161536 9739 33554432000 4194304 4196468 140726223269696 139855345081104 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20966] ppid=20957 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/20959/task/20966/stat : 20966 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26628161536 9739 33554432000 4194304 4196468 140726223269696 139855344028560 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20967] ppid=20957 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20967/stat : 20967 (java) S 20957 20957 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97104052 26628161536 9739 33554432000 4194304 4196468 140726223269696 139855342976016 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20968] ppid=20957 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20968/stat : 20968 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26628161536 9739 33554432000 4194304 4196468 140726223269696 139855341923472 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20969] ppid=20957 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20969/stat : 20969 (java) S 20957 20957 8183 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 97104054 26628161536 9739 33554432000 4194304 4196468 140726223269696 139853994891248 139855790557826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20970] ppid=20957 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20970/stat : 20970 (java) S 20957 20957 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97104054 26628161536 9739 33554432000 4194304 4196468 140726223269696 139853993837472 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20971] ppid=20957 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20971/stat : 20971 (java) S 20957 20957 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97104054 26628161536 9739 33554432000 4194304 4196468 140726223269696 139853992784880 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20972] ppid=20957 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20972/stat : 20972 (java) S 20957 20957 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97104057 26628161536 9739 33554432000 4194304 4196468 140726223269696 139853991733456 139855790565275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20973] ppid=20957 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/20959/task/20973/stat : 20973 (java) S 20957 20957 8183 0 -1 1077944384 409 0 0 0 1 0 0 0 20 0 20 0 97104057 26628161536 9739 33554432000 4194304 4196468 140726223269696 139853990681072 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20974] ppid=20957 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/20959/task/20974/stat : 20974 (java) S 20957 20957 8183 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 97104057 26628161536 9739 33554432000 4194304 4196468 140726223269696 139853989628528 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20975] ppid=20957 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/20959/task/20975/stat : 20975 (java) S 20957 20957 8183 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 20 0 97104057 26628161536 9739 33554432000 4194304 4196468 140726223269696 139853988575984 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20976] ppid=20957 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7 /proc/20959/task/20976/stat : 20976 (java) S 20957 20957 8183 0 -1 1077944384 743 0 0 0 8 0 0 0 20 0 20 0 97104057 26628161536 9739 33554432000 4194304 4196468 140726223269696 139853987523440 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20977] ppid=20957 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20977/stat : 20977 (java) S 20957 20957 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97104057 26628161536 9739 33554432000 4194304 4196468 140726223269696 139853986470112 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20978] ppid=20957 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/20959/task/20978/stat : 20978 (java) S 20957 20957 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97104057 26628161536 9739 33554432000 4194304 4196468 140726223269696 139853985417648 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40336 KiB [startup+0.309549 s]* /proc/loadavg: 8.32 7.81 6.85 3/199 20978 /proc/meminfo: memFree=31635260/32770624 swapFree=67108860/67108860 [pid=20957] ppid=20954 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/20957/stat : 20957 (xcsp3-exec) S 20954 20957 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97104051 9740288 345 33554432000 4194304 5098028 140729608645904 140729608644008 140281439818364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7921664 140729608647787 140729608647996 140729608647996 140729608650731 0 /proc/20957/statm: 2378 345 289 221 0 87 0 [pid=20959] ppid=20957 vsize=26004064 memory=44108 CPUtime=0.51 cores=0-7 /proc/20959/stat : 20959 (java) S 20957 20957 8183 0 -1 1077944320 9215 0 0 0 48 3 0 0 20 0 20 0 97104051 26628161536 11027 33554432000 4194304 4196468 140726223269696 140726223252240 139855790546679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 /proc/20959/statm: 6501016 11027 3088 1 0 6488269 0 [pid=20959/tid=20960] ppid=20957 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/20959/task/20960/stat : 20960 (java) R 20957 20957 8183 0 -1 4202560 6095 0 0 0 27 2 0 0 20 0 20 0 97104051 26628161536 11027 33554432000 4194304 4196468 140726223269696 139855794776832 139855790558614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20961] ppid=20957 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20961/stat : 20961 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26628161536 11027 33554432000 4194304 4196468 140726223269696 139855747098896 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20962] ppid=20957 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20962/stat : 20962 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26628161536 11027 33554432000 4194304 4196468 140726223269696 139855746046352 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20963] ppid=20957 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20963/stat : 20963 (java) S 20957 20957 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97104052 26628161536 11027 33554432000 4194304 4196468 140726223269696 139855347186192 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20964] ppid=20957 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20964/stat : 20964 (java) S 20957 20957 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97104052 26628161536 11027 33554432000 4194304 4196468 140726223269696 139855346133648 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20965] ppid=20957 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/20959/task/20965/stat : 20965 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26628161536 11027 33554432000 4194304 4196468 140726223269696 139855345081104 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20966] ppid=20957 vsize=26004064 memory=140527303488431 CPUtime=0 cores=0-7 /proc/20959/task/20966/stat : 20966 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26628161536 11027 33554432000 4194304 4196468 140726223269696 139855344028560 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20967] ppid=20957 vsize=26004064 memory=140527303490736 CPUtime=0 cores=0-7 /proc/20959/task/20967/stat : 20967 (java) S 20957 20957 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97104052 26628161536 11027 33554432000 4194304 4196468 140726223269696 139855342976016 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20968] ppid=20957 vsize=26004064 memory=140527303493040 CPUtime=0 cores=0-7 /proc/20959/task/20968/stat : 20968 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26628161536 11027 33554432000 4194304 4196468 140726223269696 139855341923472 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20969] ppid=20957 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20969/stat : 20969 (java) S 20957 20957 8183 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 97104054 26628161536 11027 33554432000 4194304 4196468 140726223269696 139853994891248 139855790557826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20970] ppid=20957 vsize=26004064 memory=281054606993040 CPUtime=0 cores=0-7 /proc/20959/task/20970/stat : 20970 (java) S 20957 20957 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97104054 26628161536 11027 33554432000 4194304 4196468 140726223269696 139853993837472 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20971] ppid=20957 vsize=26004064 memory=281054606999952 CPUtime=0 cores=0-7 /proc/20959/task/20971/stat : 20971 (java) S 20957 20957 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97104054 26628161536 11027 33554432000 4194304 4196468 140726223269696 139853992784880 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20972] ppid=20957 vsize=26004064 memory=281054606941232 CPUtime=0 cores=0-7 /proc/20959/task/20972/stat : 20972 (java) S 20957 20957 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97104057 26628161536 11027 33554432000 4194304 4196468 140726223269696 139853991733456 139855790565275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20973] ppid=20957 vsize=26004064 memory=281054607013776 CPUtime=0.02 cores=0-7 /proc/20959/task/20973/stat : 20973 (java) S 20957 20957 8183 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 20 0 97104057 26628161536 11027 33554432000 4194304 4196468 140726223269696 139853990681072 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20974] ppid=20957 vsize=26004064 memory=281054607020688 CPUtime=0.02 cores=0-7 /proc/20959/task/20974/stat : 20974 (java) R 20957 20957 8183 0 -1 4202560 154 0 0 0 2 0 0 0 20 0 20 0 97104057 26628161536 11027 33554432000 4194304 4196468 140726223269696 139853989628528 139855769759675 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20975] ppid=20957 vsize=26004064 memory=281054607018384 CPUtime=0.02 cores=0-7 /proc/20959/task/20975/stat : 20975 (java) S 20957 20957 8183 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 20 0 97104057 26628161536 11027 33554432000 4194304 4196468 140726223269696 139853988575984 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20976] ppid=20957 vsize=26004064 memory=281054607034544 CPUtime=0.12 cores=0-7 /proc/20959/task/20976/stat : 20976 (java) R 20957 20957 8183 0 -1 4202560 886 0 0 0 12 0 0 0 20 0 20 0 97104057 26628161536 11027 33554432000 4194304 4196468 140726223269696 139853987519808 139855770261484 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20977] ppid=20957 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20977/stat : 20977 (java) S 20957 20957 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97104057 26628161536 11027 33554432000 4194304 4196468 140726223269696 139853986470112 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20978] ppid=20957 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/20959/task/20978/stat : 20978 (java) S 20957 20957 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97104057 26628161536 11027 33554432000 4194304 4196468 140726223269696 139853985417648 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45488 KiB [startup+0.700905 s] /proc/loadavg: 8.32 7.81 6.85 4/199 20978 /proc/meminfo: memFree=31622604/32770624 swapFree=67108860/67108860 [pid=20957] ppid=20954 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/20957/stat : 20957 (xcsp3-exec) S 20954 20957 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97104051 9740288 345 33554432000 4194304 5098028 140729608645904 140729608644008 140281439818364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7921664 140729608647787 140729608647996 140729608647996 140729608650731 0 /proc/20957/statm: 2378 345 289 221 0 87 0 [pid=20959] ppid=20957 vsize=26006188 memory=92352 CPUtime=1.78 cores=0-7 /proc/20959/stat : 20959 (java) S 20957 20957 8183 0 -1 1077944320 14750 0 0 0 172 6 0 0 20 0 20 0 97104051 26630336512 23088 33554432000 4194304 4196468 140726223269696 140726223252240 139855790546679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 /proc/20959/statm: 6501547 23088 3205 1 0 6488781 0 [pid=20959/tid=20960] ppid=20957 vsize=26006188 memory=281054607329472 CPUtime=0.67 cores=0-7 /proc/20959/task/20960/stat : 20960 (java) R 20957 20957 8183 0 -1 4202560 6821 0 0 0 64 3 0 0 20 0 20 0 97104051 26630336512 23088 33554432000 4194304 4196468 140726223269696 139855794781168 139855428933145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20961] ppid=20957 vsize=26006188 memory=5050881541254 CPUtime=0 cores=0-7 /proc/20959/task/20961/stat : 20961 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26630336512 23088 33554432000 4194304 4196468 140726223269696 139855747098896 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20962] ppid=20957 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20962/stat : 20962 (java) S 20957 20957 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97104052 26630336512 23088 33554432000 4194304 4196468 140726223269696 139855746046352 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20963] ppid=20957 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/20959/task/20963/stat : 20963 (java) S 20957 20957 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97104052 26630336512 23088 33554432000 4194304 4196468 140726223269696 139855347186192 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 ################ # More data... # ################ [pid=20959/tid=21074] ppid=20957 vsize=26605264 memory=1228 CPUtime=153.88 cores=0-7 /proc/20959/task/21074/stat : 21074 (java) R 20957 20957 8183 0 -1 4202560 6917 0 0 0 15386 2 0 0 20 0 28 0 97104639 27243790336 95286 33554432000 4194304 4196468 140726223269696 139853969481528 139855429728726 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 Current children cumulated CPU time: 1280.86 s Current children cumulated vsize: 26614776 KiB Current children cumulated memory: 382524 KiB [startup+222.306 s] /proc/loadavg: 8.30 8.00 7.13 9/208 21082 /proc/meminfo: memFree=31183564/32770624 swapFree=67108860/67108860 [pid=20957] ppid=20954 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/20957/stat : 20957 (xcsp3-exec) S 20954 20957 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97104051 9740288 345 33554432000 4194304 5098028 140729608645904 140729608644008 140281439818364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7921664 140729608647787 140729608647996 140729608647996 140729608650731 0 /proc/20957/statm: 2378 345 289 221 0 87 0 [pid=20959] ppid=20957 vsize=26605264 memory=494332 CPUtime=1756.88 cores=0-7 /proc/20959/stat : 20959 (java) S 20957 20957 8183 0 -1 1077944320 93755 0 0 0 175608 80 0 0 20 0 28 0 97104051 27243790336 123583 33554432000 4194304 4196468 140726223269696 140726223252240 139855790546679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 /proc/20959/statm: 6651316 123583 3284 1 0 6638550 0 [pid=20959/tid=20960] ppid=20957 vsize=26605264 memory=493088 CPUtime=0.79 cores=0-7 /proc/20959/task/20960/stat : 20960 (java) S 20957 20957 8183 0 -1 1077944384 7087 0 0 0 76 3 0 0 20 0 28 0 97104051 27243790336 123583 33554432000 4194304 4196468 140726223269696 139855794787456 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20961] ppid=20957 vsize=26605264 memory=1380 CPUtime=0.67 cores=0-7 /proc/20959/task/20961/stat : 20961 (java) S 20957 20957 8183 0 -1 1077944384 3187 0 0 0 61 6 0 0 20 0 28 0 97104052 27243790336 123583 33554432000 4194304 4196468 140726223269696 139855747098896 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20962] ppid=20957 vsize=26605264 memory=1380 CPUtime=0.68 cores=0-7 /proc/20959/task/20962/stat : 20962 (java) S 20957 20957 8183 0 -1 1077944384 2197 0 0 0 63 5 0 0 20 0 28 0 97104052 27243790336 123583 33554432000 4194304 4196468 140726223269696 139855746046352 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20963] ppid=20957 vsize=26605264 memory=1788 CPUtime=0.67 cores=0-7 /proc/20959/task/20963/stat : 20963 (java) S 20957 20957 8183 0 -1 1077944384 2109 0 0 0 63 4 0 0 20 0 28 0 97104052 27243790336 123583 33554432000 4194304 4196468 140726223269696 139855347186192 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20964] ppid=20957 vsize=26605264 memory=956 CPUtime=0.67 cores=0-7 /proc/20959/task/20964/stat : 20964 (java) S 20957 20957 8183 0 -1 1077944384 2831 0 0 0 62 5 0 0 20 0 28 0 97104052 27243790336 123583 33554432000 4194304 4196468 140726223269696 139855346133648 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20965] ppid=20957 vsize=26605264 memory=3724 CPUtime=0.68 cores=0-7 /proc/20959/task/20965/stat : 20965 (java) S 20957 20957 8183 0 -1 1077944384 3121 0 0 0 62 6 0 0 20 0 28 0 97104052 27243790336 123583 33554432000 4194304 4196468 140726223269696 139855345081104 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20966] ppid=20957 vsize=26605264 memory=1380 CPUtime=0.67 cores=0-7 /proc/20959/task/20966/stat : 20966 (java) S 20957 20957 8183 0 -1 1077944384 2202 0 0 0 62 5 0 0 20 0 28 0 97104052 27243790336 123583 33554432000 4194304 4196468 140726223269696 139855344028560 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20967] ppid=20957 vsize=26605264 memory=4140 CPUtime=0.69 cores=0-7 /proc/20959/task/20967/stat : 20967 (java) S 20957 20957 8183 0 -1 1077944384 2236 0 0 0 64 5 0 0 20 0 28 0 97104052 27243790336 123583 33554432000 4194304 4196468 140726223269696 139855342976016 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20968] ppid=20957 vsize=26605264 memory=27972 CPUtime=0.67 cores=0-7 /proc/20959/task/20968/stat : 20968 (java) S 20957 20957 8183 0 -1 1077944384 1846 0 0 0 63 4 0 0 20 0 28 0 97104052 27243790336 123583 33554432000 4194304 4196468 140726223269696 139855341923472 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20969] ppid=20957 vsize=26605264 memory=6791534058613427641 CPUtime=0.57 cores=0-7 /proc/20959/task/20969/stat : 20969 (java) S 20957 20957 8183 0 -1 1077944384 6893 0 0 0 46 11 0 0 20 0 28 0 97104054 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853994891248 139855790557826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20970] ppid=20957 vsize=26605264 memory=956 CPUtime=0 cores=0-7 /proc/20959/task/20970/stat : 20970 (java) S 20957 20957 8183 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 97104054 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853993837536 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20971] ppid=20957 vsize=26605264 memory=493088 CPUtime=0 cores=0-7 /proc/20959/task/20971/stat : 20971 (java) S 20957 20957 8183 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97104054 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853992784896 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20972] ppid=20957 vsize=26605264 memory=1380 CPUtime=0 cores=0-7 /proc/20959/task/20972/stat : 20972 (java) S 20957 20957 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97104057 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853991733456 139855790565275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20973] ppid=20957 vsize=26605264 memory=4108 CPUtime=1.63 cores=0-7 /proc/20959/task/20973/stat : 20973 (java) S 20957 20957 8183 0 -1 1077944384 5972 0 0 0 161 2 0 0 20 0 28 0 97104057 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853990681072 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20974] ppid=20957 vsize=26605264 memory=1692 CPUtime=1.78 cores=0-7 /proc/20959/task/20974/stat : 20974 (java) S 20957 20957 8183 0 -1 1077944384 7911 0 0 0 178 0 0 0 20 0 28 0 97104057 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853989628528 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20975] ppid=20957 vsize=26605264 memory=168 CPUtime=1.68 cores=0-7 /proc/20959/task/20975/stat : 20975 (java) S 20957 20957 8183 0 -1 1077944384 6459 0 0 0 167 1 0 0 20 0 28 0 97104057 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853988575984 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20976] ppid=20957 vsize=26605264 memory=85 CPUtime=0.85 cores=0-7 /proc/20959/task/20976/stat : 20976 (java) S 20957 20957 8183 0 -1 1077944384 6284 0 0 0 84 1 0 0 20 0 28 0 97104057 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853987523440 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20977] ppid=20957 vsize=26605264 memory=1380 CPUtime=0 cores=0-7 /proc/20959/task/20977/stat : 20977 (java) S 20957 20957 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97104057 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853986470112 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20978] ppid=20957 vsize=26605264 memory=1380 CPUtime=0.04 cores=0-7 /proc/20959/task/20978/stat : 20978 (java) S 20957 20957 8183 0 -1 1077944384 1044 0 0 0 0 4 0 0 20 0 28 0 97104057 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853985417648 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=21067] ppid=20957 vsize=26605264 memory=-6948047529741492128 CPUtime=213.32 cores=0-7 /proc/20959/task/21067/stat : 21067 (java) R 20957 20957 8183 0 -1 4202560 1942 0 0 0 21331 1 0 0 20 0 28 0 97104639 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853977902680 139855433415003 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=21068] ppid=20957 vsize=26605264 memory=15460 CPUtime=214.26 cores=0-7 /proc/20959/task/21068/stat : 21068 (java) R 20957 20957 8183 0 -1 4202560 2135 0 0 0 21425 1 0 0 20 0 28 0 97104639 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853973695424 139855432760219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=21069] ppid=20957 vsize=26605264 memory=494844 CPUtime=213.64 cores=0-7 /proc/20959/task/21069/stat : 21069 (java) R 20957 20957 8183 0 -1 4202560 2014 0 0 0 21363 1 0 0 20 0 28 0 97104639 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853970535232 139855433415359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=21070] ppid=20957 vsize=26605264 memory=1380 CPUtime=213.31 cores=0-7 /proc/20959/task/21070/stat : 21070 (java) R 20957 20957 8183 0 -1 4202560 3423 0 0 0 21329 2 0 0 20 0 28 0 97104639 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853975798040 139855432758742 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=21071] ppid=20957 vsize=26605264 memory=495360 CPUtime=213.37 cores=0-7 /proc/20959/task/21071/stat : 21071 (java) R 20957 20957 8183 0 -1 4202560 2858 0 0 0 21336 1 0 0 20 0 28 0 97104639 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853974749120 139855434779764 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=21072] ppid=20957 vsize=26605264 memory=1380 CPUtime=213.93 cores=0-7 /proc/20959/task/21072/stat : 21072 (java) R 20957 20957 8183 0 -1 4202560 2151 0 0 0 21392 1 0 0 20 0 28 0 97104639 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853972640280 139855434283991 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=21073] ppid=20957 vsize=26605264 memory=494844 CPUtime=213.36 cores=0-7 /proc/20959/task/21073/stat : 21073 (java) R 20957 20957 8183 0 -1 4202560 6184 0 0 0 21335 1 0 0 20 0 28 0 97104639 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853971586160 139855433460598 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=21074] ppid=20957 vsize=26605264 memory=2344 CPUtime=213.25 cores=0-7 /proc/20959/task/21074/stat : 21074 (java) R 20957 20957 8183 0 -1 4202560 7125 0 0 0 21322 3 0 0 20 0 28 0 97104639 27243790336 123583 33554432000 4194304 4196468 140726223269696 139853969482312 139855432759676 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 Current children cumulated CPU time: 1756.88 s Current children cumulated vsize: 26614776 KiB Current children cumulated memory: 495712 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.002 s]* /proc/loadavg: 8.47 8.07 7.18 9/208 21082 /proc/meminfo: memFree=31251596/32770624 swapFree=67108860/67108860 [pid=20957] ppid=20954 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/20957/stat : 20957 (xcsp3-exec) S 20954 20957 8183 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97104051 9740288 345 33554432000 4194304 5098028 140729608645904 140729608644008 140281439818364 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7921664 140729608647787 140729608647996 140729608647996 140729608650731 0 /proc/20957/statm: 2378 345 289 221 0 87 0 [pid=20959] ppid=20957 vsize=26605264 memory=423808 CPUtime=1992.4 cores=0-7 /proc/20959/stat : 20959 (java) S 20957 20957 8183 0 -1 1077944320 98092 0 0 0 199151 89 0 0 20 0 28 0 97104051 27243790336 105952 33554432000 4194304 4196468 140726223269696 140726223252240 139855790546679 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 /proc/20959/statm: 6651316 105952 3292 1 0 6638550 0 [pid=20959/tid=20960] ppid=20957 vsize=26605264 memory=6791534058613427641 CPUtime=0.79 cores=0-7 /proc/20959/task/20960/stat : 20960 (java) S 20957 20957 8183 0 -1 1077944384 7087 0 0 0 76 3 0 0 20 0 28 0 97104051 27243790336 105952 33554432000 4194304 4196468 140726223269696 139855794787456 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20961] ppid=20957 vsize=26605264 memory=-7003737579269690708 CPUtime=0.78 cores=0-7 /proc/20959/task/20961/stat : 20961 (java) S 20957 20957 8183 0 -1 1077944384 3221 0 0 0 72 6 0 0 20 0 28 0 97104052 27243790336 105952 33554432000 4194304 4196468 140726223269696 139855747098896 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20962] ppid=20957 vsize=26605264 memory=644 CPUtime=0.81 cores=0-7 /proc/20959/task/20962/stat : 20962 (java) S 20957 20957 8183 0 -1 1077944384 2259 0 0 0 75 6 0 0 20 0 28 0 97104052 27243790336 105952 33554432000 4194304 4196468 140726223269696 139855746046352 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20963] ppid=20957 vsize=26605264 memory=1788 CPUtime=0.79 cores=0-7 /proc/20959/task/20963/stat : 20963 (java) S 20957 20957 8183 0 -1 1077944384 2151 0 0 0 74 5 0 0 20 0 28 0 97104052 27243790336 105952 33554432000 4194304 4196468 140726223269696 139855347186192 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20964] ppid=20957 vsize=26605264 memory=956 CPUtime=0.8 cores=0-7 /proc/20959/task/20964/stat : 20964 (java) S 20957 20957 8183 0 -1 1077944384 3102 0 0 0 74 6 0 0 20 0 28 0 97104052 27243790336 105952 33554432000 4194304 4196468 140726223269696 139855346133648 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20965] ppid=20957 vsize=26605264 memory=2344 CPUtime=0.8 cores=0-7 /proc/20959/task/20965/stat : 20965 (java) S 20957 20957 8183 0 -1 1077944384 3182 0 0 0 74 6 0 0 20 0 28 0 97104052 27243790336 105952 33554432000 4194304 4196468 140726223269696 139855345081104 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20966] ppid=20957 vsize=26605264 memory=928 CPUtime=0.79 cores=0-7 /proc/20959/task/20966/stat : 20966 (java) S 20957 20957 8183 0 -1 1077944384 2272 0 0 0 73 6 0 0 20 0 28 0 97104052 27243790336 105952 33554432000 4194304 4196468 140726223269696 139855344028560 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20967] ppid=20957 vsize=26605264 memory=6791534058613427641 CPUtime=0.82 cores=0-7 /proc/20959/task/20967/stat : 20967 (java) S 20957 20957 8183 0 -1 1077944384 2285 0 0 0 77 5 0 0 20 0 28 0 97104052 27243790336 105952 33554432000 4194304 4196468 140726223269696 139855342976016 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20968] ppid=20957 vsize=26605264 memory=1012 CPUtime=0.81 cores=0-7 /proc/20959/task/20968/stat : 20968 (java) S 20957 20957 8183 0 -1 1077944384 1917 0 0 0 75 6 0 0 20 0 28 0 97104052 27243790336 105952 33554432000 4194304 4196468 140726223269696 139855341923472 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20969] ppid=20957 vsize=26605264 memory=1716 CPUtime=0.64 cores=0-7 /proc/20959/task/20969/stat : 20969 (java) S 20957 20957 8183 0 -1 1077944384 8706 0 0 0 52 12 0 0 20 0 28 0 97104054 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853994891248 139855790557826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20970] ppid=20957 vsize=26605264 memory=5792 CPUtime=0 cores=0-7 /proc/20959/task/20970/stat : 20970 (java) S 20957 20957 8183 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 97104054 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853993837536 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20971] ppid=20957 vsize=26605264 memory=4616 CPUtime=0 cores=0-7 /proc/20959/task/20971/stat : 20971 (java) S 20957 20957 8183 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97104054 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853992784896 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20972] ppid=20957 vsize=26605264 memory=792 CPUtime=0 cores=0-7 /proc/20959/task/20972/stat : 20972 (java) S 20957 20957 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97104057 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853991733456 139855790565275 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20973] ppid=20957 vsize=26605264 memory=1420 CPUtime=1.67 cores=0-7 /proc/20959/task/20973/stat : 20973 (java) S 20957 20957 8183 0 -1 1077944384 6225 0 0 0 165 2 0 0 20 0 28 0 97104057 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853990681072 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20974] ppid=20957 vsize=26605264 memory=13040 CPUtime=1.78 cores=0-7 /proc/20959/task/20974/stat : 20974 (java) S 20957 20957 8183 0 -1 1077944384 7911 0 0 0 178 0 0 0 20 0 28 0 97104057 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853989628528 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20975] ppid=20957 vsize=26605264 memory=1380 CPUtime=1.68 cores=0-7 /proc/20959/task/20975/stat : 20975 (java) S 20957 20957 8183 0 -1 1077944384 6459 0 0 0 167 1 0 0 20 0 28 0 97104057 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853988575984 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20976] ppid=20957 vsize=26605264 memory=555272 CPUtime=0.85 cores=0-7 /proc/20959/task/20976/stat : 20976 (java) S 20957 20957 8183 0 -1 1077944384 6625 0 0 0 84 1 0 0 20 0 28 0 97104057 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853987523440 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20977] ppid=20957 vsize=26605264 memory=792 CPUtime=0 cores=0-7 /proc/20959/task/20977/stat : 20977 (java) S 20957 20957 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97104057 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853986470112 139855790556885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=20978] ppid=20957 vsize=26605264 memory=1420 CPUtime=0.05 cores=0-7 /proc/20959/task/20978/stat : 20978 (java) S 20957 20957 8183 0 -1 1077944384 1048 0 0 0 0 5 0 0 20 0 28 0 97104057 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853985417648 139855790557826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=21067] ppid=20957 vsize=26605264 memory=6791534058613427641 CPUtime=242.62 cores=0-7 /proc/20959/task/21067/stat : 21067 (java) R 20957 20957 8183 0 -1 4202560 2079 0 0 0 24261 1 0 0 20 0 28 0 97104639 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853977902624 139855435813142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=21068] ppid=20957 vsize=26605264 memory=1420 CPUtime=243.69 cores=0-7 /proc/20959/task/21068/stat : 21068 (java) R 20957 20957 8183 0 -1 4202560 2235 0 0 0 24368 1 0 0 20 0 28 0 97104639 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853973693256 139855432759538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=21069] ppid=20957 vsize=26605264 memory=13040 CPUtime=243.05 cores=0-7 /proc/20959/task/21069/stat : 21069 (java) R 20957 20957 8183 0 -1 4202560 2114 0 0 0 24304 1 0 0 20 0 28 0 97104639 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853970535368 139855435241112 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=21070] ppid=20957 vsize=26605264 memory=1944 CPUtime=242.58 cores=0-7 /proc/20959/task/21070/stat : 21070 (java) R 20957 20957 8183 0 -1 4202560 3576 0 0 0 24256 2 0 0 20 0 28 0 97104639 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853975798720 139855433534850 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=21071] ppid=20957 vsize=26605264 memory=1196 CPUtime=242.6 cores=0-7 /proc/20959/task/21071/stat : 21071 (java) R 20957 20957 8183 0 -1 4202560 2999 0 0 0 24258 2 0 0 20 0 28 0 97104639 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853974746312 139855429728006 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=21072] ppid=20957 vsize=26605264 memory=8548 CPUtime=243.03 cores=0-7 /proc/20959/task/21072/stat : 21072 (java) R 20957 20957 8183 0 -1 4202560 2225 0 0 0 24302 1 0 0 20 0 28 0 97104639 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853972641096 139855434284365 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=21073] ppid=20957 vsize=26605264 memory=1228 CPUtime=242.68 cores=0-7 /proc/20959/task/21073/stat : 21073 (java) R 20957 20957 8183 0 -1 4202560 6664 0 0 0 24267 1 0 0 20 0 28 0 97104639 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853971586496 139855434976530 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 [pid=20959/tid=21074] ppid=20957 vsize=26605264 memory=15876 CPUtime=242.58 cores=0-7 /proc/20959/task/21074/stat : 21074 (java) R 20957 20957 8183 0 -1 4202560 7206 0 0 0 24255 3 0 0 20 0 28 0 97104639 27243790336 105952 33554432000 4194304 4196468 140726223269696 139853969484160 139855435514644 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 27611136 140726223271064 140726223271240 140726223271240 140726223273935 0 Current children cumulated CPU time: 1992.4 s Current children cumulated vsize: 26614776 KiB Current children cumulated memory: 425188 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.048 s] # the end of solver process 20957 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001028 s, system=0.001028 s [startup+252.106 s] # the end of solver process 20959 was just reported to runsolver # cumulated CPU time of all completed processes: user=1992.22 s, system=0.905118 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.106 CPU time (s): 1993.12 CPU user time (s): 1992.22 CPU system time (s): 0.905118 CPU usage (%): 790.588 Max. virtual memory (cumulated for all children) (KiB): 26614776 Max. memory (cumulated for all children) (KiB): 609000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1992.22 system time used= 0.905118 maximum resident set size= 609884 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 98738 page faults= 0 swaps= 0 block input operations= 0 block output operations= 464 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 56166 involuntary context switches= 23623 # summary of solver processes directly reported to runsolver: # pid: 20957,20959 # total CPU time (s): 1993.12 # total CPU user time (s): 1992.22 # total CPU system time (s): 0.905118 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.64148 second user time and 2.49883 second system time The end
Begin job on node103 at 2017-08-13 17:48:20 IDJOB=4271780 IDBENCH=115964 IDSOLVER=2663 FILE ID=node103/4271780-1502640158 RUNJOBID= node103-1502637526-8210 PBS_JOBID= 20628330 Free space on /tmp= 61796 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-11-12.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271780-1502640158/watcher-4271780-1502640158 -o /tmp/evaluation-result-4271780-1502640158/solver-4271780-1502640158 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 339199499 HOME/instance-4271780-1502640158.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4e3f80c217ff28730f7a01615dcb2e7f RANDOM SEED=339199499 node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 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: 31665052 kB MemAvailable: 31991356 kB Buffers: 106212 kB Cached: 514660 kB SwapCached: 0 kB Active: 516784 kB Inactive: 159808 kB Active(anon): 5008 kB Inactive(anon): 78632 kB Active(file): 511776 kB Inactive(file): 81176 kB Unevictable: 6420 kB Mlocked: 6420 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8000 kB Writeback: 0 kB AnonPages: 62276 kB Mapped: 42656 kB Shmem: 25228 kB Slab: 124428 kB SReclaimable: 98376 kB SUnreclaim: 26052 kB KernelStack: 3232 kB PageTables: 5644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323668 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61788 MiB End job on node103 at 2017-08-13 17:52:32