Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 3 | 15.1474 | 2.40629 |
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-4407261-1569348597.xml" -tl '2016s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4407261-1569348597.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 1.03/0.59 c solve instance... 9.15/1.69 o 0 13.87/2.24 o 1 13.87/2.26 o 2 14.56/2.36 o 3 14.56/2.38 s OPTIMUM FOUND 14.56/2.38 v <instantiation> 14.56/2.38 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> 14.56/2.38 v <values>3 394 365 0 392 333 274 391 342 267 386 318 291 383 326 278 382 333 279 380 326 266 370 321 299 369 348 278 368 335 281 368 326 304 356 332 312 356 321 305 355 337 281 354 324 317 339 338 303 302 287 274 0 0 0 0 0 0 0 0 0 </values> 14.56/2.38 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 (11872 MiB free) memory of node 1: 16384 MiB (9725 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407261-1569348597/watcher-4407261-1569348597 -o /var/tmp/evaluation-result-4407261-1569348597/solver-4407261-1569348597 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1803610371 HOME/instance-4407261-1569348597.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=21767, runsolver pid=21764 [startup+0.100126 s]* /proc/loadavg: 7.51 8.08 8.14 2/211 21788 /proc/meminfo: memFree=22099516/32770624 swapFree=67002364/67108860 [pid=21767] ppid=21764 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21767/stat : 21767 (xcsp3-exec) S 21764 21767 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510773628 115843072 363 33554432000 4194304 5098028 140737171606976 140737171605080 140602451251836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23531520 140737171612503 140737171612762 140737171612762 140737171615686 0 /proc/21767/statm: 28282 363 304 221 0 87 0 [pid=21769] ppid=21767 vsize=28227396 memory=29184 CPUtime=0.13 cores=0-7 /proc/21769/stat : 21769 (java) S 21767 21767 18490 0 -1 1077944320 5775 0 0 0 11 2 0 0 20 0 20 0 510773628 28904853504 7296 33554432000 4194304 4196468 140722597959440 140722597941984 140680720473847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 /proc/21769/statm: 7056849 7296 3121 1 0 7019032 0 [pid=21769/tid=21770] ppid=21767 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/21769/task/21770/stat : 21770 (java) R 21767 21767 18490 0 -1 4202560 3680 0 0 0 8 1 0 0 20 0 20 0 510773628 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680724707120 140680720495773 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21771] ppid=21767 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21769/task/21771/stat : 21771 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680673094672 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21772] ppid=21767 vsize=28227396 memory=140437760636544 CPUtime=0 cores=0-7 /proc/21769/task/21772/stat : 21772 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680672042128 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21773] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21773/stat : 21773 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680670989072 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21774] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21774/stat : 21774 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680669936528 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21775] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21775/stat : 21775 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680668883472 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21776] ppid=21767 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21769/task/21776/stat : 21776 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680667830928 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21777] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21777/stat : 21777 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680666777872 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21778] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21778/stat : 21778 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 7296 33554432000 4194304 4196468 140722597959440 140680665725328 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21779] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21779/stat : 21779 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773631 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678983031536 140680720484994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21780] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21780/stat : 21780 (java) S 21767 21767 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510773631 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678981977760 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21781] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21781/stat : 21781 (java) S 21767 21767 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510773631 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678980924656 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21782] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21782/stat : 21782 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678979873232 140680720492443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21783] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21783/stat : 21783 (java) S 21767 21767 18490 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678978820336 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21784] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21784/stat : 21784 (java) S 21767 21767 18490 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678977767792 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21785] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21785/stat : 21785 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678976714736 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21786] ppid=21767 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/21769/task/21786/stat : 21786 (java) R 21767 21767 18490 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 20 0 510773634 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678975662192 140680720495194 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21787] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21787/stat : 21787 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678974610400 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21788] ppid=21767 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21769/task/21788/stat : 21788 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 7296 33554432000 4194304 4196468 140722597959440 140678973557936 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30636 KiB [startup+0.210149 s]* /proc/loadavg: 7.51 8.08 8.14 2/211 21788 /proc/meminfo: memFree=22086556/32770624 swapFree=67002364/67108860 [pid=21767] ppid=21764 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21767/stat : 21767 (xcsp3-exec) S 21764 21767 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510773628 115843072 363 33554432000 4194304 5098028 140737171606976 140737171605080 140602451251836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23531520 140737171612503 140737171612762 140737171612762 140737171615686 0 /proc/21767/statm: 28282 363 304 221 0 87 0 [pid=21769] ppid=21767 vsize=28227396 memory=40868 CPUtime=0.34 cores=0-7 /proc/21769/stat : 21769 (java) S 21767 21767 18490 0 -1 1077944320 9490 0 0 0 30 4 0 0 20 0 20 0 510773628 28904853504 10217 33554432000 4194304 4196468 140722597959440 140722597941984 140680720473847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 /proc/21769/statm: 7056849 10217 3262 1 0 7019032 0 [pid=21769/tid=21770] ppid=21767 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/21769/task/21770/stat : 21770 (java) R 21767 21767 18490 0 -1 4202560 6652 0 0 0 17 2 0 0 20 0 20 0 510773628 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680724703568 140680705639400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21771] ppid=21767 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/21769/task/21771/stat : 21771 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680673094672 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21772] ppid=21767 vsize=28227396 memory=288370813912348288 CPUtime=0 cores=0-7 /proc/21769/task/21772/stat : 21772 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680672042128 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21773] ppid=21767 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21769/task/21773/stat : 21773 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680670989072 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21774] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21774/stat : 21774 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680669936528 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21775] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21775/stat : 21775 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680668883472 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21776] ppid=21767 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21769/task/21776/stat : 21776 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680667830928 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21777] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21777/stat : 21777 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680666777872 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21778] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21778/stat : 21778 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773629 28904853504 10217 33554432000 4194304 4196468 140722597959440 140680665725328 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21779] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21779/stat : 21779 (java) S 21767 21767 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510773631 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678983031536 140680720484994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21780] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21780/stat : 21780 (java) S 21767 21767 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510773631 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678981977760 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21781] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21781/stat : 21781 (java) S 21767 21767 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510773631 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678980924656 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21782] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21782/stat : 21782 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678979873232 140680720492443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21783] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21783/stat : 21783 (java) S 21767 21767 18490 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678978820336 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21784] ppid=21767 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/21769/task/21784/stat : 21784 (java) S 21767 21767 18490 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 20 0 510773634 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678977767792 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21785] ppid=21767 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/21769/task/21785/stat : 21785 (java) S 21767 21767 18490 0 -1 1077944384 248 0 0 0 2 0 0 0 20 0 20 0 510773634 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678976714736 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21786] ppid=21767 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/21769/task/21786/stat : 21786 (java) S 21767 21767 18490 0 -1 1077944384 758 0 0 0 7 0 0 0 20 0 20 0 510773634 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678975662192 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21787] ppid=21767 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21787/stat : 21787 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678974610400 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21788] ppid=21767 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21769/task/21788/stat : 21788 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773634 28904853504 10217 33554432000 4194304 4196468 140722597959440 140678973557936 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42320 KiB [startup+0.309441 s]* /proc/loadavg: 7.51 8.08 8.14 3/211 21788 /proc/meminfo: memFree=22079172/32770624 swapFree=67002364/67108860 [pid=21767] ppid=21764 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21767/stat : 21767 (xcsp3-exec) S 21764 21767 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510773628 115843072 363 33554432000 4194304 5098028 140737171606976 140737171605080 140602451251836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23531520 140737171612503 140737171612762 140737171612762 140737171615686 0 /proc/21767/statm: 28282 363 304 221 0 87 0 [pid=21769] ppid=21767 vsize=28231652 memory=49312 CPUtime=0.52 cores=0-7 /proc/21769/stat : 21769 (java) S 21767 21767 18490 0 -1 1077944320 10763 0 0 0 48 4 0 0 20 0 20 0 510773628 28909211648 12328 33554432000 4194304 4196468 140722597959440 140722597941984 140680720473847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 /proc/21769/statm: 7057913 12328 3331 1 0 7019032 0 [pid=21769/tid=21770] ppid=21767 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/21769/task/21770/stat : 21770 (java) R 21767 21767 18490 0 -1 4202560 7746 0 0 0 26 3 0 0 20 0 20 0 510773628 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680724704960 140680704554334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21771] ppid=21767 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21771/stat : 21771 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680673094672 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21772] ppid=21767 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21772/stat : 21772 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510773629 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680672042128 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21773] ppid=21767 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21773/stat : 21773 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680670989072 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21774] ppid=21767 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21774/stat : 21774 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773629 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680669936528 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21775] ppid=21767 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21775/stat : 21775 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680668883472 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21776] ppid=21767 vsize=28231652 memory=140437646043823 CPUtime=0 cores=0-7 /proc/21769/task/21776/stat : 21776 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680667830928 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21777] ppid=21767 vsize=28231652 memory=140437646046128 CPUtime=0 cores=0-7 /proc/21769/task/21777/stat : 21777 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510773629 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680666777872 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21778] ppid=21767 vsize=28231652 memory=140437646048432 CPUtime=0 cores=0-7 /proc/21769/task/21778/stat : 21778 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773629 28909211648 12328 33554432000 4194304 4196468 140722597959440 140680665725328 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21779] ppid=21767 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21779/stat : 21779 (java) S 21767 21767 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510773631 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678983031536 140680720484994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21780] ppid=21767 vsize=28231652 memory=280875292110736 CPUtime=0 cores=0-7 /proc/21769/task/21780/stat : 21780 (java) S 21767 21767 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510773631 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678981977760 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21781] ppid=21767 vsize=28231652 memory=280875292108432 CPUtime=0 cores=0-7 /proc/21769/task/21781/stat : 21781 (java) S 21767 21767 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510773631 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678980924656 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21782] ppid=21767 vsize=28231652 memory=280875292115344 CPUtime=0 cores=0-7 /proc/21769/task/21782/stat : 21782 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773634 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678979873232 140680720492443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21783] ppid=21767 vsize=28231652 memory=280875292056624 CPUtime=0.01 cores=0-7 /proc/21769/task/21783/stat : 21783 (java) S 21767 21767 18490 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 20 0 510773634 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678978820336 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21784] ppid=21767 vsize=28231652 memory=280875292129168 CPUtime=0.04 cores=0-7 /proc/21769/task/21784/stat : 21784 (java) S 21767 21767 18490 0 -1 1077944384 196 0 0 0 4 0 0 0 20 0 20 0 510773634 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678977767792 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21785] ppid=21767 vsize=28231652 memory=280875292136080 CPUtime=0.03 cores=0-7 /proc/21769/task/21785/stat : 21785 (java) R 21767 21767 18490 0 -1 4202560 318 0 0 0 3 0 0 0 20 0 20 0 510773634 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678976714736 140680701174144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21786] ppid=21767 vsize=28231652 memory=280875292133776 CPUtime=0.12 cores=0-7 /proc/21769/task/21786/stat : 21786 (java) S 21767 21767 18490 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 20 0 510773634 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678975662192 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21787] ppid=21767 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21787/stat : 21787 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510773634 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678974610400 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21788] ppid=21767 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/21769/task/21788/stat : 21788 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510773634 28909211648 12328 33554432000 4194304 4196468 140722597959440 140678973557936 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50764 KiB [startup+0.701673 s] /proc/loadavg: 7.51 8.08 8.14 4/211 21788 /proc/meminfo: memFree=22064432/32770624 swapFree=67002364/67108860 [pid=21767] ppid=21764 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21767/stat : 21767 (xcsp3-exec) S 21764 21767 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510773628 115843072 363 33554432000 4194304 5098028 140737171606976 140737171605080 140602451251836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23531520 140737171612503 140737171612762 140737171612762 140737171615686 0 /proc/21767/statm: 28282 363 304 221 0 87 0 [pid=21769] ppid=21767 vsize=28766288 memory=93336 CPUtime=1.99 cores=0-7 /proc/21769/stat : 21769 (java) S 21767 21767 18490 0 -1 1077944320 15078 0 0 0 191 8 0 0 20 0 28 0 510773628 29456678912 23334 33554432000 4194304 4196468 140722597959440 140722597941984 140680720473847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 /proc/21769/statm: 7191572 23334 3458 1 0 7152672 0 [pid=21769/tid=21770] ppid=21767 vsize=28766288 memory=0 CPUtime=0.58 cores=0-7 /proc/21769/task/21770/stat : 21770 (java) S 21767 21767 18490 0 -1 1077944384 9183 0 0 0 54 4 0 0 20 0 28 0 510773628 29456678912 23334 33554432000 4194304 4196468 140722597959440 140680724714624 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21771] ppid=21767 vsize=28766288 memory=140437646254960 CPUtime=0 cores=0-7 /proc/21769/task/21771/stat : 21771 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 23334 33554432000 4194304 4196468 140722597959440 140680673094672 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21772] ppid=21767 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21772/stat : 21772 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 23334 33554432000 4194304 4196468 140722597959440 140680672042128 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21773] ppid=21767 vsize=28766288 memory=1056 CPUtime=0 cores=0-7 /proc/21769/task/21773/stat : 21773 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 23334 33554432000 4194304 4196468 140722597959440 140680670989072 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 ################ # More data... # ################ [pid=21769/tid=21795] ppid=21767 vsize=28766288 memory=0 CPUtime=0.66 cores=0-7 /proc/21769/task/21795/stat : 21795 (java) R 21767 21767 18490 0 -1 4202560 26 0 0 0 66 0 0 0 20 0 28 0 510773689 29456678912 29767 33554432000 4194304 4196468 140722597959440 140678890590136 140680333881083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21796] ppid=21767 vsize=28766288 memory=1056 CPUtime=0.62 cores=0-7 /proc/21769/task/21796/stat : 21796 (java) R 21767 21767 18490 0 -1 4202560 37 0 0 0 62 0 0 0 20 0 28 0 510773689 29456678912 29767 33554432000 4194304 4196468 140722597959440 140678889531232 140680333881083 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 Current children cumulated CPU time: 8.34 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 120520 KiB [startup+2.40624 s] # the end of solver process 21767 was just reported to runsolver # cumulated CPU time of all completed processes: user=14.9735 s, system=0.17386 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60268 s] /proc/loadavg: 7.51 8.08 8.14 13/219 21796 /proc/meminfo: memFree=22028848/32770624 swapFree=67002364/67108860 [pid=21767] ppid=21764 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21767/stat : 21767 (xcsp3-exec) S 21764 21767 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510773628 115843072 363 33554432000 4194304 5098028 140737171606976 140737171605080 140602451251836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23531520 140737171612503 140737171612762 140737171612762 140737171615686 0 /proc/21767/statm: 28282 363 304 221 0 87 0 [pid=21769] ppid=21767 vsize=28766288 memory=124504 CPUtime=9.15 cores=0-7 /proc/21769/stat : 21769 (java) S 21767 21767 18490 0 -1 1077944320 20868 0 0 0 906 9 0 0 20 0 28 0 510773628 29456678912 31126 33554432000 4194304 4196468 140722597959440 140722597941984 140680720473847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 /proc/21769/statm: 7191572 31126 3483 1 0 7152672 0 [pid=21769/tid=21770] ppid=21767 vsize=28766288 memory=7740955954607909994 CPUtime=0.58 cores=0-7 /proc/21769/task/21770/stat : 21770 (java) S 21767 21767 18490 0 -1 1077944384 9183 0 0 0 54 4 0 0 20 0 28 0 510773628 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680724714624 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21771] ppid=21767 vsize=28766288 memory=7086239652647614019 CPUtime=0 cores=0-7 /proc/21769/task/21771/stat : 21771 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680673094672 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21772] ppid=21767 vsize=28766288 memory=7086239652647614019 CPUtime=0 cores=0-7 /proc/21769/task/21772/stat : 21772 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680672042128 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21773] ppid=21767 vsize=28766288 memory=7007715848042264131 CPUtime=0 cores=0-7 /proc/21769/task/21773/stat : 21773 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680670989072 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21774] ppid=21767 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21774/stat : 21774 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680669936528 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21775] ppid=21767 vsize=28766288 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/21769/task/21775/stat : 21775 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680668883472 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21776] ppid=21767 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21776/stat : 21776 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680667830928 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21777] ppid=21767 vsize=28766288 memory=280875292195456 CPUtime=0 cores=0-7 /proc/21769/task/21777/stat : 21777 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680666777872 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21778] ppid=21767 vsize=28766288 memory=-7452431979323206951 CPUtime=0 cores=0-7 /proc/21769/task/21778/stat : 21778 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510773629 29456678912 31126 33554432000 4194304 4196468 140722597959440 140680665725328 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21779] ppid=21767 vsize=28766288 memory=280875292674560 CPUtime=0 cores=0-7 /proc/21769/task/21779/stat : 21779 (java) S 21767 21767 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 510773631 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678983031536 140680720484994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21780] ppid=21767 vsize=28766288 memory=280875292601056 CPUtime=0 cores=0-7 /proc/21769/task/21780/stat : 21780 (java) S 21767 21767 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510773631 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678981977760 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21781] ppid=21767 vsize=28766288 memory=280875292516768 CPUtime=0 cores=0-7 /proc/21769/task/21781/stat : 21781 (java) S 21767 21767 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 510773631 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678980924656 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21782] ppid=21767 vsize=28766288 memory=140437646411418 CPUtime=0 cores=0-7 /proc/21769/task/21782/stat : 21782 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510773634 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678979873232 140680720492443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21783] ppid=21767 vsize=28766288 memory=0 CPUtime=0.71 cores=0-7 /proc/21769/task/21783/stat : 21783 (java) R 21767 21767 18490 0 -1 4202560 3518 0 0 0 70 1 0 0 20 0 28 0 510773634 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678978806736 140680701999787 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21784] ppid=21767 vsize=28766288 memory=0 CPUtime=0.77 cores=0-7 /proc/21769/task/21784/stat : 21784 (java) R 21767 21767 18490 0 -1 4202560 2140 0 0 0 77 0 0 0 20 0 28 0 510773634 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678977760280 140680702017942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21785] ppid=21767 vsize=28766288 memory=0 CPUtime=0.59 cores=0-7 /proc/21769/task/21785/stat : 21785 (java) R 21767 21767 18490 0 -1 4202560 1976 0 0 0 58 1 0 0 20 0 28 0 510773634 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678976701280 140680698070007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21786] ppid=21767 vsize=28766288 memory=140437646077376 CPUtime=0.48 cores=0-7 /proc/21769/task/21786/stat : 21786 (java) R 21767 21767 18490 0 -1 1077944384 2370 0 0 0 48 0 0 0 20 0 28 0 510773634 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678975662192 140680720484994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21787] ppid=21767 vsize=28766288 memory=233925393820188 CPUtime=0 cores=0-7 /proc/21769/task/21787/stat : 21787 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510773634 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678974610400 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21788] ppid=21767 vsize=28766288 memory=93488553175585 CPUtime=0 cores=0-7 /proc/21769/task/21788/stat : 21788 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510773634 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678973557936 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21789] ppid=21767 vsize=28766288 memory=7092417799707977558 CPUtime=0.73 cores=0-7 /proc/21769/task/21789/stat : 21789 (java) R 21767 21767 18490 0 -1 4202560 61 0 0 0 73 0 0 0 20 0 28 0 510773689 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678970793032 140680333389575 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21790] ppid=21767 vsize=28766288 memory=5866336994978190694 CPUtime=0.81 cores=0-7 /proc/21769/task/21790/stat : 21790 (java) R 21767 21767 18490 0 -1 4202560 48 0 0 0 81 0 0 0 20 0 28 0 510773689 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678895849800 140680333881222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21791] ppid=21767 vsize=28766288 memory=0 CPUtime=0.78 cores=0-7 /proc/21769/task/21791/stat : 21791 (java) R 21767 21767 18490 0 -1 4202560 46 0 0 0 78 0 0 0 20 0 28 0 510773689 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678894796464 140680332645366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21792] ppid=21767 vsize=28766288 memory=0 CPUtime=0.69 cores=0-7 /proc/21769/task/21792/stat : 21792 (java) R 21767 21767 18490 0 -1 4202560 69 0 0 0 69 0 0 0 20 0 28 0 510773689 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678893744536 140680334036795 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21793] ppid=21767 vsize=28766288 memory=0 CPUtime=0.63 cores=0-7 /proc/21769/task/21793/stat : 21793 (java) R 21767 21767 18490 0 -1 4202560 36 0 0 0 63 0 0 0 20 0 28 0 510773689 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678892691256 140680334201984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21794] ppid=21767 vsize=28766288 memory=0 CPUtime=0.89 cores=0-7 /proc/21769/task/21794/stat : 21794 (java) R 21767 21767 18490 0 -1 4202560 41 0 0 0 89 0 0 0 20 0 28 0 510773689 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678891638568 140680332857550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21795] ppid=21767 vsize=28766288 memory=0 CPUtime=0.72 cores=0-7 /proc/21769/task/21795/stat : 21795 (java) R 21767 21767 18490 0 -1 4202560 27 0 0 0 72 0 0 0 20 0 28 0 510773689 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678890586288 140680332671044 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21796] ppid=21767 vsize=28766288 memory=140437646048080 CPUtime=0.68 cores=0-7 /proc/21769/task/21796/stat : 21796 (java) R 21767 21767 18490 0 -1 4202560 37 0 0 0 68 0 0 0 20 0 28 0 510773689 29456678912 31126 33554432000 4194304 4196468 140722597959440 140678889532888 140680333197328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 Current children cumulated CPU time: 9.15 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 125956 KiB [startup+2.0027 s]* /proc/loadavg: 7.51 8.08 8.14 13/219 21805 /proc/meminfo: memFree=21977952/32770624 swapFree=67002364/67108860 [pid=21767] ppid=21764 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21767/stat : 21767 (xcsp3-exec) S 21764 21767 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510773628 115843072 363 33554432000 4194304 5098028 140737171606976 140737171605080 140602451251836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23531520 140737171612503 140737171612762 140737171612762 140737171615686 0 /proc/21767/statm: 28282 363 304 221 0 87 0 [pid=21769] ppid=21767 vsize=28768336 memory=153756 CPUtime=12.42 cores=0-7 /proc/21769/stat : 21769 (java) S 21767 21767 18490 0 -1 1077944320 25488 0 0 0 1230 12 0 0 20 0 28 0 510773628 29458776064 38439 33554432000 4194304 4196468 140722597959440 140722597941984 140680720473847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 /proc/21769/statm: 7192084 38439 3491 1 0 7153184 0 [pid=21769/tid=21770] ppid=21767 vsize=28768336 memory=6655300316396806240 CPUtime=0.58 cores=0-7 /proc/21769/task/21770/stat : 21770 (java) S 21767 21767 18490 0 -1 1077944384 9185 0 0 0 54 4 0 0 20 0 28 0 510773628 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680724714624 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21771] ppid=21767 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21771/stat : 21771 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680673094672 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21772] ppid=21767 vsize=28768336 memory=3472328296227680299 CPUtime=0 cores=0-7 /proc/21769/task/21772/stat : 21772 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510773629 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680672042128 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21773] ppid=21767 vsize=28768336 memory=-6800859132029471843 CPUtime=0 cores=0-7 /proc/21769/task/21773/stat : 21773 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680670989072 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21774] ppid=21767 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21774/stat : 21774 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510773629 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680669936528 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21775] ppid=21767 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21775/stat : 21775 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680668883472 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21776] ppid=21767 vsize=28768336 memory=140437646296431 CPUtime=0 cores=0-7 /proc/21769/task/21776/stat : 21776 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680667830928 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21777] ppid=21767 vsize=28768336 memory=39076 CPUtime=0 cores=0-7 /proc/21769/task/21777/stat : 21777 (java) S 21767 21767 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510773629 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680666777872 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21778] ppid=21767 vsize=28768336 memory=32758254098972862 CPUtime=0 cores=0-7 /proc/21769/task/21778/stat : 21778 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510773629 29458776064 38439 33554432000 4194304 4196468 140722597959440 140680665725328 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21779] ppid=21767 vsize=28768336 memory=302585828486690156 CPUtime=0 cores=0-7 /proc/21769/task/21779/stat : 21779 (java) S 21767 21767 18490 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 510773631 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678983031536 140680720484994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21780] ppid=21767 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21780/stat : 21780 (java) S 21767 21767 18490 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 510773631 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678981977760 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21781] ppid=21767 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21781/stat : 21781 (java) S 21767 21767 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 510773631 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678980924656 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21782] ppid=21767 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/21769/task/21782/stat : 21782 (java) S 21767 21767 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510773634 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678979873232 140680720492443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21783] ppid=21767 vsize=28768336 memory=0 CPUtime=1.06 cores=0-7 /proc/21769/task/21783/stat : 21783 (java) R 21767 21767 18490 0 -1 4202560 4457 0 0 0 105 1 0 0 20 0 28 0 510773634 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678978806352 140680699730422 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21784] ppid=21767 vsize=28768336 memory=0 CPUtime=1.05 cores=0-7 /proc/21769/task/21784/stat : 21784 (java) R 21767 21767 18490 0 -1 4202560 3197 0 0 0 104 1 0 0 20 0 28 0 510773634 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678977768088 140680702017637 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21785] ppid=21767 vsize=28768336 memory=140437646275103 CPUtime=0.85 cores=0-7 /proc/21769/task/21785/stat : 21785 (java) R 21767 21767 18490 0 -1 4202560 3263 0 0 0 83 2 0 0 20 0 28 0 510773634 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678976696144 140680705770442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21786] ppid=21767 vsize=28768336 memory=8098991019426580469 CPUtime=0.55 cores=0-7 /proc/21769/task/21786/stat : 21786 (java) R 21767 21767 18490 0 -1 4202560 2965 0 0 0 54 1 0 0 20 0 28 0 510773634 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678975662192 140680699431582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21787] ppid=21767 vsize=28768336 memory=3473458624346731576 CPUtime=0 cores=0-7 /proc/21769/task/21787/stat : 21787 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510773634 29458776064 38439 33554432000 4194304 4196468 140722597959440 140678974610400 140680720484053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21788] ppid=21767 vsize=28768336 memory=664962042350622217 CPUtime=0 cores=0-7 /proc/21769/task/21788/stat : 21788 (java) S 21767 21767 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510773634 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678973557936 140680720484994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21797] ppid=21767 vsize=28768336 memory=7719224974043853087 CPUtime=0.21 cores=0-7 /proc/21769/task/21797/stat : 21797 (java) R 21767 21767 18490 0 -1 4202560 67 0 0 0 21 0 0 0 20 0 28 0 510773798 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678889533032 140680335012543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21798] ppid=21767 vsize=28768336 memory=6944656592455360569 CPUtime=0.28 cores=0-7 /proc/21769/task/21798/stat : 21798 (java) R 21767 21767 18490 0 -1 4202560 80 0 0 0 28 0 0 0 20 0 28 0 510773798 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678894796328 140680332670720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21799] ppid=21767 vsize=28768336 memory=6933690305039933585 CPUtime=0.26 cores=0-7 /proc/21769/task/21799/stat : 21799 (java) R 21767 21767 18490 0 -1 4202560 67 0 0 0 26 0 0 0 20 0 28 0 510773798 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678890584976 140680333880186 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21800] ppid=21767 vsize=28768336 memory=1452 CPUtime=0.18 cores=0-7 /proc/21769/task/21800/stat : 21800 (java) R 21767 21767 18490 0 -1 4202560 70 0 0 0 18 0 0 0 20 0 28 0 510773798 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678970794280 140680332670708 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21801] ppid=21767 vsize=28768336 memory=116460 CPUtime=0.22 cores=0-7 /proc/21769/task/21801/stat : 21801 (java) R 21767 21767 18490 0 -1 4202560 92 0 0 0 22 0 0 0 20 0 28 0 510773798 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678891641264 140680332670771 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21802] ppid=21767 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7 /proc/21769/task/21802/stat : 21802 (java) R 21767 21767 18490 0 -1 4202560 73 0 0 0 20 0 0 0 20 0 28 0 510773798 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678892693688 140680333881447 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21803] ppid=21767 vsize=28768336 memory=0 CPUtime=0.21 cores=0-7 /proc/21769/task/21803/stat : 21803 (java) R 21767 21767 18490 0 -1 4202560 66 0 0 0 21 0 0 0 20 0 28 0 510773798 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678893747208 140680333559467 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 [pid=21769/tid=21804] ppid=21767 vsize=28768336 memory=0 CPUtime=0.22 cores=0-7 /proc/21769/task/21804/stat : 21804 (java) R 21767 21767 18490 0 -1 4202560 208 0 0 0 22 0 0 0 20 0 28 0 510773799 29458776064 38450 33554432000 4194304 4196468 140722597959440 140678895851712 140680333881083 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15081472 140722597966812 140722597966987 140722597966987 140722597969871 0 Current children cumulated CPU time: 12.42 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 155208 KiB [startup+2.4009 s] /proc/loadavg: 7.51 8.08 8.14 13/219 21805 /proc/meminfo: memFree=21977952/32770624 swapFree=67002364/67108860 [pid=21767] ppid=21764 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21767/stat : 21767 (xcsp3-exec) S 21764 21767 18490 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510773628 115843072 363 33554432000 4194304 5098028 140737171606976 140737171605080 140602451251836 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23531520 140737171612503 140737171612762 140737171612762 140737171615686 0 /proc/21767/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 2.40629 CPU time (s): 15.1474 CPU user time (s): 14.9735 CPU system time (s): 0.17386 CPU usage (%): 629.49 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 191920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.9735 system time used= 0.17386 maximum resident set size= 213808 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27317 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3758 involuntary context switches= 488 # summary of solver processes directly reported to runsolver: # pid: 21767 # total CPU time (s): 15.1474 # total CPU user time (s): 14.9735 # total CPU system time (s): 0.17386 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.044494 second user time and 0.062504 second system time The end
Begin job on node146 at 2019-09-24 20:09:16 IDJOB=4407261 IDBENCH=137627 IDSOLVER=2872 FILE ID=node146/4407261-1569348597 RUNJOBID= node146-1569335937-18517 PBS_JOBID= 21705051 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-24 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 /var/tmp/evaluation-result-4407261-1569348597/watcher-4407261-1569348597 -o /var/tmp/evaluation-result-4407261-1569348597/solver-4407261-1569348597 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1803610371 HOME/instance-4407261-1569348597.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 15a2bddfb10fd8a6157ce871797528b8 RANDOM SEED=1803610371 node146.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 : 5332.90 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 : 5332.90 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 : 5332.90 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 : 5332.90 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: 22114980 kB MemAvailable: 31840796 kB Buffers: 147720 kB Cached: 9615508 kB SwapCached: 3568 kB Active: 4854516 kB Inactive: 4913704 kB Active(anon): 4508 kB Inactive(anon): 56464 kB Active(file): 4850008 kB Inactive(file): 4857240 kB Unevictable: 110892 kB Mlocked: 110892 kB SwapTotal: 67108860 kB SwapFree: 67002364 kB Dirty: 26096 kB Writeback: 0 kB AnonPages: 129908 kB Mapped: 56952 kB Shmem: 47620 kB Slab: 475728 kB SReclaimable: 447028 kB SUnreclaim: 28700 kB KernelStack: 3712 kB PageTables: 5788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515448 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /var/tmp at the end= 13484 MiB End job on node146 at 2019-09-24 20:09:18