| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-06-14 parallel | ? (TO) | 20082.8 | 2520.14 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t10-4.xml |
| MD5SUM | 9ef9cfbbe168b3e655de6bd1a7d8b0b4 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 867 |
| Best CPU time to get the best result obtained on this benchmark | 2400.11 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 20580 |
| Number of constraints | 1002 |
| Number of domains | 21 |
| Minimum domain size | 2 |
| Maximum domain size | 181 |
| Distribution of domain sizes | [{"size":2,"count":980},{"size":8,"count":980},{"size":11,"count":980},{"size":23,"count":980},{"size":51,"count":980},{"size":54,"count":980},{"size":64,"count":980},{"size":71,"count":980},{"size":83,"count":980},{"size":92,"count":980},{"size":97,"count":980},{"size":103,"count":980},{"size":115,"count":980},{"size":121,"count":980},{"size":139,"count":980},{"size":147,"count":980},{"size":154,"count":980},{"size":160,"count":980},{"size":166,"count":980},{"size":180,"count":980},{"size":181,"count":980}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":20580}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 19600 |
| Distribution of constraint arities | [{"arity":21,"count":980},{"arity":980,"count":21},{"arity":19600,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":1000}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394654-1568424122.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4394654-1568424122.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 6.64/1.89 c solve instance... 20082.00/2520.09 s UNKNOWN 20082.00/2520.09 c Unexpected resolution interruption!
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15246 MiB free)
memory of node 1: 16384 MiB (15486 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394654-1568424122/watcher-4394654-1568424122 -o /tmp/evaluation-result-4394654-1568424122/solver-4394654-1568424122 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568416728-17745 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 510169613 HOME/instance-4394654-1568424122.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
Current StackSize limit: 8192 KiB
Starting watchdog thread
solver pid=21281, runsolver pid=21278
[startup+0.100147 s]*
/proc/loadavg: 7.98 8.28 8.25 3/219 21302
/proc/meminfo: memFree=31453492/32770624 swapFree=67004112/67108860
[pid=21281] ppid=21278 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/21281/stat : 21281 (xcsp3-exec) S 21278 21281 17718 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418651785 115843072 364 33554432000 4194304 5098028 140736757254416 140736757252520 139745681379964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29302784 140736757261174 140736757261417 140736757261417 140736757264330 0
/proc/21281/statm: 28282 364 305 221 0 87 0
[pid=21283] ppid=21281 vsize=28227388 memory=29656 CPUtime=0.13 cores=0-7
/proc/21283/stat : 21283 (java) S 21281 21281 17718 0 -1 1077944320 5901 0 0 0 11 2 0 0 20 0 20 0 418651785 28904845312 7414 33554432000 4194304 4196468 140725316249184 140725316231728 140204256902903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
/proc/21283/statm: 7056847 7414 3119 1 0 7019032 0
[pid=21283/tid=21284] ppid=21281 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/21283/task/21284/stat : 21284 (java) R 21281 21281 17718 0 -1 4202560 3791 0 0 0 8 1 0 0 20 0 20 0 418651786 28904845312 7414 33554432000 4194304 4196468 140725316249184 140204261136176 140204249140030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21285] ppid=21281 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21283/task/21285/stat : 21285 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651786 28904845312 7414 33554432000 4194304 4196468 140725316249184 140204176755472 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21286] ppid=21281 vsize=28227388 memory=140229389563520 CPUtime=0 cores=0-7
/proc/21283/task/21286/stat : 21286 (java) S 21281 21281 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418651786 28904845312 7414 33554432000 4194304 4196468 140725316249184 140204175702928 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21287] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21287/stat : 21287 (java) S 21281 21281 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418651786 28904845312 7414 33554432000 4194304 4196468 140725316249184 140203806284816 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21288] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21288/stat : 21288 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651786 28904845312 7414 33554432000 4194304 4196468 140725316249184 140203805232272 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21289] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21289/stat : 21289 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651786 28904845312 7414 33554432000 4194304 4196468 140725316249184 140203804178704 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21290] ppid=21281 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/21283/task/21290/stat : 21290 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651786 28904845312 7414 33554432000 4194304 4196468 140725316249184 140203803126160 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21291] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21291/stat : 21291 (java) S 21281 21281 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418651786 28904845312 7414 33554432000 4194304 4196468 140725316249184 140203802073616 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21292] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21292/stat : 21292 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651786 28904845312 7414 33554432000 4194304 4196468 140725316249184 140203801021072 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21293] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21293/stat : 21293 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651788 28904845312 7414 33554432000 4194304 4196468 140725316249184 140202922420720 140204256914050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21294] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21294/stat : 21294 (java) S 21281 21281 17718 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418651788 28904845312 7414 33554432000 4194304 4196468 140725316249184 140202921366944 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21295] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21295/stat : 21295 (java) S 21281 21281 17718 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418651788 28904845312 7414 33554432000 4194304 4196468 140725316249184 140202920314352 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21296] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21296/stat : 21296 (java) S 21281 21281 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418651791 28904845312 7414 33554432000 4194304 4196468 140725316249184 140202919262928 140204256921499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21297] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21297/stat : 21297 (java) S 21281 21281 17718 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 418651791 28904845312 7414 33554432000 4194304 4196468 140725316249184 140202918209520 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21298] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21298/stat : 21298 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651791 28904845312 7414 33554432000 4194304 4196468 140725316249184 140202917156976 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21299] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21299/stat : 21299 (java) R 21281 21281 17718 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 418651791 28904845312 7414 33554432000 4194304 4196468 140725316249184 140202916104432 140204256914050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21300] ppid=21281 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/21283/task/21300/stat : 21300 (java) R 21281 21281 17718 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 20 0 418651791 28904845312 7414 33554432000 4194304 4196468 140725316249184 140202915051888 140204236311876 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21301] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21301/stat : 21301 (java) S 21281 21281 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418651791 28904845312 7414 33554432000 4194304 4196468 140725316249184 140202913999584 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21302] ppid=21281 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/21283/task/21302/stat : 21302 (java) S 21281 21281 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418651791 28904845312 7414 33554432000 4194304 4196468 140725316249184 140202912947120 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31112 KiB
[startup+0.210923 s]*
/proc/loadavg: 7.98 8.28 8.25 4/219 21302
/proc/meminfo: memFree=31441120/32770624 swapFree=67004112/67108860
[pid=21281] ppid=21278 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/21281/stat : 21281 (xcsp3-exec) S 21278 21281 17718 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418651785 115843072 364 33554432000 4194304 5098028 140736757254416 140736757252520 139745681379964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29302784 140736757261174 140736757261417 140736757261417 140736757264330 0
/proc/21281/statm: 28282 364 305 221 0 87 0
[pid=21283] ppid=21281 vsize=28227388 memory=40516 CPUtime=0.34 cores=0-7
/proc/21283/stat : 21283 (java) S 21281 21281 17718 0 -1 1077944320 9387 0 0 0 30 4 0 0 20 0 20 0 418651785 28904845312 10129 33554432000 4194304 4196468 140725316249184 140725316231728 140204256902903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
/proc/21283/statm: 7056847 10129 3287 1 0 7019032 0
[pid=21283/tid=21284] ppid=21281 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/21283/task/21284/stat : 21284 (java) R 21281 21281 17718 0 -1 4202560 6641 0 0 0 17 3 0 0 20 0 20 0 418651786 28904845312 10129 33554432000 4194304 4196468 140725316249184 140204261141216 140204240983390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21285] ppid=21281 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/21283/task/21285/stat : 21285 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651786 28904845312 10129 33554432000 4194304 4196468 140725316249184 140204176755472 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21286] ppid=21281 vsize=28227388 memory=288370605541275264 CPUtime=0 cores=0-7
/proc/21283/task/21286/stat : 21286 (java) S 21281 21281 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418651786 28904845312 10129 33554432000 4194304 4196468 140725316249184 140204175702928 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21287] ppid=21281 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/21283/task/21287/stat : 21287 (java) S 21281 21281 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418651786 28904845312 10129 33554432000 4194304 4196468 140725316249184 140203806284816 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21288] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21288/stat : 21288 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651786 28904845312 10129 33554432000 4194304 4196468 140725316249184 140203805232272 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21289] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21289/stat : 21289 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651786 28904845312 10129 33554432000 4194304 4196468 140725316249184 140203804178704 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21290] ppid=21281 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/21283/task/21290/stat : 21290 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651786 28904845312 10129 33554432000 4194304 4196468 140725316249184 140203803126160 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21291] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21291/stat : 21291 (java) S 21281 21281 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418651786 28904845312 10129 33554432000 4194304 4196468 140725316249184 140203802073616 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21292] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21292/stat : 21292 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651786 28904845312 10129 33554432000 4194304 4196468 140725316249184 140203801021072 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21293] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21293/stat : 21293 (java) S 21281 21281 17718 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418651788 28904845312 10129 33554432000 4194304 4196468 140725316249184 140202922420720 140204256914050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21294] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21294/stat : 21294 (java) S 21281 21281 17718 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418651788 28904845312 10129 33554432000 4194304 4196468 140725316249184 140202921366944 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21295] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21295/stat : 21295 (java) S 21281 21281 17718 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418651788 28904845312 10129 33554432000 4194304 4196468 140725316249184 140202920314352 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21296] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21296/stat : 21296 (java) S 21281 21281 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418651791 28904845312 10129 33554432000 4194304 4196468 140725316249184 140202919262928 140204256921499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21297] ppid=21281 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/21283/task/21297/stat : 21297 (java) S 21281 21281 17718 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 20 0 418651791 28904845312 10129 33554432000 4194304 4196468 140725316249184 140202918209520 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21298] ppid=21281 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/21283/task/21298/stat : 21298 (java) S 21281 21281 17718 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 20 0 418651791 28904845312 10129 33554432000 4194304 4196468 140725316249184 140202917156976 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21299] ppid=21281 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/21283/task/21299/stat : 21299 (java) S 21281 21281 17718 0 -1 1077944384 160 0 0 0 1 0 0 0 20 0 20 0 418651791 28904845312 10129 33554432000 4194304 4196468 140725316249184 140202916104432 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21300] ppid=21281 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/21283/task/21300/stat : 21300 (java) R 21281 21281 17718 0 -1 4202560 785 0 0 0 8 0 0 0 20 0 20 0 418651791 28904845312 10129 33554432000 4194304 4196468 140725316249184 140202915051888 140204256924250 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21301] ppid=21281 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21301/stat : 21301 (java) S 21281 21281 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418651791 28904845312 10129 33554432000 4194304 4196468 140725316249184 140202913999584 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21302] ppid=21281 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/21283/task/21302/stat : 21302 (java) S 21281 21281 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418651791 28904845312 10129 33554432000 4194304 4196468 140725316249184 140202912947120 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41972 KiB
[startup+0.310855 s]*
/proc/loadavg: 7.98 8.28 8.25 3/219 21302
/proc/meminfo: memFree=31433972/32770624 swapFree=67004112/67108860
[pid=21281] ppid=21278 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/21281/stat : 21281 (xcsp3-exec) S 21278 21281 17718 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418651785 115843072 364 33554432000 4194304 5098028 140736757254416 140736757252520 139745681379964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29302784 140736757261174 140736757261417 140736757261417 140736757264330 0
/proc/21281/statm: 28282 364 305 221 0 87 0
[pid=21283] ppid=21281 vsize=28231644 memory=50184 CPUtime=0.53 cores=0-7
/proc/21283/stat : 21283 (java) S 21281 21281 17718 0 -1 1077944320 10883 0 0 0 48 5 0 0 20 0 20 0 418651785 28909203456 12546 33554432000 4194304 4196468 140725316249184 140725316231728 140204256902903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
/proc/21283/statm: 7057911 12546 3354 1 0 7019032 0
[pid=21283/tid=21284] ppid=21281 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21283/task/21284/stat : 21284 (java) R 21281 21281 17718 0 -1 4202560 7828 0 0 0 26 3 0 0 20 0 20 0 418651786 28909203456 12552 33554432000 4194304 4196468 140725316249184 140204261134016 140204240983390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21285] ppid=21281 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21285/stat : 21285 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651786 28909203456 12552 33554432000 4194304 4196468 140725316249184 140204176755472 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21286] ppid=21281 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21286/stat : 21286 (java) S 21281 21281 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418651786 28909203456 12552 33554432000 4194304 4196468 140725316249184 140204175702928 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21287] ppid=21281 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21287/stat : 21287 (java) S 21281 21281 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418651786 28909203456 12552 33554432000 4194304 4196468 140725316249184 140203806284816 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21288] ppid=21281 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21288/stat : 21288 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651786 28909203456 12552 33554432000 4194304 4196468 140725316249184 140203805232272 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21289] ppid=21281 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/21283/task/21289/stat : 21289 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651786 28909203456 12552 33554432000 4194304 4196468 140725316249184 140203804178704 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21290] ppid=21281 vsize=28231644 memory=140229273023407 CPUtime=0 cores=0-7
/proc/21283/task/21290/stat : 21290 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651786 28909203456 12552 33554432000 4194304 4196468 140725316249184 140203803126160 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21291] ppid=21281 vsize=28231644 memory=140229273025712 CPUtime=0 cores=0-7
/proc/21283/task/21291/stat : 21291 (java) S 21281 21281 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418651786 28909203456 12552 33554432000 4194304 4196468 140725316249184 140203802073616 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21292] ppid=21281 vsize=28231644 memory=140229273028016 CPUtime=0 cores=0-7
/proc/21283/task/21292/stat : 21292 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651786 28909203456 12552 33554432000 4194304 4196468 140725316249184 140203801021072 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21293] ppid=21281 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21293/stat : 21293 (java) S 21281 21281 17718 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418651788 28909203456 12552 33554432000 4194304 4196468 140725316249184 140202922420720 140204256914050 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21294] ppid=21281 vsize=28231644 memory=280458546062992 CPUtime=0 cores=0-7
/proc/21283/task/21294/stat : 21294 (java) S 21281 21281 17718 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418651788 28909203456 12552 33554432000 4194304 4196468 140725316249184 140202921366944 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21295] ppid=21281 vsize=28231644 memory=280458546069904 CPUtime=0 cores=0-7
/proc/21283/task/21295/stat : 21295 (java) S 21281 21281 17718 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418651788 28909203456 12552 33554432000 4194304 4196468 140725316249184 140202920314352 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21296] ppid=21281 vsize=28231644 memory=280458546011184 CPUtime=0 cores=0-7
/proc/21283/task/21296/stat : 21296 (java) S 21281 21281 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418651791 28909203456 12552 33554432000 4194304 4196468 140725316249184 140202919262928 140204256921499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21297] ppid=21281 vsize=28231644 memory=280458546083728 CPUtime=0.04 cores=0-7
/proc/21283/task/21297/stat : 21297 (java) R 21281 21281 17718 0 -1 4202560 497 0 0 0 4 0 0 0 20 0 20 0 418651791 28909203456 12552 33554432000 4194304 4196468 140725316249184 140202918199904 140204234164160 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21298] ppid=21281 vsize=28231644 memory=280458546090640 CPUtime=0.02 cores=0-7
/proc/21283/task/21298/stat : 21298 (java) S 21281 21281 17718 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 20 0 418651791 28909203456 12552 33554432000 4194304 4196468 140725316249184 140202917156976 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21299] ppid=21281 vsize=28231644 memory=280458546088336 CPUtime=0.01 cores=0-7
/proc/21283/task/21299/stat : 21299 (java) S 21281 21281 17718 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 20 0 418651791 28909203456 12552 33554432000 4194304 4196468 140725316249184 140202916104432 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21300] ppid=21281 vsize=28231644 memory=280458546104496 CPUtime=0.12 cores=0-7
/proc/21283/task/21300/stat : 21300 (java) S 21281 21281 17718 0 -1 1077944384 943 0 0 0 12 0 0 0 20 0 20 0 418651791 28909203456 12552 33554432000 4194304 4196468 140725316249184 140202915051888 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21301] ppid=21281 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21301/stat : 21301 (java) S 21281 21281 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418651791 28909203456 12552 33554432000 4194304 4196468 140725316249184 140202913999584 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21302] ppid=21281 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/21283/task/21302/stat : 21302 (java) S 21281 21281 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418651791 28909203456 12552 33554432000 4194304 4196468 140725316249184 140202912947120 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51640 KiB
[startup+0.701023 s]
/proc/loadavg: 7.98 8.28 8.25 4/219 21302
/proc/meminfo: memFree=31400144/32770624 swapFree=67004112/67108860
[pid=21281] ppid=21278 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/21281/stat : 21281 (xcsp3-exec) S 21278 21281 17718 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418651785 115843072 364 33554432000 4194304 5098028 140736757254416 140736757252520 139745681379964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29302784 140736757261174 140736757261417 140736757261417 140736757264330 0
/proc/21281/statm: 28282 364 305 221 0 87 0
[pid=21283] ppid=21281 vsize=28233768 memory=126556 CPUtime=1.96 cores=0-7
/proc/21283/stat : 21283 (java) S 21281 21281 17718 0 -1 1077944320 16849 0 0 0 189 7 0 0 20 0 20 0 418651785 28911378432 31639 33554432000 4194304 4196468 140725316249184 140725316231728 140204256902903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
/proc/21283/statm: 7058442 31639 3454 1 0 7019544 0
[pid=21283/tid=21284] ppid=21281 vsize=28233768 memory=280458546462384 CPUtime=0.67 cores=0-7
/proc/21283/task/21284/stat : 21284 (java) R 21281 21281 17718 0 -1 4202560 8730 0 0 0 63 4 0 0 20 0 20 0 418651786 28911378432 31639 33554432000 4194304 4196468 140725316249184 140204261117296 140204249580917 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21285] ppid=21281 vsize=28233768 memory=140229273232240 CPUtime=0 cores=0-7
/proc/21283/task/21285/stat : 21285 (java) S 21281 21281 17718 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418651786 28911378432 31639 33554432000 4194304 4196468 140725316249184 140204176755472 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21286] ppid=21281 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/21283/task/21286/stat : 21286 (java) S 21281 21281 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418651786 28911378432 31639 33554432000 4194304 4196468 140725316249184 140204175702928 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21287] ppid=21281 vsize=28233768 memory=2832 CPUtime=0 cores=0-7
/proc/21283/task/21287/stat : 21287 (java) S 21281 21281 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418651786 28911378432 31639 33554432000 4194304 4196468 140725316249184 140203806284816 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
################
# More data... #
################
[pid=21283/tid=21310] ppid=21281 vsize=28768328 memory=1660 CPUtime=2421.56 cores=0-7
/proc/21283/task/21310/stat : 21310 (java) R 21281 21281 17718 0 -1 4202560 5485 0 0 0 242145 11 0 0 20 0 28 0 418651997 29458767872 1389973 33554432000 4194304 4196468 140725316249184 140202051702936 140203866207418 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
Current children cumulated CPU time: 19462.4 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 5561348 KiB
[startup+2502.3 s]
/proc/loadavg: 8.14 8.30 8.36 9/224 21528
/proc/meminfo: memFree=25962808/32770624 swapFree=67004128/67108860
[pid=21281] ppid=21278 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/21281/stat : 21281 (xcsp3-exec) S 21278 21281 17718 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418651785 115843072 364 33554432000 4194304 5098028 140736757254416 140736757252520 139745681379964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29302784 140736757261174 140736757261417 140736757261417 140736757264330 0
/proc/21281/statm: 28282 364 305 221 0 87 0
[pid=21283] ppid=21281 vsize=28768328 memory=5510744 CPUtime=19940.9 cores=0-7
/proc/21283/stat : 21283 (java) S 21281 21281 17718 0 -1 1077944320 388878 0 0 0 1992742 1346 0 0 20 0 28 0 418651785 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140725316231728 140204256902903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
/proc/21283/statm: 7192082 1377686 3554 1 0 7153184 0
[pid=21283/tid=21284] ppid=21281 vsize=28768328 memory=5510744 CPUtime=1.86 cores=0-7
/proc/21283/task/21284/stat : 21284 (java) S 21281 21281 17718 0 -1 1077944384 10380 0 0 0 179 7 0 0 20 0 28 0 418651786 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140204261143680 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21285] ppid=21281 vsize=28768328 memory=5510744 CPUtime=2.81 cores=0-7
/proc/21283/task/21285/stat : 21285 (java) S 21281 21281 17718 0 -1 1077944384 5880 0 0 0 246 35 0 0 20 0 28 0 418651786 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140204176755472 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21286] ppid=21281 vsize=28768328 memory=5510744 CPUtime=2.76 cores=0-7
/proc/21283/task/21286/stat : 21286 (java) S 21281 21281 17718 0 -1 1077944384 7111 0 0 0 241 35 0 0 20 0 28 0 418651786 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140204175702928 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21287] ppid=21281 vsize=28768328 memory=1456 CPUtime=2.78 cores=0-7
/proc/21283/task/21287/stat : 21287 (java) S 21281 21281 17718 0 -1 1077944384 6674 0 0 0 244 34 0 0 20 0 28 0 418651786 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140203806284816 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21288] ppid=21281 vsize=28768328 memory=5510744 CPUtime=2.76 cores=0-7
/proc/21283/task/21288/stat : 21288 (java) S 21281 21281 17718 0 -1 1077944384 8362 0 0 0 239 37 0 0 20 0 28 0 418651786 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140203805232272 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21289] ppid=21281 vsize=28768328 memory=1456 CPUtime=2.75 cores=0-7
/proc/21283/task/21289/stat : 21289 (java) S 21281 21281 17718 0 -1 1077944384 8726 0 0 0 240 35 0 0 20 0 28 0 418651786 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140203804178704 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21290] ppid=21281 vsize=28768328 memory=40544 CPUtime=2.78 cores=0-7
/proc/21283/task/21290/stat : 21290 (java) S 21281 21281 17718 0 -1 1077944384 8267 0 0 0 244 34 0 0 20 0 28 0 418651786 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140203803126160 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21291] ppid=21281 vsize=28768328 memory=5510744 CPUtime=2.77 cores=0-7
/proc/21283/task/21291/stat : 21291 (java) S 21281 21281 17718 0 -1 1077944384 5934 0 0 0 243 34 0 0 20 0 28 0 418651786 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140203802073616 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21292] ppid=21281 vsize=28768328 memory=5928 CPUtime=2.79 cores=0-7
/proc/21283/task/21292/stat : 21292 (java) S 21281 21281 17718 0 -1 1077944384 5993 0 0 0 246 33 0 0 20 0 28 0 418651786 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140203801021072 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21293] ppid=21281 vsize=28768328 memory=1456 CPUtime=0.51 cores=0-7
/proc/21283/task/21293/stat : 21293 (java) S 21281 21281 17718 0 -1 1077944384 27335 0 0 0 45 6 0 0 20 0 28 0 418651788 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202922420720 140204256914050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21294] ppid=21281 vsize=28768328 memory=5510744 CPUtime=0 cores=0-7
/proc/21283/task/21294/stat : 21294 (java) S 21281 21281 17718 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 418651788 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202921367008 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21295] ppid=21281 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/21283/task/21295/stat : 21295 (java) S 21281 21281 17718 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 28 0 418651788 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202920314368 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21296] ppid=21281 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/21283/task/21296/stat : 21296 (java) S 21281 21281 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418651791 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202919262928 140204256921499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21297] ppid=21281 vsize=28768328 memory=1456 CPUtime=4.57 cores=0-7
/proc/21283/task/21297/stat : 21297 (java) S 21281 21281 17718 0 -1 1077944384 34634 0 0 0 447 10 0 0 20 0 28 0 418651791 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202918209520 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21298] ppid=21281 vsize=28768328 memory=5510744 CPUtime=4.93 cores=0-7
/proc/21283/task/21298/stat : 21298 (java) S 21281 21281 17718 0 -1 1077944384 35798 0 0 0 483 10 0 0 20 0 28 0 418651791 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202917156976 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21299] ppid=21281 vsize=28768328 memory=5510744 CPUtime=4.14 cores=0-7
/proc/21283/task/21299/stat : 21299 (java) S 21281 21281 17718 0 -1 1077944384 27975 0 0 0 409 5 0 0 20 0 28 0 418651791 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202916104432 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21300] ppid=21281 vsize=28768328 memory=1456 CPUtime=1.4 cores=0-7
/proc/21283/task/21300/stat : 21300 (java) S 21281 21281 17718 0 -1 1077944384 31082 0 0 0 133 7 0 0 20 0 28 0 418651791 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202915051888 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21301] ppid=21281 vsize=28768328 memory=3280 CPUtime=0 cores=0-7
/proc/21283/task/21301/stat : 21301 (java) S 21281 21281 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418651791 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202913999584 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21302] ppid=21281 vsize=28768328 memory=288230574492221466 CPUtime=1.51 cores=0-7
/proc/21283/task/21302/stat : 21302 (java) S 21281 21281 17718 0 -1 1077944384 2487 0 0 0 0 151 0 0 20 0 28 0 418651791 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202912947120 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21303] ppid=21281 vsize=28768328 memory=288230583166042426 CPUtime=2493.07 cores=0-7
/proc/21283/task/21303/stat : 21303 (java) R 21281 21281 17718 0 -1 4202560 4313 0 0 0 249300 7 0 0 20 0 28 0 418651997 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202903735152 140203865167202 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21304] ppid=21281 vsize=28768328 memory=1456 CPUtime=2495.44 cores=0-7
/proc/21283/task/21304/stat : 21304 (java) R 21281 21281 17718 0 -1 4202560 5660 0 0 0 249537 7 0 0 20 0 28 0 418651997 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202902684136 140203865689856 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21305] ppid=21281 vsize=28768328 memory=5510744 CPUtime=2494.42 cores=0-7
/proc/21283/task/21305/stat : 21305 (java) R 21281 21281 17718 0 -1 4202560 89365 0 0 0 248874 568 0 0 20 0 28 0 418651997 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202901631080 140203858590575 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21306] ppid=21281 vsize=28768328 memory=1540 CPUtime=2476.01 cores=0-7
/proc/21283/task/21306/stat : 21306 (java) R 21281 21281 17718 0 -1 4202560 30430 0 0 0 247248 353 0 0 20 0 28 0 418651997 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202900577928 140203865167221 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21307] ppid=21281 vsize=28768328 memory=728 CPUtime=2494.95 cores=0-7
/proc/21283/task/21307/stat : 21307 (java) R 21281 21281 17718 0 -1 4202560 8943 0 0 0 249480 15 0 0 20 0 28 0 418651997 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202054860568 140203863181535 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21308] ppid=21281 vsize=28768328 memory=3924 CPUtime=2486.72 cores=0-7
/proc/21283/task/21308/stat : 21308 (java) R 21281 21281 17718 0 -1 4202560 8060 0 0 0 248643 29 0 0 20 0 28 0 418651997 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202053810560 140203865167226 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21309] ppid=21281 vsize=28768328 memory=2832 CPUtime=2477.44 cores=0-7
/proc/21283/task/21309/stat : 21309 (java) R 21281 21281 17718 0 -1 4202560 8353 0 0 0 247719 25 0 0 20 0 28 0 418651997 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202052755224 140203865167202 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21310] ppid=21281 vsize=28768328 memory=1212 CPUtime=2481.5 cores=0-7
/proc/21283/task/21310/stat : 21310 (java) R 21281 21281 17718 0 -1 4202560 5644 0 0 0 248139 11 0 0 20 0 28 0 418651997 29458767872 1377686 33554432000 4194304 4196468 140725316249184 140202051703016 140203865166195 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
Current children cumulated CPU time: 19940.9 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 5512200 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.10 8.28 8.36 10/226 21532
/proc/meminfo: memFree=26020788/32770624 swapFree=67004128/67108860
[pid=21281] ppid=21278 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/21281/stat : 21281 (xcsp3-exec) S 21278 21281 17718 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418651785 115843072 364 33554432000 4194304 5098028 140736757254416 140736757252520 139745681379964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29302784 140736757261174 140736757261417 140736757261417 140736757264330 0
/proc/21281/statm: 28282 364 305 221 0 87 0
[pid=21283] ppid=21281 vsize=28768328 memory=5452856 CPUtime=20082 cores=0-7
/proc/21283/stat : 21283 (java) S 21281 21281 17718 0 -1 1077944320 392936 0 0 0 2006849 1351 0 0 20 0 28 0 418651785 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140725316231728 140204256902903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
/proc/21283/statm: 7192082 1363214 3554 1 0 7153184 0
[pid=21283/tid=21284] ppid=21281 vsize=28768328 memory=14008 CPUtime=1.86 cores=0-7
/proc/21283/task/21284/stat : 21284 (java) S 21281 21281 17718 0 -1 1077944384 10380 0 0 0 179 7 0 0 20 0 28 0 418651786 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140204261143680 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21285] ppid=21281 vsize=28768328 memory=4872558044660077418 CPUtime=2.84 cores=0-7
/proc/21283/task/21285/stat : 21285 (java) S 21281 21281 17718 0 -1 1077944384 6322 0 0 0 248 36 0 0 20 0 28 0 418651786 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140204176755472 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21286] ppid=21281 vsize=28768328 memory=1220 CPUtime=2.78 cores=0-7
/proc/21283/task/21286/stat : 21286 (java) S 21281 21281 17718 0 -1 1077944384 7451 0 0 0 243 35 0 0 20 0 28 0 418651786 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140204175702928 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21287] ppid=21281 vsize=28768328 memory=1456 CPUtime=2.81 cores=0-7
/proc/21283/task/21287/stat : 21287 (java) S 21281 21281 17718 0 -1 1077944384 6799 0 0 0 247 34 0 0 20 0 28 0 418651786 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140203806284816 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21288] ppid=21281 vsize=28768328 memory=5510744 CPUtime=2.78 cores=0-7
/proc/21283/task/21288/stat : 21288 (java) S 21281 21281 17718 0 -1 1077944384 8618 0 0 0 240 38 0 0 20 0 28 0 418651786 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140203805232272 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21289] ppid=21281 vsize=28768328 memory=8252 CPUtime=2.76 cores=0-7
/proc/21283/task/21289/stat : 21289 (java) S 21281 21281 17718 0 -1 1077944384 9304 0 0 0 241 35 0 0 20 0 28 0 418651786 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140203804178704 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21290] ppid=21281 vsize=28768328 memory=8252 CPUtime=2.8 cores=0-7
/proc/21283/task/21290/stat : 21290 (java) S 21281 21281 17718 0 -1 1077944384 8621 0 0 0 246 34 0 0 20 0 28 0 418651786 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140203803126160 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21291] ppid=21281 vsize=28768328 memory=5928 CPUtime=2.79 cores=0-7
/proc/21283/task/21291/stat : 21291 (java) S 21281 21281 17718 0 -1 1077944384 6024 0 0 0 245 34 0 0 20 0 28 0 418651786 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140203802073616 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21292] ppid=21281 vsize=28768328 memory=1056 CPUtime=2.81 cores=0-7
/proc/21283/task/21292/stat : 21292 (java) S 21281 21281 17718 0 -1 1077944384 7023 0 0 0 248 33 0 0 20 0 28 0 418651786 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140203801021072 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21293] ppid=21281 vsize=28768328 memory=1540 CPUtime=0.52 cores=0-7
/proc/21283/task/21293/stat : 21293 (java) S 21281 21281 17718 0 -1 1077944384 27618 0 0 0 45 7 0 0 20 0 28 0 418651788 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202922420720 140204256914050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21294] ppid=21281 vsize=28768328 memory=728 CPUtime=0 cores=0-7
/proc/21283/task/21294/stat : 21294 (java) S 21281 21281 17718 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 418651788 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202921367008 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21295] ppid=21281 vsize=28768328 memory=3924 CPUtime=0 cores=0-7
/proc/21283/task/21295/stat : 21295 (java) S 21281 21281 17718 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 28 0 418651788 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202920314368 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21296] ppid=21281 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/21283/task/21296/stat : 21296 (java) S 21281 21281 17718 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418651791 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202919262928 140204256921499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21297] ppid=21281 vsize=28768328 memory=5452856 CPUtime=4.57 cores=0-7
/proc/21283/task/21297/stat : 21297 (java) S 21281 21281 17718 0 -1 1077944384 34634 0 0 0 447 10 0 0 20 0 28 0 418651791 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202918209520 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21298] ppid=21281 vsize=28768328 memory=1744 CPUtime=4.93 cores=0-7
/proc/21283/task/21298/stat : 21298 (java) S 21281 21281 17718 0 -1 1077944384 35798 0 0 0 483 10 0 0 20 0 28 0 418651791 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202917156976 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21299] ppid=21281 vsize=28768328 memory=792 CPUtime=4.14 cores=0-7
/proc/21283/task/21299/stat : 21299 (java) S 21281 21281 17718 0 -1 1077944384 27975 0 0 0 409 5 0 0 20 0 28 0 418651791 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202916104432 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21300] ppid=21281 vsize=28768328 memory=1440 CPUtime=1.4 cores=0-7
/proc/21283/task/21300/stat : 21300 (java) S 21281 21281 17718 0 -1 1077944384 31082 0 0 0 133 7 0 0 20 0 28 0 418651791 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202915051888 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21301] ppid=21281 vsize=28768328 memory=1984 CPUtime=0 cores=0-7
/proc/21283/task/21301/stat : 21301 (java) S 21281 21281 17718 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418651791 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202913999584 140204256913109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21302] ppid=21281 vsize=28768328 memory=2376 CPUtime=1.52 cores=0-7
/proc/21283/task/21302/stat : 21302 (java) S 21281 21281 17718 0 -1 1077944384 2487 0 0 0 0 152 0 0 20 0 28 0 418651791 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202912947120 140204256914050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21303] ppid=21281 vsize=28768328 memory=1768 CPUtime=2510.36 cores=0-7
/proc/21283/task/21303/stat : 21303 (java) R 21281 21281 17718 0 -1 4202560 4314 0 0 0 251029 7 0 0 20 0 28 0 418651997 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202903735152 140203865167226 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21304] ppid=21281 vsize=28768328 memory=111628 CPUtime=2513.1 cores=0-7
/proc/21283/task/21304/stat : 21304 (java) R 21281 21281 17718 0 -1 4202560 5669 0 0 0 251303 7 0 0 20 0 28 0 418651997 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202902684056 140203865689897 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21305] ppid=21281 vsize=28768328 memory=804 CPUtime=2512.08 cores=0-7
/proc/21283/task/21305/stat : 21305 (java) R 21281 21281 17718 0 -1 4202560 89653 0 0 0 250640 568 0 0 20 0 28 0 418651997 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202901629944 140203858590589 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21306] ppid=21281 vsize=28768328 memory=1660 CPUtime=2493.68 cores=0-7
/proc/21283/task/21306/stat : 21306 (java) R 21281 21281 17718 0 -1 4202560 30558 0 0 0 249014 354 0 0 20 0 28 0 418651997 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202900577624 140203856598556 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21307] ppid=21281 vsize=28768328 memory=1804 CPUtime=2512.61 cores=0-7
/proc/21283/task/21307/stat : 21307 (java) R 21281 21281 17718 0 -1 4202560 8966 0 0 0 251246 15 0 0 20 0 28 0 418651997 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202054860552 140203865167226 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21308] ppid=21281 vsize=28768328 memory=920 CPUtime=2504.38 cores=0-7
/proc/21283/task/21308/stat : 21308 (java) R 21281 21281 17718 0 -1 4202560 8147 0 0 0 250409 29 0 0 20 0 28 0 418651997 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202053810560 140203866207390 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21309] ppid=21281 vsize=28768328 memory=4492 CPUtime=2495.09 cores=0-7
/proc/21283/task/21309/stat : 21309 (java) R 21281 21281 17718 0 -1 4202560 8369 0 0 0 249484 25 0 0 20 0 28 0 418651997 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202052755304 140203863181535 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
[pid=21283/tid=21310] ppid=21281 vsize=28768328 memory=920 CPUtime=2499.17 cores=0-7
/proc/21283/task/21310/stat : 21310 (java) R 21281 21281 17718 0 -1 4202560 5652 0 0 0 249906 11 0 0 20 0 28 0 418651997 29458767872 1363214 33554432000 4194304 4196468 140725316249184 140202051703128 140203865167202 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 22745088 140725316252650 140725316252822 140725316252822 140725316255695 0
Current children cumulated CPU time: 20082 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 5454312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.06 s]
# the end of solver process 21281 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002489 s, system=0 s
[startup+2520.14 s]
# the end of solver process 21283 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20069.3 s, system=13.5418 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.14
CPU time (s): 20082.8
CPU user time (s): 20069.3
CPU system time (s): 13.5418
CPU usage (%): 796.893
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 5792624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20069.3
system time used= 13.5418
maximum resident set size= 5791636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 394071
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65372
involuntary context switches= 241853
# summary of solver processes directly reported to runsolver:
# pid: 21281,21283
# total CPU time (s): 20082.8
# total CPU user time (s): 20069.3
# total CPU system time (s): 13.5418
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.1001 second user time and 36.6017 second system time
The end
Begin job on node133 at 2019-09-14 03:21:22 IDJOB=4394654 IDBENCH=124254 IDSOLVER=2843 FILE ID=node133/4394654-1568424122 RUNJOBID= node133-1568416728-17745 PBS_JOBID= 21702258 Free space on /tmp= 59416 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t10-4.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394654-1568424122/watcher-4394654-1568424122 -o /tmp/evaluation-result-4394654-1568424122/solver-4394654-1568424122 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568416728-17745 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 510169613 HOME/instance-4394654-1568424122.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9ef9cfbbe168b3e655de6bd1a7d8b0b4 RANDOM SEED=510169613 node133.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.18 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.18 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.18 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.18 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: 31470660 kB MemAvailable: 31897648 kB Buffers: 196124 kB Cached: 512260 kB SwapCached: 3360 kB Active: 401388 kB Inactive: 310280 kB Active(anon): 27360 kB Inactive(anon): 16024 kB Active(file): 374028 kB Inactive(file): 294256 kB Unevictable: 111224 kB Mlocked: 111224 kB SwapTotal: 67108860 kB SwapFree: 67004112 kB Dirty: 26136 kB Writeback: 0 kB AnonPages: 112652 kB Mapped: 44320 kB Shmem: 31488 kB Slab: 177864 kB SReclaimable: 149076 kB SUnreclaim: 28788 kB KernelStack: 3536 kB PageTables: 5380 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497816 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 59392 MiB End job on node133 at 2019-09-14 04:03:22