Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | SAT (TO) | 459 | 1992.76 | 252.094 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml |
MD5SUM | 3801e67c429176a130b0cb7922d17a7f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 458 |
Best CPU time to get the best result obtained on this benchmark | 29.4515 |
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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404985-1569002965.xml" -tl '2016s' -p 8 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4404985-1569002965.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.99/0.85 c solve instance... 30.11/4.48 o 554 30.81/4.56 o 551 36.21/5.21 o 536 36.97/5.37 o 534 40.68/5.81 o 530 40.68/5.88 o 529 46.09/6.56 o 521 51.56/7.21 o 519 51.56/7.22 o 517 51.56/7.22 o 511 51.56/7.25 o 510 51.56/7.27 o 503 51.56/7.28 o 502 52.22/7.31 o 487 52.22/7.31 o 484 52.22/7.32 o 482 62.46/8.64 o 481 62.46/8.67 o 480 63.23/8.70 o 475 63.23/8.73 o 474 122.79/16.27 o 473 147.46/19.35 o 472 160.17/20.99 o 471 160.17/20.99 o 470 162.53/21.23 o 469 183.97/23.96 o 468 188.73/24.50 o 467 215.79/27.93 o 466 235.62/30.43 o 465 281.64/36.30 o 464 423.75/54.17 o 463 480.67/61.34 o 462 556.82/70.97 o 461 603.58/76.81 o 460 1511.80/191.47 o 459 1992.21/252.07 s SATISFIABLE 1992.21/252.07 v <instantiation> 1992.21/252.07 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> 1992.21/252.07 v <values>18 107 141 184 295 367 427 0 85 168 194 257 292 367 89 186 192 301 349 398 413 0 69 160 252 347 367 417 2 66 162 255 268 336 422 1 89 154 181 286 333 396 3 93 157 188 257 274 367 459 414 459 459 459 458 459 67 31 43 71 72 32 32 66 72 13 60 35 41 47 73 6 94 23 44 15 46 69 90 92 95 20 50 42 51 75 93 13 68 86 37 82 65 27 89 47 63 62 86 62 31 64 17 93 92 1 6 3 4 5 0 2 3 1 0 6 2 4 5 5 6 1 2 3 4 0 4 0 2 3 6 1 5 0 3 5 4 6 2 1 5 2 6 0 1 4 3 2 4 1 3 5 0 6 367 18 427 141 184 295 107 168 85 257 0 292 367 194 413 192 301 349 398 89 186 69 367 160 252 0 417 347 2 422 336 66 255 162 268 181 286 89 396 333 1 154 274 157 3 188 93 257 367 </values> 1992.21/252.07 v </instantiation> 1992.21/252.07 c Unexpected resolution interruption!
OK 459
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 (9726 MiB free) memory of node 1: 16384 MiB (8266 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404985-1569002965/watcher-4404985-1569002965 -o /tmp/evaluation-result-4404985-1569002965/solver-4404985-1569002965 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 695254985 HOME/instance-4404985-1569002965.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=20955, runsolver pid=20952 Current StackSize limit: 8192 KiB [startup+0.10014 s]* /proc/loadavg: 7.61 8.07 8.08 2/210 20976 /proc/meminfo: memFree=18408332/32770624 swapFree=66986244/67108860 [pid=20955] ppid=20952 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/20955/stat : 20955 (xcsp3-exec) S 20952 20955 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476553355 115843072 362 33554432000 4194304 5098028 140732329914608 140732329912712 140193809568380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37957632 140732329919356 140732329919598 140732329919598 140732329922506 0 /proc/20955/statm: 28282 362 304 221 0 87 0 [pid=20957] ppid=20955 vsize=28227396 memory=29928 CPUtime=0.13 cores=0-7 /proc/20957/stat : 20957 (java) S 20955 20955 14667 0 -1 1077944320 5960 0 0 0 11 2 0 0 20 0 20 0 476553355 28904853504 7482 33554432000 4194304 4196468 140733422348032 140733422330576 140034305662711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 /proc/20957/statm: 7056849 7482 3120 1 0 7019032 0 [pid=20957/tid=20958] ppid=20955 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/20957/task/20958/stat : 20958 (java) R 20955 20955 14667 0 -1 4202560 3869 0 0 0 8 1 0 0 20 0 20 0 476553356 28904853504 7482 33554432000 4194304 4196468 140733422348032 140034309895984 140034305684637 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20959] ppid=20955 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/20957/task/20959/stat : 20959 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476553356 28904853504 7482 33554432000 4194304 4196468 140733422348032 140034258283024 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20960] ppid=20955 vsize=28227396 memory=139856590960256 CPUtime=0 cores=0-7 /proc/20957/task/20960/stat : 20960 (java) S 20955 20955 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476553356 28904853504 7482 33554432000 4194304 4196468 140733422348032 140034257230480 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20961] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20961/stat : 20961 (java) S 20955 20955 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476553356 28904853504 7482 33554432000 4194304 4196468 140733422348032 140034256177424 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20962] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20962/stat : 20962 (java) S 20955 20955 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476553356 28904853504 7482 33554432000 4194304 4196468 140733422348032 140033853872528 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20963] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20963/stat : 20963 (java) S 20955 20955 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476553356 28904853504 7482 33554432000 4194304 4196468 140733422348032 140033852820496 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20964] ppid=20955 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20957/task/20964/stat : 20964 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476553356 28904853504 7482 33554432000 4194304 4196468 140733422348032 140033851767952 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20965] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20965/stat : 20965 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476553356 28904853504 7482 33554432000 4194304 4196468 140733422348032 140033850714896 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20966] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20966/stat : 20966 (java) S 20955 20955 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476553356 28904853504 7482 33554432000 4194304 4196468 140733422348032 140033849662352 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20967] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20967/stat : 20967 (java) S 20955 20955 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476553358 28904853504 7482 33554432000 4194304 4196468 140733422348032 140033690429680 140034305673858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20968] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20968/stat : 20968 (java) S 20955 20955 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476553358 28904853504 7482 33554432000 4194304 4196468 140733422348032 140033689375904 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20969] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20969/stat : 20969 (java) S 20955 20955 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476553359 28904853504 7482 33554432000 4194304 4196468 140733422348032 140033688322800 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20970] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20970/stat : 20970 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476553361 28904853504 7482 33554432000 4194304 4196468 140733422348032 140033687271376 140034305681307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20971] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20971/stat : 20971 (java) S 20955 20955 14667 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 476553361 28904853504 7482 33554432000 4194304 4196468 140733422348032 140033686219504 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20972] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20972/stat : 20972 (java) R 20955 20955 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476553361 28904853504 7482 33554432000 4194304 4196468 140733422348032 140033685166960 140034305673858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20973] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20973/stat : 20973 (java) S 20955 20955 14667 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476553361 28904853504 7482 33554432000 4194304 4196468 140733422348032 140033684113904 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20974] ppid=20955 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/20957/task/20974/stat : 20974 (java) S 20955 20955 14667 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 20 0 476553361 28904853504 7482 33554432000 4194304 4196468 140733422348032 140033683061360 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20975] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20975/stat : 20975 (java) S 20955 20955 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476553361 28904853504 7482 33554432000 4194304 4196468 140733422348032 140033682008544 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20976] ppid=20955 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20957/task/20976/stat : 20976 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476553362 28904853504 7482 33554432000 4194304 4196468 140733422348032 140033680956080 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31376 KiB [startup+0.210422 s]* /proc/loadavg: 7.61 8.07 8.08 2/210 20976 /proc/meminfo: memFree=18396316/32770624 swapFree=66986244/67108860 [pid=20955] ppid=20952 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/20955/stat : 20955 (xcsp3-exec) S 20952 20955 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476553355 115843072 362 33554432000 4194304 5098028 140732329914608 140732329912712 140193809568380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37957632 140732329919356 140732329919598 140732329919598 140732329922506 0 /proc/20955/statm: 28282 362 304 221 0 87 0 [pid=20957] ppid=20955 vsize=28227396 memory=41232 CPUtime=0.34 cores=0-7 /proc/20957/stat : 20957 (java) S 20955 20955 14667 0 -1 1077944320 9515 0 0 0 31 3 0 0 20 0 20 0 476553355 28904853504 10308 33554432000 4194304 4196468 140733422348032 140733422330576 140034305662711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 /proc/20957/statm: 7056849 10308 3295 1 0 7019032 0 [pid=20957/tid=20958] ppid=20955 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/20957/task/20958/stat : 20958 (java) R 20955 20955 14667 0 -1 4202560 6684 0 0 0 18 2 0 0 20 0 20 0 476553356 28904853504 10308 33554432000 4194304 4196468 140733422348032 140034309894624 140034289743198 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20959] ppid=20955 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/20957/task/20959/stat : 20959 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476553356 28904853504 10308 33554432000 4194304 4196468 140733422348032 140034258283024 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20960] ppid=20955 vsize=28227396 memory=139856594353857 CPUtime=0 cores=0-7 /proc/20957/task/20960/stat : 20960 (java) S 20955 20955 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476553356 28904853504 10308 33554432000 4194304 4196468 140733422348032 140034257230480 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20961] ppid=20955 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20957/task/20961/stat : 20961 (java) S 20955 20955 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476553356 28904853504 10308 33554432000 4194304 4196468 140733422348032 140034256177424 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20962] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20962/stat : 20962 (java) S 20955 20955 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476553356 28904853504 10308 33554432000 4194304 4196468 140733422348032 140033853872528 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20963] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20963/stat : 20963 (java) S 20955 20955 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476553356 28904853504 10308 33554432000 4194304 4196468 140733422348032 140033852820496 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20964] ppid=20955 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20957/task/20964/stat : 20964 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476553356 28904853504 10308 33554432000 4194304 4196468 140733422348032 140033851767952 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20965] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20965/stat : 20965 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476553356 28904853504 10308 33554432000 4194304 4196468 140733422348032 140033850714896 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20966] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20966/stat : 20966 (java) S 20955 20955 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476553356 28904853504 10308 33554432000 4194304 4196468 140733422348032 140033849662352 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20967] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20967/stat : 20967 (java) S 20955 20955 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476553358 28904853504 10308 33554432000 4194304 4196468 140733422348032 140033690429680 140034305673858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20968] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20968/stat : 20968 (java) S 20955 20955 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476553358 28904853504 10308 33554432000 4194304 4196468 140733422348032 140033689375904 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20969] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20969/stat : 20969 (java) S 20955 20955 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476553359 28904853504 10308 33554432000 4194304 4196468 140733422348032 140033688322800 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20970] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20970/stat : 20970 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476553361 28904853504 10308 33554432000 4194304 4196468 140733422348032 140033687271376 140034305681307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20971] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20971/stat : 20971 (java) S 20955 20955 14667 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 20 0 476553361 28904853504 10308 33554432000 4194304 4196468 140733422348032 140033686219504 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20972] ppid=20955 vsize=28227396 memory=0 CPUtime=0.03 cores=0-7 /proc/20957/task/20972/stat : 20972 (java) R 20955 20955 14667 0 -1 4202560 326 0 0 0 3 0 0 0 20 0 20 0 476553361 28904853504 10308 33554432000 4194304 4196468 140733422348032 140033685166960 140034305673858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20973] ppid=20955 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/20957/task/20973/stat : 20973 (java) R 20955 20955 14667 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 20 0 476553361 28904853504 10308 33554432000 4194304 4196468 140733422348032 140033684113904 140034305673858 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20974] ppid=20955 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/20957/task/20974/stat : 20974 (java) R 20955 20955 14667 0 -1 4202560 702 0 0 0 8 0 0 0 20 0 20 0 476553361 28904853504 10308 33554432000 4194304 4196468 140733422348032 140033683061360 140034297997708 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20975] ppid=20955 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20975/stat : 20975 (java) S 20955 20955 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476553361 28904853504 10308 33554432000 4194304 4196468 140733422348032 140033682008544 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20976] ppid=20955 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/20957/task/20976/stat : 20976 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476553362 28904853504 10308 33554432000 4194304 4196468 140733422348032 140033680956080 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42680 KiB [startup+0.31025 s]* /proc/loadavg: 7.61 8.07 8.08 5/210 20976 /proc/meminfo: memFree=18388424/32770624 swapFree=66986244/67108860 [pid=20955] ppid=20952 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/20955/stat : 20955 (xcsp3-exec) S 20952 20955 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476553355 115843072 362 33554432000 4194304 5098028 140732329914608 140732329912712 140193809568380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37957632 140732329919356 140732329919598 140732329919598 140732329922506 0 /proc/20955/statm: 28282 362 304 221 0 87 0 [pid=20957] ppid=20955 vsize=28231652 memory=50044 CPUtime=0.53 cores=0-7 /proc/20957/stat : 20957 (java) S 20955 20955 14667 0 -1 1077944320 10866 0 0 0 49 4 0 0 20 0 20 0 476553355 28909211648 12511 33554432000 4194304 4196468 140733422348032 140733422330576 140034305662711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 /proc/20957/statm: 7057913 12511 3348 1 0 7019032 0 [pid=20957/tid=20958] ppid=20955 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/20957/task/20958/stat : 20958 (java) R 20955 20955 14667 0 -1 4202560 7805 0 0 0 27 2 0 0 20 0 20 0 476553356 28909211648 12511 33554432000 4194304 4196468 140733422348032 140034309893824 140034291381093 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20959] ppid=20955 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20959/stat : 20959 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476553356 28909211648 12511 33554432000 4194304 4196468 140733422348032 140034258283024 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20960] ppid=20955 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20960/stat : 20960 (java) S 20955 20955 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476553356 28909211648 12511 33554432000 4194304 4196468 140733422348032 140034257230480 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20961] ppid=20955 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20961/stat : 20961 (java) S 20955 20955 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476553356 28909211648 12511 33554432000 4194304 4196468 140733422348032 140034256177424 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20962] ppid=20955 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20962/stat : 20962 (java) S 20955 20955 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476553356 28909211648 12511 33554432000 4194304 4196468 140733422348032 140033853872528 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20963] ppid=20955 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20963/stat : 20963 (java) S 20955 20955 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476553356 28909211648 12511 33554432000 4194304 4196468 140733422348032 140033852820496 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20964] ppid=20955 vsize=28231652 memory=139856483281583 CPUtime=0 cores=0-7 /proc/20957/task/20964/stat : 20964 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476553356 28909211648 12511 33554432000 4194304 4196468 140733422348032 140033851767952 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20965] ppid=20955 vsize=28231652 memory=139856483283888 CPUtime=0 cores=0-7 /proc/20957/task/20965/stat : 20965 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476553356 28909211648 12511 33554432000 4194304 4196468 140733422348032 140033850714896 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20966] ppid=20955 vsize=28231652 memory=139856483286192 CPUtime=0 cores=0-7 /proc/20957/task/20966/stat : 20966 (java) S 20955 20955 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476553356 28909211648 12511 33554432000 4194304 4196468 140733422348032 140033849662352 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20967] ppid=20955 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20967/stat : 20967 (java) S 20955 20955 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476553358 28909211648 12511 33554432000 4194304 4196468 140733422348032 140033690429680 140034305673858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20968] ppid=20955 vsize=28231652 memory=279712966586256 CPUtime=0 cores=0-7 /proc/20957/task/20968/stat : 20968 (java) S 20955 20955 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476553358 28909211648 12511 33554432000 4194304 4196468 140733422348032 140033689375904 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20969] ppid=20955 vsize=28231652 memory=279712966583952 CPUtime=0 cores=0-7 /proc/20957/task/20969/stat : 20969 (java) S 20955 20955 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476553359 28909211648 12511 33554432000 4194304 4196468 140733422348032 140033688322800 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20970] ppid=20955 vsize=28231652 memory=279712966590864 CPUtime=0 cores=0-7 /proc/20957/task/20970/stat : 20970 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476553361 28909211648 12511 33554432000 4194304 4196468 140733422348032 140033687271376 140034305681307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20971] ppid=20955 vsize=28231652 memory=279712966532144 CPUtime=0.01 cores=0-7 /proc/20957/task/20971/stat : 20971 (java) S 20955 20955 14667 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 20 0 476553361 28909211648 12511 33554432000 4194304 4196468 140733422348032 140033686219504 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20972] ppid=20955 vsize=28231652 memory=279712966604688 CPUtime=0.04 cores=0-7 /proc/20957/task/20972/stat : 20972 (java) R 20955 20955 14667 0 -1 4202560 419 0 0 0 4 0 0 0 20 0 20 0 476553361 28909211648 12511 33554432000 4194304 4196468 140733422348032 140033685166960 140034287188651 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20973] ppid=20955 vsize=28231652 memory=279712966611600 CPUtime=0.02 cores=0-7 /proc/20957/task/20973/stat : 20973 (java) S 20955 20955 14667 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 20 0 476553361 28909211648 12511 33554432000 4194304 4196468 140733422348032 140033684113904 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20974] ppid=20955 vsize=28231652 memory=279712966609296 CPUtime=0.12 cores=0-7 /proc/20957/task/20974/stat : 20974 (java) S 20955 20955 14667 0 -1 1077944384 807 0 0 0 12 0 0 0 20 0 20 0 476553361 28909211648 12511 33554432000 4194304 4196468 140733422348032 140033683061360 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20975] ppid=20955 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20975/stat : 20975 (java) S 20955 20955 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476553361 28909211648 12511 33554432000 4194304 4196468 140733422348032 140033682008544 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20976] ppid=20955 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/20957/task/20976/stat : 20976 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476553362 28909211648 12511 33554432000 4194304 4196468 140733422348032 140033680956080 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51492 KiB [startup+0.701013 s] /proc/loadavg: 7.61 8.07 8.08 5/210 20976 /proc/meminfo: memFree=18376016/32770624 swapFree=66986244/67108860 [pid=20955] ppid=20952 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/20955/stat : 20955 (xcsp3-exec) S 20952 20955 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476553355 115843072 362 33554432000 4194304 5098028 140732329914608 140732329912712 140193809568380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37957632 140732329919356 140732329919598 140732329919598 140732329922506 0 /proc/20955/statm: 28282 362 304 221 0 87 0 [pid=20957] ppid=20955 vsize=28233776 memory=83728 CPUtime=1.56 cores=0-7 /proc/20957/stat : 20957 (java) S 20955 20955 14667 0 -1 1077944320 14587 0 0 0 149 7 0 0 20 0 20 0 476553355 28911386624 20932 33554432000 4194304 4196468 140733422348032 140733422330576 140034305662711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 /proc/20957/statm: 7058444 20932 3451 1 0 7019544 0 [pid=20957/tid=20958] ppid=20955 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/20957/task/20958/stat : 20958 (java) R 20955 20955 14667 0 -1 4202560 9381 0 0 0 63 4 0 0 20 0 20 0 476553356 28911386624 20932 33554432000 4194304 4196468 140733422348032 140034309899952 140034305674646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20959] ppid=20955 vsize=28233776 memory=139856483492720 CPUtime=0 cores=0-7 /proc/20957/task/20959/stat : 20959 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476553356 28911386624 20932 33554432000 4194304 4196468 140733422348032 140034258283024 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20960] ppid=20955 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/20957/task/20960/stat : 20960 (java) S 20955 20955 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476553356 28911386624 20932 33554432000 4194304 4196468 140733422348032 140034257230480 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20961] ppid=20955 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/20957/task/20961/stat : 20961 (java) S 20955 20955 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476553356 28911386624 20932 33554432000 4194304 4196468 140733422348032 140034256177424 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 ################ # More data... # ################ [pid=20957/tid=21272] ppid=20955 vsize=28768336 memory=111632 CPUtime=84.51 cores=0-7 /proc/20957/task/21272/stat : 21272 (java) D 20955 20955 14667 0 -1 4202560 2496 0 0 0 8451 0 0 0 20 0 28 0 476561037 29458776064 103726 33554432000 4194304 4196468 140733422348032 140033662271256 140033938515800 0 4 0 16800975 18446744071580418449 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 Current children cumulated CPU time: 1281.01 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 416352 KiB [startup+222.301 s] /proc/loadavg: 8.28 8.12 8.10 9/222 21311 /proc/meminfo: memFree=18020180/32770624 swapFree=66986244/67108860 [pid=20955] ppid=20952 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/20955/stat : 20955 (xcsp3-exec) S 20952 20955 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476553355 115843072 362 33554432000 4194304 5098028 140732329914608 140732329912712 140193809568380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37957632 140732329919356 140732329919598 140732329919598 140732329922506 0 /proc/20955/statm: 28282 362 304 221 0 87 0 [pid=20957] ppid=20955 vsize=28768336 memory=415108 CPUtime=1756.84 cores=0-7 /proc/20957/stat : 20957 (java) S 20955 20955 14667 0 -1 1077944320 240474 0 0 0 175541 143 0 0 20 0 28 0 476553355 29458776064 103777 33554432000 4194304 4196468 140733422348032 140733422330576 140034305662711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 /proc/20957/statm: 7192084 103777 3551 1 0 7153184 0 [pid=20957/tid=20958] ppid=20955 vsize=28768336 memory=534632 CPUtime=0.86 cores=0-7 /proc/20957/task/20958/stat : 20958 (java) S 20955 20955 14667 0 -1 1077944384 11351 0 0 0 81 5 0 0 20 0 28 0 476553356 29458776064 103777 33554432000 4194304 4196468 140733422348032 140034309903488 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20959] ppid=20955 vsize=28768336 memory=539252 CPUtime=0.79 cores=0-7 /proc/20957/task/20959/stat : 20959 (java) S 20955 20955 14667 0 -1 1077944384 6111 0 0 0 72 7 0 0 20 0 28 0 476553356 29458776064 103777 33554432000 4194304 4196468 140733422348032 140034258283024 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20960] ppid=20955 vsize=28768336 memory=413884 CPUtime=0.76 cores=0-7 /proc/20957/task/20960/stat : 20960 (java) S 20955 20955 14667 0 -1 1077944384 5821 0 0 0 67 9 0 0 20 0 28 0 476553356 29458776064 103777 33554432000 4194304 4196468 140733422348032 140034257230480 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20961] ppid=20955 vsize=28768336 memory=415064 CPUtime=0.75 cores=0-7 /proc/20957/task/20961/stat : 20961 (java) S 20955 20955 14667 0 -1 1077944384 5807 0 0 0 67 8 0 0 20 0 28 0 476553356 29458776064 103777 33554432000 4194304 4196468 140733422348032 140034256177424 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20962] ppid=20955 vsize=28768336 memory=415080 CPUtime=0.79 cores=0-7 /proc/20957/task/20962/stat : 20962 (java) S 20955 20955 14667 0 -1 1077944384 5650 0 0 0 71 8 0 0 20 0 28 0 476553356 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033853872528 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20963] ppid=20955 vsize=28768336 memory=415092 CPUtime=0.78 cores=0-7 /proc/20957/task/20963/stat : 20963 (java) S 20955 20955 14667 0 -1 1077944384 4415 0 0 0 71 7 0 0 20 0 28 0 476553356 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033852820496 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20964] ppid=20955 vsize=28768336 memory=1448 CPUtime=0.78 cores=0-7 /proc/20957/task/20964/stat : 20964 (java) S 20955 20955 14667 0 -1 1077944384 4394 0 0 0 71 7 0 0 20 0 28 0 476553356 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033851767952 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20965] ppid=20955 vsize=28768336 memory=255460 CPUtime=0.77 cores=0-7 /proc/20957/task/20965/stat : 20965 (java) S 20955 20955 14667 0 -1 1077944384 5187 0 0 0 70 7 0 0 20 0 28 0 476553356 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033850714896 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20966] ppid=20955 vsize=28768336 memory=1448 CPUtime=0.78 cores=0-7 /proc/20957/task/20966/stat : 20966 (java) S 20955 20955 14667 0 -1 1077944384 4749 0 0 0 70 8 0 0 20 0 28 0 476553356 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033849662352 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20967] ppid=20955 vsize=28768336 memory=1448 CPUtime=0.55 cores=0-7 /proc/20957/task/20967/stat : 20967 (java) R 20955 20955 14667 0 -1 4202560 18180 0 0 0 43 12 0 0 20 0 28 0 476553358 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033690429600 140034305684058 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20968] ppid=20955 vsize=28768336 memory=415108 CPUtime=0 cores=0-7 /proc/20957/task/20968/stat : 20968 (java) S 20955 20955 14667 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 476553358 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033689375968 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20969] ppid=20955 vsize=28768336 memory=567624 CPUtime=0 cores=0-7 /proc/20957/task/20969/stat : 20969 (java) S 20955 20955 14667 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 28 0 476553359 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033688322816 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20970] ppid=20955 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/20957/task/20970/stat : 20970 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476553361 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033687271376 140034305681307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20971] ppid=20955 vsize=28768336 memory=1448 CPUtime=3.9 cores=0-7 /proc/20957/task/20971/stat : 20971 (java) S 20955 20955 14667 0 -1 1077944384 22490 0 0 0 385 5 0 0 20 0 28 0 476553361 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033686219504 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20972] ppid=20955 vsize=28768336 memory=1448 CPUtime=4.12 cores=0-7 /proc/20957/task/20972/stat : 20972 (java) S 20955 20955 14667 0 -1 1077944384 25851 0 0 0 406 6 0 0 20 0 28 0 476553361 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033685166960 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20973] ppid=20955 vsize=28768336 memory=1448 CPUtime=3.91 cores=0-7 /proc/20957/task/20973/stat : 20973 (java) S 20955 20955 14667 0 -1 1077944384 21879 0 0 0 386 5 0 0 20 0 28 0 476553361 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033684113904 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20974] ppid=20955 vsize=28768336 memory=415012 CPUtime=1.03 cores=0-7 /proc/20957/task/20974/stat : 20974 (java) S 20955 20955 14667 0 -1 1077944384 20040 0 0 0 101 2 0 0 20 0 28 0 476553361 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033683061360 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20975] ppid=20955 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/20957/task/20975/stat : 20975 (java) S 20955 20955 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476553361 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033682008544 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20976] ppid=20955 vsize=28768336 memory=3616 CPUtime=0.04 cores=0-7 /proc/20957/task/20976/stat : 20976 (java) S 20955 20955 14667 0 -1 1077944384 1592 0 0 0 1 3 0 0 20 0 28 0 476553362 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033680956080 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=21302] ppid=20955 vsize=28768336 memory=415080 CPUtime=30.49 cores=0-7 /proc/20957/task/21302/stat : 21302 (java) S 20955 20955 14667 0 -1 1077944384 1419 0 0 0 3049 0 0 0 20 0 28 0 476572502 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033667537088 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=21303] ppid=20955 vsize=28768336 memory=3616 CPUtime=30.33 cores=0-7 /proc/20957/task/21303/stat : 21303 (java) S 20955 20955 14667 0 -1 1077944384 1210 0 0 0 3033 0 0 0 20 0 28 0 476572502 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033668587776 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=21304] ppid=20955 vsize=28768336 memory=1448 CPUtime=30.53 cores=0-7 /proc/20957/task/21304/stat : 21304 (java) S 20955 20955 14667 0 -1 1077944384 1435 0 0 0 3053 0 0 0 20 0 28 0 476572502 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033662272384 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=21305] ppid=20955 vsize=28768336 memory=415096 CPUtime=30.28 cores=0-7 /proc/20957/task/21305/stat : 21305 (java) S 20955 20955 14667 0 -1 1077944384 4139 0 0 0 3026 2 0 0 20 0 28 0 476572502 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033664377408 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=21306] ppid=20955 vsize=28768336 memory=328152 CPUtime=30.32 cores=0-7 /proc/20957/task/21306/stat : 21306 (java) S 20955 20955 14667 0 -1 1077944384 5453 0 0 0 3032 0 0 0 20 0 28 0 476572502 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033663328048 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=21307] ppid=20955 vsize=28768336 memory=1448 CPUtime=30.48 cores=0-7 /proc/20957/task/21307/stat : 21307 (java) S 20955 20955 14667 0 -1 1077944384 2045 0 0 0 3047 1 0 0 20 0 28 0 476572502 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033666482368 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=21308] ppid=20955 vsize=28768336 memory=1448 CPUtime=30.37 cores=0-7 /proc/20957/task/21308/stat : 21308 (java) S 20955 20955 14667 0 -1 1077944384 1396 0 0 0 3037 0 0 0 20 0 28 0 476572502 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033665432416 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=21309] ppid=20955 vsize=28768336 memory=1448 CPUtime=30.52 cores=0-7 /proc/20957/task/21309/stat : 21309 (java) S 20955 20955 14667 0 -1 1077944384 2957 0 0 0 3051 1 0 0 20 0 28 0 476572502 29458776064 103777 33554432000 4194304 4196468 140733422348032 140033669640256 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 Current children cumulated CPU time: 1756.84 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 416556 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.45 8.18 8.12 9/222 21314 /proc/meminfo: memFree=18012632/32770624 swapFree=66986244/67108860 [pid=20955] ppid=20952 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/20955/stat : 20955 (xcsp3-exec) S 20952 20955 14667 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476553355 115843072 362 33554432000 4194304 5098028 140732329914608 140732329912712 140193809568380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37957632 140732329919356 140732329919598 140732329919598 140732329922506 0 /proc/20955/statm: 28282 362 304 221 0 87 0 [pid=20957] ppid=20955 vsize=28768336 memory=421132 CPUtime=1992.21 cores=0-7 /proc/20957/stat : 20957 (java) S 20955 20955 14667 0 -1 1077944320 268273 0 0 0 199065 156 0 0 20 0 28 0 476553355 29458776064 105283 33554432000 4194304 4196468 140733422348032 140733422330576 140034305662711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 /proc/20957/statm: 7192084 105283 3552 1 0 7153184 0 [pid=20957/tid=20958] ppid=20955 vsize=28768336 memory=8317482817917895235 CPUtime=0.86 cores=0-7 /proc/20957/task/20958/stat : 20958 (java) S 20955 20955 14667 0 -1 1077944384 11351 0 0 0 81 5 0 0 20 0 28 0 476553356 29458776064 105283 33554432000 4194304 4196468 140733422348032 140034309903488 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20959] ppid=20955 vsize=28768336 memory=4126316290023845779 CPUtime=0.92 cores=0-7 /proc/20957/task/20959/stat : 20959 (java) S 20955 20955 14667 0 -1 1077944384 7129 0 0 0 84 8 0 0 20 0 28 0 476553356 29458776064 105283 33554432000 4194304 4196468 140733422348032 140034258283024 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20960] ppid=20955 vsize=28768336 memory=1056 CPUtime=0.89 cores=0-7 /proc/20957/task/20960/stat : 20960 (java) S 20955 20955 14667 0 -1 1077944384 7012 0 0 0 80 9 0 0 20 0 28 0 476553356 29458776064 105283 33554432000 4194304 4196468 140733422348032 140034257230480 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20961] ppid=20955 vsize=28768336 memory=1556 CPUtime=0.89 cores=0-7 /proc/20957/task/20961/stat : 20961 (java) S 20955 20955 14667 0 -1 1077944384 7418 0 0 0 80 9 0 0 20 0 28 0 476553356 29458776064 105283 33554432000 4194304 4196468 140733422348032 140034256177424 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20962] ppid=20955 vsize=28768336 memory=780 CPUtime=0.91 cores=0-7 /proc/20957/task/20962/stat : 20962 (java) S 20955 20955 14667 0 -1 1077944384 7511 0 0 0 83 8 0 0 20 0 28 0 476553356 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033853872528 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20963] ppid=20955 vsize=28768336 memory=1084 CPUtime=0.9 cores=0-7 /proc/20957/task/20963/stat : 20963 (java) S 20955 20955 14667 0 -1 1077944384 5529 0 0 0 82 8 0 0 20 0 28 0 476553356 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033852820496 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20964] ppid=20955 vsize=28768336 memory=14012 CPUtime=0.91 cores=0-7 /proc/20957/task/20964/stat : 20964 (java) S 20955 20955 14667 0 -1 1077944384 5012 0 0 0 84 7 0 0 20 0 28 0 476553356 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033851767952 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20965] ppid=20955 vsize=28768336 memory=14048 CPUtime=0.89 cores=0-7 /proc/20957/task/20965/stat : 20965 (java) S 20955 20955 14667 0 -1 1077944384 6873 0 0 0 82 7 0 0 20 0 28 0 476553356 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033850714896 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20966] ppid=20955 vsize=28768336 memory=29620 CPUtime=0.9 cores=0-7 /proc/20957/task/20966/stat : 20966 (java) S 20955 20955 14667 0 -1 1077944384 5363 0 0 0 82 8 0 0 20 0 28 0 476553356 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033849662352 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20967] ppid=20955 vsize=28768336 memory=2120 CPUtime=0.66 cores=0-7 /proc/20957/task/20967/stat : 20967 (java) S 20955 20955 14667 0 -1 1077944384 25538 0 0 0 51 15 0 0 20 0 28 0 476553358 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033690429680 140034305673858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20968] ppid=20955 vsize=28768336 memory=532 CPUtime=0 cores=0-7 /proc/20957/task/20968/stat : 20968 (java) S 20955 20955 14667 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 476553358 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033689375968 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20969] ppid=20955 vsize=28768336 memory=1564 CPUtime=0 cores=0-7 /proc/20957/task/20969/stat : 20969 (java) S 20955 20955 14667 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 28 0 476553359 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033688322816 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20970] ppid=20955 vsize=28768336 memory=924 CPUtime=0 cores=0-7 /proc/20957/task/20970/stat : 20970 (java) S 20955 20955 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476553361 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033687271376 140034305681307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20971] ppid=20955 vsize=28768336 memory=1680 CPUtime=3.9 cores=0-7 /proc/20957/task/20971/stat : 20971 (java) S 20955 20955 14667 0 -1 1077944384 22503 0 0 0 385 5 0 0 20 0 28 0 476553361 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033686219504 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20972] ppid=20955 vsize=28768336 memory=1440 CPUtime=4.12 cores=0-7 /proc/20957/task/20972/stat : 20972 (java) S 20955 20955 14667 0 -1 1077944384 25864 0 0 0 406 6 0 0 20 0 28 0 476553361 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033685166960 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20973] ppid=20955 vsize=28768336 memory=912 CPUtime=3.91 cores=0-7 /proc/20957/task/20973/stat : 20973 (java) S 20955 20955 14667 0 -1 1077944384 21986 0 0 0 386 5 0 0 20 0 28 0 476553361 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033684113904 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20974] ppid=20955 vsize=28768336 memory=1984 CPUtime=1.03 cores=0-7 /proc/20957/task/20974/stat : 20974 (java) S 20955 20955 14667 0 -1 1077944384 20054 0 0 0 101 2 0 0 20 0 28 0 476553361 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033683061360 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20975] ppid=20955 vsize=28768336 memory=2480 CPUtime=0 cores=0-7 /proc/20957/task/20975/stat : 20975 (java) S 20955 20955 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476553361 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033682008544 140034305672917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=20976] ppid=20955 vsize=28768336 memory=1768 CPUtime=0.06 cores=0-7 /proc/20957/task/20976/stat : 20976 (java) S 20955 20955 14667 0 -1 1077944384 1781 0 0 0 2 4 0 0 20 0 28 0 476553362 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033680956080 140034305673858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=21302] ppid=20955 vsize=28768336 memory=7525071051132396884 CPUtime=59.75 cores=0-7 /proc/20957/task/21302/stat : 21302 (java) R 20955 20955 14667 0 -1 4202560 2240 0 0 0 5974 1 0 0 20 0 28 0 476572502 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033667533072 140033944217856 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=21303] ppid=20955 vsize=28768336 memory=-5874771483550381248 CPUtime=59.65 cores=0-7 /proc/20957/task/21303/stat : 21303 (java) R 20955 20955 14667 0 -1 4202560 2014 0 0 0 5964 1 0 0 20 0 28 0 476572502 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033668587912 140033942976582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=21304] ppid=20955 vsize=28768336 memory=7230922184463313005 CPUtime=59.74 cores=0-7 /proc/20957/task/21304/stat : 21304 (java) R 20955 20955 14667 0 -1 4202560 2505 0 0 0 5974 0 0 0 20 0 28 0 476572502 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033662272296 140033942976108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=21305] ppid=20955 vsize=28768336 memory=5795123842966580072 CPUtime=59.49 cores=0-7 /proc/20957/task/21305/stat : 21305 (java) R 20955 20955 14667 0 -1 4202560 6519 0 0 0 5946 3 0 0 20 0 28 0 476572502 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033664380224 140033948102947 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=21306] ppid=20955 vsize=28768336 memory=7517442807131826028 CPUtime=59.6 cores=0-7 /proc/20957/task/21306/stat : 21306 (java) R 20955 20955 14667 0 -1 4202560 6557 0 0 0 5959 1 0 0 20 0 28 0 476572502 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033663324128 140033944218333 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=21307] ppid=20955 vsize=28768336 memory=7512114578044973668 CPUtime=59.81 cores=0-7 /proc/20957/task/21307/stat : 21307 (java) R 20955 20955 14667 0 -1 4202560 3955 0 0 0 5980 1 0 0 20 0 28 0 476572502 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033666482672 140033948102906 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=21308] ppid=20955 vsize=28768336 memory=-6519613052471072158 CPUtime=59.74 cores=0-7 /proc/20957/task/21308/stat : 21308 (java) R 20955 20955 14667 0 -1 4202560 2330 0 0 0 5974 0 0 0 20 0 28 0 476572502 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033665430024 140033946823682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 [pid=20957/tid=21309] ppid=20955 vsize=28768336 memory=6370454258662009192 CPUtime=59.76 cores=0-7 /proc/20957/task/21309/stat : 21309 (java) R 20955 20955 14667 0 -1 4202560 4318 0 0 0 5975 1 0 0 20 0 28 0 476572502 29458776064 105283 33554432000 4194304 4196468 140733422348032 140033669639696 140033944218199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27353088 140733422351344 140733422351515 140733422351515 140733422354383 0 Current children cumulated CPU time: 1992.21 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 422580 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.043 s] # the end of solver process 20955 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001184 s, system=0.001184 s [startup+252.094 s] # the end of solver process 20957 was just reported to runsolver # cumulated CPU time of all completed processes: user=1991.18 s, system=1.58525 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.094 CPU time (s): 1992.76 CPU user time (s): 1991.18 CPU system time (s): 1.58525 CPU usage (%): 790.485 Max. virtual memory (cumulated for all children) (KiB): 28884140 Max. memory (cumulated for all children) (KiB): 574672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1991.18 system time used= 1.58525 maximum resident set size= 600080 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269502 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= 56469 involuntary context switches= 24960 # summary of solver processes directly reported to runsolver: # pid: 20955,20957 # total CPU time (s): 1992.76 # total CPU user time (s): 1991.18 # total CPU system time (s): 1.58525 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.54288 second user time and 2.57147 second system time The end
Begin job on node104 at 2019-09-20 18:59:04 IDJOB=4404985 IDBENCH=115852 IDSOLVER=2866 FILE ID=node104/4404985-1569002965 RUNJOBID= node104-1568989783-14694 PBS_JOBID= 21704713 Free space on /tmp= 9832 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-07-07-8.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4404985-1569002965/watcher-4404985-1569002965 -o /tmp/evaluation-result-4404985-1569002965/solver-4404985-1569002965 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 695254985 HOME/instance-4404985-1569002965.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3801e67c429176a130b0cb7922d17a7f RANDOM SEED=695254985 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 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: 18425004 kB MemAvailable: 31827788 kB Buffers: 94524 kB Cached: 13232840 kB SwapCached: 22652 kB Active: 6647016 kB Inactive: 6707696 kB Active(anon): 3480 kB Inactive(anon): 73004 kB Active(file): 6643536 kB Inactive(file): 6634692 kB Unevictable: 109708 kB Mlocked: 109708 kB SwapTotal: 67108860 kB SwapFree: 66986244 kB Dirty: 26164 kB Writeback: 0 kB AnonPages: 390348 kB Mapped: 52612 kB Shmem: 40708 kB Slab: 582960 kB SReclaimable: 553016 kB SUnreclaim: 29944 kB KernelStack: 3856 kB PageTables: 4912 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498028 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 344064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9804 MiB End job on node104 at 2019-09-20 19:03:16