| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-09) | ? (TO) | 20068.301 | 2520.1101 |
| Name | BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml |
| MD5SUM | 13c07461cd5d6cd59c34e2b3a9f24c58 |
| 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 | 2202 |
| Number of constraints | 241 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":2202}] |
| Minimum variable degree | 5 |
| Maximum variable degree | 15 |
| Distribution of variable degrees | [{"degree":5,"count":19},{"degree":6,"count":72},{"degree":7,"count":142},{"degree":8,"count":315},{"degree":9,"count":566},{"degree":10,"count":547},{"degree":11,"count":320},{"degree":12,"count":138},{"degree":13,"count":49},{"degree":14,"count":27},{"degree":15,"count":7}] |
| Minimum constraint arity | 38 |
| Maximum constraint arity | 188 |
| Distribution of constraint arities | [{"arity":38,"count":5},{"arity":43,"count":2},{"arity":44,"count":2},{"arity":49,"count":2},{"arity":50,"count":9},{"arity":51,"count":3},{"arity":52,"count":3},{"arity":53,"count":7},{"arity":54,"count":4},{"arity":55,"count":9},{"arity":56,"count":1},{"arity":57,"count":5},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":61,"count":2},{"arity":62,"count":7},{"arity":63,"count":5},{"arity":64,"count":9},{"arity":65,"count":2},{"arity":66,"count":3},{"arity":67,"count":2},{"arity":68,"count":6},{"arity":69,"count":2},{"arity":70,"count":9},"...",{"arity":108,"count":2}, {"arity":109,"count":2}, {"arity":110,"count":1}, {"arity":114,"count":1}, {"arity":115,"count":2}, {"arity":116,"count":1}, {"arity":119,"count":1}, {"arity":122,"count":2}, {"arity":123,"count":1}, {"arity":125,"count":1}, {"arity":126,"count":1}, {"arity":127,"count":1}, {"arity":128,"count":1}, {"arity":129,"count":1}, {"arity":130,"count":1}, {"arity":135,"count":1}, {"arity":136,"count":1}, {"arity":137,"count":1}, {"arity":139,"count":1}, {"arity":140,"count":1}, {"arity":141,"count":1}, {"arity":145,"count":1}, {"arity":149,"count":1}, {"arity":171,"count":1}, {"arity":188,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"count","count":241}] |
| 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-4270502-1502763360.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4270502-1502763360.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 2.90/0.92 c solve instance... 20067.49/2520.10 s UNKNOWN 20067.49/2520.10 c Unexpected resolution interruption!
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15205 MiB free)
memory of node 1: 16384 MiB (15569 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270502-1502763360/watcher-4270502-1502763360 -o /tmp/evaluation-result-4270502-1502763360/solver-4270502-1502763360 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502754936-20126 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 627188012 HOME/instance-4270502-1502763360.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=20664, runsolver pid=20661
[startup+0.100123 s]*
/proc/loadavg: 8.54 8.38 7.87 3/201 20685
/proc/meminfo: memFree=31498764/32770624 swapFree=67108860/67108860
[pid=20664] ppid=20661 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20664/stat : 20664 (xcsp3-exec) S 20661 20664 20099 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 109424180 9740288 345 33554432000 4194304 5098028 140721368677344 140721368675448 140213134766716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23388160 140721368679525 140721368679735 140721368679735 140721368682475 0
/proc/20664/statm: 2378 345 289 221 0 87 0
[pid=20666] ppid=20664 vsize=25999808 memory=26444 CPUtime=0.12 cores=0-7
/proc/20666/stat : 20666 (java) S 20664 20664 20099 0 -1 1077944320 5474 0 0 0 11 1 0 0 20 0 20 0 109424181 26623803392 6611 33554432000 4194304 4196468 140733163008592 140733162991136 140487865876215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
/proc/20666/statm: 6499952 6611 2873 1 0 6488269 0
[pid=20666/tid=20667] ppid=20664 vsize=25999808 memory=8112279736428699549 CPUtime=0.08 cores=0-7
/proc/20666/task/20667/stat : 20667 (java) R 20664 20664 20099 0 -1 4202560 3471 0 0 0 8 0 0 0 20 0 20 0 109424181 26623803392 6675 33554432000 4194304 4196468 140733163008592 140487870108128 140487457618261 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20668] ppid=20664 vsize=25999808 memory=732369800880585701 CPUtime=0 cores=0-7
/proc/20666/task/20668/stat : 20668 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26623803392 6675 33554432000 4194304 4196468 140733163008592 140487788456848 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20669] ppid=20664 vsize=25999808 memory=139662543132288 CPUtime=0 cores=0-7
/proc/20666/task/20669/stat : 20669 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26623803392 6675 33554432000 4194304 4196468 140733163008592 140487787404048 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20670] ppid=20664 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20670/stat : 20670 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26623803392 6675 33554432000 4194304 4196468 140733163008592 140487786351760 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20671] ppid=20664 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20671/stat : 20671 (java) S 20664 20664 20099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109424182 26623803392 6675 33554432000 4194304 4196468 140733163008592 140487785298960 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20672] ppid=20664 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20672/stat : 20672 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26623803392 6675 33554432000 4194304 4196468 140733163008592 140487784245648 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20673] ppid=20664 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20666/task/20673/stat : 20673 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26623803392 6675 33554432000 4194304 4196468 140733163008592 140487783192848 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20674] ppid=20664 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20674/stat : 20674 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26623803392 6675 33554432000 4194304 4196468 140733163008592 140487782140560 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20675] ppid=20664 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20675/stat : 20675 (java) S 20664 20664 20099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109424182 26623803392 6675 33554432000 4194304 4196468 140733163008592 140487781087760 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20676] ppid=20664 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20676/stat : 20676 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424183 26623803392 6675 33554432000 4194304 4196468 140733163008592 140486653037168 140487865887362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20677] ppid=20664 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20677/stat : 20677 (java) S 20664 20664 20099 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109424184 26623803392 6675 33554432000 4194304 4196468 140733163008592 140486651983136 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20678] ppid=20664 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20678/stat : 20678 (java) S 20664 20664 20099 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109424184 26623803392 6675 33554432000 4194304 4196468 140733163008592 140486650930800 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20679] ppid=20664 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20679/stat : 20679 (java) S 20664 20664 20099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109424186 26623803392 6675 33554432000 4194304 4196468 140733163008592 140486649879120 140487865894811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20680] ppid=20664 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20680/stat : 20680 (java) S 20664 20664 20099 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 109424186 26623803392 6675 33554432000 4194304 4196468 140733163008592 140486648825968 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20681] ppid=20664 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20681/stat : 20681 (java) S 20664 20664 20099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109424186 26623803392 6675 33554432000 4194304 4196468 140733163008592 140486647773168 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20682] ppid=20664 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20682/stat : 20682 (java) S 20664 20664 20099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109424186 26623803392 6675 33554432000 4194304 4196468 140733163008592 140486646720880 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20683] ppid=20664 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/20666/task/20683/stat : 20683 (java) S 20664 20664 20099 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 20 0 109424186 26623803392 6675 33554432000 4194304 4196468 140733163008592 140486645668080 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20684] ppid=20664 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20684/stat : 20684 (java) S 20664 20664 20099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109424187 26623803392 6675 33554432000 4194304 4196468 140733163008592 140486644616032 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20685] ppid=20664 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20666/task/20685/stat : 20685 (java) S 20664 20664 20099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109424187 26623803392 6675 33554432000 4194304 4196468 140733163008592 140486643563312 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27824 KiB
[startup+0.210359 s]*
/proc/loadavg: 8.54 8.38 7.87 2/201 20685
/proc/meminfo: memFree=31486668/32770624 swapFree=67108860/67108860
[pid=20664] ppid=20661 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20664/stat : 20664 (xcsp3-exec) S 20661 20664 20099 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 109424180 9740288 345 33554432000 4194304 5098028 140721368677344 140721368675448 140213134766716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23388160 140721368679525 140721368679735 140721368679735 140721368682475 0
/proc/20664/statm: 2378 345 289 221 0 87 0
[pid=20666] ppid=20664 vsize=26004064 memory=38908 CPUtime=0.33 cores=0-7
/proc/20666/stat : 20666 (java) S 20664 20664 20099 0 -1 1077944320 8242 0 0 0 31 2 0 0 20 0 20 0 109424181 26628161536 9727 33554432000 4194304 4196468 140733163008592 140733162991136 140487865876215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
/proc/20666/statm: 6501016 9727 3051 1 0 6488269 0
[pid=20666/tid=20667] ppid=20664 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/20666/task/20667/stat : 20667 (java) R 20664 20664 20099 0 -1 4202560 5380 0 0 0 18 1 0 0 20 0 20 0 109424181 26628161536 9727 33554432000 4194304 4196468 140733163008592 140487870097200 140487865898141 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20668] ppid=20664 vsize=26004064 memory=732369800880585701 CPUtime=0 cores=0-7
/proc/20666/task/20668/stat : 20668 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26628161536 9727 33554432000 4194304 4196468 140733163008592 140487788456848 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20669] ppid=20664 vsize=26004064 memory=139662543132288 CPUtime=0 cores=0-7
/proc/20666/task/20669/stat : 20669 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26628161536 9727 33554432000 4194304 4196468 140733163008592 140487787404048 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20670] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20670/stat : 20670 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26628161536 9727 33554432000 4194304 4196468 140733163008592 140487786351760 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20671] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20671/stat : 20671 (java) S 20664 20664 20099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109424182 26628161536 9727 33554432000 4194304 4196468 140733163008592 140487785298960 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20672] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20672/stat : 20672 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26628161536 9727 33554432000 4194304 4196468 140733163008592 140487784245648 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20673] ppid=20664 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20666/task/20673/stat : 20673 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26628161536 9727 33554432000 4194304 4196468 140733163008592 140487783192848 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20674] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20674/stat : 20674 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26628161536 9727 33554432000 4194304 4196468 140733163008592 140487782140560 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20675] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20675/stat : 20675 (java) S 20664 20664 20099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109424182 26628161536 9727 33554432000 4194304 4196468 140733163008592 140487781087760 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20676] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20676/stat : 20676 (java) S 20664 20664 20099 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 109424183 26628161536 9727 33554432000 4194304 4196468 140733163008592 140486653037168 140487865887362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20677] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20677/stat : 20677 (java) S 20664 20664 20099 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109424184 26628161536 9727 33554432000 4194304 4196468 140733163008592 140486651983136 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20678] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20678/stat : 20678 (java) S 20664 20664 20099 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109424184 26628161536 9727 33554432000 4194304 4196468 140733163008592 140486650930800 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20679] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20679/stat : 20679 (java) S 20664 20664 20099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109424186 26628161536 9727 33554432000 4194304 4196468 140733163008592 140486649879120 140487865894811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20680] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20680/stat : 20680 (java) S 20664 20664 20099 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 20 0 109424186 26628161536 9727 33554432000 4194304 4196468 140733163008592 140486648825968 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20681] ppid=20664 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/20666/task/20681/stat : 20681 (java) R 20664 20664 20099 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 20 0 109424186 26628161536 9727 33554432000 4194304 4196468 140733163008592 140486647773168 140487865887362 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20682] ppid=20664 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20666/task/20682/stat : 20682 (java) R 20664 20664 20099 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 20 0 109424186 26628161536 9727 33554432000 4194304 4196468 140733163008592 140486646720880 140487865887362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20683] ppid=20664 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/20666/task/20683/stat : 20683 (java) S 20664 20664 20099 0 -1 1077944384 759 0 0 0 8 0 0 0 20 0 20 0 109424186 26628161536 9727 33554432000 4194304 4196468 140733163008592 140486645668080 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20684] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20684/stat : 20684 (java) S 20664 20664 20099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109424187 26628161536 9727 33554432000 4194304 4196468 140733163008592 140486644616032 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20685] ppid=20664 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20666/task/20685/stat : 20685 (java) S 20664 20664 20099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109424187 26628161536 9727 33554432000 4194304 4196468 140733163008592 140486643563312 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40288 KiB
[startup+0.309406 s]*
/proc/loadavg: 8.54 8.38 7.87 3/201 20685
/proc/meminfo: memFree=31482204/32770624 swapFree=67108860/67108860
[pid=20664] ppid=20661 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20664/stat : 20664 (xcsp3-exec) S 20661 20664 20099 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 109424180 9740288 345 33554432000 4194304 5098028 140721368677344 140721368675448 140213134766716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23388160 140721368679525 140721368679735 140721368679735 140721368682475 0
/proc/20664/statm: 2378 345 289 221 0 87 0
[pid=20666] ppid=20664 vsize=26004064 memory=46388 CPUtime=0.5 cores=0-7
/proc/20666/stat : 20666 (java) S 20664 20664 20099 0 -1 1077944320 9346 0 0 0 47 3 0 0 20 0 20 0 109424181 26628161536 11597 33554432000 4194304 4196468 140733163008592 140733162991136 140487865876215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
/proc/20666/statm: 6501016 11597 3069 1 0 6488269 0
[pid=20666/tid=20667] ppid=20664 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20666/task/20667/stat : 20667 (java) R 20664 20664 20099 0 -1 4202560 6088 0 0 0 27 2 0 0 20 0 20 0 109424181 26628161536 11663 33554432000 4194304 4196468 140733163008592 140487870106224 140487457653633 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20668] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20668/stat : 20668 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26628161536 11663 33554432000 4194304 4196468 140733163008592 140487788456848 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20669] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20669/stat : 20669 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26628161536 11663 33554432000 4194304 4196468 140733163008592 140487787404048 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20670] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20670/stat : 20670 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26628161536 11663 33554432000 4194304 4196468 140733163008592 140487786351760 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20671] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20671/stat : 20671 (java) S 20664 20664 20099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109424182 26628161536 11663 33554432000 4194304 4196468 140733163008592 140487785298960 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20672] ppid=20664 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/20666/task/20672/stat : 20672 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26628161536 11663 33554432000 4194304 4196468 140733163008592 140487784245648 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20673] ppid=20664 vsize=26004064 memory=139662404449199 CPUtime=0 cores=0-7
/proc/20666/task/20673/stat : 20673 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26628161536 11663 33554432000 4194304 4196468 140733163008592 140487783192848 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20674] ppid=20664 vsize=26004064 memory=139662404451504 CPUtime=0 cores=0-7
/proc/20666/task/20674/stat : 20674 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26628161536 11663 33554432000 4194304 4196468 140733163008592 140487782140560 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20675] ppid=20664 vsize=26004064 memory=139662404453808 CPUtime=0 cores=0-7
/proc/20666/task/20675/stat : 20675 (java) S 20664 20664 20099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109424182 26628161536 11663 33554432000 4194304 4196468 140733163008592 140487781087760 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20676] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20676/stat : 20676 (java) S 20664 20664 20099 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 109424183 26628161536 11663 33554432000 4194304 4196468 140733163008592 140486653037168 140487865887362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20677] ppid=20664 vsize=26004064 memory=279324808914576 CPUtime=0 cores=0-7
/proc/20666/task/20677/stat : 20677 (java) S 20664 20664 20099 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 109424184 26628161536 11663 33554432000 4194304 4196468 140733163008592 140486651983136 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20678] ppid=20664 vsize=26004064 memory=279324808921488 CPUtime=0 cores=0-7
/proc/20666/task/20678/stat : 20678 (java) S 20664 20664 20099 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 109424184 26628161536 11663 33554432000 4194304 4196468 140733163008592 140486650930800 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20679] ppid=20664 vsize=26004064 memory=279324808862768 CPUtime=0 cores=0-7
/proc/20666/task/20679/stat : 20679 (java) S 20664 20664 20099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109424186 26628161536 11663 33554432000 4194304 4196468 140733163008592 140486649879120 140487865894811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20680] ppid=20664 vsize=26004064 memory=279324808935312 CPUtime=0.02 cores=0-7
/proc/20666/task/20680/stat : 20680 (java) R 20664 20664 20099 0 -1 4202560 709 0 0 0 2 0 0 0 20 0 20 0 109424186 26628161536 11663 33554432000 4194304 4196468 140733163008592 140486648806984 140487849362191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20681] ppid=20664 vsize=26004064 memory=279324808942224 CPUtime=0.03 cores=0-7
/proc/20666/task/20681/stat : 20681 (java) S 20664 20664 20099 0 -1 1077944384 238 0 0 0 3 0 0 0 20 0 20 0 109424186 26628161536 11663 33554432000 4194304 4196468 140733163008592 140486647773168 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20682] ppid=20664 vsize=26004064 memory=279324808939920 CPUtime=0.02 cores=0-7
/proc/20666/task/20682/stat : 20682 (java) R 20664 20664 20099 0 -1 4202560 121 0 0 0 2 0 0 0 20 0 20 0 109424186 26628161536 11663 33554432000 4194304 4196468 140733163008592 140486646720880 140487847397090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20683] ppid=20664 vsize=26004064 memory=279324808956080 CPUtime=0.12 cores=0-7
/proc/20666/task/20683/stat : 20683 (java) R 20664 20664 20099 0 -1 4202560 944 0 0 0 12 0 0 0 20 0 20 0 109424186 26628161536 11663 33554432000 4194304 4196468 140733163008592 140486645665256 140487845177111 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20684] ppid=20664 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20684/stat : 20684 (java) S 20664 20664 20099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 109424187 26628161536 11663 33554432000 4194304 4196468 140733163008592 140486644616032 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20685] ppid=20664 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20666/task/20685/stat : 20685 (java) S 20664 20664 20099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 109424187 26628161536 11663 33554432000 4194304 4196468 140733163008592 140486643563312 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47768 KiB
[startup+0.700968 s]
/proc/loadavg: 8.54 8.38 7.87 5/201 20685
/proc/meminfo: memFree=31453992/32770624 swapFree=67108860/67108860
[pid=20664] ppid=20661 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20664/stat : 20664 (xcsp3-exec) S 20661 20664 20099 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 109424180 9740288 345 33554432000 4194304 5098028 140721368677344 140721368675448 140213134766716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23388160 140721368679525 140721368679735 140721368679735 140721368682475 0
/proc/20664/statm: 2378 345 289 221 0 87 0
[pid=20666] ppid=20664 vsize=26006188 memory=127572 CPUtime=2 cores=0-7
/proc/20666/stat : 20666 (java) S 20664 20664 20099 0 -1 1077944320 15859 0 0 0 194 6 0 0 20 0 20 0 109424181 26630336512 31893 33554432000 4194304 4196468 140733163008592 140733162991136 140487865876215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
/proc/20666/statm: 6501547 31893 3202 1 0 6488781 0
[pid=20666/tid=20667] ppid=20664 vsize=26006188 memory=279324809251008 CPUtime=0.67 cores=0-7
/proc/20666/task/20667/stat : 20667 (java) R 20664 20664 20099 0 -1 4202560 6816 0 0 0 64 3 0 0 20 0 20 0 109424181 26630336512 31893 33554432000 4194304 4196468 140733163008592 140487870112656 140487460890088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20668] ppid=20664 vsize=26006188 memory=1012 CPUtime=0 cores=0-7
/proc/20666/task/20668/stat : 20668 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26630336512 31893 33554432000 4194304 4196468 140733163008592 140487788456848 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20669] ppid=20664 vsize=26006188 memory=1716 CPUtime=0 cores=0-7
/proc/20666/task/20669/stat : 20669 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26630336512 31893 33554432000 4194304 4196468 140733163008592 140487787404048 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20670] ppid=20664 vsize=26006188 memory=5792 CPUtime=0 cores=0-7
/proc/20666/task/20670/stat : 20670 (java) S 20664 20664 20099 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 109424182 26630336512 31893 33554432000 4194304 4196468 140733163008592 140487786351760 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
################
# More data... #
################
[pid=20666/tid=20693] ppid=20664 vsize=26538700 memory=1380 CPUtime=2426.67 cores=0-7
/proc/20666/task/20693/stat : 20693 (java) R 20664 20664 20099 0 -1 4202560 8820 0 0 0 242658 9 0 0 20 0 28 0 109424275 27175628800 197857 33554432000 4194304 4196468 140733163008592 140486560932584 140487463529738 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
Current children cumulated CPU time: 19449.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 792808 KiB
[startup+2502.31 s]
/proc/loadavg: 7.95 8.01 8.13 9/207 20723
/proc/meminfo: memFree=30759604/32770624 swapFree=67108860/67108860
[pid=20664] ppid=20661 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20664/stat : 20664 (xcsp3-exec) S 20661 20664 20099 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 109424180 9740288 345 33554432000 4194304 5098028 140721368677344 140721368675448 140213134766716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23388160 140721368679525 140721368679735 140721368679735 140721368682475 0
/proc/20664/statm: 2378 345 289 221 0 87 0
[pid=20666] ppid=20664 vsize=26538700 memory=762748 CPUtime=19926.7 cores=0-7
/proc/20666/stat : 20666 (java) S 20664 20664 20099 0 -1 1077944320 424114 0 0 0 1992293 375 0 0 20 0 28 0 109424181 27175628800 190687 33554432000 4194304 4196468 140733163008592 140733162991136 140487865876215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
/proc/20666/statm: 6634675 190687 3300 1 0 6621909 0
[pid=20666/tid=20667] ppid=20664 vsize=26538700 memory=762748 CPUtime=0.88 cores=0-7
/proc/20666/task/20667/stat : 20667 (java) S 20664 20664 20099 0 -1 1077944384 6919 0 0 0 84 4 0 0 20 0 28 0 109424181 27175628800 190687 33554432000 4194304 4196468 140733163008592 140487870116992 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20668] ppid=20664 vsize=26538700 memory=762748 CPUtime=2.83 cores=0-7
/proc/20666/task/20668/stat : 20668 (java) S 20664 20664 20099 0 -1 1077944384 17817 0 0 0 260 23 0 0 20 0 28 0 109424182 27175628800 190687 33554432000 4194304 4196468 140733163008592 140487788456848 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20669] ppid=20664 vsize=26538700 memory=762748 CPUtime=2.79 cores=0-7
/proc/20666/task/20669/stat : 20669 (java) S 20664 20664 20099 0 -1 1077944384 19430 0 0 0 258 21 0 0 20 0 28 0 109424182 27175628800 190687 33554432000 4194304 4196468 140733163008592 140487787404048 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20670] ppid=20664 vsize=26538700 memory=762748 CPUtime=2.8 cores=0-7
/proc/20666/task/20670/stat : 20670 (java) S 20664 20664 20099 0 -1 1077944384 19170 0 0 0 256 24 0 0 20 0 28 0 109424182 27175628800 190687 33554432000 4194304 4196468 140733163008592 140487786351760 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20671] ppid=20664 vsize=26538700 memory=764284 CPUtime=2.82 cores=0-7
/proc/20666/task/20671/stat : 20671 (java) S 20664 20664 20099 0 -1 1077944384 17882 0 0 0 261 21 0 0 20 0 28 0 109424182 27175628800 190687 33554432000 4194304 4196468 140733163008592 140487785298960 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20672] ppid=20664 vsize=26538700 memory=764800 CPUtime=2.81 cores=0-7
/proc/20666/task/20672/stat : 20672 (java) S 20664 20664 20099 0 -1 1077944384 16801 0 0 0 260 21 0 0 20 0 28 0 109424182 27175628800 190687 33554432000 4194304 4196468 140733163008592 140487784245648 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20673] ppid=20664 vsize=26538700 memory=763772 CPUtime=2.81 cores=0-7
/proc/20666/task/20673/stat : 20673 (java) S 20664 20664 20099 0 -1 1077944384 18903 0 0 0 261 20 0 0 20 0 28 0 109424182 27175628800 190687 33554432000 4194304 4196468 140733163008592 140487783192848 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20674] ppid=20664 vsize=26538700 memory=762748 CPUtime=2.83 cores=0-7
/proc/20666/task/20674/stat : 20674 (java) S 20664 20664 20099 0 -1 1077944384 17349 0 0 0 263 20 0 0 20 0 28 0 109424182 27175628800 190687 33554432000 4194304 4196468 140733163008592 140487782140560 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20675] ppid=20664 vsize=26538700 memory=1380 CPUtime=2.82 cores=0-7
/proc/20666/task/20675/stat : 20675 (java) S 20664 20664 20099 0 -1 1077944384 16731 0 0 0 259 23 0 0 20 0 28 0 109424182 27175628800 190687 33554432000 4194304 4196468 140733163008592 140487781087760 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20676] ppid=20664 vsize=26538700 memory=783728 CPUtime=1.97 cores=0-7
/proc/20666/task/20676/stat : 20676 (java) S 20664 20664 20099 0 -1 1077944384 47886 0 0 0 148 49 0 0 20 0 28 0 109424183 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486653037168 140487865887362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20677] ppid=20664 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/20666/task/20677/stat : 20677 (java) S 20664 20664 20099 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 109424184 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486651983200 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20678] ppid=20664 vsize=26538700 memory=6225214278796928100 CPUtime=0 cores=0-7
/proc/20666/task/20678/stat : 20678 (java) S 20664 20664 20099 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 109424184 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486650930816 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20679] ppid=20664 vsize=26538700 memory=1236 CPUtime=0 cores=0-7
/proc/20666/task/20679/stat : 20679 (java) S 20664 20664 20099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109424186 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486649879120 140487865894811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20680] ppid=20664 vsize=26538700 memory=644 CPUtime=2.08 cores=0-7
/proc/20666/task/20680/stat : 20680 (java) S 20664 20664 20099 0 -1 1077944384 10623 0 0 0 206 2 0 0 20 0 28 0 109424186 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486648825968 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20681] ppid=20664 vsize=26538700 memory=6791534058613427641 CPUtime=1.93 cores=0-7
/proc/20666/task/20681/stat : 20681 (java) S 20664 20664 20099 0 -1 1077944384 10322 0 0 0 192 1 0 0 20 0 28 0 109424186 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486647773168 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20682] ppid=20664 vsize=26538700 memory=3840 CPUtime=1.91 cores=0-7
/proc/20666/task/20682/stat : 20682 (java) S 20664 20664 20099 0 -1 1077944384 9346 0 0 0 190 1 0 0 20 0 28 0 109424186 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486646720880 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20683] ppid=20664 vsize=26538700 memory=1380 CPUtime=0.66 cores=0-7
/proc/20666/task/20683/stat : 20683 (java) S 20664 20664 20099 0 -1 1077944384 7563 0 0 0 65 1 0 0 20 0 28 0 109424186 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486645668080 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20684] ppid=20664 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/20666/task/20684/stat : 20684 (java) S 20664 20664 20099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109424187 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486644616032 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20685] ppid=20664 vsize=26538700 memory=790912 CPUtime=0.5 cores=0-7
/proc/20666/task/20685/stat : 20685 (java) S 20664 20664 20099 0 -1 1077944384 3891 0 0 0 0 50 0 0 20 0 28 0 109424187 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486643563312 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20686] ppid=20664 vsize=26538700 memory=1380 CPUtime=2482.06 cores=0-7
/proc/20666/task/20686/stat : 20686 (java) R 20664 20664 20099 0 -1 4202560 12797 0 0 0 248191 15 0 0 20 0 28 0 109424274 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486568300024 140487464605205 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20687] ppid=20664 vsize=26538700 memory=0 CPUtime=2488.91 cores=0-7
/proc/20666/task/20687/stat : 20687 (java) R 20664 20664 20099 0 -1 4202560 9429 0 0 0 248881 10 0 0 20 0 28 0 109424275 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486567248360 140487463529498 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20688] ppid=20664 vsize=26538700 memory=288370014984339743 CPUtime=2486.47 cores=0-7
/proc/20666/task/20688/stat : 20688 (java) R 20664 20664 20099 0 -1 4202560 17087 0 0 0 248637 10 0 0 20 0 28 0 109424275 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486566194904 140487465002451 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20689] ppid=20664 vsize=26538700 memory=228465148459828 CPUtime=2487.35 cores=0-7
/proc/20666/task/20689/stat : 20689 (java) R 20664 20664 20099 0 -1 4202560 25089 0 0 0 248712 23 0 0 20 0 28 0 109424275 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486565142760 140487464224256 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20690] ppid=20664 vsize=26538700 memory=6655300316396806240 CPUtime=2488.01 cores=0-7
/proc/20666/task/20690/stat : 20690 (java) R 20664 20664 20099 0 -1 4202560 10545 0 0 0 248789 12 0 0 20 0 28 0 109424275 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486564092944 140487463925184 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20691] ppid=20664 vsize=26538700 memory=5792 CPUtime=2488.85 cores=0-7
/proc/20666/task/20691/stat : 20691 (java) R 20664 20664 20099 0 -1 4202560 33562 0 0 0 248859 26 0 0 20 0 28 0 109424275 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486563036800 140487464659973 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20692] ppid=20664 vsize=26538700 memory=4616 CPUtime=2486.13 cores=0-7
/proc/20666/task/20692/stat : 20692 (java) R 20664 20664 20099 0 -1 4202560 64698 0 0 0 248571 42 0 0 20 0 28 0 109424275 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486561984920 140487465002484 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20693] ppid=20664 vsize=26538700 memory=1380 CPUtime=2486.21 cores=0-7
/proc/20666/task/20693/stat : 20693 (java) R 20664 20664 20099 0 -1 4202560 8950 0 0 0 248612 9 0 0 20 0 28 0 109424275 27175628800 190687 33554432000 4194304 4196468 140733163008592 140486560931928 140487463530094 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
Current children cumulated CPU time: 19926.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 764128 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 7.97 8.01 8.13 9/207 20723
/proc/meminfo: memFree=30762236/32770624 swapFree=67108860/67108860
[pid=20664] ppid=20661 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20664/stat : 20664 (xcsp3-exec) S 20661 20664 20099 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 109424180 9740288 345 33554432000 4194304 5098028 140721368677344 140721368675448 140213134766716 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23388160 140721368679525 140721368679735 140721368679735 140721368682475 0
/proc/20664/statm: 2378 345 289 221 0 87 0
[pid=20666] ppid=20664 vsize=26538700 memory=759668 CPUtime=20067.5 cores=0-7
/proc/20666/stat : 20666 (java) S 20664 20664 20099 0 -1 1077944320 425305 0 0 0 2006370 379 0 0 20 0 28 0 109424181 27175628800 189917 33554432000 4194304 4196468 140733163008592 140733162991136 140487865876215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
/proc/20666/statm: 6634675 189917 3300 1 0 6621909 0
[pid=20666/tid=20667] ppid=20664 vsize=26538700 memory=4096 CPUtime=0.88 cores=0-7
/proc/20666/task/20667/stat : 20667 (java) S 20664 20664 20099 0 -1 1077944384 6919 0 0 0 84 4 0 0 20 0 28 0 109424181 27175628800 189917 33554432000 4194304 4196468 140733163008592 140487870116992 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20668] ppid=20664 vsize=26538700 memory=1152 CPUtime=2.87 cores=0-7
/proc/20666/task/20668/stat : 20668 (java) S 20664 20664 20099 0 -1 1077944384 17842 0 0 0 264 23 0 0 20 0 28 0 109424182 27175628800 189917 33554432000 4194304 4196468 140733163008592 140487788456848 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20669] ppid=20664 vsize=26538700 memory=-7003737579269690708 CPUtime=2.84 cores=0-7
/proc/20666/task/20669/stat : 20669 (java) S 20664 20664 20099 0 -1 1077944384 19495 0 0 0 263 21 0 0 20 0 28 0 109424182 27175628800 189917 33554432000 4194304 4196468 140733163008592 140487787404048 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20670] ppid=20664 vsize=26538700 memory=1788 CPUtime=2.84 cores=0-7
/proc/20666/task/20670/stat : 20670 (java) S 20664 20664 20099 0 -1 1077944384 19204 0 0 0 260 24 0 0 20 0 28 0 109424182 27175628800 189917 33554432000 4194304 4196468 140733163008592 140487786351760 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20671] ppid=20664 vsize=26538700 memory=4140 CPUtime=2.87 cores=0-7
/proc/20666/task/20671/stat : 20671 (java) S 20664 20664 20099 0 -1 1077944384 17927 0 0 0 265 22 0 0 20 0 28 0 109424182 27175628800 189917 33554432000 4194304 4196468 140733163008592 140487785298960 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20672] ppid=20664 vsize=26538700 memory=31112 CPUtime=2.86 cores=0-7
/proc/20666/task/20672/stat : 20672 (java) S 20664 20664 20099 0 -1 1077944384 16844 0 0 0 265 21 0 0 20 0 28 0 109424182 27175628800 189917 33554432000 4194304 4196468 140733163008592 140487784245648 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20673] ppid=20664 vsize=26538700 memory=1296 CPUtime=2.86 cores=0-7
/proc/20666/task/20673/stat : 20673 (java) S 20664 20664 20099 0 -1 1077944384 18950 0 0 0 266 20 0 0 20 0 28 0 109424182 27175628800 189917 33554432000 4194304 4196468 140733163008592 140487783192848 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20674] ppid=20664 vsize=26538700 memory=1380 CPUtime=2.87 cores=0-7
/proc/20666/task/20674/stat : 20674 (java) S 20664 20664 20099 0 -1 1077944384 17377 0 0 0 267 20 0 0 20 0 28 0 109424182 27175628800 189917 33554432000 4194304 4196468 140733163008592 140487782140560 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20675] ppid=20664 vsize=26538700 memory=760696 CPUtime=2.86 cores=0-7
/proc/20666/task/20675/stat : 20675 (java) S 20664 20664 20099 0 -1 1077944384 17036 0 0 0 263 23 0 0 20 0 28 0 109424182 27175628800 189917 33554432000 4194304 4196468 140733163008592 140487781087760 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20676] ppid=20664 vsize=26538700 memory=1012 CPUtime=2.01 cores=0-7
/proc/20666/task/20676/stat : 20676 (java) S 20664 20664 20099 0 -1 1077944384 48086 0 0 0 151 50 0 0 20 0 28 0 109424183 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486653037168 140487865887362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20677] ppid=20664 vsize=26538700 memory=792 CPUtime=0 cores=0-7
/proc/20666/task/20677/stat : 20677 (java) S 20664 20664 20099 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 109424184 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486651983200 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20678] ppid=20664 vsize=26538700 memory=1420 CPUtime=0 cores=0-7
/proc/20666/task/20678/stat : 20678 (java) S 20664 20664 20099 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 109424184 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486650930816 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20679] ppid=20664 vsize=26538700 memory=13040 CPUtime=0 cores=0-7
/proc/20666/task/20679/stat : 20679 (java) S 20664 20664 20099 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 109424186 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486649879120 140487865894811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20680] ppid=20664 vsize=26538700 memory=1944 CPUtime=2.08 cores=0-7
/proc/20666/task/20680/stat : 20680 (java) S 20664 20664 20099 0 -1 1077944384 10625 0 0 0 206 2 0 0 20 0 28 0 109424186 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486648825968 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20681] ppid=20664 vsize=26538700 memory=1196 CPUtime=1.93 cores=0-7
/proc/20666/task/20681/stat : 20681 (java) S 20664 20664 20099 0 -1 1077944384 10324 0 0 0 192 1 0 0 20 0 28 0 109424186 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486647773168 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20682] ppid=20664 vsize=26538700 memory=8560 CPUtime=1.91 cores=0-7
/proc/20666/task/20682/stat : 20682 (java) S 20664 20664 20099 0 -1 1077944384 9348 0 0 0 190 1 0 0 20 0 28 0 109424186 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486646720880 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20683] ppid=20664 vsize=26538700 memory=1228 CPUtime=0.66 cores=0-7
/proc/20666/task/20683/stat : 20683 (java) S 20664 20664 20099 0 -1 1077944384 7565 0 0 0 65 1 0 0 20 0 28 0 109424186 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486645668080 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20684] ppid=20664 vsize=26538700 memory=15876 CPUtime=0 cores=0-7
/proc/20666/task/20684/stat : 20684 (java) S 20664 20664 20099 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 109424187 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486644616032 140487865886421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20685] ppid=20664 vsize=26538700 memory=18476 CPUtime=0.51 cores=0-7
/proc/20666/task/20685/stat : 20685 (java) S 20664 20664 20099 0 -1 1077944384 3893 0 0 0 0 51 0 0 20 0 28 0 109424187 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486643563312 140487865887362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20686] ppid=20664 vsize=26538700 memory=2204 CPUtime=2499.55 cores=0-7
/proc/20666/task/20686/stat : 20686 (java) R 20664 20664 20099 0 -1 4202560 12818 0 0 0 249940 15 0 0 20 0 28 0 109424274 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486568303120 140487463529635 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20687] ppid=20664 vsize=26538700 memory=6764 CPUtime=2506.5 cores=0-7
/proc/20666/task/20687/stat : 20687 (java) R 20664 20664 20099 0 -1 4202560 9437 0 0 0 250640 10 0 0 20 0 28 0 109424275 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486567248216 140487465002484 0 4 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20688] ppid=20664 vsize=26538700 memory=840 CPUtime=2504.02 cores=0-7
/proc/20666/task/20688/stat : 20688 (java) R 20664 20664 20099 0 -1 4202560 17113 0 0 0 250391 11 0 0 20 0 28 0 109424275 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486566195048 140487463816909 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20689] ppid=20664 vsize=26538700 memory=1696 CPUtime=2504.83 cores=0-7
/proc/20666/task/20689/stat : 20689 (java) R 20664 20664 20099 0 -1 4202560 25167 0 0 0 250459 24 0 0 20 0 28 0 109424275 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486565142000 140487464659253 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20690] ppid=20664 vsize=26538700 memory=920 CPUtime=2505.51 cores=0-7
/proc/20666/task/20690/stat : 20690 (java) R 20664 20664 20099 0 -1 4202560 10571 0 0 0 250539 12 0 0 20 0 28 0 109424275 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486564089960 140487463924917 0 4 0 16800975 0 0 0 -1 7 0 0 13 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20691] ppid=20664 vsize=26538700 memory=4116 CPUtime=2506.44 cores=0-7
/proc/20666/task/20691/stat : 20691 (java) R 20664 20664 20099 0 -1 4202560 33627 0 0 0 250617 27 0 0 20 0 28 0 109424275 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486563037288 140487463817078 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20692] ppid=20664 vsize=26538700 memory=4096 CPUtime=2503.76 cores=0-7
/proc/20666/task/20692/stat : 20692 (java) R 20664 20664 20099 0 -1 4202560 64851 0 0 0 250333 43 0 0 20 0 28 0 109424275 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486561984536 140487463687758 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
[pid=20666/tid=20693] ppid=20664 vsize=26538700 memory=1152 CPUtime=2503.79 cores=0-7
/proc/20666/task/20693/stat : 20693 (java) R 20664 20664 20099 0 -1 4202560 8962 0 0 0 250370 9 0 0 20 0 28 0 109424275 27175628800 189917 33554432000 4194304 4196468 140733163008592 140486560931928 140487464659955 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 28438528 140733163013266 140733163013443 140733163013443 140733163016143 0
Current children cumulated CPU time: 20067.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 761048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 20664 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000965 s, system=0.000965 s
[startup+2520.11 s]
# the end of solver process 20666 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20064.5 s, system=3.8089 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.11
CPU time (s): 20068.3
CPU user time (s): 20064.5
CPU system time (s): 3.8089
CPU usage (%): 796.324
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 993264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20064.5
system time used= 3.8089
maximum resident set size= 1026064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 426113
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 170907
involuntary context switches= 206650
# summary of solver processes directly reported to runsolver:
# pid: 20664,20666
# total CPU time (s): 20068.3
# total CPU user time (s): 20064.5
# total CPU system time (s): 3.8089
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.0238 second user time and 24.8912 second system time
The end
Begin job on node103 at 2017-08-15 04:01:41 IDJOB=4270502 IDBENCH=133712 IDSOLVER=2662 FILE ID=node103/4270502-1502763360 RUNJOBID= node103-1502754936-20126 PBS_JOBID= 20629081 Free space on /tmp= 61796 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r5.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-4270502-1502763360/watcher-4270502-1502763360 -o /tmp/evaluation-result-4270502-1502763360/solver-4270502-1502763360 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1502754936-20126 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 627188012 HOME/instance-4270502-1502763360.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 13c07461cd5d6cd59c34e2b3a9f24c58 RANDOM SEED=627188012 node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31514108 kB MemAvailable: 31983044 kB Buffers: 169240 kB Cached: 585384 kB SwapCached: 0 kB Active: 581696 kB Inactive: 227252 kB Active(anon): 3624 kB Inactive(anon): 78584 kB Active(file): 578072 kB Inactive(file): 148668 kB Unevictable: 6428 kB Mlocked: 6428 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7780 kB Writeback: 0 kB AnonPages: 60964 kB Mapped: 45472 kB Shmem: 25228 kB Slab: 142416 kB SReclaimable: 116060 kB SUnreclaim: 26356 kB KernelStack: 3360 kB PageTables: 4556 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323380 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61784 MiB End job on node103 at 2017-08-15 04:43:41