Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT (TO) | 465 | 1849.04 | 252.12 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml |
MD5SUM | e703a022bfe4f723b0880c2305d40b57 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 460 |
Best CPU time to get the best result obtained on this benchmark | 248.88901 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 203 |
Number of constraints | 168 |
Number of domains | 9 |
Minimum domain size | 6 |
Maximum domain size | 560 |
Distribution of domain sizes | [{"size":6,"count":7},{"size":7,"count":91},{"size":560,"count":105}] |
Minimum variable degree | 2 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":2,"count":56},{"degree":3,"count":98},{"degree":8,"count":49}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":1,"count":7},{"arity":2,"count":49},{"arity":3,"count":49},{"arity":7,"count":14},{"arity":9,"count":49}] |
Number of extensional constraints | 49 |
Number of intensional constraints | 56 |
Distribution of constraint types | [{"type":"extension","count":49},{"type":"intension","count":56},{"type":"allDifferent","count":7},{"type":"noOverlap","count":7},{"type":"element","count":49}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281667-1503176480.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4281667-1503176480.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.32/0.26 c parse instance... 1.71/0.75 c solve instance... 3.00/0.98 o 556 5.26/1.27 o 552 7.55/1.58 o 551 28.96/4.27 o 549 39.21/5.53 o 548 47.82/6.62 o 547 49.04/6.84 o 546 50.11/7.08 o 540 52.56/7.75 o 531 52.56/7.77 o 529 53.44/7.96 o 522 55.10/8.22 o 520 55.10/8.23 o 516 55.47/8.44 o 515 56.56/8.85 o 512 56.56/8.86 o 511 56.56/8.87 o 510 56.98/9.03 o 509 56.98/9.04 o 508 58.01/9.54 o 504 58.01/9.59 o 503 66.69/10.88 o 502 72.86/12.11 o 501 73.99/12.46 o 500 75.08/13.01 o 499 76.74/13.62 o 498 78.07/14.27 o 497 79.01/14.89 o 496 79.19/14.93 o 495 95.90/17.55 o 494 96.26/17.80 o 493 97.61/18.51 o 492 99.98/19.52 o 491 113.17/22.13 o 490 113.59/22.36 o 489 132.06/24.97 o 479 182.17/31.42 o 478 200.81/35.75 o 477 209.02/37.10 o 476 224.46/39.21 o 475 271.01/45.58 o 474 271.23/45.60 o 473 271.54/45.84 o 472 335.63/55.54 o 471 363.98/59.27 o 470 523.05/79.72 o 469 569.80/86.09 o 468 636.41/95.38 o 467 757.57/111.98 o 466 1323.55/185.44 o 465 1848.28/252.09 s SATISFIABLE 1848.28/252.09 v <instantiation> 1848.28/252.09 v <list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] e[0] e[1] e[2] e[3] e[4] e[5] e[6] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5] sd[2][6] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5] sd[5][6] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] </list> 1848.28/252.09 v <values>0 87 206 291 293 348 368 0 95 174 217 249 348 405 0 89 214 249 330 391 454 0 108 182 266 291 330 424 0 49 108 185 209 327 424 0 80 87 142 206 266 405 0 49 142 217 293 388 415 456 464 455 465 430 465 451 87 95 76 2 55 20 88 95 69 40 32 78 57 59 76 87 25 75 61 63 1 89 66 61 25 39 94 41 46 59 77 24 91 8 6 80 5 46 64 60 97 60 49 93 75 76 95 27 36 0 2 1 3 4 5 6 3 5 6 0 2 4 1 5 4 6 0 1 3 2 4 6 2 3 1 0 5 1 6 3 4 5 2 0 2 5 0 1 3 6 4 6 1 0 4 3 5 2 0 206 87 291 293 348 368 217 405 249 0 348 95 174 249 330 454 391 89 0 214 330 291 182 266 0 424 108 424 0 327 108 185 209 49 87 142 0 206 405 80 266 142 49 415 293 217 388 0 </values> 1848.28/252.09 v </instantiation> 1848.28/252.09 c Unexpected resolution interruption!
OK 465
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 (12746 MiB free) memory of node 1: 16384 MiB (13950 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281667-1503176480/watcher-4281667-1503176480 -o /tmp/evaluation-result-4281667-1503176480/solver-4281667-1503176480 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503164925-17586 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 983730892 HOME/instance-4281667-1503176480.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=19007, runsolver pid=19004 Current StackSize limit: 8192 KiB [startup+0.100136 s]* /proc/loadavg: 9.04 8.63 8.37 2/199 19028 /proc/meminfo: memFree=27321412/32770624 swapFree=67108860/67108860 [pid=19007] ppid=19004 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/19007/stat : 19007 (xcsp3-exec) S 19004 19007 17559 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150735631 9740288 345 33554432000 4194304 5098028 140722136939760 140722136937864 140614681240188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23003136 140722136941675 140722136941884 140722136941884 140722136944619 0 /proc/19007/statm: 2378 345 289 221 0 87 0 [pid=19009] ppid=19007 vsize=25999808 memory=27156 CPUtime=0.11 cores=0-7 /proc/19009/stat : 19009 (java) S 19007 19007 17559 0 -1 1077944320 5219 0 0 0 10 1 0 0 20 0 20 0 150735631 26623803392 6789 33554432000 4194304 4196468 140731585657088 140731585639632 140040372248311 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 /proc/19009/statm: 6499952 6789 2847 1 0 6488269 0 [pid=19009/tid=19010] ppid=19007 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/19009/task/19010/stat : 19010 (java) R 19007 19007 17559 0 -1 4202560 3226 0 0 0 8 0 0 0 20 0 20 0 150735631 26623803392 6789 33554432000 4194304 4196468 140731585657088 140040376472112 140040372269658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19011] ppid=19007 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/19009/task/19011/stat : 19011 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039930534928 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19012] ppid=19007 vsize=25999808 memory=139679987664512 CPUtime=0 cores=0-7 /proc/19009/task/19012/stat : 19012 (java) S 19007 19007 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150735632 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039929482384 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19013] ppid=19007 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19013/stat : 19013 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039928429328 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19014] ppid=19007 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19014/stat : 19014 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039927376784 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19015] ppid=19007 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19015/stat : 19015 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039926323728 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19016] ppid=19007 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/19009/task/19016/stat : 19016 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039925271184 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19017] ppid=19007 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19017/stat : 19017 (java) S 19007 19007 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150735632 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039924218128 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19018] ppid=19007 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19018/stat : 19018 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039923165584 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19019] ppid=19007 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19019/stat : 19019 (java) S 19007 19007 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150735634 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039047248624 140040372259458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19020] ppid=19007 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19020/stat : 19020 (java) S 19007 19007 17559 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150735634 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039046194848 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19021] ppid=19007 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19021/stat : 19021 (java) S 19007 19007 17559 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150735634 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039045141744 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19022] ppid=19007 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19022/stat : 19022 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735637 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039044090320 140040372266907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19023] ppid=19007 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19023/stat : 19023 (java) S 19007 19007 17559 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 150735637 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039043037424 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19024] ppid=19007 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19024/stat : 19024 (java) S 19007 19007 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150735637 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039041984880 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19025] ppid=19007 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19025/stat : 19025 (java) S 19007 19007 17559 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 150735637 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039040931824 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19026] ppid=19007 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/19009/task/19026/stat : 19026 (java) R 19007 19007 17559 0 -1 4202560 250 0 0 0 1 0 0 0 20 0 20 0 150735637 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039039879280 140040372269658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19027] ppid=19007 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19027/stat : 19027 (java) S 19007 19007 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150735637 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039038827488 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19028] ppid=19007 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/19009/task/19028/stat : 19028 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735637 26623803392 6789 33554432000 4194304 4196468 140731585657088 140039037775024 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28536 KiB [startup+0.210263 s]* /proc/loadavg: 8.40 8.51 8.33 2/199 19028 /proc/meminfo: memFree=27311348/32770624 swapFree=67108860/67108860 [pid=19007] ppid=19004 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/19007/stat : 19007 (xcsp3-exec) S 19004 19007 17559 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150735631 9740288 345 33554432000 4194304 5098028 140722136939760 140722136937864 140614681240188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23003136 140722136941675 140722136941884 140722136941884 140722136944619 0 /proc/19007/statm: 2378 345 289 221 0 87 0 [pid=19009] ppid=19007 vsize=26004064 memory=39344 CPUtime=0.32 cores=0-7 /proc/19009/stat : 19009 (java) S 19007 19007 17559 0 -1 1077944320 7856 0 0 0 30 2 0 0 20 0 20 0 150735631 26628161536 9836 33554432000 4194304 4196468 140731585657088 140731585639632 140040372248311 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 /proc/19009/statm: 6501016 9836 3074 1 0 6488269 0 [pid=19009/tid=19010] ppid=19007 vsize=26004096 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/19009/task/19010/stat : 19010 (java) R 19007 19007 17559 0 -1 4202560 4972 0 0 0 18 1 0 0 20 0 20 0 150735631 26628194304 9857 33554432000 4194304 4196468 140731585657088 140040376459120 140040364928029 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19011] ppid=19007 vsize=26004064 memory=342 CPUtime=0 cores=0-7 /proc/19009/task/19011/stat : 19011 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26628161536 9857 33554432000 4194304 4196468 140731585657088 140039930534928 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19012] ppid=19007 vsize=26004064 memory=288370056139376256 CPUtime=0 cores=0-7 /proc/19009/task/19012/stat : 19012 (java) S 19007 19007 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150735632 26628161536 9857 33554432000 4194304 4196468 140731585657088 140039929482384 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19013] ppid=19007 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19009/task/19013/stat : 19013 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26628161536 9857 33554432000 4194304 4196468 140731585657088 140039928429328 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19014] ppid=19007 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19014/stat : 19014 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26628161536 9857 33554432000 4194304 4196468 140731585657088 140039927376784 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19015] ppid=19007 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19015/stat : 19015 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26628161536 9857 33554432000 4194304 4196468 140731585657088 140039926323728 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19016] ppid=19007 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19009/task/19016/stat : 19016 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26628161536 9857 33554432000 4194304 4196468 140731585657088 140039925271184 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19017] ppid=19007 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19017/stat : 19017 (java) S 19007 19007 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150735632 26628161536 9857 33554432000 4194304 4196468 140731585657088 140039924218128 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19018] ppid=19007 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19018/stat : 19018 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26628161536 9857 33554432000 4194304 4196468 140731585657088 140039923165584 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19019] ppid=19007 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19019/stat : 19019 (java) S 19007 19007 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150735634 26628194304 9857 33554432000 4194304 4196468 140731585657088 140039047248624 140040372259458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19020] ppid=19007 vsize=26004096 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19020/stat : 19020 (java) S 19007 19007 17559 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150735634 26628194304 9857 33554432000 4194304 4196468 140731585657088 140039046194848 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19021] ppid=19007 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19021/stat : 19021 (java) S 19007 19007 17559 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150735634 26628161536 9857 33554432000 4194304 4196468 140731585657088 140039045141744 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19022] ppid=19007 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19022/stat : 19022 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735637 26628161536 9857 33554432000 4194304 4196468 140731585657088 140039044090320 140040372266907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19023] ppid=19007 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/19009/task/19023/stat : 19023 (java) S 19007 19007 17559 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 20 0 150735637 26628161536 9857 33554432000 4194304 4196468 140731585657088 140039043037424 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19024] ppid=19007 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/19009/task/19024/stat : 19024 (java) S 19007 19007 17559 0 -1 1077944384 303 0 0 0 2 0 0 0 20 0 20 0 150735637 26628161536 9857 33554432000 4194304 4196468 140731585657088 140039041984880 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19025] ppid=19007 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19009/task/19025/stat : 19025 (java) S 19007 19007 17559 0 -1 1077944384 205 0 0 0 0 0 0 0 20 0 20 0 150735637 26628161536 9857 33554432000 4194304 4196468 140731585657088 140039040931824 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19026] ppid=19007 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/19009/task/19026/stat : 19026 (java) S 19007 19007 17559 0 -1 1077944384 693 0 0 0 7 0 0 0 20 0 20 0 150735637 26628161536 9857 33554432000 4194304 4196468 140731585657088 140039039879280 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19027] ppid=19007 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19027/stat : 19027 (java) S 19007 19007 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150735637 26628161536 9857 33554432000 4194304 4196468 140731585657088 140039038827488 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19028] ppid=19007 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19009/task/19028/stat : 19028 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735637 26628161536 9857 33554432000 4194304 4196468 140731585657088 140039037775024 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40724 KiB [startup+0.31033 s]* /proc/loadavg: 8.40 8.51 8.33 4/199 19028 /proc/meminfo: memFree=27306944/32770624 swapFree=67108860/67108860 [pid=19007] ppid=19004 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/19007/stat : 19007 (xcsp3-exec) S 19004 19007 17559 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150735631 9740288 345 33554432000 4194304 5098028 140722136939760 140722136937864 140614681240188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23003136 140722136941675 140722136941884 140722136941884 140722136944619 0 /proc/19007/statm: 2378 345 289 221 0 87 0 [pid=19009] ppid=19007 vsize=26004064 memory=46272 CPUtime=0.5 cores=0-7 /proc/19009/stat : 19009 (java) S 19007 19007 17559 0 -1 1077944320 8718 0 0 0 47 3 0 0 20 0 20 0 150735631 26628161536 11568 33554432000 4194304 4196468 140731585657088 140731585639632 140040372248311 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 /proc/19009/statm: 6501016 11568 3121 1 0 6488269 0 [pid=19009/tid=19010] ppid=19007 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/19009/task/19010/stat : 19010 (java) R 19007 19007 17559 0 -1 4202560 5630 0 0 0 28 1 0 0 20 0 20 0 150735631 26628161536 11568 33554432000 4194304 4196468 140731585657088 140040376471152 140040372270237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19011] ppid=19007 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19011/stat : 19011 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039930534928 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19012] ppid=19007 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19012/stat : 19012 (java) S 19007 19007 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150735632 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039929482384 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19013] ppid=19007 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19013/stat : 19013 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039928429328 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19014] ppid=19007 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19014/stat : 19014 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039927376784 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19015] ppid=19007 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/19009/task/19015/stat : 19015 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039926323728 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19016] ppid=19007 vsize=26004064 memory=139679852753839 CPUtime=0 cores=0-7 /proc/19009/task/19016/stat : 19016 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039925271184 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19017] ppid=19007 vsize=26004064 memory=139679852756144 CPUtime=0 cores=0-7 /proc/19009/task/19017/stat : 19017 (java) S 19007 19007 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150735632 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039924218128 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19018] ppid=19007 vsize=26004064 memory=139679852758448 CPUtime=0 cores=0-7 /proc/19009/task/19018/stat : 19018 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039923165584 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19019] ppid=19007 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19019/stat : 19019 (java) S 19007 19007 17559 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150735634 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039047248624 140040372259458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19020] ppid=19007 vsize=26004064 memory=279359705523856 CPUtime=0 cores=0-7 /proc/19009/task/19020/stat : 19020 (java) S 19007 19007 17559 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150735634 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039046194848 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19021] ppid=19007 vsize=26004064 memory=279359705530768 CPUtime=0 cores=0-7 /proc/19009/task/19021/stat : 19021 (java) S 19007 19007 17559 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150735634 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039045141744 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19022] ppid=19007 vsize=26004064 memory=279359705472048 CPUtime=0 cores=0-7 /proc/19009/task/19022/stat : 19022 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735637 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039044090320 140040372266907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19023] ppid=19007 vsize=26004064 memory=279359705544592 CPUtime=0.01 cores=0-7 /proc/19009/task/19023/stat : 19023 (java) S 19007 19007 17559 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 20 0 150735637 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039043037424 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19024] ppid=19007 vsize=26004064 memory=279359705551504 CPUtime=0.03 cores=0-7 /proc/19009/task/19024/stat : 19024 (java) S 19007 19007 17559 0 -1 1077944384 332 0 0 0 3 0 0 0 20 0 20 0 150735637 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039041984880 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19025] ppid=19007 vsize=26004064 memory=279359705549200 CPUtime=0.01 cores=0-7 /proc/19009/task/19025/stat : 19025 (java) R 19007 19007 17559 0 -1 4202560 227 0 0 0 1 0 0 0 20 0 20 0 150735637 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039040931824 140040356638151 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19026] ppid=19007 vsize=26004064 memory=279359705565360 CPUtime=0.12 cores=0-7 /proc/19009/task/19026/stat : 19026 (java) R 19007 19007 17559 0 -1 4202560 824 0 0 0 12 0 0 0 20 0 20 0 150735637 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039039874960 140040372260246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19027] ppid=19007 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19027/stat : 19027 (java) S 19007 19007 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150735637 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039038827488 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19028] ppid=19007 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/19009/task/19028/stat : 19028 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735637 26628161536 11568 33554432000 4194304 4196468 140731585657088 140039037775024 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47652 KiB [startup+0.701 s] /proc/loadavg: 8.40 8.51 8.33 3/199 19028 /proc/meminfo: memFree=27291072/32770624 swapFree=67108860/67108860 [pid=19007] ppid=19004 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/19007/stat : 19007 (xcsp3-exec) S 19004 19007 17559 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150735631 9740288 345 33554432000 4194304 5098028 140722136939760 140722136937864 140614681240188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23003136 140722136941675 140722136941884 140722136941884 140722136944619 0 /proc/19007/statm: 2378 345 289 221 0 87 0 [pid=19009] ppid=19007 vsize=26006188 memory=92456 CPUtime=1.71 cores=0-7 /proc/19009/stat : 19009 (java) S 19007 19007 17559 0 -1 1077944320 13879 0 0 0 166 5 0 0 20 0 20 0 150735631 26630336512 23114 33554432000 4194304 4196468 140731585657088 140731585639632 140040372248311 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 /proc/19009/statm: 6501547 23114 3206 1 0 6488781 0 [pid=19009/tid=19010] ppid=19007 vsize=26006188 memory=279359705923248 CPUtime=0.66 cores=0-7 /proc/19009/task/19010/stat : 19010 (java) R 19007 19007 17559 0 -1 4202560 6519 0 0 0 64 2 0 0 20 0 20 0 150735631 26630336512 23114 33554432000 4194304 4196468 140731585657088 140040376483984 140039979511725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19011] ppid=19007 vsize=26006188 memory=139679852962672 CPUtime=0 cores=0-7 /proc/19009/task/19011/stat : 19011 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26630336512 23114 33554432000 4194304 4196468 140731585657088 140039930534928 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19012] ppid=19007 vsize=26006188 memory=0 CPUtime=0 cores=0-7 /proc/19009/task/19012/stat : 19012 (java) S 19007 19007 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150735632 26630336512 23114 33554432000 4194304 4196468 140731585657088 140039929482384 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19013] ppid=19007 vsize=26006188 memory=4620 CPUtime=0 cores=0-7 /proc/19009/task/19013/stat : 19013 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150735632 26630336512 23114 33554432000 4194304 4196468 140731585657088 140039928429328 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 ################ # More data... # ################ [pid=19009/tid=19428] ppid=19007 vsize=26540748 memory=495580 CPUtime=49.36 cores=0-7 /proc/19009/task/19428/stat : 19428 (java) R 19007 19007 17559 0 -1 4202560 2202 0 0 0 4936 0 0 0 20 0 28 0 150746830 27177725952 123896 33554432000 4194304 4196468 140731585657088 140039029765200 140039985454273 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 Current children cumulated CPU time: 1154.4 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 496964 KiB [startup+222.304 s] /proc/loadavg: 8.08 8.00 8.14 9/208 19444 /proc/meminfo: memFree=26787064/32770624 swapFree=67108860/67108860 [pid=19007] ppid=19004 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/19007/stat : 19007 (xcsp3-exec) S 19004 19007 17559 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150735631 9740288 345 33554432000 4194304 5098028 140722136939760 140722136937864 140614681240188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23003136 140722136941675 140722136941884 140722136941884 140722136944619 0 /proc/19007/statm: 2378 345 289 221 0 87 0 [pid=19009] ppid=19007 vsize=26540748 memory=566612 CPUtime=1613.75 cores=0-7 /proc/19009/stat : 19009 (java) S 19007 19007 17559 0 -1 1077944320 189678 0 0 0 161163 212 0 0 20 0 28 0 150735631 27177725952 141653 33554432000 4194304 4196468 140731585657088 140731585639632 140040372248311 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 /proc/19009/statm: 6635187 141653 3282 1 0 6622421 0 [pid=19009/tid=19010] ppid=19007 vsize=26540748 memory=564536 CPUtime=0.78 cores=0-7 /proc/19009/task/19010/stat : 19010 (java) S 19007 19007 17559 0 -1 1077944384 8616 0 0 0 75 3 0 0 20 0 28 0 150735631 27177725952 141653 33554432000 4194304 4196468 140731585657088 140040376489088 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19011] ppid=19007 vsize=26540748 memory=520336 CPUtime=0.44 cores=0-7 /proc/19009/task/19011/stat : 19011 (java) S 19007 19007 17559 0 -1 1077944384 4798 0 0 0 34 10 0 0 20 0 28 0 150735632 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039930534928 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19012] ppid=19007 vsize=26540748 memory=550024 CPUtime=0.45 cores=0-7 /proc/19009/task/19012/stat : 19012 (java) S 19007 19007 17559 0 -1 1077944384 3041 0 0 0 35 10 0 0 20 0 28 0 150735632 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039929482384 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19013] ppid=19007 vsize=26540748 memory=562468 CPUtime=0.45 cores=0-7 /proc/19009/task/19013/stat : 19013 (java) S 19007 19007 17559 0 -1 1077944384 3521 0 0 0 37 8 0 0 20 0 28 0 150735632 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039928429328 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19014] ppid=19007 vsize=26540748 memory=564536 CPUtime=0.46 cores=0-7 /proc/19009/task/19014/stat : 19014 (java) S 19007 19007 17559 0 -1 1077944384 4012 0 0 0 35 11 0 0 20 0 28 0 150735632 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039927376784 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19015] ppid=19007 vsize=26540748 memory=564544 CPUtime=0.47 cores=0-7 /proc/19009/task/19015/stat : 19015 (java) S 19007 19007 17559 0 -1 1077944384 4374 0 0 0 36 11 0 0 20 0 28 0 150735632 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039926323728 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19016] ppid=19007 vsize=26540748 memory=552112 CPUtime=0.47 cores=0-7 /proc/19009/task/19016/stat : 19016 (java) S 19007 19007 17559 0 -1 1077944384 6242 0 0 0 36 11 0 0 20 0 28 0 150735632 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039925271184 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19017] ppid=19007 vsize=26540748 memory=18488 CPUtime=0.45 cores=0-7 /proc/19009/task/19017/stat : 19017 (java) S 19007 19007 17559 0 -1 1077944384 4610 0 0 0 35 10 0 0 20 0 28 0 150735632 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039924218128 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19018] ppid=19007 vsize=26540748 memory=1380 CPUtime=0.47 cores=0-7 /proc/19009/task/19018/stat : 19018 (java) S 19007 19007 17559 0 -1 1077944384 5419 0 0 0 36 11 0 0 20 0 28 0 150735632 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039923165584 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19019] ppid=19007 vsize=26540748 memory=516192 CPUtime=1.38 cores=0-7 /proc/19009/task/19019/stat : 19019 (java) S 19007 19007 17559 0 -1 1077944384 16123 0 0 0 66 72 0 0 20 0 28 0 150735634 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039047248624 140040372259458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19020] ppid=19007 vsize=26540748 memory=4140 CPUtime=0 cores=0-7 /proc/19009/task/19020/stat : 19020 (java) S 19007 19007 17559 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 150735634 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039046194912 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19021] ppid=19007 vsize=26540748 memory=41756 CPUtime=0 cores=0-7 /proc/19009/task/19021/stat : 19021 (java) S 19007 19007 17559 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 150735634 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039045141760 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19022] ppid=19007 vsize=26540748 memory=916 CPUtime=0 cores=0-7 /proc/19009/task/19022/stat : 19022 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150735637 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039044090320 140040372266907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19023] ppid=19007 vsize=26540748 memory=4396 CPUtime=3.28 cores=0-7 /proc/19009/task/19023/stat : 19023 (java) S 19007 19007 17559 0 -1 1077944384 14285 0 0 0 325 3 0 0 20 0 28 0 150735637 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039043037424 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19024] ppid=19007 vsize=26540748 memory=560400 CPUtime=3.22 cores=0-7 /proc/19009/task/19024/stat : 19024 (java) S 19007 19007 17559 0 -1 1077944384 16076 0 0 0 319 3 0 0 20 0 28 0 150735637 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039041984880 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19025] ppid=19007 vsize=26540748 memory=1728 CPUtime=3.05 cores=0-7 /proc/19009/task/19025/stat : 19025 (java) S 19007 19007 17559 0 -1 1077944384 11463 0 0 0 302 3 0 0 20 0 28 0 150735637 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039040931824 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19026] ppid=19007 vsize=26540748 memory=1576 CPUtime=1 cores=0-7 /proc/19009/task/19026/stat : 19026 (java) S 19007 19007 17559 0 -1 1077944384 16437 0 0 0 97 3 0 0 20 0 28 0 150735637 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039039879280 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19027] ppid=19007 vsize=26540748 memory=2196 CPUtime=0 cores=0-7 /proc/19009/task/19027/stat : 19027 (java) S 19007 19007 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150735637 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039038827488 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19028] ppid=19007 vsize=26540748 memory=1716 CPUtime=0.06 cores=0-7 /proc/19009/task/19028/stat : 19028 (java) S 19007 19007 17559 0 -1 1077944384 2344 0 0 0 1 5 0 0 20 0 28 0 150735637 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039037775024 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19437] ppid=19007 vsize=26540748 memory=1956 CPUtime=36.07 cores=0-7 /proc/19009/task/19437/stat : 19437 (java) R 19007 19007 17559 0 -1 4202560 1638 0 0 0 3607 0 0 0 20 0 28 0 150754175 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039025555392 140039985923493 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19438] ppid=19007 vsize=26540748 memory=1380 CPUtime=36.06 cores=0-7 /proc/19009/task/19438/stat : 19438 (java) R 19007 19007 17559 0 -1 4202560 1315 0 0 0 3606 0 0 0 20 0 28 0 150754175 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039029764896 140039984629659 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19439] ppid=19007 vsize=26540748 memory=1380 CPUtime=36.11 cores=0-7 /proc/19009/task/19439/stat : 19439 (java) R 19007 19007 17559 0 -1 4202560 1638 0 0 0 3611 0 0 0 20 0 28 0 150754175 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039024501200 140039981661999 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19440] ppid=19007 vsize=26540748 memory=928 CPUtime=36.08 cores=0-7 /proc/19009/task/19440/stat : 19440 (java) R 19007 19007 17559 0 -1 4202560 3210 0 0 0 3607 1 0 0 20 0 28 0 150754175 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039026606624 140039985923227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19441] ppid=19007 vsize=26540748 memory=1576 CPUtime=36.13 cores=0-7 /proc/19009/task/19441/stat : 19441 (java) R 19007 19007 17559 0 -1 4202560 1165 0 0 0 3612 1 0 0 20 0 28 0 150754175 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039022394880 140039986372714 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19442] ppid=19007 vsize=26540748 memory=1380 CPUtime=36.09 cores=0-7 /proc/19009/task/19442/stat : 19442 (java) R 19007 19007 17559 0 -1 4202560 3603 0 0 0 3608 1 0 0 20 0 28 0 150754175 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039028711056 140039978366206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19443] ppid=19007 vsize=26540748 memory=562468 CPUtime=36.24 cores=0-7 /proc/19009/task/19443/stat : 19443 (java) R 19007 19007 17559 0 -1 4202560 1408 0 0 0 3624 0 0 0 20 0 28 0 150754175 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039027659728 140039984725171 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19444] ppid=19007 vsize=26540748 memory=1380 CPUtime=36.14 cores=0-7 /proc/19009/task/19444/stat : 19444 (java) R 19007 19007 17559 0 -1 4202560 1404 0 0 0 3614 0 0 0 20 0 28 0 150754175 27177725952 141653 33554432000 4194304 4196468 140731585657088 140039023448096 140039981677114 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 Current children cumulated CPU time: 1613.75 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 567992 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.006 s]* /proc/loadavg: 8.12 8.02 8.14 10/208 19444 /proc/meminfo: memFree=26760308/32770624 swapFree=67108860/67108860 [pid=19007] ppid=19004 vsize=9512 memory=1380 CPUtime=0 cores=0-7 /proc/19007/stat : 19007 (xcsp3-exec) S 19004 19007 17559 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150735631 9740288 345 33554432000 4194304 5098028 140722136939760 140722136937864 140614681240188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23003136 140722136941675 140722136941884 140722136941884 140722136944619 0 /proc/19007/statm: 2378 345 289 221 0 87 0 [pid=19009] ppid=19007 vsize=26540748 memory=593344 CPUtime=1848.28 cores=0-7 /proc/19009/stat : 19009 (java) S 19007 19007 17559 0 -1 1077944320 196948 0 0 0 184598 230 0 0 20 0 28 0 150735631 27177725952 148336 33554432000 4194304 4196468 140731585657088 140731585639632 140040372248311 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 /proc/19009/statm: 6635187 148336 3282 1 0 6622421 0 [pid=19009/tid=19010] ppid=19007 vsize=26540748 memory=6791534058613427641 CPUtime=0.78 cores=0-7 /proc/19009/task/19010/stat : 19010 (java) S 19007 19007 17559 0 -1 1077944384 8616 0 0 0 75 3 0 0 20 0 28 0 150735631 27177725952 148336 33554432000 4194304 4196468 140731585657088 140040376489088 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19011] ppid=19007 vsize=26540748 memory=4872558044660077418 CPUtime=0.52 cores=0-7 /proc/19009/task/19011/stat : 19011 (java) S 19007 19007 17559 0 -1 1077944384 5042 0 0 0 41 11 0 0 20 0 28 0 150735632 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039930534928 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19012] ppid=19007 vsize=26540748 memory=916 CPUtime=0.51 cores=0-7 /proc/19009/task/19012/stat : 19012 (java) S 19007 19007 17559 0 -1 1077944384 3221 0 0 0 41 10 0 0 20 0 28 0 150735632 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039929482384 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19013] ppid=19007 vsize=26540748 memory=4396 CPUtime=0.52 cores=0-7 /proc/19009/task/19013/stat : 19013 (java) S 19007 19007 17559 0 -1 1077944384 3814 0 0 0 43 9 0 0 20 0 28 0 150735632 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039928429328 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19014] ppid=19007 vsize=26540748 memory=4104 CPUtime=0.53 cores=0-7 /proc/19009/task/19014/stat : 19014 (java) S 19007 19007 17559 0 -1 1077944384 4714 0 0 0 42 11 0 0 20 0 28 0 150735632 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039927376784 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19015] ppid=19007 vsize=26540748 memory=1160 CPUtime=0.53 cores=0-7 /proc/19009/task/19015/stat : 19015 (java) S 19007 19007 17559 0 -1 1077944384 4718 0 0 0 42 11 0 0 20 0 28 0 150735632 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039926323728 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19016] ppid=19007 vsize=26540748 memory=6791534058613427641 CPUtime=0.54 cores=0-7 /proc/19009/task/19016/stat : 19016 (java) S 19007 19007 17559 0 -1 1077944384 6732 0 0 0 43 11 0 0 20 0 28 0 150735632 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039925271184 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19017] ppid=19007 vsize=26540748 memory=12136 CPUtime=0.52 cores=0-7 /proc/19009/task/19017/stat : 19017 (java) S 19007 19007 17559 0 -1 1077944384 4897 0 0 0 41 11 0 0 20 0 28 0 150735632 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039924218128 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19018] ppid=19007 vsize=26540748 memory=1576 CPUtime=0.54 cores=0-7 /proc/19009/task/19018/stat : 19018 (java) S 19007 19007 17559 0 -1 1077944384 5560 0 0 0 43 11 0 0 20 0 28 0 150735632 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039923165584 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19019] ppid=19007 vsize=26540748 memory=2196 CPUtime=1.64 cores=0-7 /proc/19009/task/19019/stat : 19019 (java) S 19007 19007 17559 0 -1 1077944384 17217 0 0 0 78 86 0 0 20 0 28 0 150735634 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039047248624 140040372259458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19020] ppid=19007 vsize=26540748 memory=8040 CPUtime=0 cores=0-7 /proc/19009/task/19020/stat : 19020 (java) S 19007 19007 17559 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 150735634 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039046194912 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19021] ppid=19007 vsize=26540748 memory=840 CPUtime=0 cores=0-7 /proc/19009/task/19021/stat : 19021 (java) S 19007 19007 17559 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 150735634 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039045141760 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19022] ppid=19007 vsize=26540748 memory=1692 CPUtime=0 cores=0-7 /proc/19009/task/19022/stat : 19022 (java) S 19007 19007 17559 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150735637 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039044090320 140040372266907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19023] ppid=19007 vsize=26540748 memory=916 CPUtime=3.28 cores=0-7 /proc/19009/task/19023/stat : 19023 (java) S 19007 19007 17559 0 -1 1077944384 14293 0 0 0 325 3 0 0 20 0 28 0 150735637 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039043037424 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19024] ppid=19007 vsize=26540748 memory=4396 CPUtime=3.22 cores=0-7 /proc/19009/task/19024/stat : 19024 (java) S 19007 19007 17559 0 -1 1077944384 16088 0 0 0 319 3 0 0 20 0 28 0 150735637 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039041984880 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19025] ppid=19007 vsize=26540748 memory=6791534058613427641 CPUtime=3.05 cores=0-7 /proc/19009/task/19025/stat : 19025 (java) S 19007 19007 17559 0 -1 1077944384 11471 0 0 0 302 3 0 0 20 0 28 0 150735637 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039040931824 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19026] ppid=19007 vsize=26540748 memory=5792 CPUtime=1 cores=0-7 /proc/19009/task/19026/stat : 19026 (java) S 19007 19007 17559 0 -1 1077944384 16445 0 0 0 97 3 0 0 20 0 28 0 150735637 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039039879280 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19027] ppid=19007 vsize=26540748 memory=1008 CPUtime=0 cores=0-7 /proc/19009/task/19027/stat : 19027 (java) S 19007 19007 17559 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150735637 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039038827488 140040372258517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19028] ppid=19007 vsize=26540748 memory=4620 CPUtime=0.06 cores=0-7 /proc/19009/task/19028/stat : 19028 (java) S 19007 19007 17559 0 -1 1077944384 2393 0 0 0 1 5 0 0 20 0 28 0 150735637 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039037775024 140040372259458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19437] ppid=19007 vsize=26540748 memory=1428 CPUtime=65.3 cores=0-7 /proc/19009/task/19437/stat : 19437 (java) R 19007 19007 17559 0 -1 4202560 2046 0 0 0 6529 1 0 0 20 0 28 0 150754175 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039025552448 140039976043552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19438] ppid=19007 vsize=26540748 memory=1380 CPUtime=65.31 cores=0-7 /proc/19009/task/19438/stat : 19438 (java) R 19007 19007 17559 0 -1 4202560 1623 0 0 0 6531 0 0 0 20 0 28 0 150754175 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039029767184 140039981677090 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19439] ppid=19007 vsize=26540748 memory=1380 CPUtime=65.28 cores=0-7 /proc/19009/task/19439/stat : 19439 (java) R 19007 19007 17559 0 -1 4202560 1973 0 0 0 6528 0 0 0 20 0 28 0 150754175 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039024501336 140039986310708 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19440] ppid=19007 vsize=26540748 memory=576928 CPUtime=65.25 cores=0-7 /proc/19009/task/19440/stat : 19440 (java) R 19007 19007 17559 0 -1 4202560 4019 0 0 0 6523 2 0 0 20 0 28 0 150754175 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039026606400 140039984005411 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19441] ppid=19007 vsize=26540748 memory=956 CPUtime=65.32 cores=0-7 /proc/19009/task/19441/stat : 19441 (java) R 19007 19007 17559 0 -1 4202560 1506 0 0 0 6531 1 0 0 20 0 28 0 150754175 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039022394768 140039986372714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19442] ppid=19007 vsize=26540748 memory=2424 CPUtime=65.35 cores=0-7 /proc/19009/task/19442/stat : 19442 (java) R 19007 19007 17559 0 -1 4202560 4250 0 0 0 6533 2 0 0 20 0 28 0 150754175 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039028711288 140039982817517 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19443] ppid=19007 vsize=26540748 memory=2240 CPUtime=65.53 cores=0-7 /proc/19009/task/19443/stat : 19443 (java) R 19007 19007 17559 0 -1 4202560 1663 0 0 0 6553 0 0 0 20 0 28 0 150754175 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039027659832 140039983147258 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 [pid=19009/tid=19444] ppid=19007 vsize=26540748 memory=4620 CPUtime=65.31 cores=0-7 /proc/19009/task/19444/stat : 19444 (java) R 19007 19007 17559 0 -1 4202560 1711 0 0 0 6531 0 0 0 20 0 28 0 150754175 27177725952 148336 33554432000 4194304 4196468 140731585657088 140039023448504 140039983557778 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 14946304 140731585664152 140731585664328 140731585664328 140731585667023 0 Current children cumulated CPU time: 1848.28 s Current children cumulated vsize: 26550260 KiB Current children cumulated memory: 594724 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.045 s] # the end of solver process 19007 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000953 s, system=0.000953 s [startup+252.12 s] # the end of solver process 19009 was just reported to runsolver # cumulated CPU time of all completed processes: user=1846.72 s, system=2.31533 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.12 CPU time (s): 1849.04 CPU user time (s): 1846.72 CPU system time (s): 2.31533 CPU usage (%): 733.396 Max. virtual memory (cumulated for all children) (KiB): 26552796 Max. memory (cumulated for all children) (KiB): 594724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1846.72 system time used= 2.31533 maximum resident set size= 593936 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 198702 page faults= 0 swaps= 0 block input operations= 0 block output operations= 616 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41544 involuntary context switches= 21392 # summary of solver processes directly reported to runsolver: # pid: 19007,19009 # total CPU time (s): 1849.04 # total CPU user time (s): 1846.72 # total CPU system time (s): 2.31533 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.41149 second user time and 2.50393 second system time The end
Begin job on node106 at 2017-08-19 22:47:00 IDJOB=4281667 IDBENCH=115818 IDSOLVER=2676 FILE ID=node106/4281667-1503176480 RUNJOBID= node106-1503164925-17586 PBS_JOBID= 20630831 Free space on /tmp= 61820 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-07-07-5.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-4281667-1503176480/watcher-4281667-1503176480 -o /tmp/evaluation-result-4281667-1503176480/solver-4281667-1503176480 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503164925-17586 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 983730892 HOME/instance-4281667-1503176480.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e703a022bfe4f723b0880c2305d40b57 RANDOM SEED=983730892 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: 27339572 kB MemAvailable: 31969600 kB Buffers: 238800 kB Cached: 4683560 kB SwapCached: 0 kB Active: 1068160 kB Inactive: 3910168 kB Active(anon): 12028 kB Inactive(anon): 80012 kB Active(file): 1056132 kB Inactive(file): 3830156 kB Unevictable: 7764 kB Mlocked: 7764 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7848 kB Writeback: 0 kB AnonPages: 64164 kB Mapped: 51376 kB Shmem: 33420 kB Slab: 146080 kB SReclaimable: 119148 kB SUnreclaim: 26932 kB KernelStack: 3312 kB PageTables: 4848 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 334736 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= 61812 MiB End job on node106 at 2017-08-19 22:51:12