| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-09) | ? (TO) | 1956.76 | 252.18401 |
| Name | BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml |
| MD5SUM | 35e588148f794a6a4a81576d123b10dc |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 19091 |
| Number of constraints | 160 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":19091}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 19 |
| Distribution of variable degrees | [{"degree":3,"count":10},{"degree":4,"count":86},{"degree":5,"count":309},{"degree":6,"count":636},{"degree":7,"count":911},{"degree":8,"count":1069},{"degree":9,"count":1258},{"degree":10,"count":1321},{"degree":11,"count":1446},{"degree":12,"count":1732},{"degree":13,"count":2126},{"degree":14,"count":2492},{"degree":15,"count":3123},{"degree":16,"count":1856},{"degree":17,"count":628},{"degree":18,"count":85},{"degree":19,"count":3}] |
| Minimum constraint arity | 13 |
| Maximum constraint arity | 4379 |
| Distribution of constraint arities | [{"arity":13,"count":2},{"arity":140,"count":2},{"arity":176,"count":1},{"arity":182,"count":2},{"arity":212,"count":2},{"arity":214,"count":2},{"arity":221,"count":2},{"arity":222,"count":2},{"arity":271,"count":1},{"arity":273,"count":2},{"arity":275,"count":3},{"arity":280,"count":1},{"arity":282,"count":1},{"arity":291,"count":3},{"arity":301,"count":4},{"arity":304,"count":3},{"arity":307,"count":5},{"arity":341,"count":3},{"arity":352,"count":1},{"arity":393,"count":2},{"arity":421,"count":3},{"arity":438,"count":2},{"arity":441,"count":2},{"arity":449,"count":1},{"arity":458,"count":2},"...",{"arity":2907,"count":1}, {"arity":2936,"count":1}, {"arity":3201,"count":1}, {"arity":3393,"count":1}, {"arity":3498,"count":1}, {"arity":3551,"count":1}, {"arity":3656,"count":1}, {"arity":3814,"count":1}, {"arity":3816,"count":1}, {"arity":3827,"count":1}, {"arity":3932,"count":1}, {"arity":3961,"count":1}, {"arity":4014,"count":1}, {"arity":4038,"count":1}, {"arity":4066,"count":1}, {"arity":4072,"count":1}, {"arity":4078,"count":1}, {"arity":4125,"count":1}, {"arity":4146,"count":1}, {"arity":4162,"count":1}, {"arity":4242,"count":1}, {"arity":4283,"count":1}, {"arity":4304,"count":1}, {"arity":4369,"count":1}, {"arity":4379,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"count","count":160}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271490-1502644403.xml" -tl '2016s' -p 8 -x 0 0.12/0.15 c [HOME/instance-4271490-1502644403.xml, -tl, 2016s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 7.16/2.61 c solve instance... 1955.90/252.09 s UNKNOWN 1955.90/252.09 c Unexpected resolution interruption!
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 (15265 MiB free)
memory of node 1: 16384 MiB (15603 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271490-1502644403/watcher-4271490-1502644403 -o /tmp/evaluation-result-4271490-1502644403/solver-4271490-1502644403 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 688507441 HOME/instance-4271490-1502644403.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26256, runsolver pid=26253
[startup+0.100112 s]*
/proc/loadavg: 6.68 6.98 6.65 3/199 26277
/proc/meminfo: memFree=31593812/32770624 swapFree=67108860/67108860
[pid=26256] ppid=26253 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26256/stat : 26256 (xcsp3-exec) S 26253 26256 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97528533 9740288 346 33554432000 4194304 5098028 140732406670784 140732406668888 140526011519612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33837056 140732406674539 140732406674748 140732406674748 140732406677483 0
/proc/26256/statm: 2378 346 289 221 0 87 0
[pid=26258] ppid=26256 vsize=25999808 memory=26476 CPUtime=0.12 cores=0-7
/proc/26258/stat : 26258 (java) S 26256 26256 8183 0 -1 1077944320 5471 0 0 0 11 1 0 0 20 0 20 0 97528533 26623803392 6619 33554432000 4194304 4196468 140721003137936 140721003120480 140332894068471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
/proc/26258/statm: 6499952 6619 2862 1 0 6488269 0
[pid=26258/tid=26259] ppid=26256 vsize=25999808 memory=7825738210137252252 CPUtime=0.08 cores=0-7
/proc/26258/task/26259/stat : 26259 (java) R 26256 26256 8183 0 -1 4202560 3473 0 0 0 8 0 0 0 20 0 20 0 97528533 26623803392 6619 33554432000 4194304 4196468 140721003137936 140332898289368 140332875720030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26260] ppid=26256 vsize=25999808 memory=732369976006003685 CPUtime=0 cores=0-7
/proc/26258/task/26260/stat : 26260 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528534 26623803392 6619 33554432000 4194304 4196468 140721003137936 140332846689168 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26261] ppid=26256 vsize=25999808 memory=139837668550272 CPUtime=0 cores=0-7
/proc/26258/task/26261/stat : 26261 (java) S 26256 26256 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97528534 26623803392 6619 33554432000 4194304 4196468 140721003137936 140332845636368 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26262] ppid=26256 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26262/stat : 26262 (java) S 26256 26256 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97528534 26623803392 6619 33554432000 4194304 4196468 140721003137936 140332844584080 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26263] ppid=26256 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26263/stat : 26263 (java) S 26256 26256 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97528534 26623803392 6619 33554432000 4194304 4196468 140721003137936 140332843531280 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26264] ppid=26256 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26264/stat : 26264 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528534 26623803392 6619 33554432000 4194304 4196468 140721003137936 140332842477968 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26265] ppid=26256 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/26258/task/26265/stat : 26265 (java) S 26256 26256 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97528534 26623803392 6619 33554432000 4194304 4196468 140721003137936 140332841425168 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26266] ppid=26256 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26266/stat : 26266 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528534 26623803392 6619 33554432000 4194304 4196468 140721003137936 140332840372880 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26267] ppid=26256 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26267/stat : 26267 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528534 26623803392 6619 33554432000 4194304 4196468 140721003137936 140332839320080 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26268] ppid=26256 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26268/stat : 26268 (java) S 26256 26256 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97528536 26623803392 6619 33554432000 4194304 4196468 140721003137936 140331479722608 140332894079618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26269] ppid=26256 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26269/stat : 26269 (java) S 26256 26256 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97528536 26623803392 6619 33554432000 4194304 4196468 140721003137936 140331478668576 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26270] ppid=26256 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26270/stat : 26270 (java) S 26256 26256 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97528536 26623803392 6619 33554432000 4194304 4196468 140721003137936 140331477616240 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26271] ppid=26256 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26271/stat : 26271 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528539 26623803392 6619 33554432000 4194304 4196468 140721003137936 140331476564560 140332894087067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26272] ppid=26256 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26272/stat : 26272 (java) S 26256 26256 8183 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 97528539 26623803392 6619 33554432000 4194304 4196468 140721003137936 140331475511408 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26273] ppid=26256 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26273/stat : 26273 (java) R 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528539 26623803392 6619 33554432000 4194304 4196468 140721003137936 140331474458608 140332894079618 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26274] ppid=26256 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26274/stat : 26274 (java) S 26256 26256 8183 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97528539 26623803392 6619 33554432000 4194304 4196468 140721003137936 140331473406320 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26275] ppid=26256 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/26258/task/26275/stat : 26275 (java) R 26256 26256 8183 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 20 0 97528539 26623803392 6619 33554432000 4194304 4196468 140721003137936 140331472353520 140332872566623 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26276] ppid=26256 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26276/stat : 26276 (java) S 26256 26256 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97528539 26623803392 6619 33554432000 4194304 4196468 140721003137936 140331471301472 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26277] ppid=26256 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/26258/task/26277/stat : 26277 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528539 26623803392 6619 33554432000 4194304 4196468 140721003137936 140331470248752 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27860 KiB
[startup+0.210298 s]*
/proc/loadavg: 6.68 6.98 6.65 2/199 26277
/proc/meminfo: memFree=31584056/32770624 swapFree=67108860/67108860
[pid=26256] ppid=26253 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26256/stat : 26256 (xcsp3-exec) S 26253 26256 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97528533 9740288 346 33554432000 4194304 5098028 140732406670784 140732406668888 140526011519612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33837056 140732406674539 140732406674748 140732406674748 140732406677483 0
/proc/26256/statm: 2378 346 289 221 0 87 0
[pid=26258] ppid=26256 vsize=26004064 memory=39084 CPUtime=0.33 cores=0-7
/proc/26258/stat : 26258 (java) S 26256 26256 8183 0 -1 1077944320 8331 0 0 0 31 2 0 0 20 0 20 0 97528533 26628161536 9771 33554432000 4194304 4196468 140721003137936 140721003120480 140332894068471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
/proc/26258/statm: 6501016 9771 3063 1 0 6488269 0
[pid=26258/tid=26259] ppid=26256 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/26258/task/26259/stat : 26259 (java) R 26256 26256 8183 0 -1 4202560 5380 0 0 0 18 1 0 0 20 0 20 0 97528533 26628161536 9771 33554432000 4194304 4196468 140721003137936 140332898289464 140332878148958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26260] ppid=26256 vsize=26004064 memory=732369976006003685 CPUtime=0 cores=0-7
/proc/26258/task/26260/stat : 26260 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528534 26628161536 9771 33554432000 4194304 4196468 140721003137936 140332846689168 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26261] ppid=26256 vsize=26004064 memory=139837668550272 CPUtime=0 cores=0-7
/proc/26258/task/26261/stat : 26261 (java) S 26256 26256 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97528534 26628161536 9771 33554432000 4194304 4196468 140721003137936 140332845636368 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26262] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26262/stat : 26262 (java) S 26256 26256 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97528534 26628161536 9771 33554432000 4194304 4196468 140721003137936 140332844584080 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26263] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26263/stat : 26263 (java) S 26256 26256 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97528534 26628161536 9771 33554432000 4194304 4196468 140721003137936 140332843531280 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26264] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26264/stat : 26264 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528534 26628161536 9771 33554432000 4194304 4196468 140721003137936 140332842477968 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26265] ppid=26256 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26258/task/26265/stat : 26265 (java) S 26256 26256 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97528534 26628161536 9771 33554432000 4194304 4196468 140721003137936 140332841425168 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26266] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26266/stat : 26266 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528534 26628161536 9771 33554432000 4194304 4196468 140721003137936 140332840372880 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26267] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26267/stat : 26267 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528534 26628161536 9771 33554432000 4194304 4196468 140721003137936 140332839320080 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26268] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26268/stat : 26268 (java) S 26256 26256 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97528536 26628161536 9771 33554432000 4194304 4196468 140721003137936 140331479722608 140332894079618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26269] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26269/stat : 26269 (java) S 26256 26256 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97528536 26628161536 9771 33554432000 4194304 4196468 140721003137936 140331478668576 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26270] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26270/stat : 26270 (java) S 26256 26256 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97528536 26628161536 9771 33554432000 4194304 4196468 140721003137936 140331477616240 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26271] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26271/stat : 26271 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528539 26628161536 9771 33554432000 4194304 4196468 140721003137936 140331476564560 140332894087067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26272] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26272/stat : 26272 (java) S 26256 26256 8183 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 97528539 26628161536 9771 33554432000 4194304 4196468 140721003137936 140331475511408 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26273] ppid=26256 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/26258/task/26273/stat : 26273 (java) S 26256 26256 8183 0 -1 1077944384 308 0 0 0 2 0 0 0 20 0 20 0 97528539 26628161536 9771 33554432000 4194304 4196468 140721003137936 140331474458608 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26274] ppid=26256 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/26258/task/26274/stat : 26274 (java) S 26256 26256 8183 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 20 0 97528539 26628161536 9771 33554432000 4194304 4196468 140721003137936 140331473406320 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26275] ppid=26256 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/26258/task/26275/stat : 26275 (java) S 26256 26256 8183 0 -1 1077944384 745 0 0 0 7 0 0 0 20 0 20 0 97528539 26628161536 9771 33554432000 4194304 4196468 140721003137936 140331472353520 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26276] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26276/stat : 26276 (java) S 26256 26256 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97528539 26628161536 9771 33554432000 4194304 4196468 140721003137936 140331471301472 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26277] ppid=26256 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26258/task/26277/stat : 26277 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528539 26628161536 9771 33554432000 4194304 4196468 140721003137936 140331470248752 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40468 KiB
[startup+0.309531 s]*
/proc/loadavg: 6.68 6.98 6.65 4/199 26277
/proc/meminfo: memFree=31577532/32770624 swapFree=67108860/67108860
[pid=26256] ppid=26253 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26256/stat : 26256 (xcsp3-exec) S 26253 26256 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97528533 9740288 346 33554432000 4194304 5098028 140732406670784 140732406668888 140526011519612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33837056 140732406674539 140732406674748 140732406674748 140732406677483 0
/proc/26256/statm: 2378 346 289 221 0 87 0
[pid=26258] ppid=26256 vsize=26004064 memory=46304 CPUtime=0.5 cores=0-7
/proc/26258/stat : 26258 (java) S 26256 26256 8183 0 -1 1077944320 9262 0 0 0 47 3 0 0 20 0 20 0 97528533 26628161536 11576 33554432000 4194304 4196468 140721003137936 140721003120480 140332894068471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
/proc/26258/statm: 6501016 11576 3107 1 0 6488269 0
[pid=26258/tid=26259] ppid=26256 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/26258/task/26259/stat : 26259 (java) R 26256 26256 8183 0 -1 4202560 6064 0 0 0 27 2 0 0 20 0 20 0 97528533 26628161536 11576 33554432000 4194304 4196468 140721003137936 140332898307536 140332894080406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26260] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26260/stat : 26260 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528534 26628161536 11576 33554432000 4194304 4196468 140721003137936 140332846689168 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26261] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26261/stat : 26261 (java) S 26256 26256 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97528534 26628161536 11576 33554432000 4194304 4196468 140721003137936 140332845636368 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26262] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26262/stat : 26262 (java) S 26256 26256 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97528534 26628161536 11576 33554432000 4194304 4196468 140721003137936 140332844584080 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26263] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26263/stat : 26263 (java) S 26256 26256 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97528534 26628161536 11576 33554432000 4194304 4196468 140721003137936 140332843531280 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26264] ppid=26256 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/26258/task/26264/stat : 26264 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528534 26628161536 11576 33554432000 4194304 4196468 140721003137936 140332842477968 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26265] ppid=26256 vsize=26004064 memory=139837558584239 CPUtime=0 cores=0-7
/proc/26258/task/26265/stat : 26265 (java) S 26256 26256 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97528534 26628161536 11576 33554432000 4194304 4196468 140721003137936 140332841425168 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26266] ppid=26256 vsize=26004064 memory=139837558586544 CPUtime=0 cores=0-7
/proc/26258/task/26266/stat : 26266 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528534 26628161536 11576 33554432000 4194304 4196468 140721003137936 140332840372880 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26267] ppid=26256 vsize=26004064 memory=139837558588848 CPUtime=0 cores=0-7
/proc/26258/task/26267/stat : 26267 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528534 26628161536 11576 33554432000 4194304 4196468 140721003137936 140332839320080 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26268] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26268/stat : 26268 (java) S 26256 26256 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97528536 26628161536 11576 33554432000 4194304 4196468 140721003137936 140331479722608 140332894079618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26269] ppid=26256 vsize=26004064 memory=279675117184656 CPUtime=0 cores=0-7
/proc/26258/task/26269/stat : 26269 (java) S 26256 26256 8183 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97528536 26628161536 11576 33554432000 4194304 4196468 140721003137936 140331478668576 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26270] ppid=26256 vsize=26004064 memory=279675117191568 CPUtime=0 cores=0-7
/proc/26258/task/26270/stat : 26270 (java) S 26256 26256 8183 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97528536 26628161536 11576 33554432000 4194304 4196468 140721003137936 140331477616240 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26271] ppid=26256 vsize=26004064 memory=279675117132848 CPUtime=0 cores=0-7
/proc/26258/task/26271/stat : 26271 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528539 26628161536 11642 33554432000 4194304 4196468 140721003137936 140331476564560 140332894087067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26272] ppid=26256 vsize=26004064 memory=279675117205392 CPUtime=0.01 cores=0-7
/proc/26258/task/26272/stat : 26272 (java) S 26256 26256 8183 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 20 0 97528539 26628161536 11642 33554432000 4194304 4196468 140721003137936 140331475511408 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26273] ppid=26256 vsize=26004064 memory=279675117212304 CPUtime=0.04 cores=0-7
/proc/26258/task/26273/stat : 26273 (java) R 26256 26256 8183 0 -1 4202560 464 0 0 0 4 0 0 0 20 0 20 0 97528539 26628161536 11642 33554432000 4194304 4196468 140721003137936 140331474458608 140332874768768 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26274] ppid=26256 vsize=26004064 memory=279675117210000 CPUtime=0.02 cores=0-7
/proc/26258/task/26274/stat : 26274 (java) R 26256 26256 8183 0 -1 4202560 297 0 0 0 2 0 0 0 20 0 20 0 97528539 26628161536 11642 33554432000 4194304 4196468 140721003137936 140331473406320 140332873461283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26275] ppid=26256 vsize=26004064 memory=279675117226160 CPUtime=0.12 cores=0-7
/proc/26258/task/26275/stat : 26275 (java) R 26256 26256 8183 0 -1 4202560 871 0 0 0 12 0 0 0 20 0 20 0 97528539 26628161536 11642 33554432000 4194304 4196468 140721003137936 140331472349672 140332874037247 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26276] ppid=26256 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/26258/task/26276/stat : 26276 (java) S 26256 26256 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97528539 26628161536 11642 33554432000 4194304 4196468 140721003137936 140331471301472 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26277] ppid=26256 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/26258/task/26277/stat : 26277 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528539 26628161536 11642 33554432000 4194304 4196468 140721003137936 140331470248752 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47688 KiB
[startup+0.700928 s]
/proc/loadavg: 6.68 6.98 6.65 5/199 26277
/proc/meminfo: memFree=31535068/32770624 swapFree=67108860/67108860
[pid=26256] ppid=26253 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26256/stat : 26256 (xcsp3-exec) S 26253 26256 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97528533 9740288 346 33554432000 4194304 5098028 140732406670784 140732406668888 140526011519612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33837056 140732406674539 140732406674748 140732406674748 140732406677483 0
/proc/26256/statm: 2378 346 289 221 0 87 0
[pid=26258] ppid=26256 vsize=26004140 memory=169344 CPUtime=2.03 cores=0-7
/proc/26258/stat : 26258 (java) S 26256 26256 8183 0 -1 1077944320 13932 0 0 0 197 6 0 0 20 0 20 0 97528533 26628239360 42336 33554432000 4194304 4196468 140721003137936 140721003120480 140332894068471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
/proc/26258/statm: 6501035 42336 3203 1 0 6488269 0
[pid=26258/tid=26259] ppid=26256 vsize=26004140 memory=279675117521088 CPUtime=0.67 cores=0-7
/proc/26258/task/26259/stat : 26259 (java) R 26256 26256 8183 0 -1 4202560 6451 0 0 0 63 4 0 0 20 0 20 0 97528533 26628239360 42336 33554432000 4194304 4196468 140721003137936 140332898306912 140332503241335 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26260] ppid=26256 vsize=26004140 memory=1012 CPUtime=0 cores=0-7
/proc/26258/task/26260/stat : 26260 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97528534 26628239360 42336 33554432000 4194304 4196468 140721003137936 140332846689168 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26261] ppid=26256 vsize=26004140 memory=1716 CPUtime=0 cores=0-7
/proc/26258/task/26261/stat : 26261 (java) S 26256 26256 8183 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97528534 26628239360 42336 33554432000 4194304 4196468 140721003137936 140332845636368 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26262] ppid=26256 vsize=26004140 memory=5792 CPUtime=0 cores=0-7
/proc/26258/task/26262/stat : 26262 (java) S 26256 26256 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97528534 26628239360 42336 33554432000 4194304 4196468 140721003137936 140332844584080 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
################
# More data... #
################
[pid=26258/tid=26284] ppid=26256 vsize=26538700 memory=4228032 CPUtime=211.79 cores=0-7
/proc/26258/task/26284/stat : 26284 (java) R 26256 26256 8183 0 -1 4202560 1632 0 0 0 21175 4 0 0 20 0 28 0 97528799 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331455922568 140332511354144 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26285] ppid=26256 vsize=26538700 memory=1384 CPUtime=210.71 cores=0-7
/proc/26258/task/26285/stat : 26285 (java) R 26256 26256 8183 0 -1 4202560 1312 0 0 0 21068 3 0 0 20 0 28 0 97528799 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331454869192 140332510493591 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
Current children cumulated CPU time: 1719.56 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 4229416 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.002 s]*
/proc/loadavg: 7.93 7.58 6.99 9/209 26314
/proc/meminfo: memFree=27390044/32770624 swapFree=67108860/67108860
[pid=26256] ppid=26253 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/26256/stat : 26256 (xcsp3-exec) S 26253 26256 8183 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97528533 9740288 346 33554432000 4194304 5098028 140732406670784 140732406668888 140526011519612 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33837056 140732406674539 140732406674748 140732406674748 140732406677483 0
/proc/26256/statm: 2378 346 289 221 0 87 0
[pid=26258] ppid=26256 vsize=26538700 memory=4228032 CPUtime=1955.9 cores=0-7
/proc/26258/stat : 26258 (java) S 26256 26256 8183 0 -1 1077944320 82488 0 0 0 195331 259 0 0 20 0 28 0 97528533 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140721003120480 140332894068471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
/proc/26258/statm: 6634675 1057008 3299 1 0 6621909 0
[pid=26258/tid=26259] ppid=26256 vsize=26538700 memory=6791534058613427641 CPUtime=2.47 cores=0-7
/proc/26258/task/26259/stat : 26259 (java) S 26256 26256 8183 0 -1 1077944384 7045 0 0 0 239 8 0 0 20 0 28 0 97528533 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140332898309248 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26260] ppid=26256 vsize=26538700 memory=-7003737579269690708 CPUtime=2.01 cores=0-7
/proc/26258/task/26260/stat : 26260 (java) S 26256 26256 8183 0 -1 1077944384 945 0 0 0 182 19 0 0 20 0 28 0 97528534 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140332846689168 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26261] ppid=26256 vsize=26538700 memory=4616 CPUtime=1.99 cores=0-7
/proc/26258/task/26261/stat : 26261 (java) S 26256 26256 8183 0 -1 1077944384 882 0 0 0 188 11 0 0 20 0 28 0 97528534 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140332845636368 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26262] ppid=26256 vsize=26538700 memory=792 CPUtime=1.98 cores=0-7
/proc/26258/task/26262/stat : 26262 (java) S 26256 26256 8183 0 -1 1077944384 830 0 0 0 179 19 0 0 20 0 28 0 97528534 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140332844584080 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26263] ppid=26256 vsize=26538700 memory=1420 CPUtime=1.98 cores=0-7
/proc/26258/task/26263/stat : 26263 (java) S 26256 26256 8183 0 -1 1077944384 1958 0 0 0 187 11 0 0 20 0 28 0 97528534 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140332843531280 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26264] ppid=26256 vsize=26538700 memory=13040 CPUtime=2.01 cores=0-7
/proc/26258/task/26264/stat : 26264 (java) S 26256 26256 8183 0 -1 1077944384 2399 0 0 0 172 29 0 0 20 0 28 0 97528534 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140332842477968 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26265] ppid=26256 vsize=26538700 memory=1944 CPUtime=1.97 cores=0-7
/proc/26258/task/26265/stat : 26265 (java) S 26256 26256 8183 0 -1 1077944384 1453 0 0 0 184 13 0 0 20 0 28 0 97528534 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140332841425168 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26266] ppid=26256 vsize=26538700 memory=1196 CPUtime=1.99 cores=0-7
/proc/26258/task/26266/stat : 26266 (java) S 26256 26256 8183 0 -1 1077944384 819 0 0 0 184 15 0 0 20 0 28 0 97528534 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140332840372880 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26267] ppid=26256 vsize=26538700 memory=8548 CPUtime=2 cores=0-7
/proc/26258/task/26267/stat : 26267 (java) S 26256 26256 8183 0 -1 1077944384 2637 0 0 0 178 22 0 0 20 0 28 0 97528534 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140332839320080 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26268] ppid=26256 vsize=26538700 memory=1228 CPUtime=5.77 cores=0-7
/proc/26258/task/26268/stat : 26268 (java) S 26256 26256 8183 0 -1 1077944384 10237 0 0 0 548 29 0 0 20 0 28 0 97528536 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331479722608 140332894079618 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26269] ppid=26256 vsize=26538700 memory=15876 CPUtime=0 cores=0-7
/proc/26258/task/26269/stat : 26269 (java) S 26256 26256 8183 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 97528536 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331478668640 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26270] ppid=26256 vsize=26538700 memory=4228032 CPUtime=0 cores=0-7
/proc/26258/task/26270/stat : 26270 (java) S 26256 26256 8183 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 97528536 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331477616256 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26271] ppid=26256 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/26258/task/26271/stat : 26271 (java) S 26256 26256 8183 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97528539 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331476564560 140332894087067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26272] ppid=26256 vsize=26538700 memory=4228032 CPUtime=1.59 cores=0-7
/proc/26258/task/26272/stat : 26272 (java) S 26256 26256 8183 0 -1 1077944384 7280 0 0 0 157 2 0 0 20 0 28 0 97528539 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331475511408 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26273] ppid=26256 vsize=26538700 memory=1228 CPUtime=1.85 cores=0-7
/proc/26258/task/26273/stat : 26273 (java) S 26256 26256 8183 0 -1 1077944384 8069 0 0 0 183 2 0 0 20 0 28 0 97528539 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331474458608 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26274] ppid=26256 vsize=26538700 memory=15876 CPUtime=1.63 cores=0-7
/proc/26258/task/26274/stat : 26274 (java) S 26256 26256 8183 0 -1 1077944384 7657 0 0 0 163 0 0 0 20 0 28 0 97528539 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331473406320 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26275] ppid=26256 vsize=26538700 memory=18476 CPUtime=0.71 cores=0-7
/proc/26258/task/26275/stat : 26275 (java) S 26256 26256 8183 0 -1 1077944384 8602 0 0 0 69 2 0 0 20 0 28 0 97528539 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331472353520 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26276] ppid=26256 vsize=26538700 memory=23519 CPUtime=0 cores=0-7
/proc/26258/task/26276/stat : 26276 (java) S 26256 26256 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97528539 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331471301472 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26277] ppid=26256 vsize=26538700 memory=23870 CPUtime=0.12 cores=0-7
/proc/26258/task/26277/stat : 26277 (java) S 26256 26256 8183 0 -1 1077944384 1170 0 0 0 4 8 0 0 20 0 28 0 97528539 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331470248752 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26278] ppid=26256 vsize=26538700 memory=0 CPUtime=237.9 cores=0-7
/proc/26258/task/26278/stat : 26278 (java) R 26256 26256 8183 0 -1 4202560 1281 0 0 0 23787 3 0 0 20 0 28 0 97528798 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331462237704 140332510571764 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26279] ppid=26256 vsize=26538700 memory=247 CPUtime=241.42 cores=0-7
/proc/26258/task/26279/stat : 26279 (java) R 26256 26256 8183 0 -1 4202560 1406 0 0 0 24135 7 0 0 20 0 28 0 97528798 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331461185912 140332511354187 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26280] ppid=26256 vsize=26538700 memory=201 CPUtime=240.68 cores=0-7
/proc/26258/task/26280/stat : 26280 (java) R 26256 26256 8183 0 -1 4202560 2084 0 0 0 24064 4 0 0 20 0 28 0 97528798 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331460132792 140332511156221 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26281] ppid=26256 vsize=26538700 memory=199 CPUtime=241.13 cores=0-7
/proc/26258/task/26281/stat : 26281 (java) R 26256 26256 8183 0 -1 4202560 2453 0 0 0 24105 8 0 0 20 0 28 0 97528798 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331459080136 140332511116021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26282] ppid=26256 vsize=26538700 memory=6764 CPUtime=241.73 cores=0-7
/proc/26258/task/26282/stat : 26282 (java) R 26256 26256 8183 0 -1 4202560 7723 0 0 0 24138 35 0 0 20 0 28 0 97528798 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331458027264 140332503475913 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26283] ppid=26256 vsize=26538700 memory=840 CPUtime=241.1 cores=0-7
/proc/26258/task/26283/stat : 26283 (java) R 26256 26256 8183 0 -1 4202560 1055 0 0 0 24107 3 0 0 20 0 28 0 97528799 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331456974840 140332510493900 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26284] ppid=26256 vsize=26538700 memory=1692 CPUtime=241.38 cores=0-7
/proc/26258/task/26284/stat : 26284 (java) R 26256 26256 8183 0 -1 4202560 1781 0 0 0 24134 4 0 0 20 0 28 0 97528799 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331455922920 140332511354160 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26285] ppid=26256 vsize=26538700 memory=916 CPUtime=240.3 cores=0-7
/proc/26258/task/26285/stat : 26285 (java) R 26256 26256 8183 0 -1 4202560 1402 0 0 0 24027 3 0 0 20 0 28 0 97528799 27175628800 1057008 33554432000 4194304 4196468 140721003137936 140331454869192 140332510702362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
Current children cumulated CPU time: 1955.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 4229416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.044 s]
# the end of solver process 26256 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000965 s, system=0.000965 s
[startup+252.184 s]
# the end of solver process 26258 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1954.1 s, system=2.65388 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+252.133 s]*
/proc/loadavg: 7.93 7.58 6.99 3/208 26316
/proc/meminfo: memFree=27389796/32770624 swapFree=67108860/67108860
[pid=26258] ppid=26253 vsize=26671828 memory=4228252 CPUtime=1956.69 cores=0-7
/proc/26258/stat : 26258 (java) S 26253 26256 8183 0 -1 1077944320 83148 0 0 0 195408 261 0 0 20 0 28 0 97528533 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140721003120480 140332894068471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
/proc/26258/statm: 6667957 1057063 3301 1 0 6655191 0
[pid=26258/tid=26259] ppid=26253 vsize=26671828 memory=6791534058613427641 CPUtime=2.47 cores=0-7
/proc/26258/task/26259/stat : 26259 (java) S 26253 26256 8183 0 -1 1077944384 7045 0 0 0 239 8 0 0 20 0 28 0 97528533 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140332898309248 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26260] ppid=26253 vsize=26671828 memory=4228032 CPUtime=2.01 cores=0-7
/proc/26258/task/26260/stat : 26260 (java) S 26253 26256 8183 0 -1 1077944384 945 0 0 0 182 19 0 0 20 0 28 0 97528534 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140332846689168 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26261] ppid=26253 vsize=26671828 memory=1296 CPUtime=1.99 cores=0-7
/proc/26258/task/26261/stat : 26261 (java) S 26253 26256 8183 0 -1 1077944384 882 0 0 0 188 11 0 0 20 0 28 0 97528534 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140332845636368 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26262] ppid=26253 vsize=26671828 memory=1384 CPUtime=1.98 cores=0-7
/proc/26258/task/26262/stat : 26262 (java) S 26253 26256 8183 0 -1 1077944384 830 0 0 0 179 19 0 0 20 0 28 0 97528534 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140332844584080 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26263] ppid=26253 vsize=26671828 memory=-7003737579269690708 CPUtime=1.98 cores=0-7
/proc/26258/task/26263/stat : 26263 (java) S 26253 26256 8183 0 -1 1077944384 1958 0 0 0 187 11 0 0 20 0 28 0 97528534 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140332843531280 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26264] ppid=26253 vsize=26671828 memory=288230604624101684 CPUtime=2.01 cores=0-7
/proc/26258/task/26264/stat : 26264 (java) S 26253 26256 8183 0 -1 1077944384 2399 0 0 0 172 29 0 0 20 0 28 0 97528534 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140332842477968 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26265] ppid=26253 vsize=26671828 memory=15823313175840883 CPUtime=1.97 cores=0-7
/proc/26258/task/26265/stat : 26265 (java) S 26253 26256 8183 0 -1 1077944384 1453 0 0 0 184 13 0 0 20 0 28 0 97528534 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140332841425168 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26266] ppid=26253 vsize=26671828 memory=1156 CPUtime=1.99 cores=0-7
/proc/26258/task/26266/stat : 26266 (java) S 26253 26256 8183 0 -1 1077944384 819 0 0 0 184 15 0 0 20 0 28 0 97528534 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140332840372880 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26267] ppid=26253 vsize=26671828 memory=3692 CPUtime=2 cores=0-7
/proc/26258/task/26267/stat : 26267 (java) S 26253 26256 8183 0 -1 1077944384 2637 0 0 0 178 22 0 0 20 0 28 0 97528534 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140332839320080 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26268] ppid=26253 vsize=26671828 memory=1384 CPUtime=5.81 cores=0-7
/proc/26258/task/26268/stat : 26268 (java) R 26253 26256 8183 0 -1 4202560 10250 0 0 0 550 31 0 0 20 0 28 0 97528536 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331479722608 140332886696679 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26269] ppid=26253 vsize=26671828 memory=4228032 CPUtime=0 cores=0-7
/proc/26258/task/26269/stat : 26269 (java) S 26253 26256 8183 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 97528536 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331478668640 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26270] ppid=26253 vsize=26671828 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/26258/task/26270/stat : 26270 (java) S 26253 26256 8183 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 97528536 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331477616256 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26271] ppid=26253 vsize=26671828 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/26258/task/26271/stat : 26271 (java) S 26253 26256 8183 0 -1 1077944384 204 0 0 0 0 0 0 0 20 0 28 0 97528539 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331476564208 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26272] ppid=26253 vsize=26671828 memory=6791534058613427641 CPUtime=1.59 cores=0-7
/proc/26258/task/26272/stat : 26272 (java) S 26253 26256 8183 0 -1 1077944384 7280 0 0 0 157 2 0 0 20 0 28 0 97528539 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331475511408 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26273] ppid=26253 vsize=26671828 memory=2344 CPUtime=1.85 cores=0-7
/proc/26258/task/26273/stat : 26273 (java) S 26253 26256 8183 0 -1 1077944384 8069 0 0 0 183 2 0 0 20 0 28 0 97528539 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331474458608 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26274] ppid=26253 vsize=26671828 memory=928 CPUtime=1.63 cores=0-7
/proc/26258/task/26274/stat : 26274 (java) S 26253 26256 8183 0 -1 1077944384 7657 0 0 0 163 0 0 0 20 0 28 0 97528539 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331473406320 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26275] ppid=26253 vsize=26671828 memory=1568 CPUtime=0.71 cores=0-7
/proc/26258/task/26275/stat : 26275 (java) S 26253 26256 8183 0 -1 1077944384 8602 0 0 0 69 2 0 0 20 0 28 0 97528539 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331472353520 140332894079618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26276] ppid=26253 vsize=26671828 memory=2240 CPUtime=0 cores=0-7
/proc/26258/task/26276/stat : 26276 (java) S 26253 26256 8183 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97528539 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331471301472 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26278] ppid=26253 vsize=26671828 memory=0 CPUtime=237.99 cores=0-7
/proc/26258/task/26278/stat : 26278 (java) S 26253 26256 8183 0 -1 1077944384 1284 0 0 0 23796 3 0 0 20 0 28 0 97528798 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331462237568 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26279] ppid=26253 vsize=26671828 memory=4629771062077588875 CPUtime=241.5 cores=0-7
/proc/26258/task/26279/stat : 26279 (java) S 26253 26256 8183 0 -1 1077944384 1408 0 0 0 24143 7 0 0 20 0 28 0 97528798 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331461185904 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26280] ppid=26253 vsize=26671828 memory=-8961168018402230209 CPUtime=240.77 cores=0-7
/proc/26258/task/26280/stat : 26280 (java) S 26253 26256 8183 0 -1 1077944384 2085 0 0 0 24073 4 0 0 20 0 28 0 97528798 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331460133056 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26281] ppid=26253 vsize=26671828 memory=-8253362762722141311 CPUtime=241.22 cores=0-7
/proc/26258/task/26281/stat : 26281 (java) S 26253 26256 8183 0 -1 1077944384 2463 0 0 0 24114 8 0 0 20 0 28 0 97528798 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331459079824 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26282] ppid=26253 vsize=26671828 memory=7100839861465685612 CPUtime=241.85 cores=0-7
/proc/26258/task/26282/stat : 26282 (java) R 26253 26256 8183 0 -1 4202560 7723 0 0 0 24150 35 0 0 20 0 28 0 97528798 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331458027264 140332503475878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26283] ppid=26253 vsize=26671828 memory=-7175204567652784766 CPUtime=241.19 cores=0-7
/proc/26258/task/26283/stat : 26283 (java) S 26253 26256 8183 0 -1 1077944384 1058 0 0 0 24116 3 0 0 20 0 28 0 97528799 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331456974704 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26284] ppid=26253 vsize=26671828 memory=3054156605268465310 CPUtime=241.46 cores=0-7
/proc/26258/task/26284/stat : 26284 (java) S 26253 26256 8183 0 -1 1077944384 1782 0 0 0 24142 4 0 0 20 0 28 0 97528799 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331455922480 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26285] ppid=26253 vsize=26671828 memory=-8707038579349950309 CPUtime=240.39 cores=0-7
/proc/26258/task/26285/stat : 26285 (java) S 26253 26256 8183 0 -1 1077944384 1403 0 0 0 24036 3 0 0 20 0 28 0 97528799 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331454869056 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
[pid=26258/tid=26315] ppid=26253 vsize=26671828 memory=7822038051842261661 CPUtime=0 cores=0-7
/proc/26258/task/26315/stat : 26315 (java) S 26253 26256 8183 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 28 0 97553737 27311951872 1057063 33554432000 4194304 4196468 140721003137936 140331453821808 140332894078677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38707200 140721003140248 140721003140424 140721003140424 140721003143119 0
Current cumulated CPU time of completed processes: 0.00193 s
Current children cumulated CPU time: 1956.69 s
Current children cumulated vsize: 26671828 KiB
Current children cumulated memory: 4228252 KiB
Child status: 143
Real time (s): 252.184
CPU time (s): 1956.76
CPU user time (s): 1954.1
CPU system time (s): 2.65388
CPU usage (%): 775.923
Max. virtual memory (cumulated for all children) (KiB): 26671828
Max. memory (cumulated for all children) (KiB): 4229416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1954.1
system time used= 2.65388
maximum resident set size= 4228792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83763
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10834
involuntary context switches= 20479
# summary of solver processes directly reported to runsolver:
# pid: 26256,26258
# total CPU time (s): 1956.76
# total CPU user time (s): 1954.1
# total CPU system time (s): 2.65388
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.19514 second user time and 3.46777 second system time
The end
Begin job on node103 at 2017-08-13 18:59:05 IDJOB=4271490 IDBENCH=133709 IDSOLVER=2663 FILE ID=node103/4271490-1502644403 RUNJOBID= node103-1502637526-8210 PBS_JOBID= 20628330 Free space on /tmp= 61792 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r3.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-4271490-1502644403/watcher-4271490-1502644403 -o /tmp/evaluation-result-4271490-1502644403/solver-4271490-1502644403 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502637526-8210 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 688507441 HOME/instance-4271490-1502644403.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 35e588148f794a6a4a81576d123b10dc RANDOM SEED=688507441 node103.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.56 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.56 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.56 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.56 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: 31609212 kB MemAvailable: 31992820 kB Buffers: 109332 kB Cached: 568720 kB SwapCached: 0 kB Active: 525956 kB Inactive: 207716 kB Active(anon): 4776 kB Inactive(anon): 78632 kB Active(file): 521180 kB Inactive(file): 129084 kB Unevictable: 6420 kB Mlocked: 6420 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8320 kB Writeback: 0 kB AnonPages: 70752 kB Mapped: 43396 kB Shmem: 25228 kB Slab: 124336 kB SReclaimable: 98356 kB SUnreclaim: 25980 kB KernelStack: 3520 kB PageTables: 4736 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323388 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61784 MiB End job on node103 at 2017-08-13 19:03:17