Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | SAT (TO) | 59 | 1991.3101 | 252.117 |
Name | StillLife/StillLife-m1-s1/ StillLife-10-11.xml |
MD5SUM | 3405d24406a310706e7598d386d00f36 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 59 |
Best CPU time to get the best result obtained on this benchmark | 247.51601 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 220 |
Number of constraints | 254 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":2,"count":110},{"size":9,"count":110}] |
Minimum variable degree | 2 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":2,"count":110},{"degree":7,"count":4},{"degree":8,"count":34},{"degree":10,"count":72}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":110},{"arity":3,"count":34},{"arity":4,"count":4},{"arity":6,"count":34},{"arity":9,"count":72}] |
Number of extensional constraints | 144 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":144},{"type":"sum","count":110}] |
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-4271777-1502639968.xml" -tl '2016s' -p 8 -x 0 0.12/0.15 c [HOME/instance-4271777-1502639968.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 1.79/0.77 c solve instance... 2.29/0.83 o 0 2.29/0.84 o 4 2.29/0.86 o 6 2.29/0.88 o 8 2.91/0.90 o 50 2.91/0.91 o 51 2.91/0.91 o 53 2.91/0.92 o 54 2.91/0.93 o 55 2.91/0.94 o 56 7.53/1.55 o 57 11.53/2.07 o 58 11.53/2.08 o 59 1990.50/252.09 s SATISFIABLE 1990.50/252.09 v <instantiation> 1990.50/252.09 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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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] </list> 1990.50/252.09 v <values>1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 3 3 4 3 3 4 3 3 4 3 3 3 3 4 3 3 4 3 3 4 3 3 4 5 5 5 5 5 5 5 5 5 4 2 3 2 3 3 3 2 2 2 3 2 2 5 4 5 3 5 5 5 5 5 3 2 4 3 5 4 4 3 2 4 3 4 2 3 3 3 3 3 6 3 5 2 2 2 5 5 5 6 3 6 2 5 4 4 2 5 3 3 5 3 6 3 5 3 2 2 3 3 4 3 2 4 2 3 4 2 </values> 1990.50/252.09 v </instantiation> 1990.50/252.09 c Unexpected resolution interruption!
OK 59
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 (15083 MiB free) memory of node 1: 16384 MiB (15693 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271777-1502639968/watcher-4271777-1502639968 -o /tmp/evaluation-result-4271777-1502639968/solver-4271777-1502639968 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502637338-4709 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1442463680 HOME/instance-4271777-1502639968.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=8544, runsolver pid=8541 [startup+0.100063 s]* /proc/loadavg: 8.16 7.93 6.99 2/199 8565 /proc/meminfo: memFree=31501580/32770624 swapFree=67108860/67108860 [pid=8544] ppid=8541 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8544/stat : 8544 (xcsp3-exec) S 8541 8544 4682 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97084609 9740288 346 33554432000 4194304 5098028 140724482975824 140724482973928 140104177627772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13271040 140724482978922 140724482979132 140724482979132 140724482981867 0 /proc/8544/statm: 2378 346 289 221 0 87 0 [pid=8546] ppid=8544 vsize=25999808 memory=25056 CPUtime=0.12 cores=0-7 /proc/8546/stat : 8546 (java) S 8544 8544 4682 0 -1 1077944320 5573 0 0 0 11 1 0 0 20 0 20 0 97084609 26623803392 6264 33554432000 4194304 4196468 140736315332432 140736315314976 140208031149815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 /proc/8546/statm: 6499952 6264 2885 1 0 6488269 0 [pid=8546/tid=8547] ppid=8544 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/8546/task/8547/stat : 8547 (java) R 8544 8544 4682 0 -1 4202560 3547 0 0 0 8 0 0 0 20 0 20 0 97084610 26623803392 6264 33554432000 4194304 4196468 140736315332432 140208035382064 140208015193445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8548] ppid=8544 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/8546/task/8548/stat : 8548 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26623803392 6264 33554432000 4194304 4196468 140736315332432 140208000863120 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8549] ppid=8544 vsize=25999808 memory=139754351949440 CPUtime=0 cores=0-7 /proc/8546/task/8549/stat : 8549 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26623803392 6264 33554432000 4194304 4196468 140736315332432 140207588453136 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8550] ppid=8544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8550/stat : 8550 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26623803392 6264 33554432000 4194304 4196468 140736315332432 140207587400848 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8551] ppid=8544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8551/stat : 8551 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26623803392 6264 33554432000 4194304 4196468 140736315332432 140207586348048 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8552] ppid=8544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8552/stat : 8552 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26623803392 6264 33554432000 4194304 4196468 140736315332432 140207585294736 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8553] ppid=8544 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/8546/task/8553/stat : 8553 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26623803392 6264 33554432000 4194304 4196468 140736315332432 140207584241936 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8554] ppid=8544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8554/stat : 8554 (java) S 8544 8544 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97084611 26623803392 6264 33554432000 4194304 4196468 140736315332432 140207583189648 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8555] ppid=8544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8555/stat : 8555 (java) S 8544 8544 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97084611 26623803392 6264 33554432000 4194304 4196468 140736315332432 140207582136848 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8556] ppid=8544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8556/stat : 8556 (java) S 8544 8544 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97084612 26623803392 6264 33554432000 4194304 4196468 140736315332432 140206638799472 140208031160962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8557] ppid=8544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8557/stat : 8557 (java) S 8544 8544 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97084613 26623803392 6264 33554432000 4194304 4196468 140736315332432 140206637745440 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8558] ppid=8544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8558/stat : 8558 (java) S 8544 8544 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97084613 26623803392 6264 33554432000 4194304 4196468 140736315332432 140206636693104 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8559] ppid=8544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8559/stat : 8559 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084615 26623803392 6264 33554432000 4194304 4196468 140736315332432 140206635641424 140208031168411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8560] ppid=8544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8560/stat : 8560 (java) S 8544 8544 4682 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 20 0 97084615 26623803392 6264 33554432000 4194304 4196468 140736315332432 140206634588272 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8561] ppid=8544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8561/stat : 8561 (java) S 8544 8544 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97084615 26623803392 6264 33554432000 4194304 4196468 140736315332432 140206633535472 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8562] ppid=8544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8562/stat : 8562 (java) S 8544 8544 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97084615 26623803392 6264 33554432000 4194304 4196468 140736315332432 140206632483184 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8563] ppid=8544 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/8546/task/8563/stat : 8563 (java) S 8544 8544 4682 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 20 0 97084615 26623803392 6264 33554432000 4194304 4196468 140736315332432 140206631430384 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8564] ppid=8544 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8564/stat : 8564 (java) S 8544 8544 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97084615 26623803392 6264 33554432000 4194304 4196468 140736315332432 140206630378336 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8565] ppid=8544 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/8546/task/8565/stat : 8565 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084616 26623803392 6264 33554432000 4194304 4196468 140736315332432 140206629325616 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 26440 KiB [startup+0.210353 s]* /proc/loadavg: 8.16 7.93 6.99 2/199 8565 /proc/meminfo: memFree=31492060/32770624 swapFree=67108860/67108860 [pid=8544] ppid=8541 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8544/stat : 8544 (xcsp3-exec) S 8541 8544 4682 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97084609 9740288 346 33554432000 4194304 5098028 140724482975824 140724482973928 140104177627772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13271040 140724482978922 140724482979132 140724482979132 140724482981867 0 /proc/8544/statm: 2378 346 289 221 0 87 0 [pid=8546] ppid=8544 vsize=26004064 memory=37832 CPUtime=0.33 cores=0-7 /proc/8546/stat : 8546 (java) S 8544 8544 4682 0 -1 1077944320 8548 0 0 0 31 2 0 0 20 0 20 0 97084609 26628161536 9458 33554432000 4194304 4196468 140736315332432 140736315314976 140208031149815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 /proc/8546/statm: 6501016 9458 3056 1 0 6488269 0 [pid=8546/tid=8547] ppid=8544 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/8546/task/8547/stat : 8547 (java) R 8544 8544 4682 0 -1 4202560 5448 0 0 0 18 1 0 0 20 0 20 0 97084610 26628161536 9458 33554432000 4194304 4196468 140736315332432 140208035372704 140208023827829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8548] ppid=8544 vsize=26004064 memory=329 CPUtime=0 cores=0-7 /proc/8546/task/8548/stat : 8548 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26628161536 9458 33554432000 4194304 4196468 140736315332432 140208000863120 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8549] ppid=8544 vsize=26004064 memory=139754351958241 CPUtime=0 cores=0-7 /proc/8546/task/8549/stat : 8549 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26628161536 9458 33554432000 4194304 4196468 140736315332432 140207588453136 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8550] ppid=8544 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/8546/task/8550/stat : 8550 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26628161536 9458 33554432000 4194304 4196468 140736315332432 140207587400848 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8551] ppid=8544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8551/stat : 8551 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26628161536 9458 33554432000 4194304 4196468 140736315332432 140207586348048 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8552] ppid=8544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8552/stat : 8552 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26628161536 9458 33554432000 4194304 4196468 140736315332432 140207585294736 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8553] ppid=8544 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/8546/task/8553/stat : 8553 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26628161536 9458 33554432000 4194304 4196468 140736315332432 140207584241936 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8554] ppid=8544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8554/stat : 8554 (java) S 8544 8544 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97084611 26628161536 9458 33554432000 4194304 4196468 140736315332432 140207583189648 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8555] ppid=8544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8555/stat : 8555 (java) S 8544 8544 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97084611 26628161536 9458 33554432000 4194304 4196468 140736315332432 140207582136848 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8556] ppid=8544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8556/stat : 8556 (java) S 8544 8544 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97084612 26628161536 9458 33554432000 4194304 4196468 140736315332432 140206638799472 140208031160962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8557] ppid=8544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8557/stat : 8557 (java) S 8544 8544 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97084613 26628161536 9458 33554432000 4194304 4196468 140736315332432 140206637745440 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8558] ppid=8544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8558/stat : 8558 (java) S 8544 8544 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97084613 26628161536 9458 33554432000 4194304 4196468 140736315332432 140206636693104 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8559] ppid=8544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8559/stat : 8559 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084615 26628161536 9458 33554432000 4194304 4196468 140736315332432 140206635641424 140208031168411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8560] ppid=8544 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/8546/task/8560/stat : 8560 (java) S 8544 8544 4682 0 -1 1077944384 606 0 0 0 1 0 0 0 20 0 20 0 97084615 26628161536 9458 33554432000 4194304 4196468 140736315332432 140206634588272 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8561] ppid=8544 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/8546/task/8561/stat : 8561 (java) S 8544 8544 4682 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 20 0 97084615 26628161536 9458 33554432000 4194304 4196468 140736315332432 140206633535472 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8562] ppid=8544 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/8546/task/8562/stat : 8562 (java) S 8544 8544 4682 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 20 0 97084615 26628161536 9458 33554432000 4194304 4196468 140736315332432 140206632483184 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8563] ppid=8544 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7 /proc/8546/task/8563/stat : 8563 (java) S 8544 8544 4682 0 -1 1077944384 920 0 0 0 8 0 0 0 20 0 20 0 97084615 26628161536 9458 33554432000 4194304 4196468 140736315332432 140206631430384 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8564] ppid=8544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8564/stat : 8564 (java) S 8544 8544 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97084615 26628161536 9458 33554432000 4194304 4196468 140736315332432 140206630378336 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8565] ppid=8544 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/8546/task/8565/stat : 8565 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084616 26628161536 9458 33554432000 4194304 4196468 140736315332432 140206629325616 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 39216 KiB [startup+0.31032 s]* /proc/loadavg: 8.16 7.93 6.99 5/199 8565 /proc/meminfo: memFree=31484864/32770624 swapFree=67108860/67108860 [pid=8544] ppid=8541 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8544/stat : 8544 (xcsp3-exec) S 8541 8544 4682 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97084609 9740288 346 33554432000 4194304 5098028 140724482975824 140724482973928 140104177627772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13271040 140724482978922 140724482979132 140724482979132 140724482981867 0 /proc/8544/statm: 2378 346 289 221 0 87 0 [pid=8546] ppid=8544 vsize=26004064 memory=43048 CPUtime=0.5 cores=0-7 /proc/8546/stat : 8546 (java) S 8544 8544 4682 0 -1 1077944320 9478 0 0 0 47 3 0 0 20 0 20 0 97084609 26628161536 10762 33554432000 4194304 4196468 140736315332432 140736315314976 140208031149815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 /proc/8546/statm: 6501016 10762 3094 1 0 6488269 0 [pid=8546/tid=8547] ppid=8544 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/8546/task/8547/stat : 8547 (java) R 8544 8544 4682 0 -1 4202560 6141 0 0 0 27 2 0 0 20 0 20 0 97084610 26628161536 10762 33554432000 4194304 4196468 140736315332432 140208035388944 140207667641340 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8548] ppid=8544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8548/stat : 8548 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26628161536 10762 33554432000 4194304 4196468 140736315332432 140208000863120 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8549] ppid=8544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8549/stat : 8549 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26628161536 10762 33554432000 4194304 4196468 140736315332432 140207588453136 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8550] ppid=8544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8550/stat : 8550 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26628161536 10762 33554432000 4194304 4196468 140736315332432 140207587400848 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8551] ppid=8544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8551/stat : 8551 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26628161536 10762 33554432000 4194304 4196468 140736315332432 140207586348048 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8552] ppid=8544 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/8546/task/8552/stat : 8552 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26628161536 10762 33554432000 4194304 4196468 140736315332432 140207585294736 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8553] ppid=8544 vsize=26004064 memory=139754209375151 CPUtime=0 cores=0-7 /proc/8546/task/8553/stat : 8553 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26628161536 10762 33554432000 4194304 4196468 140736315332432 140207584241936 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8554] ppid=8544 vsize=26004064 memory=139754209377456 CPUtime=0 cores=0-7 /proc/8546/task/8554/stat : 8554 (java) S 8544 8544 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97084611 26628161536 10762 33554432000 4194304 4196468 140736315332432 140207583189648 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8555] ppid=8544 vsize=26004064 memory=139754209379760 CPUtime=0 cores=0-7 /proc/8546/task/8555/stat : 8555 (java) S 8544 8544 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97084611 26628161536 10762 33554432000 4194304 4196468 140736315332432 140207582136848 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8556] ppid=8544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8556/stat : 8556 (java) S 8544 8544 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97084612 26628161536 10762 33554432000 4194304 4196468 140736315332432 140206638799472 140208031160962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8557] ppid=8544 vsize=26004064 memory=279508418766480 CPUtime=0 cores=0-7 /proc/8546/task/8557/stat : 8557 (java) S 8544 8544 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97084613 26628161536 10762 33554432000 4194304 4196468 140736315332432 140206637745440 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8558] ppid=8544 vsize=26004064 memory=279508418773392 CPUtime=0 cores=0-7 /proc/8546/task/8558/stat : 8558 (java) S 8544 8544 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97084613 26628161536 10762 33554432000 4194304 4196468 140736315332432 140206636693104 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8559] ppid=8544 vsize=26004064 memory=279508418714672 CPUtime=0 cores=0-7 /proc/8546/task/8559/stat : 8559 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084615 26628161536 10762 33554432000 4194304 4196468 140736315332432 140206635641424 140208031168411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8560] ppid=8544 vsize=26004064 memory=279508418787216 CPUtime=0.01 cores=0-7 /proc/8546/task/8560/stat : 8560 (java) S 8544 8544 4682 0 -1 1077944384 608 0 0 0 1 0 0 0 20 0 20 0 97084615 26628161536 10762 33554432000 4194304 4196468 140736315332432 140206634588272 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8561] ppid=8544 vsize=26004064 memory=279508418794128 CPUtime=0.02 cores=0-7 /proc/8546/task/8561/stat : 8561 (java) S 8544 8544 4682 0 -1 1077944384 182 0 0 0 2 0 0 0 20 0 20 0 97084615 26628161536 10762 33554432000 4194304 4196468 140736315332432 140206633535472 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8562] ppid=8544 vsize=26004064 memory=279508418791824 CPUtime=0.02 cores=0-7 /proc/8546/task/8562/stat : 8562 (java) R 8544 8544 4682 0 -1 4202560 174 0 0 0 2 0 0 0 20 0 20 0 97084615 26628161536 10762 33554432000 4194304 4196468 140736315332432 140206632483184 140208009386201 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8563] ppid=8544 vsize=26004064 memory=279508418807984 CPUtime=0.12 cores=0-7 /proc/8546/task/8563/stat : 8563 (java) R 8544 8544 4682 0 -1 4202560 1073 0 0 0 12 0 0 0 20 0 20 0 97084615 26628161536 10762 33554432000 4194304 4196468 140736315332432 140206631426752 140208009946005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8564] ppid=8544 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8564/stat : 8564 (java) S 8544 8544 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97084615 26628161536 10762 33554432000 4194304 4196468 140736315332432 140206630378336 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8565] ppid=8544 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/8546/task/8565/stat : 8565 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084616 26628161536 10762 33554432000 4194304 4196468 140736315332432 140206629325616 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 44432 KiB [startup+0.700969 s] /proc/loadavg: 8.16 7.93 6.99 3/199 8565 /proc/meminfo: memFree=31472208/32770624 swapFree=67108860/67108860 [pid=8544] ppid=8541 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8544/stat : 8544 (xcsp3-exec) S 8541 8544 4682 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97084609 9740288 346 33554432000 4194304 5098028 140724482975824 140724482973928 140104177627772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13271040 140724482978922 140724482979132 140724482979132 140724482981867 0 /proc/8544/statm: 2378 346 289 221 0 87 0 [pid=8546] ppid=8544 vsize=26006188 memory=89704 CPUtime=1.79 cores=0-7 /proc/8546/stat : 8546 (java) S 8544 8544 4682 0 -1 1077944320 15083 0 0 0 174 5 0 0 20 0 20 0 97084609 26630336512 22426 33554432000 4194304 4196468 140736315332432 140736315314976 140208031149815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 /proc/8546/statm: 6501547 22426 3208 1 0 6488781 0 [pid=8546/tid=8547] ppid=8544 vsize=26006188 memory=279508419165872 CPUtime=0.67 cores=0-7 /proc/8546/task/8547/stat : 8547 (java) R 8544 8544 4682 0 -1 4202560 6870 0 0 0 64 3 0 0 20 0 20 0 97084610 26630336512 22426 33554432000 4194304 4196468 140736315332432 140208035383280 140207667639840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8548] ppid=8544 vsize=26006188 memory=139754209583984 CPUtime=0 cores=0-7 /proc/8546/task/8548/stat : 8548 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26630336512 22426 33554432000 4194304 4196468 140736315332432 140208000863120 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8549] ppid=8544 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/8546/task/8549/stat : 8549 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26630336512 22426 33554432000 4194304 4196468 140736315332432 140207588453136 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8550] ppid=8544 vsize=26006188 memory=4612 CPUtime=0 cores=0-7 /proc/8546/task/8550/stat : 8550 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97084611 26630336512 22426 33554432000 4194304 4196468 140736315332432 140207587400848 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 ################ # More data... # ################ [pid=8546/tid=8677] ppid=8544 vsize=26605264 memory=4140 CPUtime=157.33 cores=0-7 /proc/8546/task/8677/stat : 8677 (java) R 8544 8544 4682 0 -1 4202560 5310 0 0 0 15732 1 0 0 20 0 28 0 97084818 27243790336 75692 33554432000 4194304 4196468 140736315332432 140206617104432 140207676017350 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 Current children cumulated CPU time: 1280.01 s Current children cumulated vsize: 26614776 KiB Current children cumulated memory: 304152 KiB [startup+222.306 s] /proc/loadavg: 8.21 8.12 7.27 9/207 8677 /proc/meminfo: memFree=31141940/32770624 swapFree=67108860/67108860 [pid=8544] ppid=8541 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8544/stat : 8544 (xcsp3-exec) S 8541 8544 4682 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97084609 9740288 346 33554432000 4194304 5098028 140724482975824 140724482973928 140104177627772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13271040 140724482978922 140724482979132 140724482979132 140724482981867 0 /proc/8544/statm: 2378 346 289 221 0 87 0 [pid=8546] ppid=8544 vsize=26605264 memory=388184 CPUtime=1755.09 cores=0-7 /proc/8546/stat : 8546 (java) S 8544 8544 4682 0 -1 1077944320 104496 0 0 0 175417 92 0 0 20 0 28 0 97084609 27243790336 97046 33554432000 4194304 4196468 140736315332432 140736315314976 140208031149815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 /proc/8546/statm: 6651316 97046 3279 1 0 6638550 0 [pid=8546/tid=8547] ppid=8544 vsize=26605264 memory=388176 CPUtime=0.76 cores=0-7 /proc/8546/task/8547/stat : 8547 (java) S 8544 8544 4682 0 -1 1077944384 6944 0 0 0 73 3 0 0 20 0 28 0 97084610 27243790336 97046 33554432000 4194304 4196468 140736315332432 140208035390592 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8548] ppid=8544 vsize=26605264 memory=1384 CPUtime=0.58 cores=0-7 /proc/8546/task/8548/stat : 8548 (java) S 8544 8544 4682 0 -1 1077944384 4256 0 0 0 50 8 0 0 20 0 28 0 97084611 27243790336 97046 33554432000 4194304 4196468 140736315332432 140208000863120 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8549] ppid=8544 vsize=26605264 memory=54 CPUtime=0.57 cores=0-7 /proc/8546/task/8549/stat : 8549 (java) S 8544 8544 4682 0 -1 1077944384 3669 0 0 0 50 7 0 0 20 0 28 0 97084611 27243790336 97046 33554432000 4194304 4196468 140736315332432 140207588453136 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8550] ppid=8544 vsize=26605264 memory=1384 CPUtime=0.56 cores=0-7 /proc/8546/task/8550/stat : 8550 (java) S 8544 8544 4682 0 -1 1077944384 2999 0 0 0 49 7 0 0 20 0 28 0 97084611 27243790336 97046 33554432000 4194304 4196468 140736315332432 140207587400848 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8551] ppid=8544 vsize=26605264 memory=164 CPUtime=0.56 cores=0-7 /proc/8546/task/8551/stat : 8551 (java) S 8544 8544 4682 0 -1 1077944384 3063 0 0 0 49 7 0 0 20 0 28 0 97084611 27243790336 97046 33554432000 4194304 4196468 140736315332432 140207586348048 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8552] ppid=8544 vsize=26605264 memory=1384 CPUtime=0.58 cores=0-7 /proc/8546/task/8552/stat : 8552 (java) S 8544 8544 4682 0 -1 1077944384 2763 0 0 0 50 8 0 0 20 0 28 0 97084611 27243790336 97046 33554432000 4194304 4196468 140736315332432 140207585294736 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8553] ppid=8544 vsize=26605264 memory=388184 CPUtime=0.57 cores=0-7 /proc/8546/task/8553/stat : 8553 (java) S 8544 8544 4682 0 -1 1077944384 2270 0 0 0 50 7 0 0 20 0 28 0 97084611 27243790336 97046 33554432000 4194304 4196468 140736315332432 140207584241936 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8554] ppid=8544 vsize=26605264 memory=1384 CPUtime=0.58 cores=0-7 /proc/8546/task/8554/stat : 8554 (java) S 8544 8544 4682 0 -1 1077944384 2313 0 0 0 50 8 0 0 20 0 28 0 97084611 27243790336 97046 33554432000 4194304 4196468 140736315332432 140207583189648 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8555] ppid=8544 vsize=26605264 memory=383880 CPUtime=0.57 cores=0-7 /proc/8546/task/8555/stat : 8555 (java) S 8544 8544 4682 0 -1 1077944384 2554 0 0 0 50 7 0 0 20 0 28 0 97084611 27243790336 97046 33554432000 4194304 4196468 140736315332432 140207582136848 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8556] ppid=8544 vsize=26605264 memory=0 CPUtime=0.65 cores=0-7 /proc/8546/task/8556/stat : 8556 (java) S 8544 8544 4682 0 -1 1077944384 9748 0 0 0 59 6 0 0 20 0 28 0 97084612 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206638799472 140208031160962 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8557] ppid=8544 vsize=26605264 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/8546/task/8557/stat : 8557 (java) S 8544 8544 4682 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 97084613 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206637745504 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8558] ppid=8544 vsize=26605264 memory=1384 CPUtime=0 cores=0-7 /proc/8546/task/8558/stat : 8558 (java) S 8544 8544 4682 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97084613 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206636693104 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8559] ppid=8544 vsize=26605264 memory=386116 CPUtime=0 cores=0-7 /proc/8546/task/8559/stat : 8559 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97084615 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206635641424 140208031168411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8560] ppid=8544 vsize=26605264 memory=8112282956445269571 CPUtime=1.4 cores=0-7 /proc/8546/task/8560/stat : 8560 (java) S 8544 8544 4682 0 -1 1077944384 6108 0 0 0 139 1 0 0 20 0 28 0 97084615 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206634588272 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8561] ppid=8544 vsize=26605264 memory=4872558044660077418 CPUtime=1.48 cores=0-7 /proc/8546/task/8561/stat : 8561 (java) S 8544 8544 4682 0 -1 1077944384 6751 0 0 0 147 1 0 0 20 0 28 0 97084615 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206633535472 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8562] ppid=8544 vsize=26605264 memory=1948 CPUtime=1.54 cores=0-7 /proc/8546/task/8562/stat : 8562 (java) S 8544 8544 4682 0 -1 1077944384 6478 0 0 0 153 1 0 0 20 0 28 0 97084615 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206632483184 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8563] ppid=8544 vsize=26605264 memory=8560 CPUtime=0.81 cores=0-7 /proc/8546/task/8563/stat : 8563 (java) S 8544 8544 4682 0 -1 1077944384 6574 0 0 0 80 1 0 0 20 0 28 0 97084615 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206631430384 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8564] ppid=8544 vsize=26605264 memory=364972 CPUtime=0 cores=0-7 /proc/8546/task/8564/stat : 8564 (java) S 8544 8544 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97084615 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206630378336 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8565] ppid=8544 vsize=26605264 memory=279508421563360 CPUtime=0.04 cores=0-7 /proc/8546/task/8565/stat : 8565 (java) S 8544 8544 4682 0 -1 1077944384 1341 0 0 0 2 2 0 0 20 0 28 0 97084616 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206629325616 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8670] ppid=8544 vsize=26605264 memory=27828 CPUtime=217.26 cores=0-7 /proc/8546/task/8670/stat : 8670 (java) R 8544 8544 4682 0 -1 4202560 2509 0 0 0 21724 2 0 0 20 0 28 0 97084818 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206612892784 140207673595565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8671] ppid=8544 vsize=26605264 memory=1296 CPUtime=217.2 cores=0-7 /proc/8546/task/8671/stat : 8671 (java) R 8544 8544 4682 0 -1 4202560 2197 0 0 0 21720 0 0 0 20 0 28 0 97084818 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206613947384 140207674720809 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8672] ppid=8544 vsize=26605264 memory=27828 CPUtime=217.44 cores=0-7 /proc/8546/task/8672/stat : 8672 (java) R 8544 8544 4682 0 -1 4202560 2895 0 0 0 21743 1 0 0 20 0 28 0 97084818 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206620266664 140207673647436 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8673] ppid=8544 vsize=26605264 memory=1296 CPUtime=217.01 cores=0-7 /proc/8546/task/8673/stat : 8673 (java) R 8544 8544 4682 0 -1 4202560 3768 0 0 0 21699 2 0 0 20 0 28 0 97084818 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206621314952 140207668627678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8674] ppid=8544 vsize=26605264 memory=2416 CPUtime=217.35 cores=0-7 /proc/8546/task/8674/stat : 8674 (java) R 8544 8544 4682 0 -1 4202560 3962 0 0 0 21733 2 0 0 20 0 28 0 97084818 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206619213760 140207670958672 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8675] ppid=8544 vsize=26605264 memory=1716 CPUtime=217.29 cores=0-7 /proc/8546/task/8675/stat : 8675 (java) R 8544 8544 4682 0 -1 4202560 2451 0 0 0 21729 0 0 0 20 0 28 0 97084818 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206618160960 140207676227606 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8676] ppid=8544 vsize=26605264 memory=1948 CPUtime=217.19 cores=0-7 /proc/8546/task/8676/stat : 8676 (java) R 8544 8544 4682 0 -1 4202560 8827 0 0 0 21716 3 0 0 20 0 28 0 97084818 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206615003312 140208012556107 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8677] ppid=8544 vsize=26605264 memory=8560 CPUtime=216.23 cores=0-7 /proc/8546/task/8677/stat : 8677 (java) R 8544 8544 4682 0 -1 4202560 6687 0 0 0 21620 3 0 0 20 0 28 0 97084818 27243790336 97046 33554432000 4194304 4196468 140736315332432 140206617108280 140208010875029 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 Current children cumulated CPU time: 1755.09 s Current children cumulated vsize: 26614776 KiB Current children cumulated memory: 389568 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.13 8.11 7.30 9/207 8677 /proc/meminfo: memFree=31135668/32770624 swapFree=67108860/67108860 [pid=8544] ppid=8541 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/8544/stat : 8544 (xcsp3-exec) S 8541 8544 4682 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97084609 9740288 346 33554432000 4194304 5098028 140724482975824 140724482973928 140104177627772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13271040 140724482978922 140724482979132 140724482979132 140724482981867 0 /proc/8544/statm: 2378 346 289 221 0 87 0 [pid=8546] ppid=8544 vsize=26605264 memory=394424 CPUtime=1990.5 cores=0-7 /proc/8546/stat : 8546 (java) S 8544 8544 4682 0 -1 1077944320 113014 0 0 0 198953 97 0 0 20 0 28 0 97084609 27243790336 98606 33554432000 4194304 4196468 140736315332432 140736315314976 140208031149815 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 /proc/8546/statm: 6651316 98606 3279 1 0 6638550 0 [pid=8546/tid=8547] ppid=8544 vsize=26605264 memory=8112282956445269571 CPUtime=0.76 cores=0-7 /proc/8546/task/8547/stat : 8547 (java) S 8544 8544 4682 0 -1 1077944384 6944 0 0 0 73 3 0 0 20 0 28 0 97084610 27243790336 98606 33554432000 4194304 4196468 140736315332432 140208035390592 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8548] ppid=8544 vsize=26605264 memory=4872558044660077418 CPUtime=0.64 cores=0-7 /proc/8546/task/8548/stat : 8548 (java) S 8544 8544 4682 0 -1 1077944384 4483 0 0 0 56 8 0 0 20 0 28 0 97084611 27243790336 98606 33554432000 4194304 4196468 140736315332432 140208000863120 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8549] ppid=8544 vsize=26605264 memory=1384 CPUtime=0.63 cores=0-7 /proc/8546/task/8549/stat : 8549 (java) S 8544 8544 4682 0 -1 1077944384 3883 0 0 0 56 7 0 0 20 0 28 0 97084611 27243790336 98606 33554432000 4194304 4196468 140736315332432 140207588453136 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8550] ppid=8544 vsize=26605264 memory=394424 CPUtime=0.62 cores=0-7 /proc/8546/task/8550/stat : 8550 (java) S 8544 8544 4682 0 -1 1077944384 3610 0 0 0 55 7 0 0 20 0 28 0 97084611 27243790336 98606 33554432000 4194304 4196468 140736315332432 140207587400848 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8551] ppid=8544 vsize=26605264 memory=6944656592455360604 CPUtime=0.63 cores=0-7 /proc/8546/task/8551/stat : 8551 (java) S 8544 8544 4682 0 -1 1077944384 3307 0 0 0 55 8 0 0 20 0 28 0 97084611 27243790336 98606 33554432000 4194304 4196468 140736315332432 140207586348048 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8552] ppid=8544 vsize=26605264 memory=8560 CPUtime=0.64 cores=0-7 /proc/8546/task/8552/stat : 8552 (java) S 8544 8544 4682 0 -1 1077944384 3318 0 0 0 56 8 0 0 20 0 28 0 97084611 27243790336 98606 33554432000 4194304 4196468 140736315332432 140207585294736 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8553] ppid=8544 vsize=26605264 memory=1228 CPUtime=0.64 cores=0-7 /proc/8546/task/8553/stat : 8553 (java) S 8544 8544 4682 0 -1 1077944384 2821 0 0 0 56 8 0 0 20 0 28 0 97084611 27243790336 98606 33554432000 4194304 4196468 140736315332432 140207584241936 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8554] ppid=8544 vsize=26605264 memory=12028 CPUtime=0.64 cores=0-7 /proc/8546/task/8554/stat : 8554 (java) S 8544 8544 4682 0 -1 1077944384 2764 0 0 0 55 9 0 0 20 0 28 0 97084611 27243790336 98606 33554432000 4194304 4196468 140736315332432 140207583189648 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8555] ppid=8544 vsize=26605264 memory=5668 CPUtime=0.63 cores=0-7 /proc/8546/task/8555/stat : 8555 (java) S 8544 8544 4682 0 -1 1077944384 2868 0 0 0 55 8 0 0 20 0 28 0 97084611 27243790336 98606 33554432000 4194304 4196468 140736315332432 140207582136848 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8556] ppid=8544 vsize=26605264 memory=1008 CPUtime=0.72 cores=0-7 /proc/8546/task/8556/stat : 8556 (java) S 8544 8544 4682 0 -1 1077944384 11007 0 0 0 65 7 0 0 20 0 28 0 97084612 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206638799472 140208031160962 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8557] ppid=8544 vsize=26605264 memory=4612 CPUtime=0 cores=0-7 /proc/8546/task/8557/stat : 8557 (java) S 8544 8544 4682 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 97084613 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206637745504 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8558] ppid=8544 vsize=26605264 memory=1428 CPUtime=0 cores=0-7 /proc/8546/task/8558/stat : 8558 (java) S 8544 8544 4682 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97084613 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206636693104 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8559] ppid=8544 vsize=26605264 memory=1204 CPUtime=0 cores=0-7 /proc/8546/task/8559/stat : 8559 (java) S 8544 8544 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97084615 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206635641424 140208031168411 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8560] ppid=8544 vsize=26605264 memory=15876 CPUtime=1.4 cores=0-7 /proc/8546/task/8560/stat : 8560 (java) S 8544 8544 4682 0 -1 1077944384 6117 0 0 0 139 1 0 0 20 0 28 0 97084615 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206634588272 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8561] ppid=8544 vsize=26605264 memory=17876 CPUtime=1.48 cores=0-7 /proc/8546/task/8561/stat : 8561 (java) S 8544 8544 4682 0 -1 1077944384 6757 0 0 0 147 1 0 0 20 0 28 0 97084615 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206633535472 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8562] ppid=8544 vsize=26605264 memory=1384 CPUtime=1.54 cores=0-7 /proc/8546/task/8562/stat : 8562 (java) S 8544 8544 4682 0 -1 1077944384 6484 0 0 0 153 1 0 0 20 0 28 0 97084615 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206632483184 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8563] ppid=8544 vsize=26605264 memory=392376 CPUtime=0.81 cores=0-7 /proc/8546/task/8563/stat : 8563 (java) S 8544 8544 4682 0 -1 1077944384 6580 0 0 0 80 1 0 0 20 0 28 0 97084615 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206631430384 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8564] ppid=8544 vsize=26605264 memory=1296 CPUtime=0 cores=0-7 /proc/8546/task/8564/stat : 8564 (java) S 8544 8544 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97084615 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206630378336 140208031160021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8565] ppid=8544 vsize=26605264 memory=394424 CPUtime=0.04 cores=0-7 /proc/8546/task/8565/stat : 8565 (java) S 8544 8544 4682 0 -1 1077944384 1402 0 0 0 2 2 0 0 20 0 28 0 97084616 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206629325616 140208031160962 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8670] ppid=8544 vsize=26605264 memory=4140 CPUtime=246.66 cores=0-7 /proc/8546/task/8670/stat : 8670 (java) R 8544 8544 4682 0 -1 4202560 2861 0 0 0 24664 2 0 0 20 0 28 0 97084818 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206612896168 140207674720528 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8671] ppid=8544 vsize=26605264 memory=27828 CPUtime=246.68 cores=0-7 /proc/8546/task/8671/stat : 8671 (java) R 8544 8544 4682 0 -1 4202560 2479 0 0 0 24668 0 0 0 20 0 28 0 97084818 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206613947248 140207673646890 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8672] ppid=8544 vsize=26605264 memory=1296 CPUtime=246.75 cores=0-7 /proc/8546/task/8672/stat : 8672 (java) R 8544 8544 4682 0 -1 4202560 3224 0 0 0 24674 1 0 0 20 0 28 0 97084818 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206620262096 140207674578751 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8673] ppid=8544 vsize=26605264 memory=2416 CPUtime=246.31 cores=0-7 /proc/8546/task/8673/stat : 8673 (java) R 8544 8544 4682 0 -1 4202560 4262 0 0 0 24628 3 0 0 20 0 28 0 97084818 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206621315320 140207675419079 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8674] ppid=8544 vsize=26605264 memory=1728 CPUtime=246.82 cores=0-7 /proc/8546/task/8674/stat : 8674 (java) R 8544 8544 4682 0 -1 4202560 4411 0 0 0 24679 3 0 0 20 0 28 0 97084818 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206619210224 140207673722471 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8675] ppid=8544 vsize=26605264 memory=796 CPUtime=246.61 cores=0-7 /proc/8546/task/8675/stat : 8675 (java) R 8544 8544 4682 0 -1 4202560 2837 0 0 0 24660 1 0 0 20 0 28 0 97084818 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206618157656 140207673722412 0 4 0 16800975 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8676] ppid=8544 vsize=26605264 memory=1716 CPUtime=246.64 cores=0-7 /proc/8546/task/8676/stat : 8676 (java) R 8544 8544 4682 0 -1 4202560 9586 0 0 0 24660 4 0 0 20 0 28 0 97084818 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206614999416 140207673647073 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 [pid=8546/tid=8677] ppid=8544 vsize=26605264 memory=1948 CPUtime=245.38 cores=0-7 /proc/8546/task/8677/stat : 8677 (java) R 8544 8544 4682 0 -1 4202560 7640 0 0 0 24535 3 0 0 20 0 28 0 97084818 27243790336 98606 33554432000 4194304 4196468 140736315332432 140206617107616 140207675994144 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 7049216 140736315335832 140736315336008 140736315336008 140736315338703 0 Current children cumulated CPU time: 1990.5 s Current children cumulated vsize: 26614776 KiB Current children cumulated memory: 395808 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.053 s] # the end of solver process 8544 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001892 s, system=0 s [startup+252.117 s] # the end of solver process 8546 was just reported to runsolver # cumulated CPU time of all completed processes: user=1990.33 s, system=0.980963 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.117 CPU time (s): 1991.31 CPU user time (s): 1990.33 CPU system time (s): 0.980963 CPU usage (%): 789.836 Max. virtual memory (cumulated for all children) (KiB): 26614776 Max. memory (cumulated for all children) (KiB): 395808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1990.33 system time used= 0.980963 maximum resident set size= 395160 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 114101 page faults= 0 swaps= 0 block input operations= 0 block output operations= 504 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 63497 involuntary context switches= 23279 # summary of solver processes directly reported to runsolver: # pid: 8544,8546 # total CPU time (s): 1991.31 # total CPU user time (s): 1990.33 # total CPU system time (s): 0.980963 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.70852 second user time and 2.33842 second system time The end
Begin job on node106 at 2017-08-13 17:45:10 IDJOB=4271777 IDBENCH=115932 IDSOLVER=2663 FILE ID=node106/4271777-1502639968 RUNJOBID= node106-1502637338-4709 PBS_JOBID= 20628329 Free space on /tmp= 61772 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/StillLife/StillLife-m1-s1/StillLife-10-11.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-4271777-1502639968/watcher-4271777-1502639968 -o /tmp/evaluation-result-4271777-1502639968/solver-4271777-1502639968 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502637338-4709 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1442463680 HOME/instance-4271777-1502639968.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3405d24406a310706e7598d386d00f36 RANDOM SEED=1442463680 node106.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.86 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.86 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.86 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.86 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: 31515988 kB MemAvailable: 31987460 kB Buffers: 113000 kB Cached: 646268 kB SwapCached: 0 kB Active: 384384 kB Inactive: 430488 kB Active(anon): 11404 kB Inactive(anon): 72092 kB Active(file): 372980 kB Inactive(file): 358396 kB Unevictable: 6504 kB Mlocked: 6504 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7824 kB Writeback: 0 kB AnonPages: 61948 kB Mapped: 43524 kB Shmem: 25228 kB Slab: 137268 kB SReclaimable: 111860 kB SUnreclaim: 25408 kB KernelStack: 3232 kB PageTables: 5056 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323732 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61764 MiB End job on node106 at 2017-08-13 17:49:22