Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT | 186.871 | 56.059898 |
Name | QRandom/QRandom-mdd-7-25-5/ mdd-7-25-5-56-02.xml |
MD5SUM | eda3e143b65a543b5abd93f521b89dfa |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 62.412601 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 25 |
Number of constraints | 56 |
Number of domains | 1 |
Minimum domain size | 5 |
Maximum domain size | 5 |
Distribution of domain sizes | [{"size":5,"count":25}] |
Minimum variable degree | 9 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":9,"count":1},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":4},{"degree":15,"count":2},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":3},{"degree":21,"count":3},{"degree":23,"count":1}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":7,"count":56}] |
Number of extensional constraints | 56 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":56}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280953-1503135580.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4280953-1503135580.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.32/0.69 c parse instance... 68.53/41.11 c solve instance... 186.06/55.99 s SATISFIABLE 186.06/55.99 v <instantiation> 186.06/55.99 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] </list> 186.06/55.99 v <values>1 0 4 2 3 1 3 0 4 3 2 3 1 0 0 4 4 3 0 2 2 1 4 3 0 </values> 186.06/55.99 v </instantiation>
OK
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 (10774 MiB free) memory of node 1: 16384 MiB (10076 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280953-1503135580/watcher-4280953-1503135580 -o /tmp/evaluation-result-4280953-1503135580/solver-4280953-1503135580 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503132049-19687 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1640429888 HOME/instance-4280953-1503135580.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=21625, runsolver pid=21622 [startup+0.100877 s]* /proc/loadavg: 2.48 5.99 7.41 3/199 21646 /proc/meminfo: memFree=21334976/32770624 swapFree=67108860/67108860 [pid=21625] ppid=21622 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21625/stat : 21625 (xcsp3-exec) S 21622 21625 19660 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146638817 9740288 346 33554432000 4194304 5098028 140731857337440 140731857335544 140385078268540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16007168 140731857343588 140731857343799 140731857343799 140731857346539 0 /proc/21625/statm: 2378 346 289 221 0 87 0 [pid=21627] ppid=21625 vsize=25999808 memory=27424 CPUtime=0.12 cores=0-7 /proc/21627/stat : 21627 (java) S 21625 21625 19660 0 -1 1077944320 5218 0 0 0 10 2 0 0 20 0 20 0 146638817 26623803392 6856 33554432000 4194304 4196468 140724267907312 140724267889856 140594491571959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 /proc/21627/statm: 6499952 6856 2867 1 0 6488269 0 [pid=21627/tid=21628] ppid=21625 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/21627/task/21628/stat : 21628 (java) R 21625 21625 19660 0 -1 4202560 3225 0 0 0 8 1 0 0 20 0 20 0 146638817 26623803392 6856 33554432000 4194304 4196468 140724267907312 140594495788112 140594491593885 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21629] ppid=21625 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21629/stat : 21629 (java) S 21625 21625 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146638818 26623803392 6856 33554432000 4194304 4196468 140724267907312 140594414152464 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21630] ppid=21625 vsize=25999808 memory=139815409579648 CPUtime=0 cores=0-7 /proc/21627/task/21630/stat : 21630 (java) S 21625 21625 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146638818 26623803392 6856 33554432000 4194304 4196468 140724267907312 140594048424848 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21631] ppid=21625 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21631/stat : 21631 (java) S 21625 21625 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146638818 26623803392 6856 33554432000 4194304 4196468 140724267907312 140594047372304 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21632] ppid=21625 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21632/stat : 21632 (java) S 21625 21625 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146638818 26623803392 6856 33554432000 4194304 4196468 140724267907312 140594046319760 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21633] ppid=21625 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21633/stat : 21633 (java) S 21625 21625 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146638818 26623803392 6856 33554432000 4194304 4196468 140724267907312 140594045266192 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21634] ppid=21625 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/21627/task/21634/stat : 21634 (java) S 21625 21625 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146638818 26623803392 6856 33554432000 4194304 4196468 140724267907312 140594044213648 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21635] ppid=21625 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21635/stat : 21635 (java) S 21625 21625 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146638818 26623803392 6856 33554432000 4194304 4196468 140724267907312 140594043161104 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21636] ppid=21625 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21636/stat : 21636 (java) S 21625 21625 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146638818 26623803392 6856 33554432000 4194304 4196468 140724267907312 140594042108560 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21637] ppid=21625 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21637/stat : 21637 (java) S 21625 21625 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146638820 26623803392 6856 33554432000 4194304 4196468 140724267907312 140593032317424 140594491583106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21638] ppid=21625 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21638/stat : 21638 (java) S 21625 21625 19660 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146638820 26623803392 6856 33554432000 4194304 4196468 140724267907312 140593031263648 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21639] ppid=21625 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21639/stat : 21639 (java) S 21625 21625 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146638820 26623803392 6856 33554432000 4194304 4196468 140724267907312 140593030211056 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21640] ppid=21625 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21640/stat : 21640 (java) S 21625 21625 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146638823 26623803392 6856 33554432000 4194304 4196468 140724267907312 140593029159632 140594491590555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21641] ppid=21625 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21641/stat : 21641 (java) S 21625 21625 19660 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 146638823 26623803392 6856 33554432000 4194304 4196468 140724267907312 140593028106224 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21642] ppid=21625 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21642/stat : 21642 (java) S 21625 21625 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146638823 26623803392 6856 33554432000 4194304 4196468 140724267907312 140593027053680 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21643] ppid=21625 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21643/stat : 21643 (java) S 21625 21625 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146638823 26623803392 6856 33554432000 4194304 4196468 140724267907312 140593026001136 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21644] ppid=21625 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/21627/task/21644/stat : 21644 (java) R 21625 21625 19660 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 20 0 146638823 26623803392 6856 33554432000 4194304 4196468 140724267907312 140593024946128 140594491583894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21645] ppid=21625 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21645/stat : 21645 (java) S 21625 21625 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146638823 26623803392 6856 33554432000 4194304 4196468 140724267907312 140593023896288 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21646] ppid=21625 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/21627/task/21646/stat : 21646 (java) S 21625 21625 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146638823 26623803392 6856 33554432000 4194304 4196468 140724267907312 140593022843824 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 28808 KiB [startup+0.210453 s]* /proc/loadavg: 2.48 5.99 7.41 2/199 21646 /proc/meminfo: memFree=21303328/32770624 swapFree=67108860/67108860 [pid=21625] ppid=21622 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21625/stat : 21625 (xcsp3-exec) S 21622 21625 19660 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146638817 9740288 346 33554432000 4194304 5098028 140731857337440 140731857335544 140385078268540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16007168 140731857343588 140731857343799 140731857343799 140731857346539 0 /proc/21625/statm: 2378 346 289 221 0 87 0 [pid=21627] ppid=21625 vsize=26004064 memory=39036 CPUtime=0.32 cores=0-7 /proc/21627/stat : 21627 (java) S 21625 21625 19660 0 -1 1077944320 7818 0 0 0 29 3 0 0 20 0 20 0 146638817 26628161536 9759 33554432000 4194304 4196468 140724267907312 140724267889856 140594491571959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 /proc/21627/statm: 6501016 9759 3049 1 0 6488269 0 [pid=21627/tid=21628] ppid=21625 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/21627/task/21628/stat : 21628 (java) R 21625 21625 19660 0 -1 4202560 4934 0 0 0 17 2 0 0 20 0 20 0 146638817 26628161536 9759 33554432000 4194304 4196468 140724267907312 140594495773776 140594491593885 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21629] ppid=21625 vsize=26004064 memory=330 CPUtime=0 cores=0-7 /proc/21627/task/21629/stat : 21629 (java) S 21625 21625 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146638818 26628161536 9759 33554432000 4194304 4196468 140724267907312 140594414152464 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21630] ppid=21625 vsize=26004064 memory=139815410563622 CPUtime=0 cores=0-7 /proc/21627/task/21630/stat : 21630 (java) S 21625 21625 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146638818 26628161536 9759 33554432000 4194304 4196468 140724267907312 140594048424848 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21631] ppid=21625 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/21627/task/21631/stat : 21631 (java) S 21625 21625 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146638818 26628161536 9759 33554432000 4194304 4196468 140724267907312 140594047372304 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21632] ppid=21625 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21632/stat : 21632 (java) S 21625 21625 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146638818 26628161536 9759 33554432000 4194304 4196468 140724267907312 140594046319760 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21633] ppid=21625 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21633/stat : 21633 (java) S 21625 21625 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146638818 26628161536 9759 33554432000 4194304 4196468 140724267907312 140594045266192 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21634] ppid=21625 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/21627/task/21634/stat : 21634 (java) S 21625 21625 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146638818 26628161536 9759 33554432000 4194304 4196468 140724267907312 140594044213648 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21635] ppid=21625 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21635/stat : 21635 (java) S 21625 21625 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146638818 26628161536 9759 33554432000 4194304 4196468 140724267907312 140594043161104 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21636] ppid=21625 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21636/stat : 21636 (java) S 21625 21625 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146638818 26628161536 9759 33554432000 4194304 4196468 140724267907312 140594042108560 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21637] ppid=21625 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21637/stat : 21637 (java) S 21625 21625 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146638820 26628161536 9759 33554432000 4194304 4196468 140724267907312 140593032317424 140594491583106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21638] ppid=21625 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21638/stat : 21638 (java) S 21625 21625 19660 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146638820 26628161536 9759 33554432000 4194304 4196468 140724267907312 140593031263648 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21639] ppid=21625 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21639/stat : 21639 (java) S 21625 21625 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146638820 26628161536 9759 33554432000 4194304 4196468 140724267907312 140593030211056 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21640] ppid=21625 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21640/stat : 21640 (java) S 21625 21625 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146638823 26628161536 9759 33554432000 4194304 4196468 140724267907312 140593029159632 140594491590555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21641] ppid=21625 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/21627/task/21641/stat : 21641 (java) S 21625 21625 19660 0 -1 1077944384 554 0 0 0 1 0 0 0 20 0 20 0 146638823 26628161536 9759 33554432000 4194304 4196468 140724267907312 140593028106224 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21642] ppid=21625 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21642/stat : 21642 (java) S 21625 21625 19660 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 146638823 26628161536 9759 33554432000 4194304 4196468 140724267907312 140593027053680 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21643] ppid=21625 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/21627/task/21643/stat : 21643 (java) S 21625 21625 19660 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 20 0 146638823 26628161536 9759 33554432000 4194304 4196468 140724267907312 140593026001136 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21644] ppid=21625 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/21627/task/21644/stat : 21644 (java) R 21625 21625 19660 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 20 0 146638823 26628161536 9759 33554432000 4194304 4196468 140724267907312 140593024948592 140594470092110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21645] ppid=21625 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21645/stat : 21645 (java) S 21625 21625 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146638823 26628161536 9759 33554432000 4194304 4196468 140724267907312 140593023896288 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21646] ppid=21625 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/21627/task/21646/stat : 21646 (java) S 21625 21625 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146638823 26628161536 9759 33554432000 4194304 4196468 140724267907312 140593022843824 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40420 KiB [startup+0.785913 s]* /proc/loadavg: 2.48 5.99 7.41 2/199 21646 /proc/meminfo: memFree=21105884/32770624 swapFree=67108860/67108860 [pid=21625] ppid=21622 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21625/stat : 21625 (xcsp3-exec) S 21622 21625 19660 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146638817 9740288 346 33554432000 4194304 5098028 140731857337440 140731857335544 140385078268540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16007168 140731857343588 140731857343799 140731857343799 140731857346539 0 /proc/21625/statm: 2378 346 289 221 0 87 0 [pid=21627] ppid=21625 vsize=26004140 memory=254236 CPUtime=1.95 cores=0-7 /proc/21627/stat : 21627 (java) S 21625 21625 19660 0 -1 1077944320 12343 0 0 0 176 19 0 0 20 0 20 0 146638817 26628239360 63559 33554432000 4194304 4196468 140724267907312 140724267889856 140594491571959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 /proc/21627/statm: 6501035 63559 3210 1 0 6488269 0 [pid=21627/tid=21628] ppid=21625 vsize=26004140 memory=6791534058613427641 CPUtime=0.73 cores=0-7 /proc/21627/task/21628/stat : 21628 (java) S 21625 21625 19660 0 -1 1077944384 5928 0 0 0 69 4 0 0 20 0 20 0 146638817 26628239360 63559 33554432000 4194304 4196468 140724267907312 140594495810176 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21629] ppid=21625 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21629/stat : 21629 (java) R 21625 21625 19660 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 20 0 146638818 26628239360 63559 33554432000 4194304 4196468 140724267907312 140594414152464 140594476599815 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21630] ppid=21625 vsize=26004140 memory=0 CPUtime=0.01 cores=0-7 /proc/21627/task/21630/stat : 21630 (java) R 21625 21625 19660 0 -1 1077944384 22 0 0 0 0 1 0 0 20 0 20 0 146638818 26628239360 63559 33554432000 4194304 4196468 140724267907312 140594048424848 140594491582165 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21631] ppid=21625 vsize=26004140 memory=0 CPUtime=0.02 cores=0-7 /proc/21627/task/21631/stat : 21631 (java) R 21625 21625 19660 0 -1 4202560 40 0 0 0 0 2 0 0 20 0 20 0 146638818 26628239360 63559 33554432000 4194304 4196468 140724267907312 140594047372304 140594484678520 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21632] ppid=21625 vsize=26004140 memory=0 CPUtime=0.02 cores=0-7 /proc/21627/task/21632/stat : 21632 (java) S 21625 21625 19660 0 -1 1077944384 36 0 0 0 0 2 0 0 20 0 20 0 146638818 26628239360 63559 33554432000 4194304 4196468 140724267907312 140594046319760 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21633] ppid=21625 vsize=26004140 memory=2244 CPUtime=0.02 cores=0-7 /proc/21627/task/21633/stat : 21633 (java) S 21625 21625 19660 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 20 0 146638818 26628239360 63559 33554432000 4194304 4196468 140724267907312 140594045266192 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21634] ppid=21625 vsize=26004140 memory=139815278441391 CPUtime=0.02 cores=0-7 /proc/21627/task/21634/stat : 21634 (java) R 21625 21625 19660 0 -1 4202560 42 0 0 0 0 2 0 0 20 0 20 0 146638818 26628239360 63559 33554432000 4194304 4196468 140724267907312 140594044213648 140594484678500 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21635] ppid=21625 vsize=26004140 memory=139815278443696 CPUtime=0 cores=0-7 /proc/21627/task/21635/stat : 21635 (java) R 21625 21625 19660 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 20 0 146638818 26628239360 63559 33554432000 4194304 4196468 140724267907312 140594043161104 140594484668553 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21636] ppid=21625 vsize=26004140 memory=139815278446000 CPUtime=0.02 cores=0-7 /proc/21627/task/21636/stat : 21636 (java) R 21625 21625 19660 0 -1 4202560 26 0 0 0 1 1 0 0 20 0 20 0 146638818 26628239360 63559 33554432000 4194304 4196468 140724267907312 140594042108560 140594484676602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21637] ppid=21625 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21637/stat : 21637 (java) S 21625 21625 19660 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 146638820 26628239360 63559 33554432000 4194304 4196468 140724267907312 140593032315936 140594491582165 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21638] ppid=21625 vsize=26004140 memory=279630556898960 CPUtime=0 cores=0-7 /proc/21627/task/21638/stat : 21638 (java) S 21625 21625 19660 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 146638820 26628239360 63559 33554432000 4194304 4196468 140724267907312 140593031263648 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21639] ppid=21625 vsize=26004140 memory=279630556905872 CPUtime=0 cores=0-7 /proc/21627/task/21639/stat : 21639 (java) S 21625 21625 19660 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 146638820 26628239360 63559 33554432000 4194304 4196468 140724267907312 140593030211056 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21640] ppid=21625 vsize=26004140 memory=279630556847152 CPUtime=0 cores=0-7 /proc/21627/task/21640/stat : 21640 (java) S 21625 21625 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146638823 26628239360 63559 33554432000 4194304 4196468 140724267907312 140593029159632 140594491590555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21641] ppid=21625 vsize=26004140 memory=279630556919696 CPUtime=0.25 cores=0-7 /proc/21627/task/21641/stat : 21641 (java) S 21625 21625 19660 0 -1 1077944384 1417 0 0 0 25 0 0 0 20 0 20 0 146638823 26628239360 63559 33554432000 4194304 4196468 140724267907312 140593028106224 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21642] ppid=21625 vsize=26004140 memory=279630556926608 CPUtime=0.24 cores=0-7 /proc/21627/task/21642/stat : 21642 (java) S 21625 21625 19660 0 -1 1077944384 996 0 0 0 24 0 0 0 20 0 20 0 146638823 26628239360 63559 33554432000 4194304 4196468 140724267907312 140593027053680 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21643] ppid=21625 vsize=26004140 memory=279630556924304 CPUtime=0.26 cores=0-7 /proc/21627/task/21643/stat : 21643 (java) S 21625 21625 19660 0 -1 1077944384 1115 0 0 0 26 0 0 0 20 0 20 0 146638823 26628239360 64071 33554432000 4194304 4196468 140724267907312 140593026001136 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21644] ppid=21625 vsize=26004140 memory=279630556940464 CPUtime=0.23 cores=0-7 /proc/21627/task/21644/stat : 21644 (java) S 21625 21625 19660 0 -1 1077944384 1261 0 0 0 23 0 0 0 20 0 20 0 146638823 26628239360 64071 33554432000 4194304 4196468 140724267907312 140593024948592 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21645] ppid=21625 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21645/stat : 21645 (java) S 21625 21625 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146638823 26628239360 64071 33554432000 4194304 4196468 140724267907312 140593023896288 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21646] ppid=21625 vsize=26004140 memory=-1 CPUtime=0 cores=0-7 /proc/21627/task/21646/stat : 21646 (java) S 21625 21625 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146638823 26628239360 64071 33554432000 4194304 4196468 140724267907312 140593022843824 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 Current children cumulated CPU time: 1.95 s Current children cumulated vsize: 26013652 KiB Current children cumulated memory: 255620 KiB [startup+0.810308 s]* /proc/loadavg: 2.48 5.99 7.41 2/199 21646 /proc/meminfo: memFree=21076268/32770624 swapFree=67108860/67108860 [pid=21625] ppid=21622 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21625/stat : 21625 (xcsp3-exec) S 21622 21625 19660 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146638817 9740288 346 33554432000 4194304 5098028 140731857337440 140731857335544 140385078268540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16007168 140731857343588 140731857343799 140731857343799 140731857346539 0 /proc/21625/statm: 2378 346 289 221 0 87 0 [pid=21627] ppid=21625 vsize=26004140 memory=280860 CPUtime=2.06 cores=0-7 /proc/21627/stat : 21627 (java) S 21625 21625 19660 0 -1 1077944320 12441 0 0 0 183 23 0 0 20 0 20 0 146638817 26628239360 70215 33554432000 4194304 4196468 140724267907312 140724267889856 140594491571959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 /proc/21627/statm: 6501035 70215 3210 1 0 6488269 0 [pid=21627/tid=21628] ppid=21625 vsize=26004140 memory=8316850467074736180 CPUtime=0.74 cores=0-7 /proc/21627/task/21628/stat : 21628 (java) R 21625 21625 19660 0 -1 4202560 5929 0 0 0 70 4 0 0 20 0 20 0 146638817 26628239360 70215 33554432000 4194304 4196468 140724267907312 140594495810176 140594096470565 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21629] ppid=21625 vsize=26004140 memory=9235 CPUtime=0.02 cores=0-7 /proc/21627/task/21629/stat : 21629 (java) S 21625 21625 19660 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 20 0 146638818 26628239360 70215 33554432000 4194304 4196468 140724267907312 140594414152464 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21630] ppid=21625 vsize=26004140 memory=139815410563622 CPUtime=0.02 cores=0-7 /proc/21627/task/21630/stat : 21630 (java) S 21625 21625 19660 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 20 0 146638818 26628239360 70215 33554432000 4194304 4196468 140724267907312 140594048424848 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21631] ppid=21625 vsize=26004140 memory=-1 CPUtime=0.03 cores=0-7 /proc/21627/task/21631/stat : 21631 (java) S 21625 21625 19660 0 -1 1077944384 52 0 0 0 1 2 0 0 20 0 20 0 146638818 26628239360 70215 33554432000 4194304 4196468 140724267907312 140594047372304 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 ################ # More data... # ################ [pid=21627/tid=21635] ppid=21625 vsize=26538700 memory=4144 CPUtime=3.64 cores=0-7 /proc/21627/task/21635/stat : 21635 (java) S 21625 21625 19660 0 -1 1077944384 2609 0 0 0 268 96 0 0 20 0 28 0 146638818 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140594043161104 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21636] ppid=21625 vsize=26538700 memory=41104 CPUtime=3.64 cores=0-7 /proc/21627/task/21636/stat : 21636 (java) S 21625 21625 19660 0 -1 1077944384 8686 0 0 0 269 95 0 0 20 0 28 0 146638818 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140594042108560 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21637] ppid=21625 vsize=26538700 memory=1384 CPUtime=1.55 cores=0-7 /proc/21627/task/21637/stat : 21637 (java) S 21625 21625 19660 0 -1 1077944384 6327 0 0 0 154 1 0 0 20 0 28 0 146638820 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593032317424 140594491583106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21638] ppid=21625 vsize=26538700 memory=6690916 CPUtime=0 cores=0-7 /proc/21627/task/21638/stat : 21638 (java) S 21625 21625 19660 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 146638820 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593031263712 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21639] ppid=21625 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21639/stat : 21639 (java) S 21625 21625 19660 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 146638820 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593030211072 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21640] ppid=21625 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/21627/task/21640/stat : 21640 (java) S 21625 21625 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146638823 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593029159632 140594491590555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21641] ppid=21625 vsize=26538700 memory=0 CPUtime=1.16 cores=0-7 /proc/21627/task/21641/stat : 21641 (java) S 21625 21625 19660 0 -1 1077944384 5985 0 0 0 114 2 0 0 20 0 28 0 146638823 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593028106224 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21642] ppid=21625 vsize=26538700 memory=0 CPUtime=1.49 cores=0-7 /proc/21627/task/21642/stat : 21642 (java) S 21625 21625 19660 0 -1 1077944384 11074 0 0 0 147 2 0 0 20 0 28 0 146638823 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593027053680 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21643] ppid=21625 vsize=26538700 memory=1436 CPUtime=1.03 cores=0-7 /proc/21627/task/21643/stat : 21643 (java) S 21625 21625 19660 0 -1 1077944384 5038 0 0 0 101 2 0 0 20 0 28 0 146638823 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593026001136 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21644] ppid=21625 vsize=26538700 memory=1012 CPUtime=0.65 cores=0-7 /proc/21627/task/21644/stat : 21644 (java) S 21625 21625 19660 0 -1 1077944384 5339 0 0 0 64 1 0 0 20 0 28 0 146638823 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593024948592 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21645] ppid=21625 vsize=26538700 memory=1716 CPUtime=0 cores=0-7 /proc/21627/task/21645/stat : 21645 (java) S 21625 21625 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146638823 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593023896288 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21646] ppid=21625 vsize=26538700 memory=1952 CPUtime=0.02 cores=0-7 /proc/21627/task/21646/stat : 21646 (java) S 21625 21625 19660 0 -1 1077944384 596 0 0 0 1 1 0 0 20 0 28 0 146638823 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593022843824 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21647] ppid=21625 vsize=26538700 memory=8736 CPUtime=13.28 cores=0-7 /proc/21627/task/21647/stat : 21647 (java) R 21625 21625 19660 0 -1 4202560 5092 0 0 0 1326 2 0 0 20 0 28 0 146642929 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593014832448 140594096187111 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21648] ppid=21625 vsize=26538700 memory=4620 CPUtime=13.19 cores=0-7 /proc/21627/task/21648/stat : 21648 (java) R 21625 21625 19660 0 -1 4202560 516 0 0 0 1319 0 0 0 20 0 28 0 146642929 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593013781176 140594096089214 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21649] ppid=21625 vsize=26538700 memory=1196 CPUtime=13.15 cores=0-7 /proc/21627/task/21649/stat : 21649 (java) R 21625 21625 19660 0 -1 4202560 948 0 0 0 1315 0 0 0 20 0 28 0 146642929 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593012727584 140594096089772 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21650] ppid=21625 vsize=26538700 memory=2424 CPUtime=13.34 cores=0-7 /proc/21627/task/21650/stat : 21650 (java) R 21625 21625 19660 0 -1 4202560 792 0 0 0 1334 0 0 0 20 0 28 0 146642929 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593011674928 140594096089214 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21651] ppid=21625 vsize=26538700 memory=932 CPUtime=13.28 cores=0-7 /proc/21627/task/21651/stat : 21651 (java) R 21625 21625 19660 0 -1 4202560 779 0 0 0 1325 3 0 0 20 0 28 0 146642929 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593010622496 140594096089552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21652] ppid=21625 vsize=26538700 memory=1572 CPUtime=13.43 cores=0-7 /proc/21627/task/21652/stat : 21652 (java) R 21625 21625 19660 0 -1 4202560 586 0 0 0 1342 1 0 0 20 0 28 0 146642929 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593009569952 140594096089287 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21653] ppid=21625 vsize=26538700 memory=2244 CPUtime=13.3 cores=0-7 /proc/21627/task/21653/stat : 21653 (java) R 21625 21625 19660 0 -1 4202560 470 0 0 0 1328 2 0 0 20 0 28 0 146642929 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593008517296 140594096186895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21654] ppid=21625 vsize=26538700 memory=4124 CPUtime=13.28 cores=0-7 /proc/21627/task/21654/stat : 21654 (java) R 21625 21625 19660 0 -1 4202560 566 0 0 0 1324 4 0 0 20 0 28 0 146642929 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593007465000 140594096418186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 Current children cumulated CPU time: 177.28 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 6692300 KiB [startup+55.6018 s] /proc/loadavg: 2.85 5.42 7.12 9/207 21654 /proc/meminfo: memFree=14662624/32770624 swapFree=67108860/67108860 [pid=21625] ppid=21622 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21625/stat : 21625 (xcsp3-exec) S 21622 21625 19660 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146638817 9740288 346 33554432000 4194304 5098028 140731857337440 140731857335544 140385078268540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16007168 140731857343588 140731857343799 140731857343799 140731857346539 0 /proc/21625/statm: 2378 346 289 221 0 87 0 [pid=21627] ppid=21625 vsize=26538700 memory=6690916 CPUtime=183.66 cores=0-7 /proc/21627/stat : 21627 (java) S 21625 21625 19660 0 -1 1077944320 113669 0 0 0 17477 889 0 0 20 0 28 0 146638817 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140724267889856 140594491571959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 /proc/21627/statm: 6634675 1672729 3274 1 0 6621909 0 [pid=21627/tid=21628] ppid=21625 vsize=26538700 memory=33 CPUtime=35.81 cores=0-7 /proc/21627/task/21628/stat : 21628 (java) S 21625 21625 19660 0 -1 1077944384 18634 0 0 0 3519 62 0 0 20 0 28 0 146638817 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140594495812736 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21629] ppid=21625 vsize=26538700 memory=7451894300419318880 CPUtime=3.64 cores=0-7 /proc/21627/task/21629/stat : 21629 (java) S 21625 21625 19660 0 -1 1077944384 5319 0 0 0 258 106 0 0 20 0 28 0 146638818 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140594414152464 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21630] ppid=21625 vsize=26538700 memory=5305976 CPUtime=3.63 cores=0-7 /proc/21627/task/21630/stat : 21630 (java) S 21625 21625 19660 0 -1 1077944384 6671 0 0 0 268 95 0 0 20 0 28 0 146638818 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140594048424848 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21631] ppid=21625 vsize=26538700 memory=6791534058613427641 CPUtime=3.65 cores=0-7 /proc/21627/task/21631/stat : 21631 (java) S 21625 21625 19660 0 -1 1077944384 2901 0 0 0 265 100 0 0 20 0 28 0 146638818 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140594047372304 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21632] ppid=21625 vsize=26538700 memory=4516 CPUtime=3.64 cores=0-7 /proc/21627/task/21632/stat : 21632 (java) S 21625 21625 19660 0 -1 1077944384 5704 0 0 0 261 103 0 0 20 0 28 0 146638818 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140594046319760 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21633] ppid=21625 vsize=26538700 memory=6724 CPUtime=3.64 cores=0-7 /proc/21627/task/21633/stat : 21633 (java) S 21625 21625 19660 0 -1 1077944384 9760 0 0 0 260 104 0 0 20 0 28 0 146638818 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140594045266192 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21634] ppid=21625 vsize=26538700 memory=8932 CPUtime=3.61 cores=0-7 /proc/21627/task/21634/stat : 21634 (java) S 21625 21625 19660 0 -1 1077944384 6360 0 0 0 266 95 0 0 20 0 28 0 146638818 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140594044213648 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21635] ppid=21625 vsize=26538700 memory=11140 CPUtime=3.64 cores=0-7 /proc/21627/task/21635/stat : 21635 (java) S 21625 21625 19660 0 -1 1077944384 2609 0 0 0 268 96 0 0 20 0 28 0 146638818 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140594043161104 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21636] ppid=21625 vsize=26538700 memory=13348 CPUtime=3.64 cores=0-7 /proc/21627/task/21636/stat : 21636 (java) S 21625 21625 19660 0 -1 1077944384 8686 0 0 0 269 95 0 0 20 0 28 0 146638818 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140594042108560 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21637] ppid=21625 vsize=26538700 memory=15556 CPUtime=1.55 cores=0-7 /proc/21627/task/21637/stat : 21637 (java) S 21625 21625 19660 0 -1 1077944384 6327 0 0 0 154 1 0 0 20 0 28 0 146638820 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593032317424 140594491583106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21638] ppid=21625 vsize=26538700 memory=17764 CPUtime=0 cores=0-7 /proc/21627/task/21638/stat : 21638 (java) S 21625 21625 19660 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 146638820 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593031263712 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21639] ppid=21625 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/21627/task/21639/stat : 21639 (java) S 21625 21625 19660 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 146638820 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593030211072 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21640] ppid=21625 vsize=26538700 memory=18476 CPUtime=0 cores=0-7 /proc/21627/task/21640/stat : 21640 (java) S 21625 21625 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146638823 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593029159632 140594491590555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21641] ppid=21625 vsize=26538700 memory=23692 CPUtime=1.16 cores=0-7 /proc/21627/task/21641/stat : 21641 (java) S 21625 21625 19660 0 -1 1077944384 5985 0 0 0 114 2 0 0 20 0 28 0 146638823 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593028106224 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21642] ppid=21625 vsize=26538700 memory=4048 CPUtime=1.49 cores=0-7 /proc/21627/task/21642/stat : 21642 (java) S 21625 21625 19660 0 -1 1077944384 11074 0 0 0 147 2 0 0 20 0 28 0 146638823 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593027053680 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21643] ppid=21625 vsize=26538700 memory=1792 CPUtime=1.03 cores=0-7 /proc/21627/task/21643/stat : 21643 (java) S 21625 21625 19660 0 -1 1077944384 5038 0 0 0 101 2 0 0 20 0 28 0 146638823 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593026001136 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21644] ppid=21625 vsize=26538700 memory=648 CPUtime=0.65 cores=0-7 /proc/21627/task/21644/stat : 21644 (java) S 21625 21625 19660 0 -1 1077944384 5339 0 0 0 64 1 0 0 20 0 28 0 146638823 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593024948592 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21645] ppid=21625 vsize=26538700 memory=1240 CPUtime=0 cores=0-7 /proc/21627/task/21645/stat : 21645 (java) S 21625 21625 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146638823 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593023896288 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21646] ppid=21625 vsize=26538700 memory=960 CPUtime=0.02 cores=0-7 /proc/21627/task/21646/stat : 21646 (java) S 21625 21625 19660 0 -1 1077944384 608 0 0 0 1 1 0 0 20 0 28 0 146638823 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593022843824 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21647] ppid=21625 vsize=26538700 memory=1696 CPUtime=14.08 cores=0-7 /proc/21627/task/21647/stat : 21647 (java) R 21625 21625 19660 0 -1 4202560 6559 0 0 0 1406 2 0 0 20 0 28 0 146642929 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593014832584 140594096089300 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21648] ppid=21625 vsize=26538700 memory=920 CPUtime=13.97 cores=0-7 /proc/21627/task/21648/stat : 21648 (java) R 21625 21625 19660 0 -1 4202560 516 0 0 0 1397 0 0 0 20 0 28 0 146642929 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593013781176 140594096418160 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21649] ppid=21625 vsize=26538700 memory=4416 CPUtime=13.95 cores=0-7 /proc/21627/task/21649/stat : 21649 (java) R 21625 21625 19660 0 -1 4202560 953 0 0 0 1395 0 0 0 20 0 28 0 146642929 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593012727720 140594096186817 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21650] ppid=21625 vsize=26538700 memory=4108 CPUtime=14.14 cores=0-7 /proc/21627/task/21650/stat : 21650 (java) R 21625 21625 19660 0 -1 4202560 794 0 0 0 1414 0 0 0 20 0 28 0 146642929 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593011674928 140594096089150 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21651] ppid=21625 vsize=26538700 memory=1156 CPUtime=14.08 cores=0-7 /proc/21627/task/21651/stat : 21651 (java) R 21625 21625 19660 0 -1 4202560 779 0 0 0 1405 3 0 0 20 0 28 0 146642929 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593010622496 140594096418160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21652] ppid=21625 vsize=26538700 memory=3276 CPUtime=14.23 cores=0-7 /proc/21627/task/21652/stat : 21652 (java) R 21625 21625 19660 0 -1 4202560 598 0 0 0 1422 1 0 0 20 0 28 0 146642929 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593009569840 140594096089267 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21653] ppid=21625 vsize=26538700 memory=1384 CPUtime=14.1 cores=0-7 /proc/21627/task/21653/stat : 21653 (java) R 21625 21625 19660 0 -1 4202560 521 0 0 0 1408 2 0 0 20 0 28 0 146642929 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593008517432 140594096089347 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21654] ppid=21625 vsize=26538700 memory=6690916 CPUtime=14.08 cores=0-7 /proc/21627/task/21654/stat : 21654 (java) R 21625 21625 19660 0 -1 4202560 566 0 0 0 1404 4 0 0 20 0 28 0 146642929 27175628800 1672729 33554432000 4194304 4196468 140724267907312 140593007465000 140594096089178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 Current children cumulated CPU time: 183.66 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 6692300 KiB [startup+56.0011 s] /proc/loadavg: 2.85 5.42 7.12 9/207 21654 /proc/meminfo: memFree=14662624/32770624 swapFree=67108860/67108860 [pid=21625] ppid=21622 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/21625/stat : 21625 (xcsp3-exec) S 21622 21625 19660 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146638817 9740288 346 33554432000 4194304 5098028 140731857337440 140731857335544 140385078268540 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16007168 140731857343588 140731857343799 140731857343799 140731857346539 0 /proc/21625/statm: 2378 346 289 221 0 87 0 [pid=21627] ppid=21625 vsize=26538700 memory=6690588 CPUtime=186.8 cores=0-7 /proc/21627/stat : 21627 (java) S 21625 21625 19660 0 -1 1077944320 115102 0 0 0 17791 889 0 0 20 0 19 0 146638817 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140724267889856 140594491571959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 /proc/21627/statm: 6634675 1672647 3277 1 0 6621909 0 [pid=21627/tid=21628] ppid=21625 vsize=26538700 memory=6628 CPUtime=35.81 cores=0-7 /proc/21627/task/21628/stat : 21628 (java) S 21625 21625 19660 0 -1 1077944384 19057 0 0 0 3519 62 0 0 20 0 19 0 146638817 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140594495814800 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21629] ppid=21625 vsize=26538700 memory=6791534058613427641 CPUtime=3.64 cores=0-7 /proc/21627/task/21629/stat : 21629 (java) S 21625 21625 19660 0 -1 1077944384 5319 0 0 0 258 106 0 0 20 0 19 0 146638818 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140594414152464 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21630] ppid=21625 vsize=26538700 memory=7100839861465685612 CPUtime=3.63 cores=0-7 /proc/21627/task/21630/stat : 21630 (java) S 21625 21625 19660 0 -1 1077944384 6671 0 0 0 268 95 0 0 20 0 19 0 146638818 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140594048424848 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21631] ppid=21625 vsize=26538700 memory=-7175204567652784766 CPUtime=3.65 cores=0-7 /proc/21627/task/21631/stat : 21631 (java) S 21625 21625 19660 0 -1 1077944384 2901 0 0 0 265 100 0 0 20 0 19 0 146638818 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140594047372304 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21632] ppid=21625 vsize=26538700 memory=-8341965534556230502 CPUtime=3.64 cores=0-7 /proc/21627/task/21632/stat : 21632 (java) S 21625 21625 19660 0 -1 1077944384 5704 0 0 0 261 103 0 0 20 0 19 0 146638818 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140594046319760 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21633] ppid=21625 vsize=26538700 memory=46644 CPUtime=3.64 cores=0-7 /proc/21627/task/21633/stat : 21633 (java) S 21625 21625 19660 0 -1 1077944384 9760 0 0 0 260 104 0 0 20 0 19 0 146638818 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140594045266192 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21634] ppid=21625 vsize=26538700 memory=288230604624110264 CPUtime=3.61 cores=0-7 /proc/21627/task/21634/stat : 21634 (java) S 21625 21625 19660 0 -1 1077944384 6360 0 0 0 266 95 0 0 20 0 19 0 146638818 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140594044213648 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21635] ppid=21625 vsize=26538700 memory=796 CPUtime=3.64 cores=0-7 /proc/21627/task/21635/stat : 21635 (java) S 21625 21625 19660 0 -1 1077944384 2609 0 0 0 268 96 0 0 20 0 19 0 146638818 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140594043161104 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21636] ppid=21625 vsize=26538700 memory=1436 CPUtime=3.64 cores=0-7 /proc/21627/task/21636/stat : 21636 (java) S 21625 21625 19660 0 -1 1077944384 8686 0 0 0 269 95 0 0 20 0 19 0 146638818 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140594042108560 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21637] ppid=21625 vsize=26538700 memory=1012 CPUtime=1.55 cores=0-7 /proc/21627/task/21637/stat : 21637 (java) S 21625 21625 19660 0 -1 1077944384 6339 0 0 0 154 1 0 0 20 0 19 0 146638820 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140593032317632 140594491583106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21638] ppid=21625 vsize=26538700 memory=1716 CPUtime=0 cores=0-7 /proc/21627/task/21638/stat : 21638 (java) S 21625 21625 19660 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 146638820 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140593031263712 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21639] ppid=21625 vsize=26538700 memory=1952 CPUtime=0 cores=0-7 /proc/21627/task/21639/stat : 21639 (java) S 21625 21625 19660 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 146638820 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140593030211072 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21640] ppid=21625 vsize=26538700 memory=8736 CPUtime=0 cores=0-7 /proc/21627/task/21640/stat : 21640 (java) S 21625 21625 19660 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 146638823 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140593029159280 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21641] ppid=21625 vsize=26538700 memory=4620 CPUtime=1.17 cores=0-7 /proc/21627/task/21641/stat : 21641 (java) S 21625 21625 19660 0 -1 1077944384 6013 0 0 0 115 2 0 0 20 0 19 0 146638823 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140593028106224 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21642] ppid=21625 vsize=26538700 memory=1196 CPUtime=1.51 cores=0-7 /proc/21627/task/21642/stat : 21642 (java) S 21625 21625 19660 0 -1 1077944384 11411 0 0 0 149 2 0 0 20 0 19 0 146638823 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140593027038192 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21643] ppid=21625 vsize=26538700 memory=15876 CPUtime=1.03 cores=0-7 /proc/21627/task/21643/stat : 21643 (java) S 21625 21625 19660 0 -1 1077944384 5050 0 0 0 101 2 0 0 20 0 19 0 146638823 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140593026001136 140594491583106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21644] ppid=21625 vsize=26538700 memory=18476 CPUtime=0.66 cores=0-7 /proc/21627/task/21644/stat : 21644 (java) S 21625 21625 19660 0 -1 1077944384 5495 0 0 0 65 1 0 0 20 0 19 0 146638823 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140593024948160 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 [pid=21627/tid=21645] ppid=21625 vsize=26538700 memory=23692 CPUtime=0 cores=0-7 /proc/21627/task/21645/stat : 21645 (java) S 21625 21625 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 146638823 27175628800 1672647 33554432000 4194304 4196468 140724267907312 140593023896288 140594491582165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12652544 140724267910290 140724267910467 140724267910467 140724267913167 0 Current children cumulated CPU time: 186.8 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 6691972 KiB Child status: 0 Real time (s): 56.0599 CPU time (s): 186.871 CPU user time (s): 177.921 CPU system time (s): 8.95066 CPU usage (%): 333.343 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 6697852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 177.921 system time used= 8.95066 maximum resident set size= 6696468 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 115677 page faults= 0 swaps= 0 block input operations= 0 block output operations= 232 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8246 involuntary context switches= 1915 # summary of solver processes directly reported to runsolver: # pid: 21625 # total CPU time (s): 186.871 # total CPU user time (s): 177.921 # total CPU system time (s): 8.95066 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.406428 second user time and 0.630772 second system time The end
Begin job on node149 at 2017-08-19 11:25:21 IDJOB=4280953 IDBENCH=126087 IDSOLVER=2675 FILE ID=node149/4280953-1503135580 RUNJOBID= node149-1503132049-19687 PBS_JOBID= 20630788 Free space on /tmp= 61740 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-02.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280953-1503135580/watcher-4280953-1503135580 -o /tmp/evaluation-result-4280953-1503135580/solver-4280953-1503135580 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503132049-19687 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1640429888 HOME/instance-4280953-1503135580.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= eda3e143b65a543b5abd93f521b89dfa RANDOM SEED=1640429888 node149.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.43 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.43 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.43 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.43 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: 21351512 kB MemAvailable: 31947548 kB Buffers: 346324 kB Cached: 10520764 kB SwapCached: 0 kB Active: 2194424 kB Inactive: 8726712 kB Active(anon): 57196 kB Inactive(anon): 33128 kB Active(file): 2137228 kB Inactive(file): 8693584 kB Unevictable: 7912 kB Mlocked: 7912 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 40220 kB Writeback: 0 kB AnonPages: 62000 kB Mapped: 50912 kB Shmem: 33416 kB Slab: 188816 kB SReclaimable: 162116 kB SUnreclaim: 26700 kB KernelStack: 3168 kB PageTables: 4748 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333576 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 97664 kB DirectMap2M: 33447936 kB Free space on /tmp at the end= 61732 MiB End job on node149 at 2017-08-19 11:26:17