Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | UNSAT | 101.056 | 43.9436 |
Name | Random/Random-m1-5-12-12/ rand-5-12-12-200-12442-38.xml |
MD5SUM | b26246ce3e5ddb90abbf8b583e2fe87c |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 10.5771 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 12 |
Number of constraints | 200 |
Number of domains | 1 |
Minimum domain size | 12 |
Maximum domain size | 12 |
Distribution of domain sizes | [{"size":12,"count":12}] |
Minimum variable degree | 77 |
Maximum variable degree | 95 |
Distribution of variable degrees | [{"degree":77,"count":2},{"degree":79,"count":2},{"degree":81,"count":1},{"degree":82,"count":1},{"degree":84,"count":2},{"degree":86,"count":1},{"degree":87,"count":1},{"degree":89,"count":1},{"degree":95,"count":1}] |
Minimum constraint arity | 5 |
Maximum constraint arity | 5 |
Distribution of constraint arities | [{"arity":5,"count":200}] |
Number of extensional constraints | 200 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":200}] |
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-4281002-1503124023.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4281002-1503124023.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 79.22/41.14 c solve instance... 100.25/43.90 s UNSATISFIABLE
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 (12980 MiB free) memory of node 1: 16384 MiB (13425 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281002-1503124023/watcher-4281002-1503124023 -o /tmp/evaluation-result-4281002-1503124023/solver-4281002-1503124023 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503115583-12381 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 625745465 HOME/instance-4281002-1503124023.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=16102, runsolver pid=16099 [startup+0.100164 s]* /proc/loadavg: 7.26 8.02 8.24 4/200 16123 /proc/meminfo: memFree=27025384/32770624 swapFree=67108860/67108860 [pid=16102] ppid=16099 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16102/stat : 16102 (xcsp3-exec) S 16099 16102 12354 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145490245 9740288 346 33554432000 4194304 5098028 140734553556480 140734553554584 139923901715068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12828672 140734553560165 140734553560375 140734553560375 140734553563115 0 /proc/16102/statm: 2378 346 289 221 0 87 0 [pid=16104] ppid=16102 vsize=25999808 memory=26192 CPUtime=0.12 cores=0-7 /proc/16104/stat : 16104 (java) S 16102 16102 12354 0 -1 1077944320 5485 0 0 0 11 1 0 0 20 0 20 0 145490246 26623803392 6548 33554432000 4194304 4196468 140731818711792 140731818694336 139666549890807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 /proc/16104/statm: 6499952 6548 2846 1 0 6488269 0 [pid=16104/tid=16105] ppid=16102 vsize=25999808 memory=7753679516587695511 CPUtime=0.09 cores=0-7 /proc/16104/task/16105/stat : 16105 (java) R 16102 16102 12354 0 -1 4202560 3478 0 0 0 9 0 0 0 20 0 20 0 145490246 26623803392 6548 33554432000 4194304 4196468 140731818711792 139666554122496 139666549902742 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16106] ppid=16102 vsize=25999808 memory=732370852096855013 CPUtime=0 cores=0-7 /proc/16104/task/16106/stat : 16106 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490247 26623803392 6548 33554432000 4194304 4196468 140731818711792 139666502511760 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16107] ppid=16102 vsize=25999808 memory=140713759401600 CPUtime=0 cores=0-7 /proc/16104/task/16107/stat : 16107 (java) S 16102 16102 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145490247 26623803392 6548 33554432000 4194304 4196468 140731818711792 139666501458960 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16108] ppid=16102 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16108/stat : 16108 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490247 26623803392 6548 33554432000 4194304 4196468 140731818711792 139666500406160 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16109] ppid=16102 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16109/stat : 16109 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490247 26623803392 6548 33554432000 4194304 4196468 140731818711792 139666499353360 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16110] ppid=16102 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16110/stat : 16110 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490247 26623803392 6548 33554432000 4194304 4196468 140731818711792 139666104122000 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16111] ppid=16102 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/16104/task/16111/stat : 16111 (java) S 16102 16102 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145490247 26623803392 6548 33554432000 4194304 4196468 140731818711792 139666103069200 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16112] ppid=16102 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16112/stat : 16112 (java) S 16102 16102 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145490247 26623803392 6548 33554432000 4194304 4196468 140731818711792 139666102016400 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16113] ppid=16102 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16113/stat : 16113 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490247 26623803392 6548 33554432000 4194304 4196468 140731818711792 139666100963600 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16114] ppid=16102 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16114/stat : 16114 (java) S 16102 16102 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145490248 26623803392 6548 33554432000 4194304 4196468 140731818711792 139665224838000 139666549901954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16115] ppid=16102 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16115/stat : 16115 (java) S 16102 16102 12354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145490249 26623803392 6548 33554432000 4194304 4196468 140731818711792 139664686048800 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16116] ppid=16102 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16116/stat : 16116 (java) S 16102 16102 12354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145490249 26623803392 6548 33554432000 4194304 4196468 140731818711792 139664684995952 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16117] ppid=16102 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16117/stat : 16117 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490251 26623803392 6548 33554432000 4194304 4196468 140731818711792 139664683944272 139666549909403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16118] ppid=16102 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16118/stat : 16118 (java) R 16102 16102 12354 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 145490251 26623803392 6548 33554432000 4194304 4196468 140731818711792 139664682891632 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16119] ppid=16102 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16119/stat : 16119 (java) S 16102 16102 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145490251 26623803392 6548 33554432000 4194304 4196468 140731818711792 139664681838832 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16120] ppid=16102 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16120/stat : 16120 (java) S 16102 16102 12354 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 145490251 26623803392 6613 33554432000 4194304 4196468 140731818711792 139664680786032 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16121] ppid=16102 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/16104/task/16121/stat : 16121 (java) R 16102 16102 12354 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 20 0 145490251 26623803392 6613 33554432000 4194304 4196468 140731818711792 139664679733232 139666531128368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16122] ppid=16102 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16122/stat : 16122 (java) S 16102 16102 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145490252 26623803392 6613 33554432000 4194304 4196468 140731818711792 139664678681696 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16123] ppid=16102 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/16104/task/16123/stat : 16123 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490252 26623803392 6613 33554432000 4194304 4196468 140731818711792 139664677628976 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27576 KiB [startup+0.210123 s]* /proc/loadavg: 7.26 8.02 8.24 2/200 16123 /proc/meminfo: memFree=27014948/32770624 swapFree=67108860/67108860 [pid=16102] ppid=16099 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16102/stat : 16102 (xcsp3-exec) S 16099 16102 12354 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145490245 9740288 346 33554432000 4194304 5098028 140734553556480 140734553554584 139923901715068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12828672 140734553560165 140734553560375 140734553560375 140734553563115 0 /proc/16102/statm: 2378 346 289 221 0 87 0 [pid=16104] ppid=16102 vsize=26004064 memory=38960 CPUtime=0.33 cores=0-7 /proc/16104/stat : 16104 (java) S 16102 16102 12354 0 -1 1077944320 8254 0 0 0 31 2 0 0 20 0 20 0 145490246 26628161536 9740 33554432000 4194304 4196468 140731818711792 140731818694336 139666549890807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 /proc/16104/statm: 6501016 9740 3058 1 0 6488269 0 [pid=16104/tid=16105] ppid=16102 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7 /proc/16104/task/16105/stat : 16105 (java) R 16102 16102 12354 0 -1 4202560 5426 0 0 0 19 1 0 0 20 0 20 0 145490246 26628161536 9740 33554432000 4194304 4196468 140731818711792 139666554111616 139666533971294 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16106] ppid=16102 vsize=26004064 memory=732370852096855013 CPUtime=0 cores=0-7 /proc/16104/task/16106/stat : 16106 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490247 26628161536 9740 33554432000 4194304 4196468 140731818711792 139666502511760 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16107] ppid=16102 vsize=26004064 memory=140713759401600 CPUtime=0 cores=0-7 /proc/16104/task/16107/stat : 16107 (java) S 16102 16102 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145490247 26628161536 9740 33554432000 4194304 4196468 140731818711792 139666501458960 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16108] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16108/stat : 16108 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490247 26628161536 9740 33554432000 4194304 4196468 140731818711792 139666500406160 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16109] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16109/stat : 16109 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490247 26628161536 9740 33554432000 4194304 4196468 140731818711792 139666499353360 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16110] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16110/stat : 16110 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490247 26628161536 9740 33554432000 4194304 4196468 140731818711792 139666104122000 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16111] ppid=16102 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16104/task/16111/stat : 16111 (java) S 16102 16102 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145490247 26628161536 9740 33554432000 4194304 4196468 140731818711792 139666103069200 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16112] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16112/stat : 16112 (java) S 16102 16102 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145490247 26628161536 9740 33554432000 4194304 4196468 140731818711792 139666102016400 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16113] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16113/stat : 16113 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490247 26628161536 9740 33554432000 4194304 4196468 140731818711792 139666100963600 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16114] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16114/stat : 16114 (java) S 16102 16102 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145490248 26628161536 9740 33554432000 4194304 4196468 140731818711792 139665224838000 139666549901954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16115] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16115/stat : 16115 (java) S 16102 16102 12354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145490249 26628161536 9740 33554432000 4194304 4196468 140731818711792 139664686048800 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16116] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16116/stat : 16116 (java) S 16102 16102 12354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145490249 26628161536 9740 33554432000 4194304 4196468 140731818711792 139664684995952 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16117] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16117/stat : 16117 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490251 26628161536 9740 33554432000 4194304 4196468 140731818711792 139664683944272 139666549909403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16118] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16118/stat : 16118 (java) S 16102 16102 12354 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 20 0 145490251 26628161536 9740 33554432000 4194304 4196468 140731818711792 139664682891632 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16119] ppid=16102 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7 /proc/16104/task/16119/stat : 16119 (java) S 16102 16102 12354 0 -1 1077944384 265 0 0 0 2 0 0 0 20 0 20 0 145490251 26628161536 9740 33554432000 4194304 4196468 140731818711792 139664681838832 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16120] ppid=16102 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/16104/task/16120/stat : 16120 (java) S 16102 16102 12354 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 145490251 26628161536 9740 33554432000 4194304 4196468 140731818711792 139664680786032 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16121] ppid=16102 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7 /proc/16104/task/16121/stat : 16121 (java) R 16102 16102 12354 0 -1 4202560 739 0 0 0 7 0 0 0 20 0 20 0 145490251 26628161536 9740 33554432000 4194304 4196468 140731818711792 139664679733232 139666534136243 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16122] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16122/stat : 16122 (java) S 16102 16102 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145490252 26628161536 9740 33554432000 4194304 4196468 140731818711792 139664678681696 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16123] ppid=16102 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16104/task/16123/stat : 16123 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490252 26628161536 9740 33554432000 4194304 4196468 140731818711792 139664677628976 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40344 KiB [startup+0.309397 s]* /proc/loadavg: 7.26 8.02 8.24 3/200 16123 /proc/meminfo: memFree=26988532/32770624 swapFree=67108860/67108860 [pid=16102] ppid=16099 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16102/stat : 16102 (xcsp3-exec) S 16099 16102 12354 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145490245 9740288 346 33554432000 4194304 5098028 140734553556480 140734553554584 139923901715068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12828672 140734553560165 140734553560375 140734553560375 140734553563115 0 /proc/16102/statm: 2378 346 289 221 0 87 0 [pid=16104] ppid=16102 vsize=26004064 memory=45612 CPUtime=0.5 cores=0-7 /proc/16104/stat : 16104 (java) S 16102 16102 12354 0 -1 1077944320 9141 0 0 0 47 3 0 0 20 0 20 0 145490246 26628161536 11403 33554432000 4194304 4196468 140731818711792 140731818694336 139666549890807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 /proc/16104/statm: 6501016 11403 3072 1 0 6488269 0 [pid=16104/tid=16105] ppid=16102 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/16104/task/16105/stat : 16105 (java) R 16102 16102 12354 0 -1 4202560 6086 0 0 0 28 1 0 0 20 0 20 0 145490246 26628161536 11403 33554432000 4194304 4196468 140731818711792 139666554126480 139666549912733 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16106] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16106/stat : 16106 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490247 26628161536 11403 33554432000 4194304 4196468 140731818711792 139666502511760 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16107] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16107/stat : 16107 (java) S 16102 16102 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145490247 26628161536 11403 33554432000 4194304 4196468 140731818711792 139666501458960 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16108] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16108/stat : 16108 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490247 26628161536 11403 33554432000 4194304 4196468 140731818711792 139666500406160 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16109] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16109/stat : 16109 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490247 26628161536 11403 33554432000 4194304 4196468 140731818711792 139666499353360 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16110] ppid=16102 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/16104/task/16110/stat : 16110 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490247 26628161536 11403 33554432000 4194304 4196468 140731818711792 139666104122000 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16111] ppid=16102 vsize=26004064 memory=140713597694895 CPUtime=0 cores=0-7 /proc/16104/task/16111/stat : 16111 (java) S 16102 16102 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145490247 26628161536 11403 33554432000 4194304 4196468 140731818711792 139666103069200 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16112] ppid=16102 vsize=26004064 memory=140713597697200 CPUtime=0 cores=0-7 /proc/16104/task/16112/stat : 16112 (java) S 16102 16102 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145490247 26628161536 11403 33554432000 4194304 4196468 140731818711792 139666102016400 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16113] ppid=16102 vsize=26004064 memory=140713597699504 CPUtime=0 cores=0-7 /proc/16104/task/16113/stat : 16113 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490247 26628161536 11403 33554432000 4194304 4196468 140731818711792 139666100963600 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16114] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16114/stat : 16114 (java) S 16102 16102 12354 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145490248 26628161536 11403 33554432000 4194304 4196468 140731818711792 139665224838000 139666549901954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16115] ppid=16102 vsize=26004064 memory=281427195405968 CPUtime=0 cores=0-7 /proc/16104/task/16115/stat : 16115 (java) S 16102 16102 12354 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145490249 26628161536 11403 33554432000 4194304 4196468 140731818711792 139664686048800 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16116] ppid=16102 vsize=26004064 memory=281427195412880 CPUtime=0 cores=0-7 /proc/16104/task/16116/stat : 16116 (java) S 16102 16102 12354 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145490249 26628161536 11403 33554432000 4194304 4196468 140731818711792 139664684995952 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16117] ppid=16102 vsize=26004064 memory=281427195354160 CPUtime=0 cores=0-7 /proc/16104/task/16117/stat : 16117 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490251 26628161536 11403 33554432000 4194304 4196468 140731818711792 139664683944272 139666549909403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16118] ppid=16102 vsize=26004064 memory=281427195426704 CPUtime=0.01 cores=0-7 /proc/16104/task/16118/stat : 16118 (java) S 16102 16102 12354 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 20 0 145490251 26628161536 11403 33554432000 4194304 4196468 140731818711792 139664682891632 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16119] ppid=16102 vsize=26004064 memory=281427195433616 CPUtime=0.04 cores=0-7 /proc/16104/task/16119/stat : 16119 (java) S 16102 16102 12354 0 -1 1077944384 371 0 0 0 4 0 0 0 20 0 20 0 145490251 26628161536 11403 33554432000 4194304 4196468 140731818711792 139664681838832 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16120] ppid=16102 vsize=26004064 memory=281427195431312 CPUtime=0.01 cores=0-7 /proc/16104/task/16120/stat : 16120 (java) R 16102 16102 12354 0 -1 4202560 158 0 0 0 1 0 0 0 20 0 20 0 145490251 26628161536 11403 33554432000 4194304 4196468 140731818711792 139664680786032 139666529047872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16121] ppid=16102 vsize=26004064 memory=281427195447472 CPUtime=0.13 cores=0-7 /proc/16104/task/16121/stat : 16121 (java) R 16102 16102 12354 0 -1 4202560 847 0 0 0 12 1 0 0 20 0 20 0 145490251 26628161536 11403 33554432000 4194304 4196468 140731818711792 139664679733232 139666528565367 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16122] ppid=16102 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/16104/task/16122/stat : 16122 (java) S 16102 16102 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145490252 26628161536 11403 33554432000 4194304 4196468 140731818711792 139664678681696 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16123] ppid=16102 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/16104/task/16123/stat : 16123 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145490252 26628161536 11403 33554432000 4194304 4196468 140731818711792 139664677628976 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 46996 KiB [startup+0.788748 s]* /proc/loadavg: 7.26 8.02 8.24 2/200 16123 /proc/meminfo: memFree=26782152/32770624 swapFree=67108860/67108860 [pid=16102] ppid=16099 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16102/stat : 16102 (xcsp3-exec) S 16099 16102 12354 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145490245 9740288 346 33554432000 4194304 5098028 140734553556480 140734553554584 139923901715068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12828672 140734553560165 140734553560375 140734553560375 140734553563115 0 /proc/16102/statm: 2378 346 289 221 0 87 0 [pid=16104] ppid=16102 vsize=26004140 memory=270764 CPUtime=1.94 cores=0-7 /proc/16104/stat : 16104 (java) S 16102 16102 12354 0 -1 1077944320 12918 0 0 0 173 21 0 0 20 0 20 0 145490246 26628239360 67691 33554432000 4194304 4196468 140731818711792 140731818694336 139666549890807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 /proc/16104/statm: 6501035 67691 3210 1 0 6488269 0 [pid=16104/tid=16105] ppid=16102 vsize=26004140 memory=0 CPUtime=0.73 cores=0-7 /proc/16104/task/16105/stat : 16105 (java) R 16102 16102 12354 0 -1 4202560 6419 0 0 0 68 5 0 0 20 0 20 0 145490246 26628239360 67691 33554432000 4194304 4196468 140731818711792 139666554129088 139666182091476 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16106] ppid=16102 vsize=26004140 memory=732370852096855013 CPUtime=0 cores=0-7 /proc/16104/task/16106/stat : 16106 (java) S 16102 16102 12354 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 145490247 26628239360 67691 33554432000 4194304 4196468 140731818711792 139666502511760 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16107] ppid=16102 vsize=26004140 memory=140713759401600 CPUtime=0.01 cores=0-7 /proc/16104/task/16107/stat : 16107 (java) S 16102 16102 12354 0 -1 1077944384 24 0 0 0 0 1 0 0 20 0 20 0 145490247 26628239360 67691 33554432000 4194304 4196468 140731818711792 139666501458960 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16108] ppid=16102 vsize=26004140 memory=0 CPUtime=0.01 cores=0-7 /proc/16104/task/16108/stat : 16108 (java) S 16102 16102 12354 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 20 0 145490247 26628239360 67691 33554432000 4194304 4196468 140731818711792 139666500406160 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 ################ # More data... # ################ [pid=16104/tid=16112] ppid=16102 vsize=26538700 memory=1384 CPUtime=5.12 cores=0-7 /proc/16104/task/16112/stat : 16112 (java) S 16102 16102 12354 0 -1 1077944384 2945 0 0 0 405 107 0 0 20 0 28 0 145490247 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139666102016400 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16113] ppid=16102 vsize=26538700 memory=7209256 CPUtime=5.11 cores=0-7 /proc/16104/task/16113/stat : 16113 (java) S 16102 16102 12354 0 -1 1077944384 2536 0 0 0 397 114 0 0 20 0 28 0 145490247 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139666100963600 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16114] ppid=16102 vsize=26538700 memory=840 CPUtime=0.77 cores=0-7 /proc/16104/task/16114/stat : 16114 (java) S 16102 16102 12354 0 -1 1077944384 10905 0 0 0 74 3 0 0 20 0 28 0 145490248 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139665224838000 139666549901954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16115] ppid=16102 vsize=26538700 memory=1696 CPUtime=0 cores=0-7 /proc/16104/task/16115/stat : 16115 (java) S 16102 16102 12354 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 145490249 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664686048864 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16116] ppid=16102 vsize=26538700 memory=920 CPUtime=0 cores=0-7 /proc/16104/task/16116/stat : 16116 (java) S 16102 16102 12354 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 28 0 145490249 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664684995968 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16117] ppid=16102 vsize=26538700 memory=4216 CPUtime=0 cores=0-7 /proc/16104/task/16117/stat : 16117 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145490251 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664683944272 139666549909403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16118] ppid=16102 vsize=26538700 memory=1384 CPUtime=1.12 cores=0-7 /proc/16104/task/16118/stat : 16118 (java) R 16102 16102 12354 0 -1 4202560 6211 0 0 0 111 1 0 0 20 0 28 0 145490251 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664682891928 139666534772550 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16119] ppid=16102 vsize=26538700 memory=1384 CPUtime=0.7 cores=0-7 /proc/16104/task/16119/stat : 16119 (java) R 16102 16102 12354 0 -1 1077944384 3257 0 0 0 69 1 0 0 20 0 28 0 145490251 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664681838832 139666549901954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16120] ppid=16102 vsize=26538700 memory=7209256 CPUtime=0.81 cores=0-7 /proc/16104/task/16120/stat : 16120 (java) S 16102 16102 12354 0 -1 1077944384 4317 0 0 0 80 1 0 0 20 0 28 0 145490251 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664680786032 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16121] ppid=16102 vsize=26538700 memory=138529875197436 CPUtime=0.68 cores=0-7 /proc/16104/task/16121/stat : 16121 (java) S 16102 16102 12354 0 -1 1077944384 3822 0 0 0 66 2 0 0 20 0 28 0 145490251 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664679733232 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16122] ppid=16102 vsize=26538700 memory=3905804089035481688 CPUtime=0 cores=0-7 /proc/16104/task/16122/stat : 16122 (java) S 16102 16102 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145490252 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664678681696 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16123] ppid=16102 vsize=26538700 memory=3689636878213993761 CPUtime=0.01 cores=0-7 /proc/16104/task/16123/stat : 16123 (java) S 16102 16102 12354 0 -1 1077944384 364 0 0 0 0 1 0 0 20 0 28 0 145490252 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664677628976 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16124] ppid=16102 vsize=26538700 memory=3689636878213991553 CPUtime=1.41 cores=0-7 /proc/16104/task/16124/stat : 16124 (java) R 16102 16102 12354 0 -1 4202560 105 0 0 0 141 0 0 0 20 0 28 0 145494361 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664670113736 139666181987495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16125] ppid=16102 vsize=26538700 memory=3689636878214004513 CPUtime=1.43 cores=0-7 /proc/16104/task/16125/stat : 16125 (java) R 16102 16102 12354 0 -1 4202560 156 0 0 0 143 0 0 0 20 0 28 0 145494361 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664669061080 139666181987629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16126] ppid=16102 vsize=26538700 memory=3689636878214002305 CPUtime=1.42 cores=0-7 /proc/16104/task/16126/stat : 16126 (java) R 16102 16102 12354 0 -1 4202560 52 0 0 0 142 0 0 0 20 0 28 0 145494361 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664668008200 139666181987378 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16127] ppid=16102 vsize=26538700 memory=3760561988245221841 CPUtime=1.37 cores=0-7 /proc/16104/task/16127/stat : 16127 (java) R 16102 16102 12354 0 -1 4202560 165 0 0 0 137 0 0 0 20 0 28 0 145494361 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664666957384 139666185111162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16128] ppid=16102 vsize=26538700 memory=3545494215166486858 CPUtime=1.39 cores=0-7 /proc/16104/task/16128/stat : 16128 (java) R 16102 16102 12354 0 -1 4202560 44 0 0 0 139 0 0 0 20 0 28 0 145494362 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664665902776 139666181987495 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16129] ppid=16102 vsize=26538700 memory=7306316804797196914 CPUtime=1.48 cores=0-7 /proc/16104/task/16129/stat : 16129 (java) R 16102 16102 12354 0 -1 4202560 165 0 0 0 148 0 0 0 20 0 28 0 145494362 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664664852616 139666182289916 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16130] ppid=16102 vsize=26538700 memory=7594587674001172330 CPUtime=1.26 cores=0-7 /proc/16104/task/16130/stat : 16130 (java) R 16102 16102 12354 0 -1 4202560 146 0 0 0 126 0 0 0 20 0 28 0 145494362 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664663798712 139666181987690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16131] ppid=16102 vsize=26538700 memory=3760561988245221233 CPUtime=1.38 cores=0-7 /proc/16104/task/16131/stat : 16131 (java) R 16102 16102 12354 0 -1 4202560 125 0 0 0 138 0 0 0 20 0 28 0 145494362 27175628800 1802784 33554432000 4194304 4196468 140731818711792 139664662746360 139666182287960 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 Current children cumulated CPU time: 91.48 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 7212520 KiB [startup+43.5021 s] /proc/loadavg: 4.13 7.12 7.93 9/208 16131 /proc/meminfo: memFree=19831384/32770624 swapFree=67108860/67108860 [pid=16102] ppid=16099 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16102/stat : 16102 (xcsp3-exec) S 16099 16102 12354 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145490245 9740288 346 33554432000 4194304 5098028 140734553556480 140734553554584 139923901715068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12828672 140734553560165 140734553560375 140734553560375 140734553563115 0 /proc/16102/statm: 2378 346 289 221 0 87 0 [pid=16104] ppid=16102 vsize=26538700 memory=7211636 CPUtime=97.86 cores=0-7 /proc/16104/stat : 16104 (java) S 16102 16102 12354 0 -1 1077944320 75633 0 0 0 8792 994 0 0 20 0 28 0 145490246 27175628800 1802909 33554432000 4194304 4196468 140731818711792 140731818694336 139666549890807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 /proc/16104/statm: 6634675 1802909 3271 1 0 6621909 0 [pid=16104/tid=16105] ppid=16102 vsize=26538700 memory=1728 CPUtime=35.14 cores=0-7 /proc/16104/task/16105/stat : 16105 (java) S 16102 16102 12354 0 -1 1077944384 22176 0 0 0 3432 82 0 0 20 0 28 0 145490246 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139666554131584 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16106] ppid=16102 vsize=26538700 memory=6791534058613427641 CPUtime=5.06 cores=0-7 /proc/16104/task/16106/stat : 16106 (java) S 16102 16102 12354 0 -1 1077944384 2487 0 0 0 399 107 0 0 20 0 28 0 145490247 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139666502511760 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16107] ppid=16102 vsize=26538700 memory=2240 CPUtime=5.12 cores=0-7 /proc/16104/task/16107/stat : 16107 (java) S 16102 16102 12354 0 -1 1077944384 2915 0 0 0 401 111 0 0 20 0 28 0 145490247 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139666501458960 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16108] ppid=16102 vsize=26538700 memory=1384 CPUtime=5.12 cores=0-7 /proc/16104/task/16108/stat : 16108 (java) S 16102 16102 12354 0 -1 1077944384 2642 0 0 0 395 117 0 0 20 0 28 0 145490247 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139666500406160 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16109] ppid=16102 vsize=26538700 memory=1572 CPUtime=5.12 cores=0-7 /proc/16104/task/16109/stat : 16109 (java) S 16102 16102 12354 0 -1 1077944384 3058 0 0 0 402 110 0 0 20 0 28 0 145490247 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139666499353360 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16110] ppid=16102 vsize=26538700 memory=932 CPUtime=5.13 cores=0-7 /proc/16104/task/16110/stat : 16110 (java) S 16102 16102 12354 0 -1 1077944384 2596 0 0 0 397 116 0 0 20 0 28 0 145490247 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139666104122000 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16111] ppid=16102 vsize=26538700 memory=1384 CPUtime=5.13 cores=0-7 /proc/16104/task/16111/stat : 16111 (java) S 16102 16102 12354 0 -1 1077944384 2842 0 0 0 400 113 0 0 20 0 28 0 145490247 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139666103069200 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16112] ppid=16102 vsize=26538700 memory=7209264 CPUtime=5.12 cores=0-7 /proc/16104/task/16112/stat : 16112 (java) S 16102 16102 12354 0 -1 1077944384 2945 0 0 0 405 107 0 0 20 0 28 0 145490247 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139666102016400 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16113] ppid=16102 vsize=26538700 memory=1004 CPUtime=5.11 cores=0-7 /proc/16104/task/16113/stat : 16113 (java) S 16102 16102 12354 0 -1 1077944384 2536 0 0 0 397 114 0 0 20 0 28 0 145490247 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139666100963600 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16114] ppid=16102 vsize=26538700 memory=5788 CPUtime=0.77 cores=0-7 /proc/16104/task/16114/stat : 16114 (java) S 16102 16102 12354 0 -1 1077944384 10905 0 0 0 74 3 0 0 20 0 28 0 145490248 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139665224838000 139666549901954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16115] ppid=16102 vsize=26538700 memory=1196 CPUtime=0 cores=0-7 /proc/16104/task/16115/stat : 16115 (java) S 16102 16102 12354 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 145490249 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664686048864 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16116] ppid=16102 vsize=26538700 memory=4612 CPUtime=0 cores=0-7 /proc/16104/task/16116/stat : 16116 (java) S 16102 16102 12354 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 28 0 145490249 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664684995968 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16117] ppid=16102 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/16104/task/16117/stat : 16117 (java) S 16102 16102 12354 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145490251 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664683944272 139666549909403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16118] ppid=16102 vsize=26538700 memory=0 CPUtime=1.26 cores=0-7 /proc/16104/task/16118/stat : 16118 (java) S 16102 16102 12354 0 -1 1077944384 6373 0 0 0 125 1 0 0 20 0 28 0 145490251 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664682891632 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16119] ppid=16102 vsize=26538700 memory=0 CPUtime=0.75 cores=0-7 /proc/16104/task/16119/stat : 16119 (java) S 16102 16102 12354 0 -1 1077944384 3260 0 0 0 74 1 0 0 20 0 28 0 145490251 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664681838832 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16120] ppid=16102 vsize=26538700 memory=0 CPUtime=0.82 cores=0-7 /proc/16104/task/16120/stat : 16120 (java) S 16102 16102 12354 0 -1 1077944384 4320 0 0 0 81 1 0 0 20 0 28 0 145490251 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664680786032 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16121] ppid=16102 vsize=26538700 memory=140716013519259 CPUtime=0.69 cores=0-7 /proc/16104/task/16121/stat : 16121 (java) S 16102 16102 12354 0 -1 1077944384 3841 0 0 0 67 2 0 0 20 0 28 0 145490251 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664679733232 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16122] ppid=16102 vsize=26538700 memory=140716013519276 CPUtime=0 cores=0-7 /proc/16104/task/16122/stat : 16122 (java) S 16102 16102 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145490252 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664678681696 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16123] ppid=16102 vsize=26538700 memory=288230574492221466 CPUtime=0.01 cores=0-7 /proc/16104/task/16123/stat : 16123 (java) S 16102 16102 12354 0 -1 1077944384 364 0 0 0 0 1 0 0 20 0 28 0 145490252 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664677628976 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16124] ppid=16102 vsize=26538700 memory=288230617509003574 CPUtime=2.14 cores=0-7 /proc/16104/task/16124/stat : 16124 (java) R 16102 16102 12354 0 -1 4202560 105 0 0 0 214 0 0 0 20 0 28 0 145494361 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664670113272 139666182287838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16125] ppid=16102 vsize=26538700 memory=15260333174426010 CPUtime=2.22 cores=0-7 /proc/16104/task/16125/stat : 16125 (java) R 16102 16102 12354 0 -1 4202560 156 0 0 0 222 0 0 0 20 0 28 0 145494361 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664669061368 139666181987001 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16126] ppid=16102 vsize=26538700 memory=4128 CPUtime=2.21 cores=0-7 /proc/16104/task/16126/stat : 16126 (java) R 16102 16102 12354 0 -1 4202560 54 0 0 0 221 0 0 0 20 0 28 0 145494361 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664668008616 139666185111167 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16127] ppid=16102 vsize=26538700 memory=1572 CPUtime=2.13 cores=0-7 /proc/16104/task/16127/stat : 16127 (java) R 16102 16102 12354 0 -1 4202560 165 0 0 0 213 0 0 0 20 0 28 0 145494361 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664666957688 139666181987495 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16128] ppid=16102 vsize=26538700 memory=932 CPUtime=2.16 cores=0-7 /proc/16104/task/16128/stat : 16128 (java) R 16102 16102 12354 0 -1 4202560 44 0 0 0 216 0 0 0 20 0 28 0 145494362 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664665902808 139666185111260 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16129] ppid=16102 vsize=26538700 memory=2200 CPUtime=2.22 cores=0-7 /proc/16104/task/16129/stat : 16129 (java) R 16102 16102 12354 0 -1 4202560 165 0 0 0 222 0 0 0 20 0 28 0 145494362 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664664849936 139666181609072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16130] ppid=16102 vsize=26538700 memory=7792 CPUtime=2.06 cores=0-7 /proc/16104/task/16130/stat : 16130 (java) R 16102 16102 12354 0 -1 4202560 146 0 0 0 206 0 0 0 20 0 28 0 145494362 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664663798744 139666185111184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16131] ppid=16102 vsize=26538700 memory=840 CPUtime=2.16 cores=0-7 /proc/16104/task/16131/stat : 16131 (java) R 16102 16102 12354 0 -1 4202560 126 0 0 0 216 0 0 0 20 0 28 0 145494362 27175628800 1802909 33554432000 4194304 4196468 140731818711792 139664662746376 139666185111167 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 Current children cumulated CPU time: 97.86 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 7213020 KiB [startup+43.9012 s] /proc/loadavg: 4.13 7.12 7.93 9/208 16131 /proc/meminfo: memFree=19831384/32770624 swapFree=67108860/67108860 [pid=16102] ppid=16099 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/16102/stat : 16102 (xcsp3-exec) S 16099 16102 12354 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 145490245 9740288 346 33554432000 4194304 5098028 140734553556480 140734553554584 139923901715068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12828672 140734553560165 140734553560375 140734553560375 140734553563115 0 /proc/16102/statm: 2378 346 289 221 0 87 0 [pid=16104] ppid=16102 vsize=26538700 memory=7211572 CPUtime=101.01 cores=0-7 /proc/16104/stat : 16104 (java) S 16102 16102 12354 0 -1 1077944320 75900 0 0 0 9107 994 0 0 20 0 20 0 145490246 27175628800 1802893 33554432000 4194304 4196468 140731818711792 140731818694336 139666549890807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 /proc/16104/statm: 6634675 1802893 3273 1 0 6621909 0 [pid=16104/tid=16105] ppid=16102 vsize=26538700 memory=-7957962119327172001 CPUtime=35.14 cores=0-7 /proc/16104/task/16105/stat : 16105 (java) S 16102 16102 12354 0 -1 1077944384 22204 0 0 0 3432 82 0 0 20 0 19 0 145490246 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139666554133648 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16106] ppid=16102 vsize=26538700 memory=-3621219749712857441 CPUtime=5.06 cores=0-7 /proc/16104/task/16106/stat : 16106 (java) S 16102 16102 12354 0 -1 1077944384 2487 0 0 0 399 107 0 0 20 0 19 0 145490247 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139666502511760 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16107] ppid=16102 vsize=26538700 memory=8547710663883855229 CPUtime=5.12 cores=0-7 /proc/16104/task/16107/stat : 16107 (java) S 16102 16102 12354 0 -1 1077944384 2915 0 0 0 401 111 0 0 20 0 19 0 145490247 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139666501458960 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16108] ppid=16102 vsize=26538700 memory=-3040564339240289162 CPUtime=5.12 cores=0-7 /proc/16104/task/16108/stat : 16108 (java) S 16102 16102 12354 0 -1 1077944384 2642 0 0 0 395 117 0 0 20 0 19 0 145490247 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139666500406160 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16109] ppid=16102 vsize=26538700 memory=6655300316396806240 CPUtime=5.12 cores=0-7 /proc/16104/task/16109/stat : 16109 (java) S 16102 16102 12354 0 -1 1077944384 3058 0 0 0 402 110 0 0 20 0 19 0 145490247 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139666499353360 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16110] ppid=16102 vsize=26538700 memory=6655300316396806240 CPUtime=5.13 cores=0-7 /proc/16104/task/16110/stat : 16110 (java) S 16102 16102 12354 0 -1 1077944384 2596 0 0 0 397 116 0 0 20 0 19 0 145490247 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139666104122000 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16111] ppid=16102 vsize=26538700 memory=6645459911560372124 CPUtime=5.13 cores=0-7 /proc/16104/task/16111/stat : 16111 (java) S 16102 16102 12354 0 -1 1077944384 2842 0 0 0 400 113 0 0 20 0 19 0 145490247 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139666103069200 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16112] ppid=16102 vsize=26538700 memory=6655300316396806240 CPUtime=5.12 cores=0-7 /proc/16104/task/16112/stat : 16112 (java) S 16102 16102 12354 0 -1 1077944384 2945 0 0 0 405 107 0 0 20 0 19 0 145490247 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139666102016400 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16113] ppid=16102 vsize=26538700 memory=13041 CPUtime=5.11 cores=0-7 /proc/16104/task/16113/stat : 16113 (java) S 16102 16102 12354 0 -1 1077944384 2536 0 0 0 397 114 0 0 20 0 19 0 145490247 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139666100963600 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16114] ppid=16102 vsize=26538700 memory=288371089750464000 CPUtime=0.77 cores=0-7 /proc/16104/task/16114/stat : 16114 (java) S 16102 16102 12354 0 -1 1077944384 10905 0 0 0 74 3 0 0 20 0 19 0 145490248 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139665224838208 139666549901954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16115] ppid=16102 vsize=26538700 memory=-7674914008656224160 CPUtime=0 cores=0-7 /proc/16104/task/16115/stat : 16115 (java) S 16102 16102 12354 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 145490249 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139664686048864 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16116] ppid=16102 vsize=26538700 memory=-6948614817169703622 CPUtime=0 cores=0-7 /proc/16104/task/16116/stat : 16116 (java) S 16102 16102 12354 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 19 0 145490249 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139664684995968 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16117] ppid=16102 vsize=26538700 memory=-3252517613199061085 CPUtime=0 cores=0-7 /proc/16104/task/16117/stat : 16117 (java) S 16102 16102 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 145490251 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139664683943328 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16118] ppid=16102 vsize=26538700 memory=6944656592455359580 CPUtime=1.26 cores=0-7 /proc/16104/task/16118/stat : 16118 (java) S 16102 16102 12354 0 -1 1077944384 6373 0 0 0 125 1 0 0 20 0 19 0 145490251 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139664682891632 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16119] ppid=16102 vsize=26538700 memory=-2317720213663851332 CPUtime=0.77 cores=0-7 /proc/16104/task/16119/stat : 16119 (java) S 16102 16102 12354 0 -1 1077944384 3262 0 0 0 76 1 0 0 20 0 19 0 145490251 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139664681838832 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16120] ppid=16102 vsize=26538700 memory=-2317720213663851332 CPUtime=0.83 cores=0-7 /proc/16104/task/16120/stat : 16120 (java) S 16102 16102 12354 0 -1 1077944384 4322 0 0 0 82 1 0 0 20 0 19 0 145490251 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139664680786032 139666549901954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16121] ppid=16102 vsize=26538700 memory=-4695052241013923951 CPUtime=0.69 cores=0-7 /proc/16104/task/16121/stat : 16121 (java) S 16102 16102 12354 0 -1 1077944384 3846 0 0 0 67 2 0 0 20 0 19 0 145490251 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139664679729104 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 [pid=16104/tid=16122] ppid=16102 vsize=26538700 memory=-6948614817169703622 CPUtime=0 cores=0-7 /proc/16104/task/16122/stat : 16122 (java) S 16102 16102 12354 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 145490252 27175628800 1802893 33554432000 4194304 4196468 140731818711792 139664678681696 139666549901013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22175744 140731818714258 140731818714435 140731818714435 140731818717135 0 Current children cumulated CPU time: 101.01 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 7212956 KiB Child status: 0 Real time (s): 43.9436 CPU time (s): 101.056 CPU user time (s): 91.0738 CPU system time (s): 9.98249 CPU usage (%): 229.968 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 7213164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 91.0738 system time used= 9.98249 maximum resident set size= 7211916 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76460 page faults= 0 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6584 involuntary context switches= 1127 # summary of solver processes directly reported to runsolver: # pid: 16102 # total CPU time (s): 101.056 # total CPU user time (s): 91.0738 # total CPU system time (s): 9.98249 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.285689 second user time and 0.500441 second system time The end
Begin job on node107 at 2017-08-19 08:12:43 IDJOB=4281002 IDBENCH=120977 IDSOLVER=2675 FILE ID=node107/4281002-1503124023 RUNJOBID= node107-1503115583-12381 PBS_JOBID= 20630762 Free space on /tmp= 61840 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Random/Random-m1-5-12-12/rand-5-12-12-200-12442-38.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-4281002-1503124023/watcher-4281002-1503124023 -o /tmp/evaluation-result-4281002-1503124023/solver-4281002-1503124023 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503115583-12381 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 625745465 HOME/instance-4281002-1503124023.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b26246ce3e5ddb90abbf8b583e2fe87c RANDOM SEED=625745465 node107.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.84 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.84 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.84 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.84 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: 27040656 kB MemAvailable: 31974416 kB Buffers: 261456 kB Cached: 4966348 kB SwapCached: 0 kB Active: 852284 kB Inactive: 4427836 kB Active(anon): 55584 kB Inactive(anon): 33132 kB Active(file): 796700 kB Inactive(file): 4394704 kB Unevictable: 7640 kB Mlocked: 7640 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 36720 kB Writeback: 4 kB AnonPages: 60340 kB Mapped: 50584 kB Shmem: 33420 kB Slab: 142280 kB SReclaimable: 116384 kB SUnreclaim: 25896 kB KernelStack: 3168 kB PageTables: 4740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333032 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: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61832 MiB End job on node107 at 2017-08-19 08:13:27