| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-09) | ? (TO) | 20058.301 | 2520.0801 |
| 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-4270654-1502774853.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4270654-1502774853.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.26 c parse instance... 2.07/0.78 c solve instance... 20057.83/2520.05 s UNKNOWN 20057.83/2520.05 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 (13317 MiB free)
memory of node 1: 16384 MiB (13786 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270654-1502774853/watcher-4270654-1502774853 -o /tmp/evaluation-result-4270654-1502774853/solver-4270654-1502774853 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502773987-13167 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 847565205 HOME/instance-4270654-1502774853.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=13390, runsolver pid=13387
[startup+0.105162 s]*
/proc/loadavg: 7.39 8.39 8.59 2/199 13411
/proc/meminfo: memFree=27739324/32770624 swapFree=67108860/67108860
[pid=13390] ppid=13387 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13390/stat : 13390 (xcsp3-exec) S 13387 13390 13140 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110566180 9740288 346 33554432000 4194304 5098028 140722249121472 140722249119576 140212608389756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30629888 140722249127013 140722249127223 140722249127223 140722249129963 0
/proc/13390/statm: 2378 346 289 221 0 87 0
[pid=13392] ppid=13390 vsize=25999808 memory=27052 CPUtime=0.12 cores=0-7
/proc/13392/stat : 13392 (java) S 13390 13390 13140 0 -1 1077944320 5721 0 0 0 11 1 0 0 20 0 20 0 110566181 26623803392 6763 33554432000 4194304 4196468 140733129652208 140733129634752 140412068130551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
/proc/13392/statm: 6499952 6763 2869 1 0 6488269 0
[pid=13392/tid=13393] ppid=13390 vsize=25999808 memory=7896950279733418912 CPUtime=0.09 cores=0-7
/proc/13392/task/13393/stat : 13393 (java) R 13390 13390 13140 0 -1 4202560 3647 0 0 0 9 0 0 0 20 0 20 0 110566181 26623803392 6763 33554432000 4194304 4196468 140733129652208 140412072363824 140412068152477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13394] ppid=13390 vsize=25999808 memory=732370446961249253 CPUtime=0 cores=0-7
/proc/13392/task/13394/stat : 13394 (java) S 13390 13390 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110566182 26623803392 6763 33554432000 4194304 4196468 140733129652208 140412020751504 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13395] ppid=13390 vsize=25999808 memory=140308623795840 CPUtime=0 cores=0-7
/proc/13392/task/13395/stat : 13395 (java) S 13390 13390 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110566182 26623803392 6763 33554432000 4194304 4196468 140733129652208 140412019698704 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13396] ppid=13390 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13396/stat : 13396 (java) S 13390 13390 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110566182 26623803392 6763 33554432000 4194304 4196468 140733129652208 140412018645904 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13397] ppid=13390 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13397/stat : 13397 (java) S 13390 13390 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110566182 26623803392 6763 33554432000 4194304 4196468 140733129652208 140412017593104 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13398] ppid=13390 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13398/stat : 13398 (java) S 13390 13390 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110566182 26623803392 6763 33554432000 4194304 4196468 140733129652208 140412016540304 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13399] ppid=13390 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13392/task/13399/stat : 13399 (java) S 13390 13390 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110566182 26623803392 6763 33554432000 4194304 4196468 140733129652208 140412015487504 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13400] ppid=13390 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13400/stat : 13400 (java) S 13390 13390 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110566182 26623803392 6763 33554432000 4194304 4196468 140733129652208 140412014434704 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13401] ppid=13390 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13401/stat : 13401 (java) S 13390 13390 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110566182 26623803392 6763 33554432000 4194304 4196468 140733129652208 140412013381904 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13402] ppid=13390 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13402/stat : 13402 (java) S 13390 13390 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110566183 26623803392 6763 33554432000 4194304 4196468 140733129652208 140410273221488 140412068141698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13403] ppid=13390 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13403/stat : 13403 (java) S 13390 13390 13140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110566184 26623803392 6763 33554432000 4194304 4196468 140733129652208 140410272167456 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13404] ppid=13390 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13404/stat : 13404 (java) S 13390 13390 13140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110566184 26623803392 6763 33554432000 4194304 4196468 140733129652208 140410271114608 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13405] ppid=13390 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13405/stat : 13405 (java) S 13390 13390 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110566186 26623803392 6763 33554432000 4194304 4196468 140733129652208 140410270062928 140412068149147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13406] ppid=13390 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13406/stat : 13406 (java) S 13390 13390 13140 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 110566186 26623803392 6763 33554432000 4194304 4196468 140733129652208 140410269010288 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13407] ppid=13390 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13407/stat : 13407 (java) S 13390 13390 13140 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 110566186 26623803392 6763 33554432000 4194304 4196468 140733129652208 140410267957488 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13408] ppid=13390 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13408/stat : 13408 (java) S 13390 13390 13140 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 110566187 26623803392 6763 33554432000 4194304 4196468 140733129652208 140410266904688 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13409] ppid=13390 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/13392/task/13409/stat : 13409 (java) S 13390 13390 13140 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 20 0 110566187 26623803392 6763 33554432000 4194304 4196468 140733129652208 140409795766256 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13410] ppid=13390 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13410/stat : 13410 (java) S 13390 13390 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110566187 26623803392 6763 33554432000 4194304 4196468 140733129652208 140409794714720 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13411] ppid=13390 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13392/task/13411/stat : 13411 (java) S 13390 13390 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110566187 26623803392 6763 33554432000 4194304 4196468 140733129652208 140409793662000 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28436 KiB
[startup+0.210532 s]*
/proc/loadavg: 7.39 8.39 8.59 2/199 13411
/proc/meminfo: memFree=27728532/32770624 swapFree=67108860/67108860
[pid=13390] ppid=13387 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13390/stat : 13390 (xcsp3-exec) S 13387 13390 13140 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110566180 9740288 346 33554432000 4194304 5098028 140722249121472 140722249119576 140212608389756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30629888 140722249127013 140722249127223 140722249127223 140722249129963 0
/proc/13390/statm: 2378 346 289 221 0 87 0
[pid=13392] ppid=13390 vsize=26004064 memory=38720 CPUtime=0.33 cores=0-7
/proc/13392/stat : 13392 (java) S 13390 13390 13140 0 -1 1077944320 8303 0 0 0 31 2 0 0 20 0 20 0 110566181 26628161536 9680 33554432000 4194304 4196468 140733129652208 140733129634752 140412068130551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
/proc/13392/statm: 6501016 9680 3007 1 0 6488269 0
[pid=13392/tid=13393] ppid=13390 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/13392/task/13393/stat : 13393 (java) R 13390 13390 13140 0 -1 4202560 5436 0 0 0 18 1 0 0 20 0 20 0 110566181 26628161536 9680 33554432000 4194304 4196468 140733129652208 140412072353376 140412068152477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13394] ppid=13390 vsize=26004064 memory=280617085183736 CPUtime=0 cores=0-7
/proc/13392/task/13394/stat : 13394 (java) S 13390 13390 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110566182 26628161536 9680 33554432000 4194304 4196468 140733129652208 140412020751504 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13395] ppid=13390 vsize=26004064 memory=140308623795840 CPUtime=0 cores=0-7
/proc/13392/task/13395/stat : 13395 (java) S 13390 13390 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110566182 26628161536 9680 33554432000 4194304 4196468 140733129652208 140412019698704 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13396] ppid=13390 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13396/stat : 13396 (java) S 13390 13390 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110566182 26628161536 9680 33554432000 4194304 4196468 140733129652208 140412018645904 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13397] ppid=13390 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13397/stat : 13397 (java) S 13390 13390 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110566182 26628161536 9680 33554432000 4194304 4196468 140733129652208 140412017593104 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13398] ppid=13390 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13398/stat : 13398 (java) S 13390 13390 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110566182 26628161536 9680 33554432000 4194304 4196468 140733129652208 140412016540304 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13399] ppid=13390 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13392/task/13399/stat : 13399 (java) S 13390 13390 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110566182 26628161536 9680 33554432000 4194304 4196468 140733129652208 140412015487504 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13400] ppid=13390 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13400/stat : 13400 (java) S 13390 13390 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110566182 26628161536 9680 33554432000 4194304 4196468 140733129652208 140412014434704 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13401] ppid=13390 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13401/stat : 13401 (java) S 13390 13390 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110566182 26628161536 9680 33554432000 4194304 4196468 140733129652208 140412013381904 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13402] ppid=13390 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13402/stat : 13402 (java) S 13390 13390 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110566183 26628161536 9680 33554432000 4194304 4196468 140733129652208 140410273221488 140412068141698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13403] ppid=13390 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13403/stat : 13403 (java) S 13390 13390 13140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110566184 26628161536 9680 33554432000 4194304 4196468 140733129652208 140410272167456 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13404] ppid=13390 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13404/stat : 13404 (java) S 13390 13390 13140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110566184 26628161536 9680 33554432000 4194304 4196468 140733129652208 140410271114608 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13405] ppid=13390 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13405/stat : 13405 (java) S 13390 13390 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110566186 26628161536 9680 33554432000 4194304 4196468 140733129652208 140410270062928 140412068149147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13406] ppid=13390 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/13392/task/13406/stat : 13406 (java) R 13390 13390 13140 0 -1 4202560 454 0 0 0 2 0 0 0 20 0 20 0 110566186 26628161536 9680 33554432000 4194304 4196468 140733129652208 140410269010288 140412068151898 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13407] ppid=13390 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/13392/task/13407/stat : 13407 (java) S 13390 13390 13140 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 20 0 110566186 26628161536 9680 33554432000 4194304 4196468 140733129652208 140410267957488 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13408] ppid=13390 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/13392/task/13408/stat : 13408 (java) S 13390 13390 13140 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 20 0 110566187 26628161536 9680 33554432000 4194304 4196468 140733129652208 140410266904688 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13409] ppid=13390 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/13392/task/13409/stat : 13409 (java) R 13390 13390 13140 0 -1 4202560 755 0 0 0 7 0 0 0 20 0 20 0 110566187 26628161536 9680 33554432000 4194304 4196468 140733129652208 140409795766256 140412046787680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13410] ppid=13390 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13410/stat : 13410 (java) S 13390 13390 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110566187 26628161536 9680 33554432000 4194304 4196468 140733129652208 140409794714720 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13411] ppid=13390 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13392/task/13411/stat : 13411 (java) S 13390 13390 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110566187 26628161536 9680 33554432000 4194304 4196468 140733129652208 140409793662000 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40104 KiB
[startup+0.310247 s]*
/proc/loadavg: 7.39 8.39 8.59 3/199 13411
/proc/meminfo: memFree=27724020/32770624 swapFree=67108860/67108860
[pid=13390] ppid=13387 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13390/stat : 13390 (xcsp3-exec) S 13387 13390 13140 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110566180 9740288 346 33554432000 4194304 5098028 140722249121472 140722249119576 140212608389756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30629888 140722249127013 140722249127223 140722249127223 140722249129963 0
/proc/13390/statm: 2378 346 289 221 0 87 0
[pid=13392] ppid=13390 vsize=26004064 memory=46220 CPUtime=0.51 cores=0-7
/proc/13392/stat : 13392 (java) S 13390 13390 13140 0 -1 1077944320 9360 0 0 0 48 3 0 0 20 0 20 0 110566181 26628161536 11555 33554432000 4194304 4196468 140733129652208 140733129634752 140412068130551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
/proc/13392/statm: 6501016 11555 3076 1 0 6488269 0
[pid=13392/tid=13393] ppid=13390 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13392/task/13393/stat : 13393 (java) R 13390 13390 13140 0 -1 4202560 6129 0 0 0 27 2 0 0 20 0 20 0 110566181 26628161536 11555 33554432000 4194304 4196468 140733129652208 140412072354368 140412068152477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13394] ppid=13390 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13394/stat : 13394 (java) S 13390 13390 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110566182 26628161536 11555 33554432000 4194304 4196468 140733129652208 140412020751504 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13395] ppid=13390 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13395/stat : 13395 (java) S 13390 13390 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110566182 26628161536 11555 33554432000 4194304 4196468 140733129652208 140412019698704 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13396] ppid=13390 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13396/stat : 13396 (java) S 13390 13390 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110566182 26628161536 11555 33554432000 4194304 4196468 140733129652208 140412018645904 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13397] ppid=13390 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13397/stat : 13397 (java) S 13390 13390 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110566182 26628161536 11555 33554432000 4194304 4196468 140733129652208 140412017593104 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13398] ppid=13390 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/13392/task/13398/stat : 13398 (java) S 13390 13390 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110566182 26628161536 11555 33554432000 4194304 4196468 140733129652208 140412016540304 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13399] ppid=13390 vsize=26004064 memory=140308461482927 CPUtime=0 cores=0-7
/proc/13392/task/13399/stat : 13399 (java) S 13390 13390 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110566182 26628161536 11555 33554432000 4194304 4196468 140733129652208 140412015487504 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13400] ppid=13390 vsize=26004064 memory=140308461485232 CPUtime=0 cores=0-7
/proc/13392/task/13400/stat : 13400 (java) S 13390 13390 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110566182 26628161536 11555 33554432000 4194304 4196468 140733129652208 140412014434704 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13401] ppid=13390 vsize=26004064 memory=140308461487536 CPUtime=0 cores=0-7
/proc/13392/task/13401/stat : 13401 (java) S 13390 13390 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110566182 26628161536 11555 33554432000 4194304 4196468 140733129652208 140412013381904 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13402] ppid=13390 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13402/stat : 13402 (java) S 13390 13390 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110566183 26628161536 11555 33554432000 4194304 4196468 140733129652208 140410273221488 140412068141698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13403] ppid=13390 vsize=26004064 memory=280616922982032 CPUtime=0 cores=0-7
/proc/13392/task/13403/stat : 13403 (java) S 13390 13390 13140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110566184 26628161536 11555 33554432000 4194304 4196468 140733129652208 140410272167456 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13404] ppid=13390 vsize=26004064 memory=280616922988944 CPUtime=0 cores=0-7
/proc/13392/task/13404/stat : 13404 (java) S 13390 13390 13140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110566184 26628161536 11555 33554432000 4194304 4196468 140733129652208 140410271114608 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13405] ppid=13390 vsize=26004064 memory=280616922930224 CPUtime=0 cores=0-7
/proc/13392/task/13405/stat : 13405 (java) S 13390 13390 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110566186 26628161536 11555 33554432000 4194304 4196468 140733129652208 140410270062928 140412068149147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13406] ppid=13390 vsize=26004064 memory=280616923002768 CPUtime=0.02 cores=0-7
/proc/13392/task/13406/stat : 13406 (java) S 13390 13390 13140 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 20 0 110566186 26628161536 11555 33554432000 4194304 4196468 140733129652208 140410269010288 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13407] ppid=13390 vsize=26004064 memory=280616923009680 CPUtime=0.02 cores=0-7
/proc/13392/task/13407/stat : 13407 (java) S 13390 13390 13140 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 20 0 110566186 26628161536 11555 33554432000 4194304 4196468 140733129652208 140410267957488 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13408] ppid=13390 vsize=26004064 memory=280616923007376 CPUtime=0.02 cores=0-7
/proc/13392/task/13408/stat : 13408 (java) S 13390 13390 13140 0 -1 1077944384 319 0 0 0 2 0 0 0 20 0 20 0 110566187 26628161536 11555 33554432000 4194304 4196468 140733129652208 140410266904688 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13409] ppid=13390 vsize=26004064 memory=280616923023536 CPUtime=0.12 cores=0-7
/proc/13392/task/13409/stat : 13409 (java) R 13390 13390 13140 0 -1 4202560 911 0 0 0 12 0 0 0 20 0 20 0 110566187 26628161536 11555 33554432000 4194304 4196468 140733129652208 140409795760600 140412068142486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13410] ppid=13390 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13410/stat : 13410 (java) S 13390 13390 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110566187 26628161536 11555 33554432000 4194304 4196468 140733129652208 140409794714720 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13411] ppid=13390 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13392/task/13411/stat : 13411 (java) S 13390 13390 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110566187 26628161536 11555 33554432000 4194304 4196468 140733129652208 140409793662000 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47604 KiB
[startup+0.700951 s]
/proc/loadavg: 7.39 8.39 8.59 6/199 13411
/proc/meminfo: memFree=27701128/32770624 swapFree=67108860/67108860
[pid=13390] ppid=13387 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13390/stat : 13390 (xcsp3-exec) S 13387 13390 13140 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110566180 9740288 346 33554432000 4194304 5098028 140722249121472 140722249119576 140212608389756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30629888 140722249127013 140722249127223 140722249127223 140722249129963 0
/proc/13390/statm: 2378 346 289 221 0 87 0
[pid=13392] ppid=13390 vsize=26006188 memory=130224 CPUtime=2.07 cores=0-7
/proc/13392/stat : 13392 (java) S 13390 13390 13140 0 -1 1077944320 15669 0 0 0 202 5 0 0 20 0 20 0 110566181 26630336512 32556 33554432000 4194304 4196468 140733129652208 140733129634752 140412068130551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
/proc/13392/statm: 6501547 32556 3218 1 0 6488781 0
[pid=13392/tid=13393] ppid=13390 vsize=26006188 memory=280616923318400 CPUtime=0.67 cores=0-7
/proc/13392/task/13393/stat : 13393 (java) R 13390 13390 13140 0 -1 4202560 6792 0 0 0 64 3 0 0 20 0 20 0 110566181 26630336512 32556 33554432000 4194304 4196468 140733129652208 140412072366464 140412068152477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13394] ppid=13390 vsize=26006188 memory=5080946312342 CPUtime=0 cores=0-7
/proc/13392/task/13394/stat : 13394 (java) S 13390 13390 13140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110566182 26630336512 32556 33554432000 4194304 4196468 140733129652208 140412020751504 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13395] ppid=13390 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13395/stat : 13395 (java) S 13390 13390 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110566182 26630336512 32556 33554432000 4194304 4196468 140733129652208 140412019698704 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13396] ppid=13390 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/13392/task/13396/stat : 13396 (java) S 13390 13390 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110566182 26630336512 32556 33554432000 4194304 4196468 140733129652208 140412018645904 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
################
# More data... #
################
[pid=13392/tid=13419] ppid=13390 vsize=26538700 memory=1384 CPUtime=2422.94 cores=0-7
/proc/13392/task/13419/stat : 13419 (java) R 13390 13390 13140 0 -1 4202560 12079 0 0 0 242285 9 0 0 20 0 28 0 110566261 27175628800 539593 33554432000 4194304 4196468 140733129652208 140409778283048 140411698490685 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
Current children cumulated CPU time: 19438.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2159756 KiB
[startup+2502.31 s]
/proc/loadavg: 8.04 8.17 8.25 9/208 13451
/proc/meminfo: memFree=25547044/32770624 swapFree=67108860/67108860
[pid=13390] ppid=13387 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13390/stat : 13390 (xcsp3-exec) S 13387 13390 13140 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110566180 9740288 346 33554432000 4194304 5098028 140722249121472 140722249119576 140212608389756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30629888 140722249127013 140722249127223 140722249127223 140722249129963 0
/proc/13390/statm: 2378 346 289 221 0 87 0
[pid=13392] ppid=13390 vsize=26538700 memory=2218536 CPUtime=19916.7 cores=0-7
/proc/13392/stat : 13392 (java) S 13390 13390 13140 0 -1 1077944320 472043 0 0 0 1991213 453 0 0 20 0 28 0 110566181 27175628800 554634 33554432000 4194304 4196468 140733129652208 140733129634752 140412068130551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
/proc/13392/statm: 6634675 554634 3299 1 0 6621909 0
[pid=13392/tid=13393] ppid=13390 vsize=26538700 memory=2216492 CPUtime=0.77 cores=0-7
/proc/13392/task/13393/stat : 13393 (java) S 13390 13390 13140 0 -1 1077944384 6873 0 0 0 73 4 0 0 20 0 28 0 110566181 27175628800 554634 33554432000 4194304 4196468 140733129652208 140412072371328 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13394] ppid=13390 vsize=26538700 memory=300615486402732713 CPUtime=4.84 cores=0-7
/proc/13392/task/13394/stat : 13394 (java) S 13390 13390 13140 0 -1 1077944384 16996 0 0 0 463 21 0 0 20 0 28 0 110566182 27175628800 554634 33554432000 4194304 4196468 140733129652208 140412020751504 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13395] ppid=13390 vsize=26538700 memory=1384 CPUtime=4.79 cores=0-7
/proc/13392/task/13395/stat : 13395 (java) S 13390 13390 13140 0 -1 1077944384 18660 0 0 0 459 20 0 0 20 0 28 0 110566182 27175628800 554634 33554432000 4194304 4196468 140733129652208 140412019698704 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13396] ppid=13390 vsize=26538700 memory=1384 CPUtime=4.79 cores=0-7
/proc/13392/task/13396/stat : 13396 (java) S 13390 13390 13140 0 -1 1077944384 17083 0 0 0 458 21 0 0 20 0 28 0 110566182 27175628800 554634 33554432000 4194304 4196468 140733129652208 140412018645904 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13397] ppid=13390 vsize=26538700 memory=164 CPUtime=4.83 cores=0-7
/proc/13392/task/13397/stat : 13397 (java) S 13390 13390 13140 0 -1 1077944384 16394 0 0 0 462 21 0 0 20 0 28 0 110566182 27175628800 554634 33554432000 4194304 4196468 140733129652208 140412017593104 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13398] ppid=13390 vsize=26538700 memory=-7966001967374371424 CPUtime=4.85 cores=0-7
/proc/13392/task/13398/stat : 13398 (java) S 13390 13390 13140 0 -1 1077944384 16382 0 0 0 464 21 0 0 20 0 28 0 110566182 27175628800 554634 33554432000 4194304 4196468 140733129652208 140412016540304 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13399] ppid=13390 vsize=26538700 memory=2218024 CPUtime=4.76 cores=0-7
/proc/13392/task/13399/stat : 13399 (java) S 13390 13390 13140 0 -1 1077944384 16029 0 0 0 455 21 0 0 20 0 28 0 110566182 27175628800 554634 33554432000 4194304 4196468 140733129652208 140412015487504 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13400] ppid=13390 vsize=26538700 memory=1384 CPUtime=4.84 cores=0-7
/proc/13392/task/13400/stat : 13400 (java) S 13390 13390 13140 0 -1 1077944384 16165 0 0 0 462 22 0 0 20 0 28 0 110566182 27175628800 554634 33554432000 4194304 4196468 140733129652208 140412014434704 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13401] ppid=13390 vsize=26538700 memory=2157876 CPUtime=4.77 cores=0-7
/proc/13392/task/13401/stat : 13401 (java) S 13390 13390 13140 0 -1 1077944384 19393 0 0 0 457 20 0 0 20 0 28 0 110566182 27175628800 554634 33554432000 4194304 4196468 140733129652208 140412013381904 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13402] ppid=13390 vsize=26538700 memory=1384 CPUtime=3.1 cores=0-7
/proc/13392/task/13402/stat : 13402 (java) S 13390 13390 13140 0 -1 1077944384 46700 0 0 0 203 107 0 0 20 0 28 0 110566183 27175628800 554634 33554432000 4194304 4196468 140733129652208 140410273221488 140412068141698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13403] ppid=13390 vsize=26538700 memory=648 CPUtime=0 cores=0-7
/proc/13392/task/13403/stat : 13403 (java) S 13390 13390 13140 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 110566184 27175628800 554634 33554432000 4194304 4196468 140733129652208 140410272167520 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13404] ppid=13390 vsize=26538700 memory=1240 CPUtime=0 cores=0-7
/proc/13392/task/13404/stat : 13404 (java) S 13390 13390 13140 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 110566184 27175628800 554634 33554432000 4194304 4196468 140733129652208 140410271114624 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13405] ppid=13390 vsize=26538700 memory=31588 CPUtime=0 cores=0-7
/proc/13392/task/13405/stat : 13405 (java) S 13390 13390 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110566186 27175628800 554634 33554432000 4194304 4196468 140733129652208 140410270062928 140412068149147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13406] ppid=13390 vsize=26538700 memory=1296 CPUtime=1.8 cores=0-7
/proc/13392/task/13406/stat : 13406 (java) S 13390 13390 13140 0 -1 1077944384 9772 0 0 0 179 1 0 0 20 0 28 0 110566186 27175628800 554634 33554432000 4194304 4196468 140733129652208 140410269010288 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13407] ppid=13390 vsize=26538700 memory=0 CPUtime=2.43 cores=0-7
/proc/13392/task/13407/stat : 13407 (java) S 13390 13390 13140 0 -1 1077944384 14836 0 0 0 241 2 0 0 20 0 28 0 110566186 27175628800 554634 33554432000 4194304 4196468 140733129652208 140410267957488 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13408] ppid=13390 vsize=26538700 memory=7649399392938701617 CPUtime=1.91 cores=0-7
/proc/13392/task/13408/stat : 13408 (java) S 13390 13390 13140 0 -1 1077944384 7120 0 0 0 190 1 0 0 20 0 28 0 110566187 27175628800 554634 33554432000 4194304 4196468 140733129652208 140410266904688 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13409] ppid=13390 vsize=26538700 memory=2219048 CPUtime=0.69 cores=0-7
/proc/13392/task/13409/stat : 13409 (java) S 13390 13390 13140 0 -1 1077944384 6398 0 0 0 67 2 0 0 20 0 28 0 110566187 27175628800 554634 33554432000 4194304 4196468 140733129652208 140409795766256 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13410] ppid=13390 vsize=26538700 memory=4144 CPUtime=0 cores=0-7
/proc/13392/task/13410/stat : 13410 (java) S 13390 13390 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110566187 27175628800 554634 33554432000 4194304 4196468 140733129652208 140409794714720 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13411] ppid=13390 vsize=26538700 memory=31588 CPUtime=0.46 cores=0-7
/proc/13392/task/13411/stat : 13411 (java) S 13390 13390 13140 0 -1 1077944384 4513 0 0 0 10 36 0 0 20 0 28 0 110566187 27175628800 554634 33554432000 4194304 4196468 140733129652208 140409793662000 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13412] ppid=13390 vsize=26538700 memory=1384 CPUtime=2485.4 cores=0-7
/proc/13392/task/13412/stat : 13412 (java) R 13390 13390 13140 0 -1 4202560 12070 0 0 0 248528 12 0 0 20 0 28 0 110566260 27175628800 554634 33554432000 4194304 4196468 140733129652208 140409785653408 140411698490761 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13413] ppid=13390 vsize=26538700 memory=2219048 CPUtime=2482.49 cores=0-7
/proc/13392/task/13413/stat : 13413 (java) R 13390 13390 13140 0 -1 4202560 10679 0 0 0 248241 8 0 0 20 0 28 0 110566260 27175628800 554634 33554432000 4194304 4196468 140733129652208 140409784598904 140411698490290 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13414] ppid=13390 vsize=26538700 memory=1384 CPUtime=2483.91 cores=0-7
/proc/13392/task/13414/stat : 13414 (java) R 13390 13390 13140 0 -1 4202560 20459 0 0 0 248382 9 0 0 20 0 28 0 110566260 27175628800 554634 33554432000 4194304 4196468 140733129652208 140409783546536 140411698350124 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13415] ppid=13390 vsize=26538700 memory=6791534058613427641 CPUtime=2480.31 cores=0-7
/proc/13392/task/13415/stat : 13415 (java) R 13390 13390 13140 0 -1 4202560 20803 0 0 0 248013 18 0 0 20 0 28 0 110566260 27175628800 554634 33554432000 4194304 4196468 140733129652208 140409782493240 140411696910287 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13416] ppid=13390 vsize=26538700 memory=18476 CPUtime=2484.97 cores=0-7
/proc/13392/task/13416/stat : 13416 (java) R 13390 13390 13140 0 -1 4202560 38928 0 0 0 248468 29 0 0 20 0 28 0 110566260 27175628800 554634 33554432000 4194304 4196468 140733129652208 140409781440984 140411698315661 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13417] ppid=13390 vsize=26538700 memory=18656 CPUtime=2485.78 cores=0-7
/proc/13392/task/13417/stat : 13417 (java) R 13390 13390 13140 0 -1 4202560 112240 0 0 0 248487 91 0 0 20 0 28 0 110566260 27175628800 554634 33554432000 4194304 4196468 140733129652208 140409780387128 140411699665319 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13418] ppid=13390 vsize=26538700 memory=1384 CPUtime=2481.8 cores=0-7
/proc/13392/task/13418/stat : 13418 (java) R 13390 13390 13140 0 -1 4202560 10142 0 0 0 248171 9 0 0 20 0 28 0 110566260 27175628800 554634 33554432000 4194304 4196468 140733129652208 140409779335680 140411698315248 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13419] ppid=13390 vsize=26538700 memory=2219048 CPUtime=2482.14 cores=0-7
/proc/13392/task/13419/stat : 13419 (java) R 13390 13390 13140 0 -1 4202560 12085 0 0 0 248205 9 0 0 20 0 28 0 110566261 27175628800 554634 33554432000 4194304 4196468 140733129652208 140409778282728 140411698315540 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
Current children cumulated CPU time: 19916.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2219920 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.03 8.16 8.25 9/207 13452
/proc/meminfo: memFree=25544320/32770624 swapFree=67108860/67108860
[pid=13390] ppid=13387 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13390/stat : 13390 (xcsp3-exec) S 13387 13390 13140 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 110566180 9740288 346 33554432000 4194304 5098028 140722249121472 140722249119576 140212608389756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30629888 140722249127013 140722249127223 140722249127223 140722249129963 0
/proc/13390/statm: 2378 346 289 221 0 87 0
[pid=13392] ppid=13390 vsize=26538700 memory=2221272 CPUtime=20057.8 cores=0-7
/proc/13392/stat : 13392 (java) S 13390 13390 13140 0 -1 1077944320 472080 0 0 0 2005328 455 0 0 20 0 28 0 110566181 27175628800 555318 33554432000 4194304 4196468 140733129652208 140733129634752 140412068130551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
/proc/13392/statm: 6634675 555318 3299 1 0 6621909 0
[pid=13392/tid=13393] ppid=13390 vsize=26538700 memory=6791534058613427641 CPUtime=0.77 cores=0-7
/proc/13392/task/13393/stat : 13393 (java) S 13390 13390 13140 0 -1 1077944384 6873 0 0 0 73 4 0 0 20 0 28 0 110566181 27175628800 555318 33554432000 4194304 4196468 140733129652208 140412072371328 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13394] ppid=13390 vsize=26538700 memory=-7003737579269690708 CPUtime=4.91 cores=0-7
/proc/13392/task/13394/stat : 13394 (java) S 13390 13390 13140 0 -1 1077944384 16997 0 0 0 470 21 0 0 20 0 28 0 110566182 27175628800 555318 33554432000 4194304 4196468 140733129652208 140412020751504 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13395] ppid=13390 vsize=26538700 memory=4144 CPUtime=4.86 cores=0-7
/proc/13392/task/13395/stat : 13395 (java) S 13390 13390 13140 0 -1 1077944384 18661 0 0 0 466 20 0 0 20 0 28 0 110566182 27175628800 555318 33554432000 4194304 4196468 140733129652208 140412019698704 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13396] ppid=13390 vsize=26538700 memory=31588 CPUtime=4.86 cores=0-7
/proc/13392/task/13396/stat : 13396 (java) S 13390 13390 13140 0 -1 1077944384 17084 0 0 0 464 22 0 0 20 0 28 0 110566182 27175628800 555318 33554432000 4194304 4196468 140733129652208 140412018645904 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13397] ppid=13390 vsize=26538700 memory=288230574492221466 CPUtime=4.89 cores=0-7
/proc/13392/task/13397/stat : 13397 (java) S 13390 13390 13140 0 -1 1077944384 16397 0 0 0 468 21 0 0 20 0 28 0 110566182 27175628800 555318 33554432000 4194304 4196468 140733129652208 140412017593104 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13398] ppid=13390 vsize=26538700 memory=288230621803970871 CPUtime=4.91 cores=0-7
/proc/13392/task/13398/stat : 13398 (java) S 13390 13390 13140 0 -1 1077944384 16383 0 0 0 470 21 0 0 20 0 28 0 110566182 27175628800 555318 33554432000 4194304 4196468 140733129652208 140412016540304 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13399] ppid=13390 vsize=26538700 memory=15252640887999017 CPUtime=4.83 cores=0-7
/proc/13392/task/13399/stat : 13399 (java) S 13390 13390 13140 0 -1 1077944384 16031 0 0 0 462 21 0 0 20 0 28 0 110566182 27175628800 555318 33554432000 4194304 4196468 140733129652208 140412015487504 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13400] ppid=13390 vsize=26538700 memory=1696 CPUtime=4.9 cores=0-7
/proc/13392/task/13400/stat : 13400 (java) S 13390 13390 13140 0 -1 1077944384 16168 0 0 0 468 22 0 0 20 0 28 0 110566182 27175628800 555318 33554432000 4194304 4196468 140733129652208 140412014434704 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13401] ppid=13390 vsize=26538700 memory=920 CPUtime=4.84 cores=0-7
/proc/13392/task/13401/stat : 13401 (java) S 13390 13390 13140 0 -1 1077944384 19395 0 0 0 464 20 0 0 20 0 28 0 110566182 27175628800 555318 33554432000 4194304 4196468 140733129652208 140412013381904 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13402] ppid=13390 vsize=26538700 memory=4116 CPUtime=3.11 cores=0-7
/proc/13392/task/13402/stat : 13402 (java) S 13390 13390 13140 0 -1 1077944384 46700 0 0 0 204 107 0 0 20 0 28 0 110566183 27175628800 555318 33554432000 4194304 4196468 140733129652208 140410273221488 140412068141698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13403] ppid=13390 vsize=26538700 memory=1152 CPUtime=0 cores=0-7
/proc/13392/task/13403/stat : 13403 (java) S 13390 13390 13140 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 110566184 27175628800 555318 33554432000 4194304 4196468 140733129652208 140410272167520 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13404] ppid=13390 vsize=26538700 memory=3764 CPUtime=0 cores=0-7
/proc/13392/task/13404/stat : 13404 (java) S 13390 13390 13140 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 110566184 27175628800 555318 33554432000 4194304 4196468 140733129652208 140410271114624 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13405] ppid=13390 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/13392/task/13405/stat : 13405 (java) S 13390 13390 13140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110566186 27175628800 555318 33554432000 4194304 4196468 140733129652208 140410270062928 140412068149147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13406] ppid=13390 vsize=26538700 memory=2221784 CPUtime=1.8 cores=0-7
/proc/13392/task/13406/stat : 13406 (java) S 13390 13390 13140 0 -1 1077944384 9772 0 0 0 179 1 0 0 20 0 28 0 110566186 27175628800 555318 33554432000 4194304 4196468 140733129652208 140410269010288 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13407] ppid=13390 vsize=26538700 memory=6791534058613427641 CPUtime=2.43 cores=0-7
/proc/13392/task/13407/stat : 13407 (java) S 13390 13390 13140 0 -1 1077944384 14836 0 0 0 241 2 0 0 20 0 28 0 110566186 27175628800 555318 33554432000 4194304 4196468 140733129652208 140410267957488 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13408] ppid=13390 vsize=26538700 memory=2424 CPUtime=1.91 cores=0-7
/proc/13392/task/13408/stat : 13408 (java) S 13390 13390 13140 0 -1 1077944384 7120 0 0 0 190 1 0 0 20 0 28 0 110566187 27175628800 555318 33554432000 4194304 4196468 140733129652208 140410266904688 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13409] ppid=13390 vsize=26538700 memory=932 CPUtime=0.69 cores=0-7
/proc/13392/task/13409/stat : 13409 (java) S 13390 13390 13140 0 -1 1077944384 6398 0 0 0 67 2 0 0 20 0 28 0 110566187 27175628800 555318 33554432000 4194304 4196468 140733129652208 140409795766256 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13410] ppid=13390 vsize=26538700 memory=1572 CPUtime=0 cores=0-7
/proc/13392/task/13410/stat : 13410 (java) S 13390 13390 13140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110566187 27175628800 555318 33554432000 4194304 4196468 140733129652208 140409794714720 140412068140757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13411] ppid=13390 vsize=26538700 memory=6791534058613427641 CPUtime=0.47 cores=0-7
/proc/13392/task/13411/stat : 13411 (java) S 13390 13390 13140 0 -1 1077944384 4513 0 0 0 10 37 0 0 20 0 28 0 110566187 27175628800 555318 33554432000 4194304 4196468 140733129652208 140409793662000 140412068141698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13412] ppid=13390 vsize=26538700 memory=648 CPUtime=2503.02 cores=0-7
/proc/13392/task/13412/stat : 13412 (java) R 13390 13390 13140 0 -1 4202560 12070 0 0 0 250290 12 0 0 20 0 28 0 110566260 27175628800 555318 33554432000 4194304 4196468 140733129652208 140409785654176 140411698315353 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13413] ppid=13390 vsize=26538700 memory=1240 CPUtime=2500.11 cores=0-7
/proc/13392/task/13413/stat : 13413 (java) R 13390 13390 13140 0 -1 4202560 10682 0 0 0 250003 8 0 0 20 0 28 0 110566260 27175628800 555318 33554432000 4194304 4196468 140733129652208 140409784599384 140411697338872 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13414] ppid=13390 vsize=26538700 memory=960 CPUtime=2501.53 cores=0-7
/proc/13392/task/13414/stat : 13414 (java) R 13390 13390 13140 0 -1 4202560 20462 0 0 0 250144 9 0 0 20 0 28 0 110566260 27175628800 555318 33554432000 4194304 4196468 140733129652208 140409783548944 140411698490541 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13415] ppid=13390 vsize=26538700 memory=2424 CPUtime=2497.75 cores=0-7
/proc/13392/task/13415/stat : 13415 (java) R 13390 13390 13140 0 -1 4202560 20804 0 0 0 249757 18 0 0 20 0 28 0 110566260 27175628800 555318 33554432000 4194304 4196468 140733129652208 140409782493224 140411692735108 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13416] ppid=13390 vsize=26538700 memory=932 CPUtime=2502.59 cores=0-7
/proc/13392/task/13416/stat : 13416 (java) R 13390 13390 13140 0 -1 4202560 38932 0 0 0 250230 29 0 0 20 0 28 0 110566260 27175628800 555318 33554432000 4194304 4196468 140733129652208 140409781440824 140411699496230 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13417] ppid=13390 vsize=26538700 memory=1572 CPUtime=2503.4 cores=0-7
/proc/13392/task/13417/stat : 13417 (java) R 13390 13390 13140 0 -1 4202560 112246 0 0 0 250249 91 0 0 20 0 28 0 110566260 27175628800 555318 33554432000 4194304 4196468 140733129652208 140409780387000 140411698490770 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13418] ppid=13390 vsize=26538700 memory=2244 CPUtime=2499.42 cores=0-7
/proc/13392/task/13418/stat : 13418 (java) R 13390 13390 13140 0 -1 4202560 10148 0 0 0 249933 9 0 0 20 0 28 0 110566260 27175628800 555318 33554432000 4194304 4196468 140733129652208 140409779336248 140411698453683 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
[pid=13392/tid=13419] ppid=13390 vsize=26538700 memory=4124 CPUtime=2499.6 cores=0-7
/proc/13392/task/13419/stat : 13419 (java) R 13390 13390 13140 0 -1 4202560 12085 0 0 0 249951 9 0 0 20 0 28 0 110566261 27175628800 555318 33554432000 4194304 4196468 140733129652208 140409778287304 140411698490882 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 17567744 140733129659538 140733129659715 140733129659715 140733129662415 0
Current children cumulated CPU time: 20057.8 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2222656 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 13390 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002029 s
[startup+2520.08 s]
# the end of solver process 13392 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20053.7 s, system=4.57009 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.08
CPU time (s): 20058.3
CPU user time (s): 20053.7
CPU system time (s): 4.57009
CPU usage (%): 795.938
Max. virtual memory (cumulated for all children) (KiB): 26550376
Max. memory (cumulated for all children) (KiB): 2223168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20053.7
system time used= 4.57009
maximum resident set size= 2223384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472928
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 216467
involuntary context switches= 210297
# summary of solver processes directly reported to runsolver:
# pid: 13390,13392
# total CPU time (s): 20058.3
# total CPU user time (s): 20053.7
# total CPU system time (s): 4.57009
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5112 second user time and 26.2523 second system time
The end
Begin job on node149 at 2017-08-15 07:13:14 IDJOB=4270654 IDBENCH=135432 IDSOLVER=2662 FILE ID=node149/4270654-1502774853 RUNJOBID= node149-1502773987-13167 PBS_JOBID= 20629106 Free space on /tmp= 61936 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-4270654-1502774853/watcher-4270654-1502774853 -o /tmp/evaluation-result-4270654-1502774853/solver-4270654-1502774853 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502773987-13167 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 847565205 HOME/instance-4270654-1502774853.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e295f86f2e8232e9b7c8210bbc53418f RANDOM SEED=847565205 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27755656 kB MemAvailable: 31968300 kB Buffers: 314304 kB Cached: 4170916 kB SwapCached: 0 kB Active: 1188284 kB Inactive: 3350660 kB Active(anon): 56880 kB Inactive(anon): 24944 kB Active(file): 1131404 kB Inactive(file): 3325716 kB Unevictable: 6360 kB Mlocked: 6360 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8124 kB Writeback: 0 kB AnonPages: 60448 kB Mapped: 45668 kB Shmem: 25224 kB Slab: 169524 kB SReclaimable: 142720 kB SUnreclaim: 26804 kB KernelStack: 3184 kB PageTables: 4780 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323364 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 97664 kB DirectMap2M: 33447936 kB Free space on /tmp at the end= 61928 MiB End job on node149 at 2017-08-15 07:55:15