Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 69 | 20038.9 | 2520.1299 |
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 | 2400.01 |
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-4280600-1503118993.xml" -tl '20160s' -p 8 -x 0 0.11/0.15 c [HOME/instance-4280600-1503118993.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 1.77/0.79 c solve instance... 2.24/0.88 o 0 2.24/0.88 o 60 2.90/0.94 o 61 2.90/1.00 o 62 2.90/1.00 o 63 9.87/1.80 o 64 28.88/4.23 o 65 57.43/7.87 o 67 728.88/92.53 o 68 1197.01/151.67 o 69 20038.00/2520.09 s SATISFIABLE 20038.00/2520.09 v <instantiation> 20038.00/2520.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[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> 20038.00/2520.09 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 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 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 2 2 2 2 2 2 2 2 2 2 3 5 5 5 6 6 6 6 6 6 6 3 4 3 4 2 3 2 2 2 2 2 3 2 3 3 5 3 6 5 6 6 6 6 6 4 2 4 5 3 5 2 3 2 2 2 3 2 2 4 3 3 5 3 6 5 5 5 5 3 2 5 3 4 5 3 5 3 3 4 3 4 2 3 2 2 2 2 4 3 3 4 2 2 </values> 20038.00/2520.09 v </instantiation> 20038.00/2520.09 c Unexpected resolution interruption!
OK 69
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 (12791 MiB free) memory of node 1: 16384 MiB (12132 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280600-1503118993/watcher-4280600-1503118993 -o /tmp/evaluation-result-4280600-1503118993/solver-4280600-1503118993 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503110566-20305 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2099501440 HOME/instance-4280600-1503118993.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=24405, runsolver pid=24402 [startup+0.10015 s]* /proc/loadavg: 7.94 8.26 8.29 2/199 24426 /proc/meminfo: memFree=25507120/32770624 swapFree=67108860/67108860 [pid=24405] ppid=24402 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24405/stat : 24405 (xcsp3-exec) S 24402 24405 20278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 144980198 9740288 346 33554432000 4194304 5098028 140735725716960 140735725715064 140235064578684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12152832 140735725724772 140735725724983 140735725724983 140735725727723 0 /proc/24405/statm: 2378 346 289 221 0 87 0 [pid=24407] ppid=24405 vsize=25999808 memory=27476 CPUtime=0.11 cores=0-7 /proc/24407/stat : 24407 (java) S 24405 24405 20278 0 -1 1077944320 5744 0 0 0 10 1 0 0 20 0 20 0 144980198 26623803392 6869 33554432000 4194304 4196468 140728530290032 140728530272576 140007043165943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 /proc/24407/statm: 6499952 6869 2861 1 0 6488269 0 [pid=24407/tid=24408] ppid=24405 vsize=25999808 memory=7969290448259686551 CPUtime=0.09 cores=0-7 /proc/24407/task/24408/stat : 24408 (java) R 24405 24405 20278 0 -1 4202560 3746 0 0 0 8 1 0 0 20 0 20 0 144980199 26623803392 6869 33554432000 4194304 4196468 140728530290032 140007047389392 140007043177878 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24409] ppid=24405 vsize=25999808 memory=732370302761704421 CPUtime=0 cores=0-7 /proc/24407/task/24409/stat : 24409 (java) S 24405 24405 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144980199 26623803392 6869 33554432000 4194304 4196468 140728530290032 140006601836816 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24410] ppid=24405 vsize=25999808 memory=140164424251008 CPUtime=0 cores=0-7 /proc/24407/task/24410/stat : 24410 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980199 26623803392 6869 33554432000 4194304 4196468 140728530290032 140006600784272 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24411] ppid=24405 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24411/stat : 24411 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980199 26623803392 6869 33554432000 4194304 4196468 140728530290032 140006599731728 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24412] ppid=24405 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24412/stat : 24412 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980199 26623803392 6869 33554432000 4194304 4196468 140728530290032 140006598679184 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24413] ppid=24405 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24413/stat : 24413 (java) S 24405 24405 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144980199 26623803392 6869 33554432000 4194304 4196468 140728530290032 140006597626640 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24414] ppid=24405 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/24407/task/24414/stat : 24414 (java) S 24405 24405 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144980199 26623803392 6869 33554432000 4194304 4196468 140728530290032 140006596574096 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24415] ppid=24405 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24415/stat : 24415 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980199 26623803392 6869 33554432000 4194304 4196468 140728530290032 140006595521552 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24416] ppid=24405 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24416/stat : 24416 (java) S 24405 24405 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144980199 26623803392 6869 33554432000 4194304 4196468 140728530290032 140006594469008 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24417] ppid=24405 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24417/stat : 24417 (java) S 24405 24405 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144980201 26623803392 6869 33554432000 4194304 4196468 140728530290032 140005315364848 140007043177090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24418] ppid=24405 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24418/stat : 24418 (java) S 24405 24405 20278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144980201 26623803392 6869 33554432000 4194304 4196468 140728530290032 140005314311072 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24419] ppid=24405 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24419/stat : 24419 (java) S 24405 24405 20278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144980202 26623803392 6869 33554432000 4194304 4196468 140728530290032 140005313258480 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24420] ppid=24405 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24420/stat : 24420 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980204 26623803392 6869 33554432000 4194304 4196468 140728530290032 140005312207056 140007043184539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24421] ppid=24405 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24421/stat : 24421 (java) S 24405 24405 20278 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 144980204 26623803392 6869 33554432000 4194304 4196468 140728530290032 140005311154672 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24422] ppid=24405 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24422/stat : 24422 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980204 26623803392 6869 33554432000 4194304 4196468 140728530290032 140005310102128 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24423] ppid=24405 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24423/stat : 24423 (java) S 24405 24405 20278 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 144980204 26623803392 6869 33554432000 4194304 4196468 140728530290032 140005309049584 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24424] ppid=24405 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/24407/task/24424/stat : 24424 (java) R 24405 24405 20278 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 144980204 26623803392 6869 33554432000 4194304 4196468 140728530290032 140005307997040 140007043177878 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24425] ppid=24405 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24425/stat : 24425 (java) S 24405 24405 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144980204 26623803392 6869 33554432000 4194304 4196468 140728530290032 140005306943712 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24426] ppid=24405 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/24407/task/24426/stat : 24426 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980205 26623803392 6869 33554432000 4194304 4196468 140728530290032 140005305891248 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28860 KiB [startup+0.210102 s]* /proc/loadavg: 7.94 8.26 8.29 2/199 24426 /proc/meminfo: memFree=25498724/32770624 swapFree=67108860/67108860 [pid=24405] ppid=24402 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24405/stat : 24405 (xcsp3-exec) S 24402 24405 20278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 144980198 9740288 346 33554432000 4194304 5098028 140735725716960 140735725715064 140235064578684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12152832 140735725724772 140735725724983 140735725724983 140735725727723 0 /proc/24405/statm: 2378 346 289 221 0 87 0 [pid=24407] ppid=24405 vsize=26004064 memory=38784 CPUtime=0.33 cores=0-7 /proc/24407/stat : 24407 (java) S 24405 24405 20278 0 -1 1077944320 8313 0 0 0 30 3 0 0 20 0 20 0 144980198 26628161536 9696 33554432000 4194304 4196468 140728530290032 140728530272576 140007043165943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 /proc/24407/statm: 6501016 9696 3029 1 0 6488269 0 [pid=24407/tid=24408] ppid=24405 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7 /proc/24407/task/24408/stat : 24408 (java) R 24405 24405 20278 0 -1 4202560 5504 0 0 0 18 2 0 0 20 0 20 0 144980199 26628161536 9696 33554432000 4194304 4196468 140728530290032 140007047388832 140007043187869 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24409] ppid=24405 vsize=26004064 memory=732370302761704421 CPUtime=0 cores=0-7 /proc/24407/task/24409/stat : 24409 (java) S 24405 24405 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144980199 26628161536 9696 33554432000 4194304 4196468 140728530290032 140006601836816 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24410] ppid=24405 vsize=26004064 memory=140164424251008 CPUtime=0 cores=0-7 /proc/24407/task/24410/stat : 24410 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980199 26628161536 9696 33554432000 4194304 4196468 140728530290032 140006600784272 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24411] ppid=24405 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24411/stat : 24411 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980199 26628161536 9696 33554432000 4194304 4196468 140728530290032 140006599731728 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24412] ppid=24405 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24412/stat : 24412 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980199 26628161536 9696 33554432000 4194304 4196468 140728530290032 140006598679184 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24413] ppid=24405 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24413/stat : 24413 (java) S 24405 24405 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144980199 26628161536 9696 33554432000 4194304 4196468 140728530290032 140006597626640 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24414] ppid=24405 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24407/task/24414/stat : 24414 (java) S 24405 24405 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144980199 26628161536 9696 33554432000 4194304 4196468 140728530290032 140006596574096 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24415] ppid=24405 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24415/stat : 24415 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980199 26628161536 9696 33554432000 4194304 4196468 140728530290032 140006595521552 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24416] ppid=24405 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24416/stat : 24416 (java) S 24405 24405 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144980199 26628161536 9696 33554432000 4194304 4196468 140728530290032 140006594469008 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24417] ppid=24405 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24417/stat : 24417 (java) S 24405 24405 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144980201 26628161536 9696 33554432000 4194304 4196468 140728530290032 140005315364848 140007043177090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24418] ppid=24405 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24418/stat : 24418 (java) S 24405 24405 20278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144980201 26628161536 9696 33554432000 4194304 4196468 140728530290032 140005314311072 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24419] ppid=24405 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24419/stat : 24419 (java) S 24405 24405 20278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144980202 26628161536 9696 33554432000 4194304 4196468 140728530290032 140005313258480 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24420] ppid=24405 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24420/stat : 24420 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980204 26628161536 9696 33554432000 4194304 4196468 140728530290032 140005312207056 140007043184539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24421] ppid=24405 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/24407/task/24421/stat : 24421 (java) S 24405 24405 20278 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 20 0 144980204 26628161536 9696 33554432000 4194304 4196468 140728530290032 140005311154672 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24422] ppid=24405 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/24407/task/24422/stat : 24422 (java) S 24405 24405 20278 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 20 0 144980204 26628161536 9696 33554432000 4194304 4196468 140728530290032 140005310102128 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24423] ppid=24405 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/24407/task/24423/stat : 24423 (java) S 24405 24405 20278 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 20 0 144980204 26628161536 9696 33554432000 4194304 4196468 140728530290032 140005309049584 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24424] ppid=24405 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/24407/task/24424/stat : 24424 (java) S 24405 24405 20278 0 -1 1077944384 710 0 0 0 7 0 0 0 20 0 20 0 144980204 26628161536 9696 33554432000 4194304 4196468 140728530290032 140005307997040 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24425] ppid=24405 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24425/stat : 24425 (java) S 24405 24405 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144980204 26628161536 9696 33554432000 4194304 4196468 140728530290032 140005306943712 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24426] ppid=24405 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24407/task/24426/stat : 24426 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980205 26628161536 9696 33554432000 4194304 4196468 140728530290032 140005305891248 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40168 KiB [startup+0.309425 s]* /proc/loadavg: 7.94 8.26 8.29 3/199 24426 /proc/meminfo: memFree=25491692/32770624 swapFree=67108860/67108860 [pid=24405] ppid=24402 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24405/stat : 24405 (xcsp3-exec) S 24402 24405 20278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 144980198 9740288 346 33554432000 4194304 5098028 140735725716960 140735725715064 140235064578684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12152832 140735725724772 140735725724983 140735725724983 140735725727723 0 /proc/24405/statm: 2378 346 289 221 0 87 0 [pid=24407] ppid=24405 vsize=26004064 memory=43940 CPUtime=0.49 cores=0-7 /proc/24407/stat : 24407 (java) S 24405 24405 20278 0 -1 1077944320 9194 0 0 0 46 3 0 0 20 0 20 0 144980198 26628161536 10985 33554432000 4194304 4196468 140728530290032 140728530272576 140007043165943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 /proc/24407/statm: 6501016 10985 3080 1 0 6488269 0 [pid=24407/tid=24408] ppid=24405 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/24407/task/24408/stat : 24408 (java) R 24405 24405 20278 0 -1 4202560 6180 0 0 0 27 2 0 0 20 0 20 0 144980199 26628161536 10985 33554432000 4194304 4196468 140728530290032 140007047404992 140006680983681 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24409] ppid=24405 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24409/stat : 24409 (java) S 24405 24405 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144980199 26628161536 10985 33554432000 4194304 4196468 140728530290032 140006601836816 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24410] ppid=24405 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24410/stat : 24410 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980199 26628161536 10985 33554432000 4194304 4196468 140728530290032 140006600784272 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24411] ppid=24405 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24411/stat : 24411 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980199 26628161536 10985 33554432000 4194304 4196468 140728530290032 140006599731728 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24412] ppid=24405 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24412/stat : 24412 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980199 26628161536 10985 33554432000 4194304 4196468 140728530290032 140006598679184 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24413] ppid=24405 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/24407/task/24413/stat : 24413 (java) S 24405 24405 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144980199 26628161536 10985 33554432000 4194304 4196468 140728530290032 140006597626640 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24414] ppid=24405 vsize=26004064 memory=140164311643055 CPUtime=0 cores=0-7 /proc/24407/task/24414/stat : 24414 (java) S 24405 24405 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144980199 26628161536 10985 33554432000 4194304 4196468 140728530290032 140006596574096 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24415] ppid=24405 vsize=26004064 memory=140164311645360 CPUtime=0 cores=0-7 /proc/24407/task/24415/stat : 24415 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980199 26628161536 10985 33554432000 4194304 4196468 140728530290032 140006595521552 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24416] ppid=24405 vsize=26004064 memory=140164311647664 CPUtime=0 cores=0-7 /proc/24407/task/24416/stat : 24416 (java) S 24405 24405 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144980199 26628161536 10985 33554432000 4194304 4196468 140728530290032 140006594469008 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24417] ppid=24405 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24417/stat : 24417 (java) S 24405 24405 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144980201 26628161536 10985 33554432000 4194304 4196468 140728530290032 140005315364848 140007043177090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24418] ppid=24405 vsize=26004064 memory=280328623302288 CPUtime=0 cores=0-7 /proc/24407/task/24418/stat : 24418 (java) S 24405 24405 20278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144980201 26628161536 10985 33554432000 4194304 4196468 140728530290032 140005314311072 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24419] ppid=24405 vsize=26004064 memory=280328623309200 CPUtime=0 cores=0-7 /proc/24407/task/24419/stat : 24419 (java) S 24405 24405 20278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144980202 26628161536 10985 33554432000 4194304 4196468 140728530290032 140005313258480 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24420] ppid=24405 vsize=26004064 memory=280328623250480 CPUtime=0 cores=0-7 /proc/24407/task/24420/stat : 24420 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980204 26628161536 10985 33554432000 4194304 4196468 140728530290032 140005312207056 140007043184539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24421] ppid=24405 vsize=26004064 memory=280328623323024 CPUtime=0.01 cores=0-7 /proc/24407/task/24421/stat : 24421 (java) S 24405 24405 20278 0 -1 1077944384 477 0 0 0 1 0 0 0 20 0 20 0 144980204 26628161536 10985 33554432000 4194304 4196468 140728530290032 140005311154672 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24422] ppid=24405 vsize=26004064 memory=280328623329936 CPUtime=0.01 cores=0-7 /proc/24407/task/24422/stat : 24422 (java) S 24405 24405 20278 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 20 0 144980204 26628161536 10985 33554432000 4194304 4196468 140728530290032 140005310102128 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24423] ppid=24405 vsize=26004064 memory=280328623327632 CPUtime=0.02 cores=0-7 /proc/24407/task/24423/stat : 24423 (java) S 24405 24405 20278 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 20 0 144980204 26628161536 10985 33554432000 4194304 4196468 140728530290032 140005309049584 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24424] ppid=24405 vsize=26004064 memory=280328623343792 CPUtime=0.12 cores=0-7 /proc/24407/task/24424/stat : 24424 (java) R 24405 24405 20278 0 -1 4202560 819 0 0 0 12 0 0 0 20 0 20 0 144980204 26628161536 10985 33554432000 4194304 4196468 140728530290032 140005307993408 140007035403070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24425] ppid=24405 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/24407/task/24425/stat : 24425 (java) S 24405 24405 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144980204 26628161536 10985 33554432000 4194304 4196468 140728530290032 140005306943712 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24426] ppid=24405 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/24407/task/24426/stat : 24426 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980205 26628161536 10985 33554432000 4194304 4196468 140728530290032 140005305891248 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 45324 KiB [startup+0.700898 s] /proc/loadavg: 7.94 8.26 8.29 4/199 24426 /proc/meminfo: memFree=25477376/32770624 swapFree=67108860/67108860 [pid=24405] ppid=24402 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24405/stat : 24405 (xcsp3-exec) S 24402 24405 20278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 144980198 9740288 346 33554432000 4194304 5098028 140735725716960 140735725715064 140235064578684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12152832 140735725724772 140735725724983 140735725724983 140735725727723 0 /proc/24405/statm: 2378 346 289 221 0 87 0 [pid=24407] ppid=24405 vsize=26006188 memory=93824 CPUtime=1.77 cores=0-7 /proc/24407/stat : 24407 (java) S 24405 24405 20278 0 -1 1077944320 14596 0 0 0 171 6 0 0 20 0 20 0 144980198 26630336512 23456 33554432000 4194304 4196468 140728530290032 140728530272576 140007043165943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 /proc/24407/statm: 6501547 23456 3206 1 0 6488781 0 [pid=24407/tid=24408] ppid=24405 vsize=26006188 memory=280328623638720 CPUtime=0.67 cores=0-7 /proc/24407/task/24408/stat : 24408 (java) R 24405 24405 20278 0 -1 4202560 6883 0 0 0 64 3 0 0 20 0 20 0 144980199 26630336512 23456 33554432000 4194304 4196468 140728530290032 140007047398400 140006684941561 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24409] ppid=24405 vsize=26006188 memory=12136 CPUtime=0 cores=0-7 /proc/24407/task/24409/stat : 24409 (java) S 24405 24405 20278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144980199 26630336512 23456 33554432000 4194304 4196468 140728530290032 140006601836816 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24410] ppid=24405 vsize=26006188 memory=1004 CPUtime=0 cores=0-7 /proc/24407/task/24410/stat : 24410 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980199 26630336512 23456 33554432000 4194304 4196468 140728530290032 140006600784272 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24411] ppid=24405 vsize=26006188 memory=1228 CPUtime=0 cores=0-7 /proc/24407/task/24411/stat : 24411 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144980199 26630336512 23456 33554432000 4194304 4196468 140728530290032 140006599731728 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 ################ # More data... # ################ [pid=24407/tid=24521] ppid=24405 vsize=26538700 memory=8052 CPUtime=2273.18 cores=0-7 /proc/24407/task/24521/stat : 24521 (java) R 24405 24405 20278 0 -1 4202560 217920 0 0 0 227167 151 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005290511688 140006687394969 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 Current children cumulated CPU time: 19420.3 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1235284 KiB [startup+2502.3 s] /proc/loadavg: 8.51 8.31 8.31 10/208 24580 /proc/meminfo: memFree=24298656/32770624 swapFree=67108860/67108860 [pid=24405] ppid=24402 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24405/stat : 24405 (xcsp3-exec) S 24402 24405 20278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 144980198 9740288 346 33554432000 4194304 5098028 140735725716960 140735725715064 140235064578684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12152832 140735725724772 140735725724983 140735725724983 140735725727723 0 /proc/24405/statm: 2378 346 289 221 0 87 0 [pid=24407] ppid=24405 vsize=26538700 memory=1233900 CPUtime=19897.3 cores=0-7 /proc/24407/stat : 24407 (java) S 24405 24405 20278 0 -1 1077944320 888963 0 0 0 1989057 675 0 0 20 0 28 0 144980198 27175628800 308475 33554432000 4194304 4196468 140728530290032 140728530272576 140007043165943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 /proc/24407/statm: 6634675 308475 3299 1 0 6621909 0 [pid=24407/tid=24408] ppid=24405 vsize=26538700 memory=1233900 CPUtime=0.79 cores=0-7 /proc/24407/task/24408/stat : 24408 (java) S 24405 24405 20278 0 -1 1077944384 7613 0 0 0 75 4 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140007047406720 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24409] ppid=24405 vsize=26538700 memory=1233900 CPUtime=6.11 cores=0-7 /proc/24407/task/24409/stat : 24409 (java) S 24405 24405 20278 0 -1 1077944384 32065 0 0 0 571 40 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140006601836816 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24410] ppid=24405 vsize=26538700 memory=1233900 CPUtime=6.06 cores=0-7 /proc/24407/task/24410/stat : 24410 (java) S 24405 24405 20278 0 -1 1077944384 27098 0 0 0 569 37 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140006600784272 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24411] ppid=24405 vsize=26538700 memory=1384 CPUtime=6.11 cores=0-7 /proc/24407/task/24411/stat : 24411 (java) S 24405 24405 20278 0 -1 1077944384 33355 0 0 0 575 36 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140006599731728 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24412] ppid=24405 vsize=26538700 memory=1233900 CPUtime=6.08 cores=0-7 /proc/24407/task/24412/stat : 24412 (java) S 24405 24405 20278 0 -1 1077944384 33875 0 0 0 570 38 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140006598679184 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24413] ppid=24405 vsize=26538700 memory=1233900 CPUtime=6.06 cores=0-7 /proc/24407/task/24413/stat : 24413 (java) S 24405 24405 20278 0 -1 1077944384 29717 0 0 0 570 36 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140006597626640 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24414] ppid=24405 vsize=26538700 memory=1233900 CPUtime=6.07 cores=0-7 /proc/24407/task/24414/stat : 24414 (java) S 24405 24405 20278 0 -1 1077944384 34037 0 0 0 570 37 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140006596574096 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24415] ppid=24405 vsize=26538700 memory=40864 CPUtime=6.07 cores=0-7 /proc/24407/task/24415/stat : 24415 (java) S 24405 24405 20278 0 -1 1077944384 29819 0 0 0 572 35 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140006595521552 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24416] ppid=24405 vsize=26538700 memory=280328624998656 CPUtime=6.11 cores=0-7 /proc/24407/task/24416/stat : 24416 (java) S 24405 24405 20278 0 -1 1077944384 27822 0 0 0 578 33 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140006594469008 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24417] ppid=24405 vsize=26538700 memory=-7966001734603266090 CPUtime=3.46 cores=0-7 /proc/24407/task/24417/stat : 24417 (java) S 24405 24405 20278 0 -1 1077944384 82522 0 0 0 274 72 0 0 20 0 28 0 144980201 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005315364848 140007043177090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24418] ppid=24405 vsize=26538700 memory=12136 CPUtime=0 cores=0-7 /proc/24407/task/24418/stat : 24418 (java) S 24405 24405 20278 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 144980201 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005314311136 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24419] ppid=24405 vsize=26538700 memory=1004 CPUtime=0 cores=0-7 /proc/24407/task/24419/stat : 24419 (java) S 24405 24405 20278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 144980202 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005313258480 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24420] ppid=24405 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/24407/task/24420/stat : 24420 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144980204 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005312207056 140007043184539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24421] ppid=24405 vsize=26538700 memory=4096 CPUtime=1.67 cores=0-7 /proc/24407/task/24421/stat : 24421 (java) S 24405 24405 20278 0 -1 1077944384 11830 0 0 0 165 2 0 0 20 0 28 0 144980204 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005311154672 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24422] ppid=24405 vsize=26538700 memory=1233900 CPUtime=1.27 cores=0-7 /proc/24407/task/24422/stat : 24422 (java) S 24405 24405 20278 0 -1 1077944384 9791 0 0 0 125 2 0 0 20 0 28 0 144980204 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005310102128 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24423] ppid=24405 vsize=26538700 memory=1384 CPUtime=1.5 cores=0-7 /proc/24407/task/24423/stat : 24423 (java) S 24405 24405 20278 0 -1 1077944384 9036 0 0 0 148 2 0 0 20 0 28 0 144980204 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005309049584 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24424] ppid=24405 vsize=26538700 memory=1384 CPUtime=0.78 cores=0-7 /proc/24407/task/24424/stat : 24424 (java) S 24405 24405 20278 0 -1 1077944384 7981 0 0 0 77 1 0 0 20 0 28 0 144980204 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005307997040 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24425] ppid=24405 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/24407/task/24425/stat : 24425 (java) S 24405 24405 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144980204 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005306943712 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24426] ppid=24405 vsize=26538700 memory=932 CPUtime=0.42 cores=0-7 /proc/24407/task/24426/stat : 24426 (java) S 24405 24405 20278 0 -1 1077944384 4460 0 0 0 14 28 0 0 20 0 28 0 144980205 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005305891248 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24514] ppid=24405 vsize=26538700 memory=1584 CPUtime=2329.44 cores=0-7 /proc/24407/task/24514/stat : 24514 (java) R 24405 24405 20278 0 -1 4202560 30701 0 0 0 232925 19 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005291563496 140006687682825 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24515] ppid=24405 vsize=26538700 memory=2196 CPUtime=2330.02 cores=0-7 /proc/24407/task/24515/stat : 24515 (java) R 24405 24405 20278 0 -1 4202560 27418 0 0 0 232981 21 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005292618376 140006688287076 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24516] ppid=24405 vsize=26538700 memory=1233900 CPUtime=2330.67 cores=0-7 /proc/24407/task/24516/stat : 24516 (java) R 24405 24405 20278 0 -1 4202560 27860 0 0 0 233052 15 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005294723048 140006689152077 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24517] ppid=24405 vsize=26538700 memory=4096 CPUtime=2332.32 cores=0-7 /proc/24407/task/24517/stat : 24517 (java) R 24405 24405 20278 0 -1 4202560 87730 0 0 0 233188 44 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005296831408 140006687250977 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24518] ppid=24405 vsize=26538700 memory=1384 CPUtime=2332.86 cores=0-7 /proc/24407/task/24518/stat : 24518 (java) R 24405 24405 20278 0 -1 4202560 33585 0 0 0 233258 28 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005293671256 140006687395476 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24519] ppid=24405 vsize=26538700 memory=1233900 CPUtime=2331.32 cores=0-7 /proc/24407/task/24519/stat : 24519 (java) R 24405 24405 20278 0 -1 4202560 32340 0 0 0 233117 15 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005297882248 140006687250492 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24520] ppid=24405 vsize=26538700 memory=1228 CPUtime=2330.94 cores=0-7 /proc/24407/task/24520/stat : 24520 (java) R 24405 24405 20278 0 -1 4202560 25731 0 0 0 233077 17 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005295775248 140006687250829 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24521] ppid=24405 vsize=26538700 memory=1952 CPUtime=2332.9 cores=0-7 /proc/24407/task/24521/stat : 24521 (java) R 24405 24405 20278 0 -1 4202560 218663 0 0 0 233139 151 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005290512664 140006688829772 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 Current children cumulated CPU time: 19897.3 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1235284 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.59 8.33 8.32 9/208 24580 /proc/meminfo: memFree=24298964/32770624 swapFree=67108860/67108860 [pid=24405] ppid=24402 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/24405/stat : 24405 (xcsp3-exec) S 24402 24405 20278 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 144980198 9740288 346 33554432000 4194304 5098028 140735725716960 140735725715064 140235064578684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12152832 140735725724772 140735725724983 140735725724983 140735725727723 0 /proc/24405/statm: 2378 346 289 221 0 87 0 [pid=24407] ppid=24405 vsize=26538700 memory=1233900 CPUtime=20038 cores=0-7 /proc/24407/stat : 24407 (java) S 24405 24405 20278 0 -1 1077944320 897230 0 0 0 2003122 678 0 0 20 0 28 0 144980198 27175628800 308475 33554432000 4194304 4196468 140728530290032 140728530272576 140007043165943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 /proc/24407/statm: 6634675 308475 3299 1 0 6621909 0 [pid=24407/tid=24408] ppid=24405 vsize=26538700 memory=4616 CPUtime=0.79 cores=0-7 /proc/24407/task/24408/stat : 24408 (java) S 24405 24405 20278 0 -1 1077944384 7613 0 0 0 75 4 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140007047406720 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24409] ppid=24405 vsize=26538700 memory=-7003737579269690708 CPUtime=6.13 cores=0-7 /proc/24407/task/24409/stat : 24409 (java) S 24405 24405 20278 0 -1 1077944384 32389 0 0 0 573 40 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140006601836816 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24410] ppid=24405 vsize=26538700 memory=1384 CPUtime=6.09 cores=0-7 /proc/24407/task/24410/stat : 24410 (java) S 24405 24405 20278 0 -1 1077944384 27933 0 0 0 572 37 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140006600784272 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24411] ppid=24405 vsize=26538700 memory=1233900 CPUtime=6.13 cores=0-7 /proc/24407/task/24411/stat : 24411 (java) S 24405 24405 20278 0 -1 1077944384 33741 0 0 0 577 36 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140006599731728 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24412] ppid=24405 vsize=26538700 memory=1384 CPUtime=6.11 cores=0-7 /proc/24407/task/24412/stat : 24412 (java) S 24405 24405 20278 0 -1 1077944384 34048 0 0 0 572 39 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140006598679184 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24413] ppid=24405 vsize=26538700 memory=1233900 CPUtime=6.08 cores=0-7 /proc/24407/task/24413/stat : 24413 (java) S 24405 24405 20278 0 -1 1077944384 30046 0 0 0 572 36 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140006597626640 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24414] ppid=24405 vsize=26538700 memory=23380 CPUtime=6.1 cores=0-7 /proc/24407/task/24414/stat : 24414 (java) S 24405 24405 20278 0 -1 1077944384 34564 0 0 0 572 38 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140006596574096 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24415] ppid=24405 vsize=26538700 memory=4044 CPUtime=6.1 cores=0-7 /proc/24407/task/24415/stat : 24415 (java) S 24405 24405 20278 0 -1 1077944384 30453 0 0 0 575 35 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140006595521552 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24416] ppid=24405 vsize=26538700 memory=1792 CPUtime=6.13 cores=0-7 /proc/24407/task/24416/stat : 24416 (java) S 24405 24405 20278 0 -1 1077944384 28155 0 0 0 580 33 0 0 20 0 28 0 144980199 27175628800 308475 33554432000 4194304 4196468 140728530290032 140006594469008 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24417] ppid=24405 vsize=26538700 memory=636 CPUtime=3.49 cores=0-7 /proc/24407/task/24417/stat : 24417 (java) S 24405 24405 20278 0 -1 1077944384 83367 0 0 0 276 73 0 0 20 0 28 0 144980201 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005315364848 140007043177090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24418] ppid=24405 vsize=26538700 memory=33 CPUtime=0 cores=0-7 /proc/24407/task/24418/stat : 24418 (java) S 24405 24405 20278 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 144980201 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005314311136 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24419] ppid=24405 vsize=26538700 memory=6944656592455088490 CPUtime=0 cores=0-7 /proc/24407/task/24419/stat : 24419 (java) S 24405 24405 20278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 144980202 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005313258480 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24420] ppid=24405 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/24407/task/24420/stat : 24420 (java) S 24405 24405 20278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 144980204 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005312207056 140007043184539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24421] ppid=24405 vsize=26538700 memory=4228 CPUtime=1.67 cores=0-7 /proc/24407/task/24421/stat : 24421 (java) S 24405 24405 20278 0 -1 1077944384 11834 0 0 0 165 2 0 0 20 0 28 0 144980204 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005311154672 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24422] ppid=24405 vsize=26538700 memory=4100 CPUtime=1.27 cores=0-7 /proc/24407/task/24422/stat : 24422 (java) S 24405 24405 20278 0 -1 1077944384 9795 0 0 0 125 2 0 0 20 0 28 0 144980204 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005310102128 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24423] ppid=24405 vsize=26538700 memory=1152 CPUtime=1.5 cores=0-7 /proc/24407/task/24423/stat : 24423 (java) S 24405 24405 20278 0 -1 1077944384 9040 0 0 0 148 2 0 0 20 0 28 0 144980204 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005309049584 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24424] ppid=24405 vsize=26538700 memory=3772 CPUtime=0.78 cores=0-7 /proc/24407/task/24424/stat : 24424 (java) S 24405 24405 20278 0 -1 1077944384 7985 0 0 0 77 1 0 0 20 0 28 0 144980204 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005307997040 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24425] ppid=24405 vsize=26538700 memory=1384 CPUtime=0 cores=0-7 /proc/24407/task/24425/stat : 24425 (java) S 24405 24405 20278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 144980204 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005306943712 140007043176149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24426] ppid=24405 vsize=26538700 memory=1233900 CPUtime=0.42 cores=0-7 /proc/24407/task/24426/stat : 24426 (java) S 24405 24405 20278 0 -1 1077944384 4517 0 0 0 14 28 0 0 20 0 28 0 144980205 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005305891248 140007043177090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24514] ppid=24405 vsize=26538700 memory=4096 CPUtime=2347.06 cores=0-7 /proc/24407/task/24514/stat : 24514 (java) R 24405 24405 20278 0 -1 4202560 31121 0 0 0 234687 19 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005291564440 140006687857532 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24515] ppid=24405 vsize=26538700 memory=40864 CPUtime=2347.45 cores=0-7 /proc/24407/task/24515/stat : 24515 (java) R 24405 24405 20278 0 -1 4202560 27790 0 0 0 234724 21 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005292618376 140006687250788 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24516] ppid=24405 vsize=26538700 memory=2428 CPUtime=2348.23 cores=0-7 /proc/24407/task/24516/stat : 24516 (java) R 24405 24405 20278 0 -1 4202560 28191 0 0 0 234808 15 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005294723848 140728530388749 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24517] ppid=24405 vsize=26538700 memory=1292 CPUtime=2349.82 cores=0-7 /proc/24407/task/24517/stat : 24517 (java) R 24405 24405 20278 0 -1 4202560 88609 0 0 0 234938 44 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005296831408 140006684380815 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24518] ppid=24405 vsize=26538700 memory=1728 CPUtime=2350.51 cores=0-7 /proc/24407/task/24518/stat : 24518 (java) R 24405 24405 20278 0 -1 4202560 34029 0 0 0 235022 29 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005293670760 140006689913707 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24519] ppid=24405 vsize=26538700 memory=12136 CPUtime=2348.87 cores=0-7 /proc/24407/task/24519/stat : 24519 (java) R 24405 24405 20278 0 -1 4202560 32708 0 0 0 234872 15 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005297881592 140006689152044 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24520] ppid=24405 vsize=26538700 memory=1004 CPUtime=2348.47 cores=0-7 /proc/24407/task/24520/stat : 24520 (java) R 24405 24405 20278 0 -1 4202560 25972 0 0 0 234830 17 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005295774992 140006688332370 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 [pid=24407/tid=24521] ppid=24405 vsize=26538700 memory=1228 CPUtime=2350.53 cores=0-7 /proc/24407/task/24521/stat : 24521 (java) R 24405 24405 20278 0 -1 4202560 219416 0 0 0 234902 151 0 0 20 0 28 0 144995366 27175628800 308475 33554432000 4194304 4196468 140728530290032 140005290512152 140006687853044 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 37142528 140728530293906 140728530294083 140728530294083 140728530296783 0 Current children cumulated CPU time: 20038 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 1235284 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.03 s] # the end of solver process 24405 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000956 s, system=0.000956 s [startup+2520.13 s] # the end of solver process 24407 was just reported to runsolver # cumulated CPU time of all completed processes: user=20032.1 s, system=6.79696 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): 2520.13 CPU time (s): 20038.9 CPU user time (s): 20032.1 CPU system time (s): 6.79696 CPU usage (%): 795.153 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 4226692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20032.1 system time used= 6.79696 maximum resident set size= 4258076 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 898385 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3424 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 320974 involuntary context switches= 214034 # summary of solver processes directly reported to runsolver: # pid: 24405,24407 # total CPU time (s): 20038.9 # total CPU user time (s): 20032.1 # total CPU system time (s): 6.79696 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 22.4137 second user time and 25.4797 second system time The end
Begin job on node148 at 2017-08-19 06:48:53 IDJOB=4280600 IDBENCH=115964 IDSOLVER=2675 FILE ID=node148/4280600-1503118993 RUNJOBID= node148-1503110566-20305 PBS_JOBID= 20630754 Free space on /tmp= 61948 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-4280600-1503118993/watcher-4280600-1503118993 -o /tmp/evaluation-result-4280600-1503118993/solver-4280600-1503118993 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503110566-20305 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2099501440 HOME/instance-4280600-1503118993.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4e3f80c217ff28730f7a01615dcb2e7f RANDOM SEED=2099501440 node148.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.19 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.19 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.19 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.19 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: 25522904 kB MemAvailable: 31976168 kB Buffers: 288232 kB Cached: 6459488 kB SwapCached: 0 kB Active: 1152748 kB Inactive: 5648332 kB Active(anon): 4764 kB Inactive(anon): 84708 kB Active(file): 1147984 kB Inactive(file): 5563624 kB Unevictable: 7784 kB Mlocked: 7784 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7816 kB Writeback: 0 kB AnonPages: 60704 kB Mapped: 50804 kB Shmem: 33416 kB Slab: 141248 kB SReclaimable: 114984 kB SUnreclaim: 26264 kB KernelStack: 3216 kB PageTables: 4736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333116 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61936 MiB End job on node148 at 2017-08-19 07:30:53