| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-16 parallel | ? (TO) | 1987.64 | 252.123 |
| Name | NurseRostering/ NurseRostering-18_c18.xml |
| MD5SUM | 2080050c46f9199df44cd86a0d29de9d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 48151 |
| Best CPU time to get the best result obtained on this benchmark | 2400.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3286 |
| Number of constraints | 8967 |
| Number of domains | 16 |
| Minimum domain size | 1 |
| Maximum domain size | 85 |
| Distribution of domain sizes | [{"size":1,"count":96},{"size":2,"count":678},{"size":4,"count":1848},{"size":23,"count":588},{"size":41,"count":2},{"size":44,"count":16},{"size":85,"count":58}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 23 |
| Distribution of variable degrees | [{"degree":2,"count":1174},{"degree":3,"count":264},{"degree":13,"count":19},{"degree":14,"count":23},{"degree":15,"count":2},{"degree":16,"count":17},{"degree":17,"count":24},{"degree":18,"count":38},{"degree":19,"count":38},{"degree":20,"count":189},{"degree":21,"count":776},{"degree":22,"count":573},{"degree":23,"count":149}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 176 |
| Distribution of constraint arities | [{"arity":2,"count":3148},{"arity":3,"count":3608},{"arity":4,"count":22},{"arity":5,"count":320},{"arity":6,"count":1422},{"arity":12,"count":22},{"arity":23,"count":336},{"arity":85,"count":88},{"arity":176,"count":1}] |
| Number of extensional constraints | 2162 |
| Number of intensional constraints | 986 |
| Distribution of constraint types | [{"type":"extension","count":2162},{"type":"intension","count":986},{"type":"regular","count":3608},{"type":"sum","count":44},{"type":"count","count":2166},{"type":"instantiation","count":1}] |
| 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-4400304-1568720298.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400304-1568720298.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 20.19/5.18 c solve instance... 1986.94/252.08 s UNKNOWN 1986.94/252.08 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 (15359 MiB free)
memory of node 1: 16384 MiB (15004 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400304-1568720298/watcher-4400304-1568720298 -o /tmp/evaluation-result-4400304-1568720298/solver-4400304-1568720298 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568710964-23678 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1104860600 HOME/instance-4400304-1568720298.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26645, runsolver pid=26642
[startup+0.100141 s]*
/proc/loadavg: 8.70 8.30 8.18 2/211 26666
/proc/meminfo: memFree=31076464/32770624 swapFree=66989116/67108860
[pid=26645] ppid=26642 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26645/stat : 26645 (xcsp3-exec) S 26642 26645 23651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448297554 115843072 363 33554432000 4194304 5098028 140724595696896 140724595695000 139752226927228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12558336 140724595700603 140724595700846 140724595700846 140724595703754 0
/proc/26645/statm: 28282 363 304 221 0 87 0
[pid=26647] ppid=26645 vsize=28227396 memory=29440 CPUtime=0.12 cores=0-7
/proc/26647/stat : 26647 (java) S 26645 26645 23651 0 -1 1077944320 5833 0 0 0 11 1 0 0 20 0 20 0 448297554 28904853504 7360 33554432000 4194304 4196468 140731347474160 140731347456704 140112368951031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
/proc/26647/statm: 7056849 7360 3119 1 0 7019032 0
[pid=26647/tid=26648] ppid=26645 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/26647/task/26648/stat : 26648 (java) R 26645 26645 23651 0 -1 4202560 3759 0 0 0 8 0 0 0 20 0 20 0 448297554 28904853504 7360 33554432000 4194304 4196468 140731347474160 140112373184512 140112368962966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26649] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26649/stat : 26649 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28904853504 7360 33554432000 4194304 4196468 140731347474160 140112321571088 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26650] ppid=26645 vsize=28227396 memory=288370357352539776 CPUtime=0 cores=0-7
/proc/26647/task/26650/stat : 26650 (java) S 26645 26645 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448297555 28904853504 7360 33554432000 4194304 4196468 140731347474160 140112320518544 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26651] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26651/stat : 26651 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28904853504 7360 33554432000 4194304 4196468 140731347474160 140112319466000 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26652] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26652/stat : 26652 (java) S 26645 26645 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448297555 28904853504 7360 33554432000 4194304 4196468 140731347474160 140112318413456 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26653] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26653/stat : 26653 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28904853504 7360 33554432000 4194304 4196468 140731347474160 140112317360912 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26654] ppid=26645 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26647/task/26654/stat : 26654 (java) S 26645 26645 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448297555 28904853504 7360 33554432000 4194304 4196468 140731347474160 140112316308368 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26655] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26655/stat : 26655 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28904853504 7360 33554432000 4194304 4196468 140731347474160 140112315255824 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26656] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26656/stat : 26656 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28904853504 7360 33554432000 4194304 4196468 140731347474160 140112314203280 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26657] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26657/stat : 26657 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297557 28904853504 7360 33554432000 4194304 4196468 140731347474160 140110631745520 140112368962178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26658] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26658/stat : 26658 (java) S 26645 26645 23651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448297557 28904853504 7360 33554432000 4194304 4196468 140731347474160 140110630691744 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26659] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26659/stat : 26659 (java) S 26645 26645 23651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448297557 28904853504 7360 33554432000 4194304 4196468 140731347474160 140110629639152 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26660] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26660/stat : 26660 (java) S 26645 26645 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448297560 28904853504 7360 33554432000 4194304 4196468 140731347474160 140110628587728 140112368969627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26661] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26661/stat : 26661 (java) S 26645 26645 23651 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 448297560 28904853504 7360 33554432000 4194304 4196468 140731347474160 140110627535344 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26662] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26662/stat : 26662 (java) S 26645 26645 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448297560 28904853504 7360 33554432000 4194304 4196468 140731347474160 140110626482800 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26663] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26663/stat : 26663 (java) S 26645 26645 23651 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 448297560 28904853504 7360 33554432000 4194304 4196468 140731347474160 140110182832880 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26664] ppid=26645 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/26647/task/26664/stat : 26664 (java) R 26645 26645 23651 0 -1 4202560 336 0 0 0 1 0 0 0 20 0 20 0 448297560 28904853504 7360 33554432000 4194304 4196468 140731347474160 140110181780336 140112353132428 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26665] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26665/stat : 26665 (java) S 26645 26645 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448297560 28904853504 7360 33554432000 4194304 4196468 140731347474160 140110180727008 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26666] ppid=26645 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26647/task/26666/stat : 26666 (java) S 26645 26645 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448297560 28904853504 7360 33554432000 4194304 4196468 140731347474160 140110179674544 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30892 KiB
[startup+0.210149 s]*
/proc/loadavg: 8.70 8.30 8.18 2/211 26666
/proc/meminfo: memFree=31063144/32770624 swapFree=66989116/67108860
[pid=26645] ppid=26642 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26645/stat : 26645 (xcsp3-exec) S 26642 26645 23651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448297554 115843072 363 33554432000 4194304 5098028 140724595696896 140724595695000 139752226927228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12558336 140724595700603 140724595700846 140724595700846 140724595703754 0
/proc/26645/statm: 28282 363 304 221 0 87 0
[pid=26647] ppid=26645 vsize=28227396 memory=41056 CPUtime=0.33 cores=0-7
/proc/26647/stat : 26647 (java) S 26645 26645 23651 0 -1 1077944320 9503 0 0 0 30 3 0 0 20 0 20 0 448297554 28904853504 10264 33554432000 4194304 4196468 140731347474160 140731347456704 140112368951031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
/proc/26647/statm: 7056849 10264 3306 1 0 7019032 0
[pid=26647/tid=26648] ppid=26645 vsize=28227396 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/26647/task/26648/stat : 26648 (java) R 26645 26645 23651 0 -1 4202560 6662 0 0 0 17 2 0 0 20 0 20 0 448297554 28904853504 10264 33554432000 4194304 4196468 140731347474160 140112373190704 140112368972957 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26649] ppid=26645 vsize=28227396 memory=9318 CPUtime=0 cores=0-7
/proc/26647/task/26649/stat : 26649 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28904853504 10264 33554432000 4194304 4196468 140731347474160 140112321571088 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26650] ppid=26645 vsize=28227396 memory=139981200852655 CPUtime=0 cores=0-7
/proc/26647/task/26650/stat : 26650 (java) S 26645 26645 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448297555 28904853504 10264 33554432000 4194304 4196468 140731347474160 140112320518544 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26651] ppid=26645 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26647/task/26651/stat : 26651 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28904853504 10264 33554432000 4194304 4196468 140731347474160 140112319466000 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26652] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26652/stat : 26652 (java) S 26645 26645 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448297555 28904853504 10264 33554432000 4194304 4196468 140731347474160 140112318413456 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26653] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26653/stat : 26653 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28904853504 10264 33554432000 4194304 4196468 140731347474160 140112317360912 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26654] ppid=26645 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26647/task/26654/stat : 26654 (java) S 26645 26645 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448297555 28904853504 10264 33554432000 4194304 4196468 140731347474160 140112316308368 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26655] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26655/stat : 26655 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28904853504 10264 33554432000 4194304 4196468 140731347474160 140112315255824 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26656] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26656/stat : 26656 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28904853504 10264 33554432000 4194304 4196468 140731347474160 140112314203280 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26657] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26657/stat : 26657 (java) S 26645 26645 23651 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 448297557 28904853504 10264 33554432000 4194304 4196468 140731347474160 140110631745520 140112368962178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26658] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26658/stat : 26658 (java) S 26645 26645 23651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448297557 28904853504 10264 33554432000 4194304 4196468 140731347474160 140110630691744 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26659] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26659/stat : 26659 (java) S 26645 26645 23651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448297557 28904853504 10264 33554432000 4194304 4196468 140731347474160 140110629639152 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26660] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26660/stat : 26660 (java) S 26645 26645 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448297560 28904853504 10264 33554432000 4194304 4196468 140731347474160 140110628587728 140112368969627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26661] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26661/stat : 26661 (java) S 26645 26645 23651 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 448297560 28904853504 10264 33554432000 4194304 4196468 140731347474160 140110627535344 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26662] ppid=26645 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/26647/task/26662/stat : 26662 (java) S 26645 26645 23651 0 -1 1077944384 313 0 0 0 2 0 0 0 20 0 20 0 448297560 28904853504 10264 33554432000 4194304 4196468 140731347474160 140110626482800 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26663] ppid=26645 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/26647/task/26663/stat : 26663 (java) S 26645 26645 23651 0 -1 1077944384 157 0 0 0 1 0 0 0 20 0 20 0 448297560 28904853504 10264 33554432000 4194304 4196468 140731347474160 140110182832880 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26664] ppid=26645 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/26647/task/26664/stat : 26664 (java) S 26645 26645 23651 0 -1 1077944384 746 0 0 0 7 0 0 0 20 0 20 0 448297560 28904853504 10264 33554432000 4194304 4196468 140731347474160 140110181780336 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26665] ppid=26645 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26665/stat : 26665 (java) S 26645 26645 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448297560 28904853504 10264 33554432000 4194304 4196468 140731347474160 140110180727008 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26666] ppid=26645 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/26647/task/26666/stat : 26666 (java) S 26645 26645 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448297560 28904853504 10264 33554432000 4194304 4196468 140731347474160 140110179674544 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42508 KiB
[startup+0.309435 s]*
/proc/loadavg: 8.70 8.30 8.18 5/211 26666
/proc/meminfo: memFree=31058120/32770624 swapFree=66989116/67108860
[pid=26645] ppid=26642 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26645/stat : 26645 (xcsp3-exec) S 26642 26645 23651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448297554 115843072 363 33554432000 4194304 5098028 140724595696896 140724595695000 139752226927228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12558336 140724595700603 140724595700846 140724595700846 140724595703754 0
/proc/26645/statm: 28282 363 304 221 0 87 0
[pid=26647] ppid=26645 vsize=28231652 memory=49884 CPUtime=0.52 cores=0-7
/proc/26647/stat : 26647 (java) S 26645 26645 23651 0 -1 1077944320 10825 0 0 0 48 4 0 0 20 0 20 0 448297554 28909211648 12471 33554432000 4194304 4196468 140731347474160 140731347456704 140112368951031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
/proc/26647/statm: 7057913 12471 3343 1 0 7019032 0
[pid=26647/tid=26648] ppid=26645 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/26647/task/26648/stat : 26648 (java) R 26645 26645 23651 0 -1 4202560 7737 0 0 0 26 3 0 0 20 0 20 0 448297554 28909211648 12471 33554432000 4194304 4196468 140731347474160 140112373182144 140112353031518 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26649] ppid=26645 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26649/stat : 26649 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28909211648 12471 33554432000 4194304 4196468 140731347474160 140112321571088 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26650] ppid=26645 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26650/stat : 26650 (java) S 26645 26645 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448297555 28909211648 12471 33554432000 4194304 4196468 140731347474160 140112320518544 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26651] ppid=26645 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26651/stat : 26651 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28909211648 12471 33554432000 4194304 4196468 140731347474160 140112319466000 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26652] ppid=26645 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26652/stat : 26652 (java) S 26645 26645 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448297555 28909211648 12471 33554432000 4194304 4196468 140731347474160 140112318413456 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26653] ppid=26645 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26653/stat : 26653 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28909211648 12471 33554432000 4194304 4196468 140731347474160 140112317360912 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26654] ppid=26645 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26654/stat : 26654 (java) S 26645 26645 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448297555 28909211648 12471 33554432000 4194304 4196468 140731347474160 140112316308368 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26655] ppid=26645 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26655/stat : 26655 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28909211648 12471 33554432000 4194304 4196468 140731347474160 140112315255824 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26656] ppid=26645 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26656/stat : 26656 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28909211648 12471 33554432000 4194304 4196468 140731347474160 140112314203280 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26657] ppid=26645 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26657/stat : 26657 (java) S 26645 26645 23651 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 448297557 28909211648 12471 33554432000 4194304 4196468 140731347474160 140110631745520 140112368962178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26658] ppid=26645 vsize=28231652 memory=279962208902528 CPUtime=0 cores=0-7
/proc/26647/task/26658/stat : 26658 (java) S 26645 26645 23651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448297557 28909211648 12471 33554432000 4194304 4196468 140731347474160 140110630691744 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26659] ppid=26645 vsize=28231652 memory=279962208907136 CPUtime=0 cores=0-7
/proc/26647/task/26659/stat : 26659 (java) S 26645 26645 23651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448297557 28909211648 12471 33554432000 4194304 4196468 140731347474160 140110629639152 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26660] ppid=26645 vsize=28231652 memory=279962208911744 CPUtime=0 cores=0-7
/proc/26647/task/26660/stat : 26660 (java) S 26645 26645 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448297560 28909211648 12471 33554432000 4194304 4196468 140731347474160 140110628587728 140112368969627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26661] ppid=26645 vsize=28231652 memory=279962208916352 CPUtime=0.01 cores=0-7
/proc/26647/task/26661/stat : 26661 (java) R 26645 26645 23651 0 -1 4202560 411 0 0 0 1 0 0 0 20 0 20 0 448297560 28909211648 12471 33554432000 4194304 4196468 140731347474160 140110627525728 140112349651328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26662] ppid=26645 vsize=28231652 memory=279962208920960 CPUtime=0.04 cores=0-7
/proc/26647/task/26662/stat : 26662 (java) S 26645 26645 23651 0 -1 1077944384 326 0 0 0 4 0 0 0 20 0 20 0 448297560 28909211648 12471 33554432000 4194304 4196468 140731347474160 140110626482800 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26663] ppid=26645 vsize=28231652 memory=279962208925568 CPUtime=0.02 cores=0-7
/proc/26647/task/26663/stat : 26663 (java) S 26645 26645 23651 0 -1 1077944384 180 0 0 0 2 0 0 0 20 0 20 0 448297560 28909211648 12471 33554432000 4194304 4196468 140731347474160 140110182832880 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26664] ppid=26645 vsize=28231652 memory=279962208930176 CPUtime=0.12 cores=0-7
/proc/26647/task/26664/stat : 26664 (java) S 26645 26645 23651 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 20 0 448297560 28909211648 12471 33554432000 4194304 4196468 140731347474160 140110181780336 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26665] ppid=26645 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26665/stat : 26665 (java) S 26645 26645 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448297560 28909211648 12471 33554432000 4194304 4196468 140731347474160 140110180727008 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26666] ppid=26645 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/26647/task/26666/stat : 26666 (java) S 26645 26645 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448297560 28909211648 12471 33554432000 4194304 4196468 140731347474160 140110179674544 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51336 KiB
[startup+0.700858 s]
/proc/loadavg: 8.70 8.30 8.18 6/211 26666
/proc/meminfo: memFree=31035540/32770624 swapFree=66989116/67108860
[pid=26645] ppid=26642 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26645/stat : 26645 (xcsp3-exec) S 26642 26645 23651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448297554 115843072 363 33554432000 4194304 5098028 140724595696896 140724595695000 139752226927228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12558336 140724595700603 140724595700846 140724595700846 140724595703754 0
/proc/26645/statm: 28282 363 304 221 0 87 0
[pid=26647] ppid=26645 vsize=28233776 memory=101656 CPUtime=1.92 cores=0-7
/proc/26647/stat : 26647 (java) S 26645 26645 23651 0 -1 1077944320 15064 0 0 0 185 7 0 0 20 0 20 0 448297554 28911386624 25414 33554432000 4194304 4196468 140731347474160 140731347456704 140112368951031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
/proc/26647/statm: 7058444 25414 3447 1 0 7019544 0
[pid=26647/tid=26648] ppid=26645 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/26647/task/26648/stat : 26648 (java) R 26645 26645 23651 0 -1 4202560 8486 0 0 0 63 4 0 0 20 0 20 0 448297554 28911386624 25414 33554432000 4194304 4196468 140731347474160 140112373184000 140112368962966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26649] ppid=26645 vsize=28233776 memory=139981104653184 CPUtime=0 cores=0-7
/proc/26647/task/26649/stat : 26649 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28911386624 25414 33554432000 4194304 4196468 140731347474160 140112321571088 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26650] ppid=26645 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/26647/task/26650/stat : 26650 (java) S 26645 26645 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448297555 28911386624 25414 33554432000 4194304 4196468 140731347474160 140112320518544 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26651] ppid=26645 vsize=28233776 memory=1228 CPUtime=0 cores=0-7
/proc/26647/task/26651/stat : 26651 (java) S 26645 26645 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448297555 28911386624 25414 33554432000 4194304 4196468 140731347474160 140112319466000 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
################
# More data... #
################
[pid=26647/tid=26676] ppid=26645 vsize=28768336 memory=1452 CPUtime=154.92 cores=0-7
/proc/26647/task/26676/stat : 26676 (java) R 26645 26645 23651 0 -1 4202560 3318 0 0 0 15490 2 0 0 20 0 28 0 448298076 29458776064 799262 33554432000 4194304 4196468 140731347474160 140110161227736 140111996056883 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
Current children cumulated CPU time: 1271.25 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3198500 KiB
[startup+222.301 s]
/proc/loadavg: 8.60 8.33 8.21 9/220 26694
/proc/meminfo: memFree=27570072/32770624 swapFree=66989132/67108860
[pid=26645] ppid=26642 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26645/stat : 26645 (xcsp3-exec) S 26642 26645 23651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448297554 115843072 363 33554432000 4194304 5098028 140724595696896 140724595695000 139752226927228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12558336 140724595700603 140724595700846 140724595700846 140724595703754 0
/proc/26645/statm: 28282 363 304 221 0 87 0
[pid=26647] ppid=26645 vsize=28768336 memory=3531288 CPUtime=1749.93 cores=0-7
/proc/26647/stat : 26647 (java) S 26645 26645 23651 0 -1 1077944320 166709 0 0 0 174717 276 0 0 20 0 28 0 448297554 29458776064 882822 33554432000 4194304 4196468 140731347474160 140731347456704 140112368951031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
/proc/26647/statm: 7192084 882822 3557 1 0 7153184 0
[pid=26647/tid=26648] ppid=26645 vsize=28768336 memory=1452 CPUtime=4.67 cores=0-7
/proc/26647/task/26648/stat : 26648 (java) S 26645 26645 23651 0 -1 1077944384 12190 0 0 0 456 11 0 0 20 0 28 0 448297554 29458776064 882822 33554432000 4194304 4196468 140731347474160 140112373191808 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26649] ppid=26645 vsize=28768336 memory=3213324 CPUtime=1.22 cores=0-7
/proc/26647/task/26649/stat : 26649 (java) S 26645 26645 23651 0 -1 1077944384 1114 0 0 0 102 20 0 0 20 0 28 0 448297555 29458776064 882822 33554432000 4194304 4196468 140731347474160 140112321571088 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26650] ppid=26645 vsize=28768336 memory=6791534058613427641 CPUtime=1.2 cores=0-7
/proc/26647/task/26650/stat : 26650 (java) S 26645 26645 23651 0 -1 1077944384 1119 0 0 0 102 18 0 0 20 0 28 0 448297555 29458776064 882822 33554432000 4194304 4196468 140731347474160 140112320518544 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26651] ppid=26645 vsize=28768336 memory=2832 CPUtime=1.23 cores=0-7
/proc/26647/task/26651/stat : 26651 (java) S 26645 26645 23651 0 -1 1077944384 1975 0 0 0 103 20 0 0 20 0 28 0 448297555 29458776064 882822 33554432000 4194304 4196468 140731347474160 140112319466000 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26652] ppid=26645 vsize=28768336 memory=1452 CPUtime=1.28 cores=0-7
/proc/26647/task/26652/stat : 26652 (java) S 26645 26645 23651 0 -1 1077944384 2271 0 0 0 106 22 0 0 20 0 28 0 448297555 29458776064 882822 33554432000 4194304 4196468 140731347474160 140112318413456 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26653] ppid=26645 vsize=28768336 memory=3211276 CPUtime=1.18 cores=0-7
/proc/26647/task/26653/stat : 26653 (java) S 26645 26645 23651 0 -1 1077944384 1616 0 0 0 100 18 0 0 20 0 28 0 448297555 29458776064 882822 33554432000 4194304 4196468 140731347474160 140112317360912 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26654] ppid=26645 vsize=28768336 memory=279962208766080 CPUtime=1.19 cores=0-7
/proc/26647/task/26654/stat : 26654 (java) S 26645 26645 23651 0 -1 1077944384 1490 0 0 0 102 17 0 0 20 0 28 0 448297555 29458776064 882822 33554432000 4194304 4196468 140731347474160 140112316308368 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26655] ppid=26645 vsize=28768336 memory=7084271440917717568 CPUtime=1.24 cores=0-7
/proc/26647/task/26655/stat : 26655 (java) S 26645 26645 23651 0 -1 1077944384 3209 0 0 0 105 19 0 0 20 0 28 0 448297555 29458776064 882822 33554432000 4194304 4196468 140731347474160 140112315255824 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26656] ppid=26645 vsize=28768336 memory=8026650869813564775 CPUtime=1.22 cores=0-7
/proc/26647/task/26656/stat : 26656 (java) S 26645 26645 23651 0 -1 1077944384 1088 0 0 0 105 17 0 0 20 0 28 0 448297555 29458776064 882822 33554432000 4194304 4196468 140731347474160 140112314203280 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26657] ppid=26645 vsize=28768336 memory=6153985703205688937 CPUtime=0.24 cores=0-7
/proc/26647/task/26657/stat : 26657 (java) S 26645 26645 23651 0 -1 1077944384 7665 0 0 0 23 1 0 0 20 0 28 0 448297557 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110631745520 140112368962178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26658] ppid=26645 vsize=28768336 memory=1984 CPUtime=0 cores=0-7
/proc/26647/task/26658/stat : 26658 (java) S 26645 26645 23651 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 448297557 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110630691808 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26659] ppid=26645 vsize=28768336 memory=2404 CPUtime=0 cores=0-7
/proc/26647/task/26659/stat : 26659 (java) S 26645 26645 23651 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 448297557 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110629639168 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26660] ppid=26645 vsize=28768336 memory=279962210089088 CPUtime=0 cores=0-7
/proc/26647/task/26660/stat : 26660 (java) S 26645 26645 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448297560 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110628587728 140112368969627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26661] ppid=26645 vsize=28768336 memory=116625072195818 CPUtime=5.79 cores=0-7
/proc/26647/task/26661/stat : 26661 (java) S 26645 26645 23651 0 -1 1077944384 23004 0 0 0 574 5 0 0 20 0 28 0 448297560 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110627535344 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26662] ppid=26645 vsize=28768336 memory=3531288 CPUtime=6.24 cores=0-7
/proc/26647/task/26662/stat : 26662 (java) S 26645 26645 23651 0 -1 1077944384 18208 0 0 0 621 3 0 0 20 0 28 0 448297560 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110626482800 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26663] ppid=26645 vsize=28768336 memory=1452 CPUtime=7.02 cores=0-7
/proc/26647/task/26663/stat : 26663 (java) S 26645 26645 23651 0 -1 1077944384 22149 0 0 0 698 4 0 0 20 0 28 0 448297560 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110182832880 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26664] ppid=26645 vsize=28768336 memory=3620 CPUtime=1.43 cores=0-7
/proc/26647/task/26664/stat : 26664 (java) S 26645 26645 23651 0 -1 1077944384 17475 0 0 0 140 3 0 0 20 0 28 0 448297560 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110181780336 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26665] ppid=26645 vsize=28768336 memory=39368 CPUtime=0 cores=0-7
/proc/26647/task/26665/stat : 26665 (java) S 26645 26645 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448297560 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110180727008 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26666] ppid=26645 vsize=28768336 memory=984 CPUtime=0.09 cores=0-7
/proc/26647/task/26666/stat : 26666 (java) S 26645 26645 23651 0 -1 1077944384 2081 0 0 0 7 2 0 0 20 0 28 0 448297560 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110179674544 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26669] ppid=26645 vsize=28768336 memory=2004 CPUtime=214.58 cores=0-7
/proc/26647/task/26669/stat : 26669 (java) R 26645 26645 23651 0 -1 4202560 2768 0 0 0 21454 4 0 0 20 0 28 0 448298075 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110168595144 140111991027067 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26670] ppid=26645 vsize=28768336 memory=1452 CPUtime=214.42 cores=0-7
/proc/26647/task/26670/stat : 26670 (java) R 26645 26645 23651 0 -1 4202560 2890 0 0 0 21440 2 0 0 20 0 28 0 448298075 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110167543864 140111988923330 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26671] ppid=26645 vsize=28768336 memory=1452 CPUtime=215.02 cores=0-7
/proc/26647/task/26671/stat : 26671 (java) R 26645 26645 23651 0 -1 4202560 5155 0 0 0 21498 4 0 0 20 0 28 0 448298075 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110166491240 140111987369365 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26672] ppid=26645 vsize=28768336 memory=1452 CPUtime=213.85 cores=0-7
/proc/26647/task/26672/stat : 26672 (java) R 26645 26645 23651 0 -1 4202560 26451 0 0 0 21318 67 0 0 20 0 28 0 448298075 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110165438696 140111989000320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26673] ppid=26645 vsize=28768336 memory=2832 CPUtime=213.49 cores=0-7
/proc/26647/task/26673/stat : 26673 (java) R 26645 26645 23651 0 -1 4202560 3672 0 0 0 21345 4 0 0 20 0 28 0 448298075 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110164386392 140111986907548 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26674] ppid=26645 vsize=28768336 memory=1540 CPUtime=214.47 cores=0-7
/proc/26647/task/26674/stat : 26674 (java) R 26645 26645 23651 0 -1 4202560 2046 0 0 0 21444 3 0 0 20 0 28 0 448298075 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110163333536 140111996056948 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26675] ppid=26645 vsize=28768336 memory=1696 CPUtime=213.79 cores=0-7
/proc/26647/task/26675/stat : 26675 (java) R 26645 26645 23651 0 -1 4202560 2340 0 0 0 21376 3 0 0 20 0 28 0 448298076 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110162280120 140111987830722 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26676] ppid=26645 vsize=28768336 memory=6032 CPUtime=214.88 cores=0-7
/proc/26647/task/26676/stat : 26676 (java) R 26645 26645 23651 0 -1 4202560 3365 0 0 0 21485 3 0 0 20 0 28 0 448298076 29458776064 882822 33554432000 4194304 4196468 140731347474160 140110161230208 140111996056943 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
Current children cumulated CPU time: 1749.93 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3532740 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 8.65 8.36 8.22 9/220 26697
/proc/meminfo: memFree=27537196/32770624 swapFree=66989132/67108860
[pid=26645] ppid=26642 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/26645/stat : 26645 (xcsp3-exec) S 26642 26645 23651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448297554 115843072 363 33554432000 4194304 5098028 140724595696896 140724595695000 139752226927228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12558336 140724595700603 140724595700846 140724595700846 140724595703754 0
/proc/26645/statm: 28282 363 304 221 0 87 0
[pid=26647] ppid=26645 vsize=28768336 memory=3564008 CPUtime=1986.94 cores=0-7
/proc/26647/stat : 26647 (java) S 26645 26645 23651 0 -1 1077944320 170880 0 0 0 198413 281 0 0 20 0 28 0 448297554 29458776064 891002 33554432000 4194304 4196468 140731347474160 140731347456704 140112368951031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
/proc/26647/statm: 7192084 891002 3557 1 0 7153184 0
[pid=26647/tid=26648] ppid=26645 vsize=28768336 memory=1398722017469774279 CPUtime=4.67 cores=0-7
/proc/26647/task/26648/stat : 26648 (java) S 26645 26645 23651 0 -1 1077944384 12190 0 0 0 456 11 0 0 20 0 28 0 448297554 29458776064 891002 33554432000 4194304 4196468 140731347474160 140112373191808 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26649] ppid=26645 vsize=28768336 memory=14008 CPUtime=1.23 cores=0-7
/proc/26647/task/26649/stat : 26649 (java) S 26645 26645 23651 0 -1 1077944384 1142 0 0 0 103 20 0 0 20 0 28 0 448297555 29458776064 891002 33554432000 4194304 4196468 140731347474160 140112321571088 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26650] ppid=26645 vsize=28768336 memory=21348 CPUtime=1.22 cores=0-7
/proc/26647/task/26650/stat : 26650 (java) S 26645 26645 23651 0 -1 1077944384 1134 0 0 0 103 19 0 0 20 0 28 0 448297555 29458776064 891002 33554432000 4194304 4196468 140731347474160 140112320518544 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26651] ppid=26645 vsize=28768336 memory=1564 CPUtime=1.24 cores=0-7
/proc/26647/task/26651/stat : 26651 (java) S 26645 26645 23651 0 -1 1077944384 2090 0 0 0 104 20 0 0 20 0 28 0 448297555 29458776064 891002 33554432000 4194304 4196468 140731347474160 140112319466000 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26652] ppid=26645 vsize=28768336 memory=928 CPUtime=1.29 cores=0-7
/proc/26647/task/26652/stat : 26652 (java) S 26645 26645 23651 0 -1 1077944384 2858 0 0 0 107 22 0 0 20 0 28 0 448297555 29458776064 891002 33554432000 4194304 4196468 140731347474160 140112318413456 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26653] ppid=26645 vsize=28768336 memory=1688 CPUtime=1.19 cores=0-7
/proc/26647/task/26653/stat : 26653 (java) S 26645 26645 23651 0 -1 1077944384 1629 0 0 0 101 18 0 0 20 0 28 0 448297555 29458776064 891002 33554432000 4194304 4196468 140731347474160 140112317360912 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26654] ppid=26645 vsize=28768336 memory=6791534058613427641 CPUtime=1.2 cores=0-7
/proc/26647/task/26654/stat : 26654 (java) S 26645 26645 23651 0 -1 1077944384 1513 0 0 0 103 17 0 0 20 0 28 0 448297555 29458776064 891002 33554432000 4194304 4196468 140731347474160 140112316308368 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26655] ppid=26645 vsize=28768336 memory=1212 CPUtime=1.25 cores=0-7
/proc/26647/task/26655/stat : 26655 (java) S 26645 26645 23651 0 -1 1077944384 3232 0 0 0 106 19 0 0 20 0 28 0 448297555 29458776064 891002 33554432000 4194304 4196468 140731347474160 140112315255824 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26656] ppid=26645 vsize=28768336 memory=1060 CPUtime=1.24 cores=0-7
/proc/26647/task/26656/stat : 26656 (java) S 26645 26645 23651 0 -1 1077944384 1194 0 0 0 106 18 0 0 20 0 28 0 448297555 29458776064 891002 33554432000 4194304 4196468 140731347474160 140112314203280 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26657] ppid=26645 vsize=28768336 memory=740 CPUtime=0.25 cores=0-7
/proc/26647/task/26657/stat : 26657 (java) S 26645 26645 23651 0 -1 1077944384 7900 0 0 0 24 1 0 0 20 0 28 0 448297557 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110631745520 140112368962178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26658] ppid=26645 vsize=28768336 memory=1228 CPUtime=0 cores=0-7
/proc/26647/task/26658/stat : 26658 (java) S 26645 26645 23651 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 448297557 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110630691808 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26659] ppid=26645 vsize=28768336 memory=9520 CPUtime=0 cores=0-7
/proc/26647/task/26659/stat : 26659 (java) S 26645 26645 23651 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 448297557 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110629639168 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26660] ppid=26645 vsize=28768336 memory=4028 CPUtime=0 cores=0-7
/proc/26647/task/26660/stat : 26660 (java) S 26645 26645 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448297560 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110628587728 140112368969627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26661] ppid=26645 vsize=28768336 memory=2832 CPUtime=5.8 cores=0-7
/proc/26647/task/26661/stat : 26661 (java) S 26645 26645 23651 0 -1 1077944384 23260 0 0 0 574 6 0 0 20 0 28 0 448297560 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110627535344 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26662] ppid=26645 vsize=28768336 memory=1540 CPUtime=6.24 cores=0-7
/proc/26647/task/26662/stat : 26662 (java) S 26645 26645 23651 0 -1 1077944384 18490 0 0 0 621 3 0 0 20 0 28 0 448297560 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110626482800 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26663] ppid=26645 vsize=28768336 memory=1696 CPUtime=7.02 cores=0-7
/proc/26647/task/26663/stat : 26663 (java) S 26645 26645 23651 0 -1 1077944384 22152 0 0 0 698 4 0 0 20 0 28 0 448297560 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110182832880 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26664] ppid=26645 vsize=28768336 memory=6032 CPUtime=1.43 cores=0-7
/proc/26647/task/26664/stat : 26664 (java) S 26645 26645 23651 0 -1 1077944384 17846 0 0 0 140 3 0 0 20 0 28 0 448297560 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110181780336 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26665] ppid=26645 vsize=28768336 memory=772 CPUtime=0 cores=0-7
/proc/26647/task/26665/stat : 26665 (java) S 26645 26645 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448297560 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110180727008 140112368961237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26666] ppid=26645 vsize=28768336 memory=6791534058613427641 CPUtime=0.1 cores=0-7
/proc/26647/task/26666/stat : 26666 (java) S 26645 26645 23651 0 -1 1077944384 2111 0 0 0 8 2 0 0 20 0 28 0 448297560 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110179674544 140112368962178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26669] ppid=26645 vsize=28768336 memory=-2746958450906831424 CPUtime=244.25 cores=0-7
/proc/26647/task/26669/stat : 26669 (java) R 26645 26645 23651 0 -1 4202560 2985 0 0 0 24421 4 0 0 20 0 28 0 448298075 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110168597824 140111994713088 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26670] ppid=26645 vsize=28768336 memory=-7027409196973580132 CPUtime=244.11 cores=0-7
/proc/26647/task/26670/stat : 26670 (java) R 26645 26645 23651 0 -1 4202560 3044 0 0 0 24409 2 0 0 20 0 28 0 448298075 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110167543864 140111987763143 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26671] ppid=26645 vsize=28768336 memory=4783210246327787616 CPUtime=244.71 cores=0-7
/proc/26647/task/26671/stat : 26671 (java) R 26645 26645 23651 0 -1 4202560 5253 0 0 0 24467 4 0 0 20 0 28 0 448298075 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110166491160 140111986752652 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26672] ppid=26645 vsize=28768336 memory=6933690305039933585 CPUtime=243.54 cores=0-7
/proc/26647/task/26672/stat : 26672 (java) R 26645 26645 23651 0 -1 4202560 27578 0 0 0 24286 68 0 0 20 0 28 0 448298075 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110165441176 140111995587145 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26673] ppid=26645 vsize=28768336 memory=6944656592387989600 CPUtime=242.57 cores=0-7
/proc/26647/task/26673/stat : 26673 (java) R 26645 26645 23651 0 -1 4202560 3728 0 0 0 24253 4 0 0 20 0 28 0 448298075 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110164386392 140111985771655 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26674] ppid=26645 vsize=28768336 memory=6944656592455359580 CPUtime=244.16 cores=0-7
/proc/26647/task/26674/stat : 26674 (java) R 26645 26645 23651 0 -1 4202560 2162 0 0 0 24413 3 0 0 20 0 28 0 448298075 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110163333784 140111996056948 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26675] ppid=26645 vsize=28768336 memory=6944656592387989600 CPUtime=243.46 cores=0-7
/proc/26647/task/26675/stat : 26675 (java) R 26645 26645 23651 0 -1 4202560 2481 0 0 0 24343 3 0 0 20 0 28 0 448298076 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110162279904 140111987478478 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
[pid=26647/tid=26676] ppid=26645 vsize=28768336 memory=6944656592455359580 CPUtime=244.56 cores=0-7
/proc/26647/task/26676/stat : 26676 (java) R 26645 26645 23651 0 -1 4202560 3540 0 0 0 24453 3 0 0 20 0 28 0 448298076 29458776064 891002 33554432000 4194304 4196468 140731347474160 140110161227736 140111996056832 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 22212608 140731347477488 140731347477659 140731347477659 140731347480527 0
Current children cumulated CPU time: 1986.94 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3565460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.041 s]
# the end of solver process 26645 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000838 s, system=0.001676 s
[startup+252.123 s]
# the end of solver process 26647 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1984.79 s, system=2.84878 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): 252.123
CPU time (s): 1987.64
CPU user time (s): 1984.79
CPU system time (s): 2.84878
CPU usage (%): 788.362
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 3565460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1984.79
system time used= 2.84878
maximum resident set size= 3564476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172004
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12722
involuntary context switches= 23101
# summary of solver processes directly reported to runsolver:
# pid: 26645,26647
# total CPU time (s): 1987.64
# total CPU user time (s): 1984.79
# total CPU system time (s): 2.84878
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.762 second user time and 3.38332 second system time
The end
Begin job on node126 at 2019-09-17 13:37:40 IDJOB=4400304 IDBENCH=141053 IDSOLVER=2855 FILE ID=node126/4400304-1568720298 RUNJOBID= node126-1568710964-23678 PBS_JOBID= 21703921 Free space on /tmp= 55704 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP18/NurseRostering/NurseRostering-18_c18.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-4400304-1568720298/watcher-4400304-1568720298 -o /tmp/evaluation-result-4400304-1568720298/solver-4400304-1568720298 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568710964-23678 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1104860600 HOME/instance-4400304-1568720298.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 2080050c46f9199df44cd86a0d29de9d RANDOM SEED=1104860600 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31092528 kB MemAvailable: 31886824 kB Buffers: 81024 kB Cached: 979884 kB SwapCached: 8608 kB Active: 632720 kB Inactive: 443932 kB Active(anon): 24696 kB Inactive(anon): 25076 kB Active(file): 608024 kB Inactive(file): 418856 kB Unevictable: 106948 kB Mlocked: 106948 kB SwapTotal: 67108860 kB SwapFree: 66989116 kB Dirty: 26440 kB Writeback: 0 kB AnonPages: 70056 kB Mapped: 43552 kB Shmem: 25476 kB Slab: 196312 kB SReclaimable: 166500 kB SUnreclaim: 29812 kB KernelStack: 3712 kB PageTables: 5976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507620 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 55680 MiB End job on node126 at 2019-09-17 13:41:52