Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 3 | 31.7227 | 4.48468 |
Name | BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w1b1r5.xml |
MD5SUM | 15a2bddfb10fd8a6157ce871797528b8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 1.72611 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 61 |
Number of constraints | 43 |
Number of domains | 2 |
Minimum domain size | 21 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":21,"count":1},{"size":42,"count":60}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":40},{"degree":5,"count":20}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 60 |
Distribution of constraint arities | [{"arity":3,"count":40},{"arity":21,"count":1},{"arity":60,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":20},{"type":"lex","count":1},{"type":"sum","count":20},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400061-1568711942.xml" -tl '2016s' -p 8 0.10/0.19 c Choco e747e1e 0.10/0.19 c [HOME/instance-4400061-1568711942.xml, -tl, 2016s, -p, 8] 0.31/0.23 c 8 solvers in parallel 0.31/0.30 c parse instance... 0.99/0.60 c solve instance... 9.81/1.70 o 0 12.31/2.03 o 2 31.18/4.46 o 3 31.18/4.47 s OPTIMUM FOUND 31.18/4.47 v <instantiation> 31.18/4.47 v <list>x b[0][0] b[0][1] b[0][2] b[1][0] b[1][1] b[1][2] b[2][0] b[2][1] b[2][2] b[3][0] b[3][1] b[3][2] b[4][0] b[4][1] b[4][2] b[5][0] b[5][1] b[5][2] b[6][0] b[6][1] b[6][2] b[7][0] b[7][1] b[7][2] b[8][0] b[8][1] b[8][2] b[9][0] b[9][1] b[9][2] b[10][0] b[10][1] b[10][2] b[11][0] b[11][1] b[11][2] b[12][0] b[12][1] b[12][2] b[13][0] b[13][1] b[13][2] b[14][0] b[14][1] b[14][2] b[15][0] b[15][1] b[15][2] b[16][0] b[16][1] b[16][2] b[17][0] b[17][1] b[17][2] b[18][0] b[18][1] b[18][2] b[19][0] b[19][1] b[19][2] </list> 31.18/4.47 v <values>3 394 326 266 392 305 302 391 304 303 386 324 267 383 318 299 382 321 291 380 326 287 370 337 279 369 332 274 368 335 278 368 321 278 365 338 281 356 339 281 356 326 312 355 342 274 354 333 0 348 333 317 0 0 0 0 0 0 0 0 0 </values> 31.18/4.47 v </instantiation>
OK 3
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 (15100 MiB free) memory of node 1: 16384 MiB (15353 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400061-1568711942/watcher-4400061-1568711942 -o /tmp/evaluation-result-4400061-1568711942/solver-4400061-1568711942 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568698793-14923 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 462753284 HOME/instance-4400061-1568711942.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=21480, runsolver pid=21477 Current StackSize limit: 8192 KiB [startup+0.100166 s]* /proc/loadavg: 8.21 8.09 8.07 2/210 21501 /proc/meminfo: memFree=31167440/32770624 swapFree=66939860/67108860 [pid=21480] ppid=21477 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21480/stat : 21480 (xcsp3-exec) S 21477 21480 14896 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447452444 115843072 363 33554432000 4194304 5098028 140731328653040 140731328651144 139928514437756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34398208 140731328660348 140731328660590 140731328660590 140731328663498 0 /proc/21480/statm: 28282 363 304 221 0 87 0 [pid=21482] ppid=21480 vsize=28227396 memory=29420 CPUtime=0.1 cores=0-7 /proc/21482/stat : 21482 (java) S 21480 21480 14896 0 -1 1077944320 5800 0 0 0 9 1 0 0 20 0 20 0 447452444 28904853504 7355 33554432000 4194304 4196468 140737025347248 140737025329792 140141344366327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 /proc/21482/statm: 7056849 7355 3032 1 0 7019032 0 [pid=21482/tid=21483] ppid=21480 vsize=28227396 memory=8317482817917895235 CPUtime=0.07 cores=0-7 /proc/21482/task/21483/stat : 21483 (java) R 21480 21480 14896 0 -1 4202560 3837 0 0 0 6 1 0 0 20 0 20 0 447452444 28904853504 7355 33554432000 4194304 4196468 140737025347248 140141348600608 140141336603454 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21484] ppid=21480 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21482/task/21484/stat : 21484 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447452445 28904853504 7355 33554432000 4194304 4196468 140737025347248 140141296987024 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21485] ppid=21480 vsize=28227396 memory=140421437658752 CPUtime=0 cores=0-7 /proc/21482/task/21485/stat : 21485 (java) S 21480 21480 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447452445 28904853504 7355 33554432000 4194304 4196468 140737025347248 140141295934224 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21486] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21486/stat : 21486 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447452445 28904853504 7355 33554432000 4194304 4196468 140737025347248 140141294881936 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21487] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21487/stat : 21487 (java) S 21480 21480 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447452445 28904853504 7355 33554432000 4194304 4196468 140737025347248 140140892511248 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21488] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21488/stat : 21488 (java) S 21480 21480 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447452445 28904853504 7355 33554432000 4194304 4196468 140737025347248 140140891457936 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21489] ppid=21480 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21482/task/21489/stat : 21489 (java) S 21480 21480 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447452445 28904853504 7355 33554432000 4194304 4196468 140737025347248 140140890405136 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21490] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21490/stat : 21490 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447452445 28904853504 7355 33554432000 4194304 4196468 140737025347248 140140889352848 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21491] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21491/stat : 21491 (java) S 21480 21480 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447452445 28904853504 7355 33554432000 4194304 4196468 140737025347248 140140888300048 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21492] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21492/stat : 21492 (java) S 21480 21480 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447452446 28904853504 7355 33554432000 4194304 4196468 140737025347248 140140460767856 140141344377474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21493] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21493/stat : 21493 (java) S 21480 21480 14896 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447452447 28904853504 7355 33554432000 4194304 4196468 140737025347248 140140459713824 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21494] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21494/stat : 21494 (java) S 21480 21480 14896 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447452447 28904853504 7355 33554432000 4194304 4196468 140737025347248 140140458661488 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21495] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21495/stat : 21495 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447452450 28904853504 7355 33554432000 4194304 4196468 140737025347248 140140457609808 140141344384923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21496] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21496/stat : 21496 (java) S 21480 21480 14896 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 447452451 28904853504 7355 33554432000 4194304 4196468 140737025347248 140140456556656 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21497] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21497/stat : 21497 (java) S 21480 21480 14896 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 20 0 447452451 28904853504 7355 33554432000 4194304 4196468 140737025347248 140140455503856 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21498] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21498/stat : 21498 (java) S 21480 21480 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447452451 28904853504 7355 33554432000 4194304 4196468 140737025347248 140140454451568 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21499] ppid=21480 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21482/task/21499/stat : 21499 (java) R 21480 21480 14896 0 -1 4202560 351 0 0 0 1 0 0 0 20 0 20 0 447452451 28904853504 7355 33554432000 4194304 4196468 140737025347248 140140453398768 140141344378262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21500] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21500/stat : 21500 (java) S 21480 21480 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447452451 28904853504 7355 33554432000 4194304 4196468 140737025347248 140140452346720 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21501] ppid=21480 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21482/task/21501/stat : 21501 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447452452 28904853504 7355 33554432000 4194304 4196468 140737025347248 140140451294000 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30872 KiB [startup+0.21035 s]* /proc/loadavg: 8.21 8.09 8.07 2/210 21501 /proc/meminfo: memFree=31154560/32770624 swapFree=66939860/67108860 [pid=21480] ppid=21477 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21480/stat : 21480 (xcsp3-exec) S 21477 21480 14896 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447452444 115843072 363 33554432000 4194304 5098028 140731328653040 140731328651144 139928514437756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34398208 140731328660348 140731328660590 140731328660590 140731328663498 0 /proc/21480/statm: 28282 363 304 221 0 87 0 [pid=21482] ppid=21480 vsize=28227396 memory=40204 CPUtime=0.31 cores=0-7 /proc/21482/stat : 21482 (java) S 21480 21480 14896 0 -1 1077944320 9334 0 0 0 28 3 0 0 20 0 20 0 447452444 28904853504 10051 33554432000 4194304 4196468 140737025347248 140737025329792 140141344366327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 /proc/21482/statm: 7056849 10051 3255 1 0 7019032 0 [pid=21482/tid=21483] ppid=21480 vsize=28227396 memory=8318255677412212789 CPUtime=0.18 cores=0-7 /proc/21482/task/21483/stat : 21483 (java) R 21480 21480 14896 0 -1 4202560 6609 0 0 0 16 2 0 0 20 0 20 0 447452444 28904853504 10051 33554432000 4194304 4196468 140737025347248 140141348599424 140141344388253 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21484] ppid=21480 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/21482/task/21484/stat : 21484 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447452445 28904853504 10051 33554432000 4194304 4196468 140737025347248 140141296987024 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21485] ppid=21480 vsize=28227396 memory=140421440831279 CPUtime=0 cores=0-7 /proc/21482/task/21485/stat : 21485 (java) S 21480 21480 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447452445 28904853504 10051 33554432000 4194304 4196468 140737025347248 140141295934224 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21486] ppid=21480 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21482/task/21486/stat : 21486 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447452445 28904853504 10051 33554432000 4194304 4196468 140737025347248 140141294881936 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21487] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21487/stat : 21487 (java) S 21480 21480 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447452445 28904853504 10051 33554432000 4194304 4196468 140737025347248 140140892511248 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21488] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21488/stat : 21488 (java) S 21480 21480 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447452445 28904853504 10051 33554432000 4194304 4196468 140737025347248 140140891457936 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21489] ppid=21480 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21482/task/21489/stat : 21489 (java) S 21480 21480 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447452445 28904853504 10051 33554432000 4194304 4196468 140737025347248 140140890405136 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21490] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21490/stat : 21490 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447452445 28904853504 10051 33554432000 4194304 4196468 140737025347248 140140889352848 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21491] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21491/stat : 21491 (java) S 21480 21480 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447452445 28904853504 10051 33554432000 4194304 4196468 140737025347248 140140888300048 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21492] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21492/stat : 21492 (java) S 21480 21480 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447452446 28904853504 10051 33554432000 4194304 4196468 140737025347248 140140460767856 140141344377474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21493] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21493/stat : 21493 (java) S 21480 21480 14896 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447452447 28904853504 10051 33554432000 4194304 4196468 140737025347248 140140459713824 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21494] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21494/stat : 21494 (java) S 21480 21480 14896 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447452447 28904853504 10051 33554432000 4194304 4196468 140737025347248 140140458661488 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21495] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21495/stat : 21495 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447452450 28904853504 10051 33554432000 4194304 4196468 140737025347248 140140457609808 140141344384923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21496] ppid=21480 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21482/task/21496/stat : 21496 (java) S 21480 21480 14896 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 20 0 447452451 28904853504 10051 33554432000 4194304 4196468 140737025347248 140140456556656 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21497] ppid=21480 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21482/task/21497/stat : 21497 (java) R 21480 21480 14896 0 -1 4202560 427 0 0 0 1 0 0 0 20 0 20 0 447452451 28904853504 10051 33554432000 4194304 4196468 140737025347248 140140455503856 140141330522672 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21498] ppid=21480 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/21482/task/21498/stat : 21498 (java) S 21480 21480 14896 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 447452451 28904853504 10051 33554432000 4194304 4196468 140737025347248 140140454451568 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21499] ppid=21480 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/21482/task/21499/stat : 21499 (java) S 21480 21480 14896 0 -1 1077944384 763 0 0 0 7 0 0 0 20 0 20 0 447452451 28904853504 10051 33554432000 4194304 4196468 140737025347248 140140453398768 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21500] ppid=21480 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21500/stat : 21500 (java) S 21480 21480 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447452451 28904853504 10051 33554432000 4194304 4196468 140737025347248 140140452346720 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21501] ppid=21480 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21482/task/21501/stat : 21501 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447452452 28904853504 10051 33554432000 4194304 4196468 140737025347248 140140451294000 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41656 KiB [startup+0.310326 s]* /proc/loadavg: 7.71 7.98 8.03 2/210 21501 /proc/meminfo: memFree=31150216/32770624 swapFree=66939860/67108860 [pid=21480] ppid=21477 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21480/stat : 21480 (xcsp3-exec) S 21477 21480 14896 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447452444 115843072 363 33554432000 4194304 5098028 140731328653040 140731328651144 139928514437756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34398208 140731328660348 140731328660590 140731328660590 140731328663498 0 /proc/21480/statm: 28282 363 304 221 0 87 0 [pid=21482] ppid=21480 vsize=28231652 memory=46624 CPUtime=0.49 cores=0-7 /proc/21482/stat : 21482 (java) S 21480 21480 14896 0 -1 1077944320 10553 0 0 0 45 4 0 0 20 0 20 0 447452444 28909211648 11656 33554432000 4194304 4196468 140737025347248 140737025329792 140141344366327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 /proc/21482/statm: 7057913 11656 3335 1 0 7019032 0 [pid=21482/tid=21483] ppid=21480 vsize=28231652 memory=8317482817917895235 CPUtime=0.28 cores=0-7 /proc/21482/task/21483/stat : 21483 (java) R 21480 21480 14896 0 -1 4202560 7636 0 0 0 25 3 0 0 20 0 20 0 447452444 28909211648 11656 33554432000 4194304 4196468 140737025347248 140141348602960 140141344378262 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21484] ppid=21480 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21484/stat : 21484 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447452445 28909211648 11656 33554432000 4194304 4196468 140737025347248 140141296987024 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21485] ppid=21480 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21485/stat : 21485 (java) S 21480 21480 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447452445 28909211648 11656 33554432000 4194304 4196468 140737025347248 140141295934224 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21486] ppid=21480 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21486/stat : 21486 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447452445 28909211648 11656 33554432000 4194304 4196468 140737025347248 140141294881936 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21487] ppid=21480 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21487/stat : 21487 (java) S 21480 21480 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447452445 28909211648 11656 33554432000 4194304 4196468 140737025347248 140140892511248 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21488] ppid=21480 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21488/stat : 21488 (java) S 21480 21480 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447452445 28909211648 11656 33554432000 4194304 4196468 140737025347248 140140891457936 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21489] ppid=21480 vsize=28231652 memory=140421338589871 CPUtime=0 cores=0-7 /proc/21482/task/21489/stat : 21489 (java) S 21480 21480 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447452445 28909211648 11656 33554432000 4194304 4196468 140737025347248 140140890405136 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21490] ppid=21480 vsize=28231652 memory=140421338592176 CPUtime=0 cores=0-7 /proc/21482/task/21490/stat : 21490 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447452445 28909211648 11656 33554432000 4194304 4196468 140737025347248 140140889352848 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21491] ppid=21480 vsize=28231652 memory=140421338594480 CPUtime=0 cores=0-7 /proc/21482/task/21491/stat : 21491 (java) S 21480 21480 14896 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447452445 28909211648 11656 33554432000 4194304 4196468 140737025347248 140140888300048 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21492] ppid=21480 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21492/stat : 21492 (java) S 21480 21480 14896 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447452446 28909211648 11656 33554432000 4194304 4196468 140737025347248 140140460767856 140141344377474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21493] ppid=21480 vsize=28231652 memory=280842677202832 CPUtime=0 cores=0-7 /proc/21482/task/21493/stat : 21493 (java) S 21480 21480 14896 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447452447 28909211648 11656 33554432000 4194304 4196468 140737025347248 140140459713824 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21494] ppid=21480 vsize=28231652 memory=280842677200528 CPUtime=0 cores=0-7 /proc/21482/task/21494/stat : 21494 (java) S 21480 21480 14896 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447452447 28909211648 11656 33554432000 4194304 4196468 140737025347248 140140458661488 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21495] ppid=21480 vsize=28231652 memory=280842677207440 CPUtime=0 cores=0-7 /proc/21482/task/21495/stat : 21495 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447452450 28909211648 11656 33554432000 4194304 4196468 140737025347248 140140457609808 140141344384923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21496] ppid=21480 vsize=28231652 memory=280842677148720 CPUtime=0.02 cores=0-7 /proc/21482/task/21496/stat : 21496 (java) S 21480 21480 14896 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 20 0 447452451 28909211648 11656 33554432000 4194304 4196468 140737025347248 140140456556656 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21497] ppid=21480 vsize=28231652 memory=280842677221264 CPUtime=0.02 cores=0-7 /proc/21482/task/21497/stat : 21497 (java) S 21480 21480 14896 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 20 0 447452451 28909211648 11656 33554432000 4194304 4196468 140737025347248 140140455503856 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21498] ppid=21480 vsize=28231652 memory=280842677228176 CPUtime=0.01 cores=0-7 /proc/21482/task/21498/stat : 21498 (java) S 21480 21480 14896 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 20 0 447452451 28909211648 11656 33554432000 4194304 4196468 140737025347248 140140454451568 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21499] ppid=21480 vsize=28231652 memory=280842677225872 CPUtime=0.12 cores=0-7 /proc/21482/task/21499/stat : 21499 (java) S 21480 21480 14896 0 -1 1077944384 899 0 0 0 12 0 0 0 20 0 20 0 447452451 28909211648 11656 33554432000 4194304 4196468 140737025347248 140140453398768 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21500] ppid=21480 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21500/stat : 21500 (java) S 21480 21480 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447452451 28909211648 11656 33554432000 4194304 4196468 140737025347248 140140452346720 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21501] ppid=21480 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/21482/task/21501/stat : 21501 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447452452 28909211648 11656 33554432000 4194304 4196468 140737025347248 140140451294000 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 Current children cumulated CPU time: 0.49 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 48076 KiB [startup+0.700923 s] /proc/loadavg: 7.71 7.98 8.03 5/210 21501 /proc/meminfo: memFree=31130428/32770624 swapFree=66939860/67108860 [pid=21480] ppid=21477 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21480/stat : 21480 (xcsp3-exec) S 21477 21480 14896 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447452444 115843072 363 33554432000 4194304 5098028 140731328653040 140731328651144 139928514437756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34398208 140731328660348 140731328660590 140731328660590 140731328663498 0 /proc/21480/statm: 28282 363 304 221 0 87 0 [pid=21482] ppid=21480 vsize=28766288 memory=92500 CPUtime=1.9 cores=0-7 /proc/21482/stat : 21482 (java) S 21480 21480 14896 0 -1 1077944320 14949 0 0 0 184 6 0 0 20 0 28 0 447452444 29456678912 23125 33554432000 4194304 4196468 140737025347248 140737025329792 140141344366327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 /proc/21482/statm: 7191572 23125 3453 1 0 7152672 0 [pid=21482/tid=21483] ppid=21480 vsize=28766288 memory=0 CPUtime=0.58 cores=0-7 /proc/21482/task/21483/stat : 21483 (java) S 21480 21480 14896 0 -1 1077944384 9133 0 0 0 54 4 0 0 20 0 28 0 447452444 29456678912 23125 33554432000 4194304 4196468 140737025347248 140141348607104 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21484] ppid=21480 vsize=28766288 memory=140421338801008 CPUtime=0 cores=0-7 /proc/21482/task/21484/stat : 21484 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447452445 29456678912 23125 33554432000 4194304 4196468 140737025347248 140141296987024 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21485] ppid=21480 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21485/stat : 21485 (java) S 21480 21480 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447452445 29456678912 23125 33554432000 4194304 4196468 140737025347248 140141295934224 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21486] ppid=21480 vsize=28766288 memory=784 CPUtime=0 cores=0-7 /proc/21482/task/21486/stat : 21486 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447452445 29456678912 23125 33554432000 4194304 4196468 140737025347248 140141294881936 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 ################ # More data... # ################ [pid=21482/tid=21499] ppid=21480 vsize=28768336 memory=2116 CPUtime=0.59 cores=0-7 /proc/21482/task/21499/stat : 21499 (java) R 21480 21480 14896 0 -1 1077944384 3259 0 0 0 58 1 0 0 20 0 28 0 447452451 29458776064 47891 33554432000 4194304 4196468 140737025347248 140140453398768 140141344377474 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21500] ppid=21480 vsize=28768336 memory=516 CPUtime=0 cores=0-7 /proc/21482/task/21500/stat : 21500 (java) S 21480 21480 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447452451 29458776064 47891 33554432000 4194304 4196468 140737025347248 140140452346720 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21501] ppid=21480 vsize=28768336 memory=1556 CPUtime=0 cores=0-7 /proc/21482/task/21501/stat : 21501 (java) S 21480 21480 14896 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 447452452 29458776064 47891 33554432000 4194304 4196468 140737025347248 140140451294000 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21518] ppid=21480 vsize=28768336 memory=928 CPUtime=0.9 cores=0-7 /proc/21482/task/21518/stat : 21518 (java) R 21480 21480 14896 0 -1 4202560 83 0 0 0 90 0 0 0 20 0 28 0 447452647 29458776064 47891 33554432000 4194304 4196468 140737025347248 140140434706536 140140978722660 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21519] ppid=21480 vsize=28768336 memory=1772 CPUtime=0.9 cores=0-7 /proc/21482/task/21519/stat : 21519 (java) R 21480 21480 14896 0 -1 4202560 76 0 0 0 90 0 0 0 20 0 28 0 447452647 29458776064 47891 33554432000 4194304 4196468 140737025347248 140140435759896 140140978752478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21520] ppid=21480 vsize=28768336 memory=908 CPUtime=0.84 cores=0-7 /proc/21482/task/21520/stat : 21520 (java) R 21480 21480 14896 0 -1 4202560 78 0 0 0 84 0 0 0 20 0 28 0 447452647 29458776064 47891 33554432000 4194304 4196468 140737025347248 140140436812328 140140979695664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21521] ppid=21480 vsize=28768336 memory=1444 CPUtime=0.9 cores=0-7 /proc/21482/task/21521/stat : 21521 (java) R 21480 21480 14896 0 -1 4202560 66 0 0 0 90 0 0 0 20 0 28 0 447452647 29458776064 47891 33554432000 4194304 4196468 140737025347248 140140441021896 140140978722708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21522] ppid=21480 vsize=28768336 memory=1976 CPUtime=1.08 cores=0-7 /proc/21482/task/21522/stat : 21522 (java) R 21480 21480 14896 0 -1 4202560 64 0 0 0 108 0 0 0 20 0 28 0 447452647 29458776064 47891 33554432000 4194304 4196468 140737025347248 140140442077592 140140979958188 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21523] ppid=21480 vsize=28768336 memory=2436 CPUtime=0.81 cores=0-7 /proc/21482/task/21523/stat : 21523 (java) R 21480 21480 14896 0 -1 4202560 195 0 0 0 81 0 0 0 20 0 28 0 447452647 29458776064 47891 33554432000 4194304 4196468 140737025347248 140140438916968 140140979958309 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21524] ppid=21480 vsize=28768336 memory=1760 CPUtime=1 cores=0-7 /proc/21482/task/21524/stat : 21524 (java) R 21480 21480 14896 0 -1 4202560 232 0 0 0 100 0 0 0 20 0 28 0 447452647 29458776064 47891 33554432000 4194304 4196468 140737025347248 140140439969464 140140979959046 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21525] ppid=21480 vsize=28768336 memory=111632 CPUtime=1.1 cores=0-7 /proc/21482/task/21525/stat : 21525 (java) R 21480 21480 14896 0 -1 4202560 64 0 0 0 110 0 0 0 20 0 28 0 447452647 29458776064 47891 33554432000 4194304 4196468 140737025347248 140140437866392 140141344378262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 Current children cumulated CPU time: 21.65 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 193016 KiB [startup+4.00192 s]* /proc/loadavg: 7.71 7.98 8.03 10/218 21525 /proc/meminfo: memFree=30973412/32770624 swapFree=66939860/67108860 [pid=21480] ppid=21477 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21480/stat : 21480 (xcsp3-exec) S 21477 21480 14896 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447452444 115843072 363 33554432000 4194304 5098028 140731328653040 140731328651144 139928514437756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34398208 140731328660348 140731328660590 140731328660590 140731328663498 0 /proc/21480/statm: 28282 363 304 221 0 87 0 [pid=21482] ppid=21480 vsize=28768336 memory=222684 CPUtime=28.07 cores=0-7 /proc/21482/stat : 21482 (java) S 21480 21480 14896 0 -1 1077944320 35967 0 0 0 2787 20 0 0 20 0 28 0 447452444 29458776064 55671 33554432000 4194304 4196468 140737025347248 140737025329792 140141344366327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 /proc/21482/statm: 7192084 55671 3516 1 0 7153184 0 [pid=21482/tid=21483] ppid=21480 vsize=28768336 memory=8317482817917895235 CPUtime=0.58 cores=0-7 /proc/21482/task/21483/stat : 21483 (java) S 21480 21480 14896 0 -1 1077944384 9177 0 0 0 54 4 0 0 20 0 28 0 447452444 29458776064 55671 33554432000 4194304 4196468 140737025347248 140141348607104 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21484] ppid=21480 vsize=28768336 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21482/task/21484/stat : 21484 (java) S 21480 21480 14896 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 447452445 29458776064 55671 33554432000 4194304 4196468 140737025347248 140141296987024 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21485] ppid=21480 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21485/stat : 21485 (java) S 21480 21480 14896 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 447452445 29458776064 55671 33554432000 4194304 4196468 140737025347248 140141295934224 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21486] ppid=21480 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21486/stat : 21486 (java) S 21480 21480 14896 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447452445 29458776064 55671 33554432000 4194304 4196468 140737025347248 140141294881936 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21487] ppid=21480 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21487/stat : 21487 (java) S 21480 21480 14896 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 447452445 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140892511248 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21488] ppid=21480 vsize=28768336 memory=288230377110174369 CPUtime=0 cores=0-7 /proc/21482/task/21488/stat : 21488 (java) S 21480 21480 14896 0 -1 1077944384 627 0 0 0 0 0 0 0 20 0 28 0 447452445 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140891457936 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21489] ppid=21480 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21489/stat : 21489 (java) S 21480 21480 14896 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 447452445 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140890405136 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21490] ppid=21480 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21490/stat : 21490 (java) S 21480 21480 14896 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 447452445 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140889352848 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21491] ppid=21480 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21491/stat : 21491 (java) S 21480 21480 14896 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 28 0 447452445 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140888300048 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21492] ppid=21480 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21492/stat : 21492 (java) S 21480 21480 14896 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 28 0 447452446 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140460767856 140141344377474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21493] ppid=21480 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21493/stat : 21493 (java) S 21480 21480 14896 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 447452447 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140459713888 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21494] ppid=21480 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21494/stat : 21494 (java) S 21480 21480 14896 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 447452447 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140458661488 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21495] ppid=21480 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21495/stat : 21495 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447452450 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140457609808 140141344384923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21496] ppid=21480 vsize=28768336 memory=140425732626047 CPUtime=1.62 cores=0-7 /proc/21482/task/21496/stat : 21496 (java) S 21480 21480 14896 0 -1 1077944384 7444 0 0 0 160 2 0 0 20 0 28 0 447452451 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140456556656 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21497] ppid=21480 vsize=28768336 memory=7812162513760775264 CPUtime=1.51 cores=0-7 /proc/21482/task/21497/stat : 21497 (java) S 21480 21480 14896 0 -1 1077944384 6168 0 0 0 148 3 0 0 20 0 28 0 447452451 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140455503856 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21498] ppid=21480 vsize=28768336 memory=5794819221722513506 CPUtime=1.63 cores=0-7 /proc/21482/task/21498/stat : 21498 (java) S 21480 21480 14896 0 -1 1077944384 4500 0 0 0 162 1 0 0 20 0 28 0 447452451 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140454451568 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21499] ppid=21480 vsize=28768336 memory=0 CPUtime=0.61 cores=0-7 /proc/21482/task/21499/stat : 21499 (java) S 21480 21480 14896 0 -1 1077944384 4040 0 0 0 60 1 0 0 20 0 28 0 447452451 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140453398768 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21500] ppid=21480 vsize=28768336 memory=1 CPUtime=0 cores=0-7 /proc/21482/task/21500/stat : 21500 (java) S 21480 21480 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447452451 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140452346720 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21501] ppid=21480 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21501/stat : 21501 (java) S 21480 21480 14896 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 447452452 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140451294000 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21518] ppid=21480 vsize=28768336 memory=2546 CPUtime=1.67 cores=0-7 /proc/21482/task/21518/stat : 21518 (java) R 21480 21480 14896 0 -1 4202560 90 0 0 0 167 0 0 0 20 0 28 0 447452647 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140434705568 140140978875137 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21519] ppid=21480 vsize=28768336 memory=2 CPUtime=1.69 cores=0-7 /proc/21482/task/21519/stat : 21519 (java) R 21480 21480 14896 0 -1 4202560 77 0 0 0 169 0 0 0 20 0 28 0 447452647 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140435759888 140140978875077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21520] ppid=21480 vsize=28768336 memory=706 CPUtime=1.6 cores=0-7 /proc/21482/task/21520/stat : 21520 (java) R 21480 21480 14896 0 -1 4202560 86 0 0 0 160 0 0 0 20 0 28 0 447452647 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140436811280 140140979958899 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21521] ppid=21480 vsize=28768336 memory=1213 CPUtime=1.7 cores=0-7 /proc/21482/task/21521/stat : 21521 (java) R 21480 21480 14896 0 -1 4202560 82 0 0 0 170 0 0 0 20 0 28 0 447452647 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140441022040 140140979959840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21522] ppid=21480 vsize=28768336 memory=0 CPUtime=1.83 cores=0-7 /proc/21482/task/21522/stat : 21522 (java) R 21480 21480 14896 0 -1 4202560 68 0 0 0 183 0 0 0 20 0 28 0 447452647 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140442075536 140140978783912 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21523] ppid=21480 vsize=28768336 memory=0 CPUtime=1.58 cores=0-7 /proc/21482/task/21523/stat : 21523 (java) R 21480 21480 14896 0 -1 4202560 204 0 0 0 158 0 0 0 20 0 28 0 447452647 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140438919584 140140981701400 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21524] ppid=21480 vsize=28768336 memory=0 CPUtime=1.79 cores=0-7 /proc/21482/task/21524/stat : 21524 (java) R 21480 21480 14896 0 -1 4202560 246 0 0 0 179 0 0 0 20 0 28 0 447452647 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140439969736 140140979958309 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21525] ppid=21480 vsize=28768336 memory=0 CPUtime=1.9 cores=0-7 /proc/21482/task/21525/stat : 21525 (java) R 21480 21480 14896 0 -1 4202560 73 0 0 0 190 0 0 0 20 0 28 0 447452647 29458776064 55671 33554432000 4194304 4196468 140737025347248 140140437864208 140140979958309 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 Current children cumulated CPU time: 28.07 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 224136 KiB [startup+4.40192 s] /proc/loadavg: 7.71 7.98 8.03 10/218 21525 /proc/meminfo: memFree=30973412/32770624 swapFree=66939860/67108860 [pid=21480] ppid=21477 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21480/stat : 21480 (xcsp3-exec) S 21477 21480 14896 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447452444 115843072 363 33554432000 4194304 5098028 140731328653040 140731328651144 139928514437756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34398208 140731328660348 140731328660590 140731328660590 140731328663498 0 /proc/21480/statm: 28282 363 304 221 0 87 0 [pid=21482] ppid=21480 vsize=28768336 memory=222744 CPUtime=31.18 cores=0-7 /proc/21482/stat : 21482 (java) S 21480 21480 14896 0 -1 1077944320 36072 0 0 0 3098 20 0 0 20 0 28 0 447452444 29458776064 55686 33554432000 4194304 4196468 140737025347248 140737025329792 140141344366327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 /proc/21482/statm: 7192084 55686 3516 1 0 7153184 0 [pid=21482/tid=21483] ppid=21480 vsize=28768336 memory=0 CPUtime=0.58 cores=0-7 /proc/21482/task/21483/stat : 21483 (java) S 21480 21480 14896 0 -1 1077944384 9177 0 0 0 54 4 0 0 20 0 28 0 447452444 29458776064 55686 33554432000 4194304 4196468 140737025347248 140141348607104 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21484] ppid=21480 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21484/stat : 21484 (java) S 21480 21480 14896 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 447452445 29458776064 55686 33554432000 4194304 4196468 140737025347248 140141296987024 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21485] ppid=21480 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21485/stat : 21485 (java) S 21480 21480 14896 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 447452445 29458776064 55686 33554432000 4194304 4196468 140737025347248 140141295934224 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21486] ppid=21480 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21486/stat : 21486 (java) S 21480 21480 14896 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 447452445 29458776064 55686 33554432000 4194304 4196468 140737025347248 140141294881936 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21487] ppid=21480 vsize=28768336 memory=616 CPUtime=0 cores=0-7 /proc/21482/task/21487/stat : 21487 (java) S 21480 21480 14896 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 447452445 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140892511248 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21488] ppid=21480 vsize=28768336 memory=2832 CPUtime=0 cores=0-7 /proc/21482/task/21488/stat : 21488 (java) S 21480 21480 14896 0 -1 1077944384 627 0 0 0 0 0 0 0 20 0 28 0 447452445 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140891457936 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21489] ppid=21480 vsize=28768336 memory=1624 CPUtime=0 cores=0-7 /proc/21482/task/21489/stat : 21489 (java) S 21480 21480 14896 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 447452445 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140890405136 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21490] ppid=21480 vsize=28768336 memory=1136 CPUtime=0 cores=0-7 /proc/21482/task/21490/stat : 21490 (java) S 21480 21480 14896 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 447452445 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140889352848 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21491] ppid=21480 vsize=28768336 memory=1072 CPUtime=0 cores=0-7 /proc/21482/task/21491/stat : 21491 (java) S 21480 21480 14896 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 28 0 447452445 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140888300048 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21492] ppid=21480 vsize=28768336 memory=6044 CPUtime=0 cores=0-7 /proc/21482/task/21492/stat : 21492 (java) S 21480 21480 14896 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 28 0 447452446 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140460767856 140141344377474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21493] ppid=21480 vsize=28768336 memory=784 CPUtime=0 cores=0-7 /proc/21482/task/21493/stat : 21493 (java) S 21480 21480 14896 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 447452447 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140459713888 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21494] ppid=21480 vsize=28768336 memory=1060 CPUtime=0 cores=0-7 /proc/21482/task/21494/stat : 21494 (java) S 21480 21480 14896 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 447452447 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140458661488 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21495] ppid=21480 vsize=28768336 memory=14012 CPUtime=0 cores=0-7 /proc/21482/task/21495/stat : 21495 (java) S 21480 21480 14896 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447452450 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140457609808 140141344384923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21496] ppid=21480 vsize=28768336 memory=15612 CPUtime=1.65 cores=0-7 /proc/21482/task/21496/stat : 21496 (java) S 21480 21480 14896 0 -1 1077944384 7478 0 0 0 163 2 0 0 20 0 28 0 447452451 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140456556656 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21497] ppid=21480 vsize=28768336 memory=14056 CPUtime=1.51 cores=0-7 /proc/21482/task/21497/stat : 21497 (java) S 21480 21480 14896 0 -1 1077944384 6170 0 0 0 148 3 0 0 20 0 28 0 447452451 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140455503856 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21498] ppid=21480 vsize=28768336 memory=280842677799488 CPUtime=1.63 cores=0-7 /proc/21482/task/21498/stat : 21498 (java) S 21480 21480 14896 0 -1 1077944384 4500 0 0 0 162 1 0 0 20 0 28 0 447452451 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140454451568 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21499] ppid=21480 vsize=28768336 memory=3467829111911166266 CPUtime=0.61 cores=0-7 /proc/21482/task/21499/stat : 21499 (java) S 21480 21480 14896 0 -1 1077944384 4092 0 0 0 60 1 0 0 20 0 28 0 447452451 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140453398768 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21500] ppid=21480 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21500/stat : 21500 (java) S 21480 21480 14896 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447452451 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140452346720 140141344376533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21501] ppid=21480 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21482/task/21501/stat : 21501 (java) S 21480 21480 14896 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 447452452 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140451294000 140141344377474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21518] ppid=21480 vsize=28768336 memory=0 CPUtime=2.03 cores=0-7 /proc/21482/task/21518/stat : 21518 (java) R 21480 21480 14896 0 -1 4202560 90 0 0 0 203 0 0 0 20 0 28 0 447452647 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140434705456 140140979501200 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21519] ppid=21480 vsize=28768336 memory=0 CPUtime=2.08 cores=0-7 /proc/21482/task/21519/stat : 21519 (java) R 21480 21480 14896 0 -1 4202560 77 0 0 0 208 0 0 0 20 0 28 0 447452647 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140435759512 140140978748580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21520] ppid=21480 vsize=28768336 memory=0 CPUtime=1.99 cores=0-7 /proc/21482/task/21520/stat : 21520 (java) R 21480 21480 14896 0 -1 4202560 86 0 0 0 199 0 0 0 20 0 28 0 447452647 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140436811400 140140979958668 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21521] ppid=21480 vsize=28768336 memory=0 CPUtime=2.09 cores=0-7 /proc/21482/task/21521/stat : 21521 (java) R 21480 21480 14896 0 -1 4202560 86 0 0 0 209 0 0 0 20 0 28 0 447452647 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140441022104 140140978783886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21522] ppid=21480 vsize=28768336 memory=0 CPUtime=2.22 cores=0-7 /proc/21482/task/21522/stat : 21522 (java) R 21480 21480 14896 0 -1 4202560 68 0 0 0 222 0 0 0 20 0 28 0 447452647 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140442075080 140140979958188 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21523] ppid=21480 vsize=28768336 memory=0 CPUtime=1.97 cores=0-7 /proc/21482/task/21523/stat : 21523 (java) R 21480 21480 14896 0 -1 4202560 204 0 0 0 197 0 0 0 20 0 28 0 447452647 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140438916632 140140978783895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21524] ppid=21480 vsize=28768336 memory=0 CPUtime=2.17 cores=0-7 /proc/21482/task/21524/stat : 21524 (java) R 21480 21480 14896 0 -1 4202560 258 0 0 0 217 0 0 0 20 0 28 0 447452647 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140439971640 140140978722108 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 [pid=21482/tid=21525] ppid=21480 vsize=28768336 memory=280842677848096 CPUtime=2.28 cores=0-7 /proc/21482/task/21525/stat : 21525 (java) R 21480 21480 14896 0 -1 4202560 73 0 0 0 228 0 0 0 20 0 28 0 447452647 29458776064 55686 33554432000 4194304 4196468 140737025347248 140140437866632 140140978722148 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16506880 140737025348592 140737025348763 140737025348763 140737025351631 0 Current children cumulated CPU time: 31.18 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 224196 KiB Child status: 0 Real time (s): 4.48468 CPU time (s): 31.7227 CPU user time (s): 31.5089 CPU system time (s): 0.213822 CPU usage (%): 707.357 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 224196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.5089 system time used= 0.213822 maximum resident set size= 222784 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37132 page faults= 0 swaps= 0 block input operations= 8 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4274 involuntary context switches= 986 # summary of solver processes directly reported to runsolver: # pid: 21480 # total CPU time (s): 31.7227 # total CPU user time (s): 31.5089 # total CPU system time (s): 0.213822 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.069123 second user time and 0.079157 second system time The end
Begin job on node105 at 2019-09-17 10:17:26 IDJOB=4400061 IDBENCH=137627 IDSOLVER=2855 FILE ID=node105/4400061-1568711942 RUNJOBID= node105-1568698793-14923 PBS_JOBID= 21703916 Free space on /tmp= 61004 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n1w1b1r5.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-4400061-1568711942/watcher-4400061-1568711942 -o /tmp/evaluation-result-4400061-1568711942/solver-4400061-1568711942 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568698793-14923 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 462753284 HOME/instance-4400061-1568711942.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 15a2bddfb10fd8a6157ce871797528b8 RANDOM SEED=462753284 node105.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.00 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.00 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.00 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.00 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: 31185284 kB MemAvailable: 31848016 kB Buffers: 184920 kB Cached: 777808 kB SwapCached: 65564 kB Active: 544068 kB Inactive: 487484 kB Active(anon): 9324 kB Inactive(anon): 103456 kB Active(file): 534744 kB Inactive(file): 384028 kB Unevictable: 109028 kB Mlocked: 109028 kB SwapTotal: 67108860 kB SwapFree: 66939860 kB Dirty: 26160 kB Writeback: 0 kB AnonPages: 111920 kB Mapped: 44092 kB Shmem: 35652 kB Slab: 148384 kB SReclaimable: 119592 kB SUnreclaim: 28792 kB KernelStack: 3344 kB PageTables: 5592 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498124 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60980 MiB End job on node105 at 2019-09-17 10:17:30