| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-18) | ? (TO) | 20034.4 | 2520.1201 |
| Name | PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml |
| MD5SUM | e295f86f2e8232e9b7c8210bbc53418f |
| 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 | 1989 |
| Number of constraints | 97 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":1989}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 8 |
| Distribution of variable degrees | [{"degree":3,"count":3},{"degree":4,"count":193},{"degree":5,"count":403},{"degree":6,"count":674},{"degree":7,"count":657},{"degree":8,"count":59}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 1989 |
| Distribution of constraint arities | [{"arity":3,"count":1},{"arity":5,"count":1},{"arity":10,"count":1},{"arity":14,"count":1},{"arity":19,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":24,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":31,"count":2},{"arity":32,"count":2},{"arity":35,"count":2},{"arity":37,"count":3},{"arity":40,"count":1},{"arity":42,"count":3},{"arity":43,"count":1},{"arity":44,"count":3},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":1},{"arity":48,"count":3},{"arity":49,"count":1},{"arity":50,"count":1},{"arity":52,"count":2},"...",{"arity":93,"count":1}, {"arity":94,"count":1}, {"arity":96,"count":3}, {"arity":97,"count":1}, {"arity":102,"count":2}, {"arity":103,"count":1}, {"arity":104,"count":1}, {"arity":106,"count":1}, {"arity":108,"count":2}, {"arity":112,"count":2}, {"arity":114,"count":1}, {"arity":118,"count":1}, {"arity":121,"count":2}, {"arity":123,"count":1}, {"arity":125,"count":1}, {"arity":128,"count":1}, {"arity":129,"count":1}, {"arity":137,"count":1}, {"arity":152,"count":1}, {"arity":160,"count":1}, {"arity":163,"count":1}, {"arity":171,"count":1}, {"arity":218,"count":1}, {"arity":1011,"count":1}, {"arity":1989,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":97}] |
| 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-4280464-1503158552.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4280464-1503158552.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 2.05/0.78 c solve instance... 20033.55/2520.10 s UNKNOWN 20033.55/2520.10 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 (12704 MiB free)
memory of node 1: 16384 MiB (13860 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280464-1503158552/watcher-4280464-1503158552 -o /tmp/evaluation-result-4280464-1503158552/solver-4280464-1503158552 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503152222-9390 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1325346708 HOME/instance-4280464-1503158552.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=10208, runsolver pid=10205
[startup+0.10006 s]*
/proc/loadavg: 6.42 7.85 8.15 3/199 10229
/proc/meminfo: memFree=27187832/32770624 swapFree=67108860/67108860
[pid=10208] ppid=10205 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10208/stat : 10208 (xcsp3-exec) S 10205 10208 9363 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148942766 9740288 346 33554432000 4194304 5098028 140728838376544 140728838374648 140144404099708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32526336 140728838382692 140728838382903 140728838382903 140728838385643 0
/proc/10208/statm: 2378 346 289 221 0 87 0
[pid=10210] ppid=10208 vsize=25999808 memory=26364 CPUtime=0.11 cores=0-7
/proc/10210/stat : 10210 (java) S 10208 10208 9363 0 -1 1077944320 5472 0 0 0 10 1 0 0 20 0 20 0 148942766 26623803392 6591 33554432000 4194304 4196468 140732269439184 140732269421728 139789428567799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
/proc/10210/statm: 6499952 6591 2872 1 0 6488269 0
[pid=10210/tid=10211] ppid=10208 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/10210/task/10211/stat : 10211 (java) R 10208 10208 9363 0 -1 4202560 3478 0 0 0 8 0 0 0 20 0 20 0 148942767 26623803392 6591 33554432000 4194304 4196468 140732269439184 139789432783952 139789412611429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10212] ppid=10208 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10210/task/10212/stat : 10212 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942767 26623803392 6591 33554432000 4194304 4196468 140732269439184 139789381188496 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10213] ppid=10208 vsize=25999808 memory=139815561033344 CPUtime=0 cores=0-7
/proc/10210/task/10213/stat : 10213 (java) S 10208 10208 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148942767 26623803392 6591 33554432000 4194304 4196468 140732269439184 139789380135696 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10214] ppid=10208 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10214/stat : 10214 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942767 26623803392 6591 33554432000 4194304 4196468 140732269439184 139789379083408 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10215] ppid=10208 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10215/stat : 10215 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942767 26623803392 6591 33554432000 4194304 4196468 140732269439184 139789378030608 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10216] ppid=10208 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10216/stat : 10216 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942767 26623803392 6591 33554432000 4194304 4196468 140732269439184 139789376977296 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10217] ppid=10208 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10210/task/10217/stat : 10217 (java) S 10208 10208 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148942767 26623803392 6591 33554432000 4194304 4196468 140732269439184 139789375924496 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10218] ppid=10208 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10218/stat : 10218 (java) S 10208 10208 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148942767 26623803392 6591 33554432000 4194304 4196468 140732269439184 139788980451984 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10219] ppid=10208 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10219/stat : 10219 (java) S 10208 10208 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148942767 26623803392 6591 33554432000 4194304 4196468 140732269439184 139788979399184 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10220] ppid=10208 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10220/stat : 10220 (java) S 10208 10208 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148942769 26623803392 6591 33554432000 4194304 4196468 140732269439184 139788421110384 139789428578946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10221] ppid=10208 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10221/stat : 10221 (java) S 10208 10208 9363 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148942769 26623803392 6591 33554432000 4194304 4196468 140732269439184 139788420056352 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10222] ppid=10208 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10222/stat : 10222 (java) S 10208 10208 9363 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148942770 26623803392 6591 33554432000 4194304 4196468 140732269439184 139788419004016 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10223] ppid=10208 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10223/stat : 10223 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942772 26623803392 6591 33554432000 4194304 4196468 140732269439184 139788417952336 139789428586395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10224] ppid=10208 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10224/stat : 10224 (java) S 10208 10208 9363 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 20 0 148942772 26623803392 6591 33554432000 4194304 4196468 140732269439184 139788416899184 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10225] ppid=10208 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10225/stat : 10225 (java) S 10208 10208 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148942772 26623803392 6591 33554432000 4194304 4196468 140732269439184 139788415846384 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10226] ppid=10208 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10226/stat : 10226 (java) S 10208 10208 9363 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 148942772 26623803392 6591 33554432000 4194304 4196468 140732269439184 139788414794096 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10227] ppid=10208 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/10210/task/10227/stat : 10227 (java) S 10208 10208 9363 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 20 0 148942772 26623803392 6591 33554432000 4194304 4196468 140732269439184 139788413741296 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10228] ppid=10208 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10228/stat : 10228 (java) S 10208 10208 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148942772 26623803392 6591 33554432000 4194304 4196468 140732269439184 139788412689248 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10229] ppid=10208 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10210/task/10229/stat : 10229 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942772 26623803392 6591 33554432000 4194304 4196468 140732269439184 139788411636528 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27748 KiB
[startup+0.21034 s]*
/proc/loadavg: 6.07 7.75 8.12 3/199 10229
/proc/meminfo: memFree=27176172/32770624 swapFree=67108860/67108860
[pid=10208] ppid=10205 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10208/stat : 10208 (xcsp3-exec) S 10205 10208 9363 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148942766 9740288 346 33554432000 4194304 5098028 140728838376544 140728838374648 140144404099708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32526336 140728838382692 140728838382903 140728838382903 140728838385643 0
/proc/10208/statm: 2378 346 289 221 0 87 0
[pid=10210] ppid=10208 vsize=26004064 memory=39072 CPUtime=0.33 cores=0-7
/proc/10210/stat : 10210 (java) S 10208 10208 9363 0 -1 1077944320 8350 0 0 0 30 3 0 0 20 0 20 0 148942766 26628161536 9768 33554432000 4194304 4196468 140732269439184 140732269421728 139789428567799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
/proc/10210/statm: 6501016 9768 3034 1 0 6488269 0
[pid=10210/tid=10211] ppid=10208 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/10210/task/10211/stat : 10211 (java) R 10208 10208 9363 0 -1 4202560 5392 0 0 0 18 1 0 0 20 0 20 0 148942767 26628161536 9768 33554432000 4194304 4196468 140732269439184 139789432790880 139789428589725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10212] ppid=10208 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/10210/task/10212/stat : 10212 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942767 26628161536 9768 33554432000 4194304 4196468 140732269439184 139789381188496 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10213] ppid=10208 vsize=26004064 memory=139815561045327 CPUtime=0 cores=0-7
/proc/10210/task/10213/stat : 10213 (java) S 10208 10208 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148942767 26628161536 9768 33554432000 4194304 4196468 140732269439184 139789380135696 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10214] ppid=10208 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10210/task/10214/stat : 10214 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942767 26628161536 9768 33554432000 4194304 4196468 140732269439184 139789379083408 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10215] ppid=10208 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10215/stat : 10215 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942767 26628161536 9768 33554432000 4194304 4196468 140732269439184 139789378030608 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10216] ppid=10208 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10216/stat : 10216 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942767 26628161536 9768 33554432000 4194304 4196468 140732269439184 139789376977296 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10217] ppid=10208 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10210/task/10217/stat : 10217 (java) S 10208 10208 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148942767 26628161536 9768 33554432000 4194304 4196468 140732269439184 139789375924496 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10218] ppid=10208 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10218/stat : 10218 (java) S 10208 10208 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148942767 26628161536 9768 33554432000 4194304 4196468 140732269439184 139788980451984 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10219] ppid=10208 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10219/stat : 10219 (java) S 10208 10208 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148942767 26628161536 9768 33554432000 4194304 4196468 140732269439184 139788979399184 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10220] ppid=10208 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10220/stat : 10220 (java) S 10208 10208 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148942769 26628161536 9768 33554432000 4194304 4196468 140732269439184 139788421110384 139789428578946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10221] ppid=10208 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10221/stat : 10221 (java) S 10208 10208 9363 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148942769 26628161536 9768 33554432000 4194304 4196468 140732269439184 139788420056352 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10222] ppid=10208 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10222/stat : 10222 (java) S 10208 10208 9363 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148942770 26628161536 9768 33554432000 4194304 4196468 140732269439184 139788419004016 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10223] ppid=10208 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10223/stat : 10223 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942772 26628161536 9768 33554432000 4194304 4196468 140732269439184 139788417952336 139789428586395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10224] ppid=10208 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/10210/task/10224/stat : 10224 (java) S 10208 10208 9363 0 -1 1077944384 447 0 0 0 1 0 0 0 20 0 20 0 148942772 26628161536 9768 33554432000 4194304 4196468 140732269439184 139788416899184 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10225] ppid=10208 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/10210/task/10225/stat : 10225 (java) R 10208 10208 9363 0 -1 1077944384 311 0 0 0 1 0 0 0 20 0 20 0 148942772 26628161536 9768 33554432000 4194304 4196468 140732269439184 139788415846384 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10226] ppid=10208 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/10210/task/10226/stat : 10226 (java) S 10208 10208 9363 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 20 0 148942772 26628161536 9768 33554432000 4194304 4196468 140732269439184 139788414794192 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10227] ppid=10208 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/10210/task/10227/stat : 10227 (java) R 10208 10208 9363 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 20 0 148942772 26628161536 9768 33554432000 4194304 4196468 140732269439184 139788413741296 139789428579734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10228] ppid=10208 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10228/stat : 10228 (java) S 10208 10208 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148942772 26628161536 9768 33554432000 4194304 4196468 140732269439184 139788412689248 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10229] ppid=10208 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10210/task/10229/stat : 10229 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942772 26628161536 9768 33554432000 4194304 4196468 140732269439184 139788411636528 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40456 KiB
[startup+0.310248 s]*
/proc/loadavg: 6.07 7.75 8.12 5/199 10229
/proc/meminfo: memFree=27171892/32770624 swapFree=67108860/67108860
[pid=10208] ppid=10205 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10208/stat : 10208 (xcsp3-exec) S 10205 10208 9363 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148942766 9740288 346 33554432000 4194304 5098028 140728838376544 140728838374648 140144404099708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32526336 140728838382692 140728838382903 140728838382903 140728838385643 0
/proc/10208/statm: 2378 346 289 221 0 87 0
[pid=10210] ppid=10208 vsize=26004064 memory=46556 CPUtime=0.51 cores=0-7
/proc/10210/stat : 10210 (java) S 10208 10208 9363 0 -1 1077944320 9424 0 0 0 48 3 0 0 20 0 20 0 148942766 26628161536 11639 33554432000 4194304 4196468 140732269439184 140732269421728 139789428567799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
/proc/10210/statm: 6501016 11639 3061 1 0 6488269 0
[pid=10210/tid=10211] ppid=10208 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10210/task/10211/stat : 10211 (java) R 10208 10208 9363 0 -1 4202560 6085 0 0 0 27 2 0 0 20 0 20 0 148942767 26628161536 11639 33554432000 4194304 4196468 140732269439184 139789432790640 139789385169408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10212] ppid=10208 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10212/stat : 10212 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942767 26628161536 11639 33554432000 4194304 4196468 140732269439184 139789381188496 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10213] ppid=10208 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10213/stat : 10213 (java) S 10208 10208 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148942767 26628161536 11639 33554432000 4194304 4196468 140732269439184 139789380135696 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10214] ppid=10208 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10214/stat : 10214 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942767 26628161536 11639 33554432000 4194304 4196468 140732269439184 139789379083408 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10215] ppid=10208 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10215/stat : 10215 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942767 26628161536 11639 33554432000 4194304 4196468 140732269439184 139789378030608 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10216] ppid=10208 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/10210/task/10216/stat : 10216 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942767 26628161536 11639 33554432000 4194304 4196468 140732269439184 139789376977296 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10217] ppid=10208 vsize=26004064 memory=139815412659119 CPUtime=0 cores=0-7
/proc/10210/task/10217/stat : 10217 (java) S 10208 10208 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148942767 26628161536 11639 33554432000 4194304 4196468 140732269439184 139789375924496 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10218] ppid=10208 vsize=26004064 memory=139815412661424 CPUtime=0 cores=0-7
/proc/10210/task/10218/stat : 10218 (java) S 10208 10208 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148942767 26628161536 11639 33554432000 4194304 4196468 140732269439184 139788980451984 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10219] ppid=10208 vsize=26004064 memory=3472463713593832928 CPUtime=0 cores=0-7
/proc/10210/task/10219/stat : 10219 (java) S 10208 10208 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148942767 26628161536 11639 33554432000 4194304 4196468 140732269439184 139788979399184 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10220] ppid=10208 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10220/stat : 10220 (java) S 10208 10208 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148942769 26628161536 11639 33554432000 4194304 4196468 140732269439184 139788421110384 139789428578946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10221] ppid=10208 vsize=26004064 memory=279630825334416 CPUtime=0 cores=0-7
/proc/10210/task/10221/stat : 10221 (java) S 10208 10208 9363 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148942769 26628161536 11639 33554432000 4194304 4196468 140732269439184 139788420056352 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10222] ppid=10208 vsize=26004064 memory=279630825341328 CPUtime=0 cores=0-7
/proc/10210/task/10222/stat : 10222 (java) S 10208 10208 9363 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148942770 26628161536 11639 33554432000 4194304 4196468 140732269439184 139788419004016 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10223] ppid=10208 vsize=26004064 memory=279630825282480 CPUtime=0 cores=0-7
/proc/10210/task/10223/stat : 10223 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942772 26628161536 11639 33554432000 4194304 4196468 140732269439184 139788417952336 139789428586395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10224] ppid=10208 vsize=26004064 memory=279630825355152 CPUtime=0.01 cores=0-7
/proc/10210/task/10224/stat : 10224 (java) S 10208 10208 9363 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 20 0 148942772 26628161536 11639 33554432000 4194304 4196468 140732269439184 139788416899184 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10225] ppid=10208 vsize=26004064 memory=279630825362064 CPUtime=0.02 cores=0-7
/proc/10210/task/10225/stat : 10225 (java) R 10208 10208 9363 0 -1 4202560 462 0 0 0 2 0 0 0 20 0 20 0 148942772 26628161536 11639 33554432000 4194304 4196468 140732269439184 139788415836768 139789412965043 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10226] ppid=10208 vsize=26004064 memory=279630825359760 CPUtime=0.02 cores=0-7
/proc/10210/task/10226/stat : 10226 (java) S 10208 10208 9363 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 20 0 148942772 26628161536 11639 33554432000 4194304 4196468 140732269439184 139788414794096 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10227] ppid=10208 vsize=26004064 memory=279630825375920 CPUtime=0.13 cores=0-7
/proc/10210/task/10227/stat : 10227 (java) R 10208 10208 9363 0 -1 4202560 952 0 0 0 13 0 0 0 20 0 20 0 148942772 26628161536 11639 33554432000 4194304 4196468 140732269439184 139788413738472 139789407529541 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10228] ppid=10208 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10228/stat : 10228 (java) S 10208 10208 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148942772 26628161536 11639 33554432000 4194304 4196468 140732269439184 139788412689248 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10229] ppid=10208 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10210/task/10229/stat : 10229 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942772 26628161536 11639 33554432000 4194304 4196468 140732269439184 139788411636528 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47940 KiB
[startup+0.701063 s]
/proc/loadavg: 6.07 7.75 8.12 6/199 10229
/proc/meminfo: memFree=27146456/32770624 swapFree=67108860/67108860
[pid=10208] ppid=10205 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10208/stat : 10208 (xcsp3-exec) S 10205 10208 9363 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148942766 9740288 346 33554432000 4194304 5098028 140728838376544 140728838374648 140144404099708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32526336 140728838382692 140728838382903 140728838382903 140728838385643 0
/proc/10208/statm: 2378 346 289 221 0 87 0
[pid=10210] ppid=10208 vsize=26006188 memory=134508 CPUtime=2.05 cores=0-7
/proc/10210/stat : 10210 (java) S 10208 10208 9363 0 -1 1077944320 16122 0 0 0 199 6 0 0 20 0 20 0 148942766 26630336512 33627 33554432000 4194304 4196468 140732269439184 140732269421728 139789428567799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
/proc/10210/statm: 6501547 33627 3218 1 0 6488781 0
[pid=10210/tid=10211] ppid=10208 vsize=26006188 memory=279630825733808 CPUtime=0.67 cores=0-7
/proc/10210/task/10211/stat : 10211 (java) R 10208 10208 9363 0 -1 4202560 6711 0 0 0 64 3 0 0 20 0 20 0 148942767 26630336512 33627 33554432000 4194304 4196468 140732269439184 139789432804960 139789421245813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10212] ppid=10208 vsize=26006188 memory=139815412867952 CPUtime=0 cores=0-7
/proc/10210/task/10212/stat : 10212 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942767 26630336512 33627 33554432000 4194304 4196468 140732269439184 139789381188496 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10213] ppid=10208 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/10210/task/10213/stat : 10213 (java) S 10208 10208 9363 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148942767 26630336512 33627 33554432000 4194304 4196468 140732269439184 139789380135696 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10214] ppid=10208 vsize=26006188 memory=11108 CPUtime=0 cores=0-7
/proc/10210/task/10214/stat : 10214 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148942767 26630336512 33627 33554432000 4194304 4196468 140732269439184 139789379083408 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
################
# More data... #
################
[pid=10210/tid=10237] ppid=10208 vsize=26538700 memory=1928 CPUtime=2419.11 cores=0-7
/proc/10210/task/10237/stat : 10237 (java) R 10208 10208 9363 0 -1 4202560 18196 0 0 0 241898 13 0 0 20 0 28 0 148942847 27175628800 103802 33554432000 4194304 4196468 140732269439184 139788396756032 140732269492456 0 4 0 16800975 0 0 0 -1 5 0 0 23 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
Current children cumulated CPU time: 19416.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 416592 KiB
[startup+2502.31 s]
/proc/loadavg: 8.25 8.28 8.25 9/207 10297
/proc/meminfo: memFree=26799424/32770624 swapFree=67108860/67108860
[pid=10208] ppid=10205 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10208/stat : 10208 (xcsp3-exec) S 10205 10208 9363 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148942766 9740288 346 33554432000 4194304 5098028 140728838376544 140728838374648 140144404099708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32526336 140728838382692 140728838382903 140728838382903 140728838385643 0
/proc/10208/statm: 2378 346 289 221 0 87 0
[pid=10210] ppid=10208 vsize=26538700 memory=409848 CPUtime=19893.1 cores=0-7
/proc/10210/stat : 10210 (java) S 10208 10208 9363 0 -1 1077944320 707404 0 0 0 1988797 509 0 0 20 0 28 0 148942766 27175628800 102462 33554432000 4194304 4196468 140732269439184 140732269421728 139789428567799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
/proc/10210/statm: 6634675 102462 3298 1 0 6621909 0
[pid=10210/tid=10211] ppid=10208 vsize=26538700 memory=1384 CPUtime=0.77 cores=0-7
/proc/10210/task/10211/stat : 10211 (java) S 10208 10208 9363 0 -1 1077944384 6796 0 0 0 74 3 0 0 20 0 28 0 148942767 27175628800 102462 33554432000 4194304 4196468 140732269439184 139789432808576 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10212] ppid=10208 vsize=26538700 memory=4132 CPUtime=4.96 cores=0-7
/proc/10210/task/10212/stat : 10212 (java) S 10208 10208 9363 0 -1 1077944384 31479 0 0 0 473 23 0 0 20 0 28 0 148942767 27175628800 102462 33554432000 4194304 4196468 140732269439184 139789381188496 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10213] ppid=10208 vsize=26538700 memory=409848 CPUtime=5 cores=0-7
/proc/10210/task/10213/stat : 10213 (java) S 10208 10208 9363 0 -1 1077944384 32350 0 0 0 475 25 0 0 20 0 28 0 148942767 27175628800 102462 33554432000 4194304 4196468 140732269439184 139789380135696 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10214] ppid=10208 vsize=26538700 memory=242388 CPUtime=4.98 cores=0-7
/proc/10210/task/10214/stat : 10214 (java) S 10208 10208 9363 0 -1 1077944384 32439 0 0 0 474 24 0 0 20 0 28 0 148942767 27175628800 102462 33554432000 4194304 4196468 140732269439184 139789379083408 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10215] ppid=10208 vsize=26538700 memory=242031 CPUtime=5.01 cores=0-7
/proc/10210/task/10215/stat : 10215 (java) S 10208 10208 9363 0 -1 1077944384 32147 0 0 0 478 23 0 0 20 0 28 0 148942767 27175628800 102462 33554432000 4194304 4196468 140732269439184 139789378030608 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10216] ppid=10208 vsize=26538700 memory=415432 CPUtime=5.02 cores=0-7
/proc/10210/task/10216/stat : 10216 (java) S 10208 10208 9363 0 -1 1077944384 28570 0 0 0 479 23 0 0 20 0 28 0 148942767 27175628800 102462 33554432000 4194304 4196468 140732269439184 139789376977296 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10217] ppid=10208 vsize=26538700 memory=415208 CPUtime=5 cores=0-7
/proc/10210/task/10217/stat : 10217 (java) S 10208 10208 9363 0 -1 1077944384 30194 0 0 0 475 25 0 0 20 0 28 0 148942767 27175628800 102462 33554432000 4194304 4196468 140732269439184 139789375924496 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10218] ppid=10208 vsize=26538700 memory=6791534058613427641 CPUtime=4.97 cores=0-7
/proc/10210/task/10218/stat : 10218 (java) S 10208 10208 9363 0 -1 1077944384 27298 0 0 0 473 24 0 0 20 0 28 0 148942767 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788980451984 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10219] ppid=10208 vsize=26538700 memory=920 CPUtime=4.98 cores=0-7
/proc/10210/task/10219/stat : 10219 (java) S 10208 10208 9363 0 -1 1077944384 27431 0 0 0 474 24 0 0 20 0 28 0 148942767 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788979399184 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10220] ppid=10208 vsize=26538700 memory=1384 CPUtime=3.71 cores=0-7
/proc/10210/task/10220/stat : 10220 (java) S 10208 10208 9363 0 -1 1077944384 84118 0 0 0 271 100 0 0 20 0 28 0 148942769 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788421110384 139789428578946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10221] ppid=10208 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/10210/task/10221/stat : 10221 (java) S 10208 10208 9363 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 148942769 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788420056416 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10222] ppid=10208 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/10210/task/10222/stat : 10222 (java) S 10208 10208 9363 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 148942770 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788419004032 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10223] ppid=10208 vsize=26538700 memory=576980 CPUtime=0 cores=0-7
/proc/10210/task/10223/stat : 10223 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148942772 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788417952336 139789428586395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10224] ppid=10208 vsize=26538700 memory=498812 CPUtime=1.84 cores=0-7
/proc/10210/task/10224/stat : 10224 (java) S 10208 10208 9363 0 -1 1077944384 10070 0 0 0 182 2 0 0 20 0 28 0 148942772 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788416899184 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10225] ppid=10208 vsize=26538700 memory=1384 CPUtime=1.69 cores=0-7
/proc/10210/task/10225/stat : 10225 (java) S 10208 10208 9363 0 -1 1077944384 9207 0 0 0 167 2 0 0 20 0 28 0 148942772 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788415846384 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10226] ppid=10208 vsize=26538700 memory=1384 CPUtime=1.61 cores=0-7
/proc/10210/task/10226/stat : 10226 (java) S 10208 10208 9363 0 -1 1077944384 7608 0 0 0 160 1 0 0 20 0 28 0 148942772 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788414794096 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10227] ppid=10208 vsize=26538700 memory=1384 CPUtime=0.68 cores=0-7
/proc/10210/task/10227/stat : 10227 (java) S 10208 10208 9363 0 -1 1077944384 7746 0 0 0 67 1 0 0 20 0 28 0 148942772 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788413741296 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10228] ppid=10208 vsize=26538700 memory=4132 CPUtime=0 cores=0-7
/proc/10210/task/10228/stat : 10228 (java) S 10208 10208 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148942772 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788412689248 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10229] ppid=10208 vsize=26538700 memory=1384 CPUtime=0.48 cores=0-7
/proc/10210/task/10229/stat : 10229 (java) S 10208 10208 9363 0 -1 1077944384 5553 0 0 0 16 32 0 0 20 0 28 0 148942772 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788411636528 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10230] ppid=10208 vsize=26538700 memory=2408 CPUtime=2480.69 cores=0-7
/proc/10210/task/10230/stat : 10230 (java) R 10208 10208 9363 0 -1 4202560 18023 0 0 0 248053 16 0 0 20 0 28 0 148942846 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788404123984 139789061570588 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10231] ppid=10208 vsize=26538700 memory=1728 CPUtime=2481.16 cores=0-7
/proc/10210/task/10231/stat : 10231 (java) R 10208 10208 9363 0 -1 4202560 17960 0 0 0 248104 12 0 0 20 0 28 0 148942846 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788403069928 139789060868891 0 4 0 16800975 0 0 0 -1 4 0 0 28 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10232] ppid=10208 vsize=26538700 memory=1384 CPUtime=2484.63 cores=0-7
/proc/10210/task/10232/stat : 10232 (java) R 10208 10208 9363 0 -1 4202560 34595 0 0 0 248445 18 0 0 20 0 28 0 148942846 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788402016520 139789060868064 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10233] ppid=10208 vsize=26538700 memory=4132 CPUtime=2478.3 cores=0-7
/proc/10210/task/10233/stat : 10233 (java) R 10208 10208 9363 0 -1 4202560 86446 0 0 0 247779 51 0 0 20 0 28 0 148942846 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788400963832 139789056695808 0 4 0 16800975 0 0 0 -1 1 0 0 22 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10234] ppid=10208 vsize=26538700 memory=41384 CPUtime=2480.7 cores=0-7
/proc/10210/task/10234/stat : 10234 (java) R 10208 10208 9363 0 -1 4202560 37447 0 0 0 248039 31 0 0 20 0 28 0 148942846 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788399911560 139789060868285 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10235] ppid=10208 vsize=26538700 memory=1296 CPUtime=2477.05 cores=0-7
/proc/10210/task/10235/stat : 10235 (java) R 10208 10208 9363 0 -1 4202560 103847 0 0 0 247633 72 0 0 20 0 28 0 148942846 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788398857408 139789062681455 0 4 0 16800975 0 0 0 -1 5 0 0 21 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10236] ppid=10208 vsize=26538700 memory=1384 CPUtime=2481.08 cores=0-7
/proc/10210/task/10236/stat : 10236 (java) R 10208 10208 9363 0 -1 4202560 16403 0 0 0 248096 12 0 0 20 0 28 0 148942846 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788397806440 139789060868713 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10237] ppid=10208 vsize=26538700 memory=1384 CPUtime=2478.54 cores=0-7
/proc/10210/task/10237/stat : 10237 (java) R 10208 10208 9363 0 -1 4202560 18354 0 0 0 247841 13 0 0 20 0 28 0 148942847 27175628800 102462 33554432000 4194304 4196468 140732269439184 139788396753072 139789062131218 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
Current children cumulated CPU time: 19893.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 411232 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.19 8.27 8.24 9/208 10305
/proc/meminfo: memFree=26791568/32770624 swapFree=67108860/67108860
[pid=10208] ppid=10205 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/10208/stat : 10208 (xcsp3-exec) S 10205 10208 9363 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 148942766 9740288 346 33554432000 4194304 5098028 140728838376544 140728838374648 140144404099708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32526336 140728838382692 140728838382903 140728838382903 140728838385643 0
/proc/10208/statm: 2378 346 289 221 0 87 0
[pid=10210] ppid=10208 vsize=26538700 memory=415964 CPUtime=20033.6 cores=0-7
/proc/10210/stat : 10210 (java) S 10208 10208 9363 0 -1 1077944320 722996 0 0 0 2002839 516 0 0 20 0 28 0 148942766 27175628800 103991 33554432000 4194304 4196468 140732269439184 140732269421728 139789428567799 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
/proc/10210/statm: 6634675 103991 3298 1 0 6621909 0
[pid=10210/tid=10211] ppid=10208 vsize=26538700 memory=6791534058613427641 CPUtime=0.77 cores=0-7
/proc/10210/task/10211/stat : 10211 (java) S 10208 10208 9363 0 -1 1077944384 6796 0 0 0 74 3 0 0 20 0 28 0 148942767 27175628800 103991 33554432000 4194304 4196468 140732269439184 139789432808576 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10212] ppid=10208 vsize=26538700 memory=4872558044660077418 CPUtime=5.02 cores=0-7
/proc/10210/task/10212/stat : 10212 (java) S 10208 10208 9363 0 -1 1077944384 32005 0 0 0 479 23 0 0 20 0 28 0 148942767 27175628800 103991 33554432000 4194304 4196468 140732269439184 139789381188496 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10213] ppid=10208 vsize=26538700 memory=23864 CPUtime=5.06 cores=0-7
/proc/10210/task/10213/stat : 10213 (java) S 10208 10208 9363 0 -1 1077944384 32596 0 0 0 481 25 0 0 20 0 28 0 148942767 27175628800 103991 33554432000 4194304 4196468 140732269439184 139789380135696 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10214] ppid=10208 vsize=26538700 memory=18444 CPUtime=5.04 cores=0-7
/proc/10210/task/10214/stat : 10214 (java) S 10208 10208 9363 0 -1 1077944384 32646 0 0 0 479 25 0 0 20 0 28 0 148942767 27175628800 103991 33554432000 4194304 4196468 140732269439184 139789379083408 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10215] ppid=10208 vsize=26538700 memory=1788 CPUtime=5.07 cores=0-7
/proc/10210/task/10215/stat : 10215 (java) S 10208 10208 9363 0 -1 1077944384 32435 0 0 0 484 23 0 0 20 0 28 0 148942767 27175628800 103991 33554432000 4194304 4196468 140732269439184 139789378030608 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10216] ppid=10208 vsize=26538700 memory=2200 CPUtime=5.08 cores=0-7
/proc/10210/task/10216/stat : 10216 (java) S 10208 10208 9363 0 -1 1077944384 29007 0 0 0 485 23 0 0 20 0 28 0 148942767 27175628800 103991 33554432000 4194304 4196468 140732269439184 139789376977296 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10217] ppid=10208 vsize=26538700 memory=7284 CPUtime=5.06 cores=0-7
/proc/10210/task/10217/stat : 10217 (java) S 10208 10208 9363 0 -1 1077944384 30615 0 0 0 481 25 0 0 20 0 28 0 148942767 27175628800 103991 33554432000 4194304 4196468 140732269439184 139789375924496 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10218] ppid=10208 vsize=26538700 memory=836 CPUtime=5.03 cores=0-7
/proc/10210/task/10218/stat : 10218 (java) S 10208 10208 9363 0 -1 1077944384 27712 0 0 0 479 24 0 0 20 0 28 0 148942767 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788980451984 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10219] ppid=10208 vsize=26538700 memory=1696 CPUtime=5.03 cores=0-7
/proc/10210/task/10219/stat : 10219 (java) S 10208 10208 9363 0 -1 1077944384 27894 0 0 0 479 24 0 0 20 0 28 0 148942767 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788979399184 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10220] ppid=10208 vsize=26538700 memory=920 CPUtime=3.76 cores=0-7
/proc/10210/task/10220/stat : 10220 (java) S 10208 10208 9363 0 -1 1077944384 85039 0 0 0 274 102 0 0 20 0 28 0 148942769 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788421110384 139789428578946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10221] ppid=10208 vsize=26538700 memory=4180 CPUtime=0 cores=0-7
/proc/10210/task/10221/stat : 10221 (java) S 10208 10208 9363 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 148942769 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788420056416 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10222] ppid=10208 vsize=26538700 memory=4104 CPUtime=0 cores=0-7
/proc/10210/task/10222/stat : 10222 (java) S 10208 10208 9363 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 148942770 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788419004032 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10223] ppid=10208 vsize=26538700 memory=1156 CPUtime=0 cores=0-7
/proc/10210/task/10223/stat : 10223 (java) S 10208 10208 9363 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148942772 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788417952336 139789428586395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10224] ppid=10208 vsize=26538700 memory=3768 CPUtime=1.84 cores=0-7
/proc/10210/task/10224/stat : 10224 (java) S 10208 10208 9363 0 -1 1077944384 10076 0 0 0 182 2 0 0 20 0 28 0 148942772 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788416899184 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10225] ppid=10208 vsize=26538700 memory=4616 CPUtime=1.69 cores=0-7
/proc/10210/task/10225/stat : 10225 (java) S 10208 10208 9363 0 -1 1077944384 9213 0 0 0 167 2 0 0 20 0 28 0 148942772 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788415846384 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10226] ppid=10208 vsize=26538700 memory=1228 CPUtime=1.61 cores=0-7
/proc/10210/task/10226/stat : 10226 (java) S 10208 10208 9363 0 -1 1077944384 7614 0 0 0 160 1 0 0 20 0 28 0 148942772 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788414794096 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10227] ppid=10208 vsize=26538700 memory=11108 CPUtime=0.68 cores=0-7
/proc/10210/task/10227/stat : 10227 (java) S 10208 10208 9363 0 -1 1077944384 7752 0 0 0 67 1 0 0 20 0 28 0 148942772 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788413741296 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10228] ppid=10208 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/10210/task/10228/stat : 10228 (java) S 10208 10208 9363 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148942772 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788412689248 139789428578005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10229] ppid=10208 vsize=26538700 memory=1424 CPUtime=0.48 cores=0-7
/proc/10210/task/10229/stat : 10229 (java) S 10208 10208 9363 0 -1 1077944384 5607 0 0 0 16 32 0 0 20 0 28 0 148942772 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788411636528 139789428578946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10230] ppid=10208 vsize=26538700 memory=15876 CPUtime=2498.22 cores=0-7
/proc/10210/task/10230/stat : 10230 (java) R 10208 10208 9363 0 -1 4202560 18276 0 0 0 249806 16 0 0 20 0 28 0 148942846 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788404123984 139789061569973 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10231] ppid=10208 vsize=26538700 memory=4052 CPUtime=2498.7 cores=0-7
/proc/10210/task/10231/stat : 10231 (java) R 10208 10208 9363 0 -1 4202560 18203 0 0 0 249858 12 0 0 20 0 28 0 148942846 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788403069048 139789060868718 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10232] ppid=10208 vsize=26538700 memory=23864 CPUtime=2502.2 cores=0-7
/proc/10210/task/10232/stat : 10232 (java) R 10208 10208 9363 0 -1 4202560 35327 0 0 0 250202 18 0 0 20 0 28 0 148942846 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788402016000 139789062682438 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10233] ppid=10208 vsize=26538700 memory=18444 CPUtime=2495.78 cores=0-7
/proc/10210/task/10233/stat : 10233 (java) R 10208 10208 9363 0 -1 4202560 90804 0 0 0 249526 52 0 0 20 0 28 0 148942846 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788400962992 139789063609593 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10234] ppid=10208 vsize=26538700 memory=1384 CPUtime=2498.1 cores=0-7
/proc/10210/task/10234/stat : 10234 (java) R 10208 10208 9363 0 -1 4202560 38148 0 0 0 249779 31 0 0 20 0 28 0 148942846 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788399910784 139789062680119 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10235] ppid=10208 vsize=26538700 memory=416476 CPUtime=2494.5 cores=0-7
/proc/10210/task/10235/stat : 10235 (java) R 10208 10208 9363 0 -1 4202560 108503 0 0 0 249376 74 0 0 20 0 28 0 148942846 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788398857408 139789063804101 0 4 0 16800975 0 0 0 -1 4 0 0 22 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10236] ppid=10208 vsize=26538700 memory=952 CPUtime=2498.56 cores=0-7
/proc/10210/task/10236/stat : 10236 (java) R 10208 10208 9363 0 -1 4202560 16555 0 0 0 249844 12 0 0 20 0 28 0 148942846 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788397806520 139789061402326 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
[pid=10210/tid=10237] ppid=10208 vsize=26538700 memory=1236 CPUtime=2496.07 cores=0-7
/proc/10210/task/10237/stat : 10237 (java) R 10208 10208 9363 0 -1 4202560 18850 0 0 0 249593 14 0 0 20 0 28 0 148942847 27175628800 103991 33554432000 4194304 4196468 140732269439184 139788396753160 139789061132495 0 4 0 16800975 0 0 0 -1 6 0 0 23 0 0 6293624 6294260 34103296 140732269446290 140732269446467 140732269446467 140732269449167 0
Current children cumulated CPU time: 20033.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 417348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 10208 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000923 s, system=0.000923 s
[startup+2520.12 s]
# the end of solver process 10210 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20029.2 s, system=5.17464 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
Child status: 143
Real time (s): 2520.12
CPU time (s): 20034.4
CPU user time (s): 20029.2
CPU system time (s): 5.17464
CPU usage (%): 794.978
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1150808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20029.2
system time used= 5.17464
maximum resident set size= 1157616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 723729
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 275171
involuntary context switches= 210936
# summary of solver processes directly reported to runsolver:
# pid: 10208,10210
# total CPU time (s): 20034.4
# total CPU user time (s): 20029.2
# total CPU system time (s): 5.17464
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.9483 second user time and 22.6741 second system time
The end
Begin job on node115 at 2017-08-19 17:48:12 IDJOB=4280464 IDBENCH=135432 IDSOLVER=2675 FILE ID=node115/4280464-1503158552 RUNJOBID= node115-1503152222-9390 PBS_JOBID= 20630812 Free space on /tmp= 61868 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-mps/Pb-mps-v2-20-10-l152lav.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-4280464-1503158552/watcher-4280464-1503158552 -o /tmp/evaluation-result-4280464-1503158552/solver-4280464-1503158552 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503152222-9390 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1325346708 HOME/instance-4280464-1503158552.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e295f86f2e8232e9b7c8210bbc53418f RANDOM SEED=1325346708 node115.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.69 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.69 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.69 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.69 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: 27203432 kB MemAvailable: 31974832 kB Buffers: 242928 kB Cached: 4821332 kB SwapCached: 0 kB Active: 895932 kB Inactive: 4223552 kB Active(anon): 5964 kB Inactive(anon): 85196 kB Active(file): 889968 kB Inactive(file): 4138356 kB Unevictable: 7036 kB Mlocked: 7036 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7692 kB Writeback: 0 kB AnonPages: 62264 kB Mapped: 51024 kB Shmem: 33416 kB Slab: 144496 kB SReclaimable: 117824 kB SUnreclaim: 26672 kB KernelStack: 3152 kB PageTables: 4760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332552 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61860 MiB End job on node115 at 2017-08-19 18:30:12