| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 2019-09-24 parallel | ? (TO) | 20022.9 | 2520.12 |
| Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-90-07.xml |
| MD5SUM | 62ab34719a1ca197804bba3dde19efaf |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 78.8072 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1463 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 27 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":27,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 93 |
| Distribution of variable degrees | [{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":2}, {"degree":85,"count":2}, {"degree":86,"count":2}, {"degree":87,"count":2}, {"degree":88,"count":2}, {"degree":89,"count":2}, {"degree":90,"count":2}, {"degree":91,"count":2}, {"degree":92,"count":3}, {"degree":93,"count":21}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 200 |
| Distribution of constraint arities | [{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":14,"count":1},{"arity":17,"count":1},{"arity":20,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":26,"count":2},{"arity":28,"count":1},{"arity":29,"count":2},{"arity":30,"count":1},{"arity":32,"count":3},{"arity":34,"count":1},{"arity":35,"count":2},{"arity":36,"count":1},{"arity":38,"count":3},{"arity":40,"count":2},{"arity":41,"count":2},{"arity":42,"count":1},{"arity":44,"count":3},{"arity":45,"count":1},{"arity":46,"count":1},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}] |
| Number of extensional constraints | 200 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":200},{"type":"sum","count":1262},{"type":"cardinality","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406829-1569351759.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406829-1569351759.xml, -tl, 20160s, -p, 8] 0.33/0.23 c 8 solvers in parallel 0.33/0.29 c parse instance... 4.13/1.30 c solve instance... 20022.25/2520.07 s UNKNOWN 20022.25/2520.07 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 (11799 MiB free)
memory of node 1: 16384 MiB (13081 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406829-1569351759/watcher-4406829-1569351759 -o /var/tmp/evaluation-result-4406829-1569351759/solver-4406829-1569351759 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569349151-18849 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 101845462 HOME/instance-4406829-1569351759.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=19601, runsolver pid=19598
[startup+0.100121 s]*
/proc/loadavg: 8.38 8.30 8.22 2/212 19622
/proc/meminfo: memFree=25463188/32770624 swapFree=66992424/67108860
[pid=19601] ppid=19598 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/19601/stat : 19601 (xcsp3-exec) S 19598 19601 18822 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511438474 115843072 362 33554432000 4194304 5098028 140721784197056 140721784195160 139670104089212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38682624 140721784202066 140721784202325 140721784202325 140721784205254 0
/proc/19601/statm: 28282 362 304 221 0 87 0
[pid=19603] ppid=19601 vsize=28227396 memory=27376 CPUtime=0.12 cores=0-7
/proc/19603/stat : 19603 (java) S 19601 19601 18822 0 -1 1077944320 5810 0 0 0 11 1 0 0 20 0 20 0 511438474 28904853504 6844 33554432000 4194304 4196468 140733566499232 140733566481776 140141724028663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
/proc/19603/statm: 7056849 6844 3120 1 0 7019032 0
[pid=19603/tid=19604] ppid=19601 vsize=28227396 memory=-2177352373413752899 CPUtime=0.08 cores=0-7
/proc/19603/task/19604/stat : 19604 (java) R 19601 19601 18822 0 -1 4202560 3669 0 0 0 8 0 0 0 20 0 20 0 511438474 28904853504 6844 33554432000 4194304 4196468 140733566499232 140141728261440 140141708109150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19605] ppid=19601 vsize=28227396 memory=732370259076094949 CPUtime=0 cores=0-7
/proc/19603/task/19605/stat : 19605 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438475 28904853504 6844 33554432000 4194304 4196468 140733566499232 140141275941648 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19606] ppid=19601 vsize=28227396 memory=140120738641536 CPUtime=0 cores=0-7
/proc/19603/task/19606/stat : 19606 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438475 28904853504 6844 33554432000 4194304 4196468 140733566499232 140141274889104 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19607] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19607/stat : 19607 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438475 28904853504 6844 33554432000 4194304 4196468 140733566499232 140141273836560 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19608] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19608/stat : 19608 (java) S 19601 19601 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438475 28904853504 6844 33554432000 4194304 4196468 140733566499232 140141272784016 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19609] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19609/stat : 19609 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438475 28904853504 6844 33554432000 4194304 4196468 140733566499232 140141271730448 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19610] ppid=19601 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19603/task/19610/stat : 19610 (java) S 19601 19601 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511438475 28904853504 6844 33554432000 4194304 4196468 140733566499232 140141270677904 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19611] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19611/stat : 19611 (java) S 19601 19601 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438475 28904853504 6844 33554432000 4194304 4196468 140733566499232 140141269625360 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19612] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19612/stat : 19612 (java) S 19601 19601 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438475 28904853504 6844 33554432000 4194304 4196468 140733566499232 140141268572816 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19613] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19613/stat : 19613 (java) S 19601 19601 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438477 28904853504 6844 33554432000 4194304 4196468 140733566499232 140140840344048 140141724039810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19614] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19614/stat : 19614 (java) S 19601 19601 18822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511438477 28904853504 6844 33554432000 4194304 4196468 140733566499232 140140839290272 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19615] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19615/stat : 19615 (java) S 19601 19601 18822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511438477 28904853504 6844 33554432000 4194304 4196468 140733566499232 140140838237680 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19616] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19616/stat : 19616 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438480 28904853504 6844 33554432000 4194304 4196468 140733566499232 140140837186256 140141724047259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19617] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19617/stat : 19617 (java) S 19601 19601 18822 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 511438480 28904853504 6844 33554432000 4194304 4196468 140733566499232 140140836132848 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19618] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19618/stat : 19618 (java) S 19601 19601 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511438480 28904853504 6844 33554432000 4194304 4196468 140733566499232 140140835080304 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19619] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19619/stat : 19619 (java) S 19601 19601 18822 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 511438480 28904853504 6844 33554432000 4194304 4196468 140733566499232 140140834027760 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19620] ppid=19601 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/19603/task/19620/stat : 19620 (java) R 19601 19601 18822 0 -1 4202560 397 0 0 0 2 0 0 0 20 0 20 0 511438480 28904853504 6844 33554432000 4194304 4196468 140733566499232 140140832975216 140141724050010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19621] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19621/stat : 19621 (java) S 19601 19601 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511438480 28904853504 6844 33554432000 4194304 4196468 140733566499232 140140831922912 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19622] ppid=19601 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19603/task/19622/stat : 19622 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438480 28904853504 6844 33554432000 4194304 4196468 140733566499232 140140830870448 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 28824 KiB
[startup+0.210454 s]*
/proc/loadavg: 8.38 8.30 8.22 3/212 19622
/proc/meminfo: memFree=25448620/32770624 swapFree=66992424/67108860
[pid=19601] ppid=19598 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/19601/stat : 19601 (xcsp3-exec) S 19598 19601 18822 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511438474 115843072 362 33554432000 4194304 5098028 140721784197056 140721784195160 139670104089212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38682624 140721784202066 140721784202325 140721784202325 140721784205254 0
/proc/19601/statm: 28282 362 304 221 0 87 0
[pid=19603] ppid=19601 vsize=28227396 memory=39548 CPUtime=0.33 cores=0-7
/proc/19603/stat : 19603 (java) S 19601 19601 18822 0 -1 1077944320 9614 0 0 0 30 3 0 0 20 0 20 0 511438474 28904853504 9887 33554432000 4194304 4196468 140733566499232 140733566481776 140141724028663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
/proc/19603/statm: 7056849 9887 3311 1 0 7019032 0
[pid=19603/tid=19604] ppid=19601 vsize=28227396 memory=0 CPUtime=0.2 cores=0-7
/proc/19603/task/19604/stat : 19604 (java) R 19601 19601 18822 0 -1 4202560 6684 0 0 0 18 2 0 0 20 0 20 0 511438474 28904853504 9887 33554432000 4194304 4196468 140733566499232 140141728258384 140733566584577 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19605] ppid=19601 vsize=28227396 memory=732370259076094949 CPUtime=0 cores=0-7
/proc/19603/task/19605/stat : 19605 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438475 28904853504 9887 33554432000 4194304 4196468 140733566499232 140141275941648 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19606] ppid=19601 vsize=28227396 memory=140120738641536 CPUtime=0 cores=0-7
/proc/19603/task/19606/stat : 19606 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438475 28904853504 9887 33554432000 4194304 4196468 140733566499232 140141274889104 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19607] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19607/stat : 19607 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438475 28904853504 9887 33554432000 4194304 4196468 140733566499232 140141273836560 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19608] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19608/stat : 19608 (java) S 19601 19601 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438475 28904853504 9887 33554432000 4194304 4196468 140733566499232 140141272784016 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19609] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19609/stat : 19609 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438475 28904853504 9887 33554432000 4194304 4196468 140733566499232 140141271730448 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19610] ppid=19601 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19603/task/19610/stat : 19610 (java) S 19601 19601 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511438475 28904853504 9887 33554432000 4194304 4196468 140733566499232 140141270677904 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19611] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19611/stat : 19611 (java) S 19601 19601 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438475 28904853504 9887 33554432000 4194304 4196468 140733566499232 140141269625360 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19612] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19612/stat : 19612 (java) S 19601 19601 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438475 28904853504 9887 33554432000 4194304 4196468 140733566499232 140141268572816 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19613] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19613/stat : 19613 (java) S 19601 19601 18822 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511438477 28904853504 9887 33554432000 4194304 4196468 140733566499232 140140840344048 140141724039810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19614] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19614/stat : 19614 (java) S 19601 19601 18822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511438477 28904853504 9887 33554432000 4194304 4196468 140733566499232 140140839290272 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19615] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19615/stat : 19615 (java) S 19601 19601 18822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511438477 28904853504 9887 33554432000 4194304 4196468 140733566499232 140140838237680 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19616] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19616/stat : 19616 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438480 28904853504 9887 33554432000 4194304 4196468 140733566499232 140140837186256 140141724047259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19617] ppid=19601 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/19603/task/19617/stat : 19617 (java) S 19601 19601 18822 0 -1 1077944384 484 0 0 0 2 0 0 0 20 0 20 0 511438480 28904853504 9887 33554432000 4194304 4196468 140733566499232 140140836132848 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19618] ppid=19601 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19603/task/19618/stat : 19618 (java) S 19601 19601 18822 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 20 0 511438480 28904853504 9887 33554432000 4194304 4196468 140733566499232 140140835080304 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19619] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19619/stat : 19619 (java) S 19601 19601 18822 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 20 0 511438480 28904853504 9887 33554432000 4194304 4196468 140733566499232 140140834027760 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19620] ppid=19601 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/19603/task/19620/stat : 19620 (java) S 19601 19601 18822 0 -1 1077944384 933 0 0 0 8 0 0 0 20 0 20 0 511438480 28904853504 9887 33554432000 4194304 4196468 140733566499232 140140832975216 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19621] ppid=19601 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19621/stat : 19621 (java) S 19601 19601 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511438480 28904853504 9887 33554432000 4194304 4196468 140733566499232 140140831922912 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19622] ppid=19601 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19603/task/19622/stat : 19622 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438480 28904853504 9887 33554432000 4194304 4196468 140733566499232 140140830870448 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 40996 KiB
[startup+0.310276 s]*
/proc/loadavg: 8.38 8.30 8.22 3/212 19622
/proc/meminfo: memFree=25443260/32770624 swapFree=66992424/67108860
[pid=19601] ppid=19598 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/19601/stat : 19601 (xcsp3-exec) S 19598 19601 18822 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511438474 115843072 362 33554432000 4194304 5098028 140721784197056 140721784195160 139670104089212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38682624 140721784202066 140721784202325 140721784202325 140721784205254 0
/proc/19601/statm: 28282 362 304 221 0 87 0
[pid=19603] ppid=19601 vsize=28231652 memory=48524 CPUtime=0.52 cores=0-7
/proc/19603/stat : 19603 (java) S 19601 19601 18822 0 -1 1077944320 10970 0 0 0 48 4 0 0 20 0 20 0 511438474 28909211648 12131 33554432000 4194304 4196468 140733566499232 140733566481776 140141724028663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
/proc/19603/statm: 7057913 12131 3361 1 0 7019032 0
[pid=19603/tid=19604] ppid=19601 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/19603/task/19604/stat : 19604 (java) R 19601 19601 18822 0 -1 4202560 7758 0 0 0 27 3 0 0 20 0 20 0 511438474 28909211648 12131 33554432000 4194304 4196468 140733566499232 140141728262448 140141703098832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19605] ppid=19601 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19605/stat : 19605 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438475 28909211648 12131 33554432000 4194304 4196468 140733566499232 140141275941648 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19606] ppid=19601 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19606/stat : 19606 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438475 28909211648 12131 33554432000 4194304 4196468 140733566499232 140141274889104 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19607] ppid=19601 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19607/stat : 19607 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438475 28909211648 12131 33554432000 4194304 4196468 140733566499232 140141273836560 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19608] ppid=19601 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19608/stat : 19608 (java) S 19601 19601 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438475 28909211648 12131 33554432000 4194304 4196468 140733566499232 140141272784016 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19609] ppid=19601 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19609/stat : 19609 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438475 28909211648 12131 33554432000 4194304 4196468 140733566499232 140141271730448 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19610] ppid=19601 vsize=28231652 memory=140120623770287 CPUtime=0 cores=0-7
/proc/19603/task/19610/stat : 19610 (java) S 19601 19601 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511438475 28909211648 12131 33554432000 4194304 4196468 140733566499232 140141270677904 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19611] ppid=19601 vsize=28231652 memory=140120623772592 CPUtime=0 cores=0-7
/proc/19603/task/19611/stat : 19611 (java) S 19601 19601 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438475 28909211648 12131 33554432000 4194304 4196468 140733566499232 140141269625360 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19612] ppid=19601 vsize=28231652 memory=140120623774896 CPUtime=0 cores=0-7
/proc/19603/task/19612/stat : 19612 (java) S 19601 19601 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511438475 28909211648 12131 33554432000 4194304 4196468 140733566499232 140141268572816 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19613] ppid=19601 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19613/stat : 19613 (java) S 19601 19601 18822 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511438477 28909211648 12131 33554432000 4194304 4196468 140733566499232 140140840344048 140141724039810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19614] ppid=19601 vsize=28231652 memory=280241247563664 CPUtime=0 cores=0-7
/proc/19603/task/19614/stat : 19614 (java) S 19601 19601 18822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511438477 28909211648 12131 33554432000 4194304 4196468 140733566499232 140140839290272 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19615] ppid=19601 vsize=28231652 memory=280241247561360 CPUtime=0 cores=0-7
/proc/19603/task/19615/stat : 19615 (java) S 19601 19601 18822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511438477 28909211648 12131 33554432000 4194304 4196468 140733566499232 140140838237680 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19616] ppid=19601 vsize=28231652 memory=280241247568272 CPUtime=0 cores=0-7
/proc/19603/task/19616/stat : 19616 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438480 28909211648 12131 33554432000 4194304 4196468 140733566499232 140140837186256 140141724047259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19617] ppid=19601 vsize=28231652 memory=280241247509520 CPUtime=0.03 cores=0-7
/proc/19603/task/19617/stat : 19617 (java) S 19601 19601 18822 0 -1 1077944384 500 0 0 0 3 0 0 0 20 0 20 0 511438480 28909211648 12131 33554432000 4194304 4196468 140733566499232 140140836132848 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19618] ppid=19601 vsize=28231652 memory=280241247582096 CPUtime=0.02 cores=0-7
/proc/19603/task/19618/stat : 19618 (java) R 19601 19601 18822 0 -1 4202560 133 0 0 0 2 0 0 0 20 0 20 0 511438480 28909211648 12197 33554432000 4194304 4196468 140733566499232 140140835070688 140141704728960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19619] ppid=19601 vsize=28231652 memory=280241247589008 CPUtime=0.01 cores=0-7
/proc/19603/task/19619/stat : 19619 (java) S 19601 19601 18822 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 20 0 511438480 28909211648 12197 33554432000 4194304 4196468 140733566499232 140140834027760 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19620] ppid=19601 vsize=28231652 memory=280241247586704 CPUtime=0.13 cores=0-7
/proc/19603/task/19620/stat : 19620 (java) S 19601 19601 18822 0 -1 1077944384 1164 0 0 0 13 0 0 0 20 0 20 0 511438480 28909211648 12197 33554432000 4194304 4196468 140733566499232 140140832975216 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19621] ppid=19601 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19621/stat : 19621 (java) S 19601 19601 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511438480 28909211648 12197 33554432000 4194304 4196468 140733566499232 140140831922912 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19622] ppid=19601 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/19603/task/19622/stat : 19622 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438480 28909211648 12197 33554432000 4194304 4196468 140733566499232 140140830870448 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 49972 KiB
[startup+0.700982 s]
/proc/loadavg: 8.38 8.30 8.22 3/212 19622
/proc/meminfo: memFree=25422716/32770624 swapFree=66992424/67108860
[pid=19601] ppid=19598 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/19601/stat : 19601 (xcsp3-exec) S 19598 19601 18822 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511438474 115843072 362 33554432000 4194304 5098028 140721784197056 140721784195160 139670104089212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38682624 140721784202066 140721784202325 140721784202325 140721784205254 0
/proc/19601/statm: 28282 362 304 221 0 87 0
[pid=19603] ppid=19601 vsize=28233776 memory=96420 CPUtime=1.92 cores=0-7
/proc/19603/stat : 19603 (java) S 19601 19601 18822 0 -1 1077944320 17853 0 0 0 186 6 0 0 20 0 20 0 511438474 28911386624 24105 33554432000 4194304 4196468 140733566499232 140733566481776 140141724028663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
/proc/19603/statm: 7058444 24105 3461 1 0 7019544 0
[pid=19603/tid=19604] ppid=19601 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/19603/task/19604/stat : 19604 (java) R 19601 19601 18822 0 -1 4202560 9450 0 0 0 63 4 0 0 20 0 20 0 511438474 28911386624 24105 33554432000 4194304 4196468 140733566499232 140141728263856 140141706317991 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19605] ppid=19601 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19605/stat : 19605 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438475 28911386624 24105 33554432000 4194304 4196468 140733566499232 140141275941648 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19606] ppid=19601 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19606/stat : 19606 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438475 28911386624 24105 33554432000 4194304 4196468 140733566499232 140141274889104 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19607] ppid=19601 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/19603/task/19607/stat : 19607 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511438475 28911386624 24105 33554432000 4194304 4196468 140733566499232 140141273836560 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
################
# More data... #
################
[pid=19603/tid=19630] ppid=19601 vsize=28768336 memory=693932 CPUtime=2416.8 cores=0-7
/proc/19603/task/19630/stat : 19630 (java) R 19601 19601 18822 0 -1 4202560 5323 0 0 0 241670 10 0 0 20 0 28 0 511438606 29458776064 193807 33554432000 4194304 4196468 140733566499232 140140746859304 140141369529506 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
Current children cumulated CPU time: 19406.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 776676 KiB
[startup+2502.3 s]
/proc/loadavg: 8.71 8.41 8.32 9/220 19813
/proc/meminfo: memFree=24727880/32770624 swapFree=66992432/67108860
[pid=19601] ppid=19598 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/19601/stat : 19601 (xcsp3-exec) S 19598 19601 18822 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511438474 115843072 362 33554432000 4194304 5098028 140721784197056 140721784195160 139670104089212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38682624 140721784202066 140721784202325 140721784202325 140721784205254 0
/proc/19601/statm: 28282 362 304 221 0 87 0
[pid=19603] ppid=19601 vsize=28768336 memory=763352 CPUtime=19881.4 cores=0-7
/proc/19603/stat : 19603 (java) S 19601 19601 18822 0 -1 1077944320 379565 0 0 0 1987404 739 0 0 20 0 28 0 511438474 29458776064 190838 33554432000 4194304 4196468 140733566499232 140733566481776 140141724028663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
/proc/19603/statm: 7192084 190838 3550 1 0 7153184 0
[pid=19603/tid=19604] ppid=19601 vsize=28768336 memory=763352 CPUtime=1.26 cores=0-7
/proc/19603/task/19604/stat : 19604 (java) S 19601 19601 18822 0 -1 1077944384 10175 0 0 0 120 6 0 0 20 0 28 0 511438474 29458776064 190838 33554432000 4194304 4196468 140733566499232 140141728269440 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19605] ppid=19601 vsize=28768336 memory=1448 CPUtime=8.86 cores=0-7
/proc/19603/task/19605/stat : 19605 (java) S 19601 19601 18822 0 -1 1077944384 10373 0 0 0 860 26 0 0 20 0 28 0 511438475 29458776064 190838 33554432000 4194304 4196468 140733566499232 140141275941648 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19606] ppid=19601 vsize=28768336 memory=0 CPUtime=8.78 cores=0-7
/proc/19603/task/19606/stat : 19606 (java) S 19601 19601 18822 0 -1 1077944384 12907 0 0 0 854 24 0 0 20 0 28 0 511438475 29458776064 190838 33554432000 4194304 4196468 140733566499232 140141274889104 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19607] ppid=19601 vsize=28768336 memory=763352 CPUtime=8.84 cores=0-7
/proc/19603/task/19607/stat : 19607 (java) S 19601 19601 18822 0 -1 1077944384 11915 0 0 0 860 24 0 0 20 0 28 0 511438475 29458776064 190838 33554432000 4194304 4196468 140733566499232 140141273836560 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19608] ppid=19601 vsize=28768336 memory=3620 CPUtime=8.79 cores=0-7
/proc/19603/task/19608/stat : 19608 (java) S 19601 19601 18822 0 -1 1077944384 12488 0 0 0 857 22 0 0 20 0 28 0 511438475 29458776064 190838 33554432000 4194304 4196468 140733566499232 140141272784016 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19609] ppid=19601 vsize=28768336 memory=49648 CPUtime=8.81 cores=0-7
/proc/19603/task/19609/stat : 19609 (java) S 19601 19601 18822 0 -1 1077944384 15239 0 0 0 856 25 0 0 20 0 28 0 511438475 29458776064 190838 33554432000 4194304 4196468 140733566499232 140141271730448 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19610] ppid=19601 vsize=28768336 memory=0 CPUtime=8.82 cores=0-7
/proc/19603/task/19610/stat : 19610 (java) S 19601 19601 18822 0 -1 1077944384 10525 0 0 0 858 24 0 0 20 0 28 0 511438475 29458776064 190838 33554432000 4194304 4196468 140733566499232 140141270677904 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19611] ppid=19601 vsize=28768336 memory=6944656592455097440 CPUtime=8.79 cores=0-7
/proc/19603/task/19611/stat : 19611 (java) S 19601 19601 18822 0 -1 1077944384 13612 0 0 0 857 22 0 0 20 0 28 0 511438475 29458776064 190838 33554432000 4194304 4196468 140733566499232 140141269625360 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19612] ppid=19601 vsize=28768336 memory=21156 CPUtime=8.81 cores=0-7
/proc/19603/task/19612/stat : 19612 (java) S 19601 19601 18822 0 -1 1077944384 12892 0 0 0 856 25 0 0 20 0 28 0 511438475 29458776064 190838 33554432000 4194304 4196468 140733566499232 140141268572816 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19613] ppid=19601 vsize=28768336 memory=512 CPUtime=8.25 cores=0-7
/proc/19603/task/19613/stat : 19613 (java) S 19601 19601 18822 0 -1 1077944384 33518 0 0 0 403 422 0 0 20 0 28 0 511438477 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140840344048 140141724039810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19614] ppid=19601 vsize=28768336 memory=759260 CPUtime=0 cores=0-7
/proc/19603/task/19614/stat : 19614 (java) S 19601 19601 18822 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 511438477 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140839290336 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19615] ppid=19601 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/19603/task/19615/stat : 19615 (java) S 19601 19601 18822 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 511438477 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140838237696 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19616] ppid=19601 vsize=28768336 memory=740768 CPUtime=0 cores=0-7
/proc/19603/task/19616/stat : 19616 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511438480 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140837186256 140141724047259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19617] ppid=19601 vsize=28768336 memory=984 CPUtime=2.43 cores=0-7
/proc/19603/task/19617/stat : 19617 (java) S 19601 19601 18822 0 -1 1077944384 15005 0 0 0 241 2 0 0 20 0 28 0 511438480 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140836132848 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19618] ppid=19601 vsize=28768336 memory=1324 CPUtime=2.62 cores=0-7
/proc/19603/task/19618/stat : 19618 (java) S 19601 19601 18822 0 -1 1077944384 17135 0 0 0 259 3 0 0 20 0 28 0 511438480 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140835080304 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19619] ppid=19601 vsize=28768336 memory=780 CPUtime=2.36 cores=0-7
/proc/19603/task/19619/stat : 19619 (java) S 19601 19601 18822 0 -1 1077944384 16653 0 0 0 234 2 0 0 20 0 28 0 511438480 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140834027760 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19620] ppid=19601 vsize=28768336 memory=1576 CPUtime=0.92 cores=0-7
/proc/19603/task/19620/stat : 19620 (java) S 19601 19601 18822 0 -1 1077944384 13385 0 0 0 89 3 0 0 20 0 28 0 511438480 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140832975216 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19621] ppid=19601 vsize=28768336 memory=1028 CPUtime=0 cores=0-7
/proc/19603/task/19621/stat : 19621 (java) S 19601 19601 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511438480 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140831922912 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19622] ppid=19601 vsize=28768336 memory=1060 CPUtime=0.67 cores=0-7
/proc/19603/task/19622/stat : 19622 (java) S 19601 19601 18822 0 -1 1077944384 2231 0 0 0 0 67 0 0 20 0 28 0 511438480 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140830870448 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19623] ppid=19601 vsize=28768336 memory=2828 CPUtime=2474.34 cores=0-7
/proc/19603/task/19623/stat : 19623 (java) R 19601 19601 18822 0 -1 4202560 6371 0 0 0 247426 8 0 0 20 0 28 0 511438605 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140754226600 140141369529899 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19624] ppid=19601 vsize=28768336 memory=756 CPUtime=2475.36 cores=0-7
/proc/19603/task/19624/stat : 19624 (java) R 19601 19601 18822 0 -1 4202560 7993 0 0 0 247527 9 0 0 20 0 28 0 511438605 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140753175096 140141369116125 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19625] ppid=19601 vsize=28768336 memory=1548 CPUtime=2476.57 cores=0-7
/proc/19603/task/19625/stat : 19625 (java) R 19601 19601 18822 0 -1 4202560 14711 0 0 0 247634 23 0 0 20 0 28 0 511438605 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140752121512 140141370926915 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19626] ppid=19601 vsize=28768336 memory=1448 CPUtime=2474.19 cores=0-7
/proc/19603/task/19626/stat : 19626 (java) R 19601 19601 18822 0 -1 4202560 11416 0 0 0 247407 12 0 0 20 0 28 0 511438605 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140751069032 140141369313885 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19627] ppid=19601 vsize=28768336 memory=1448 CPUtime=2474.54 cores=0-7
/proc/19603/task/19627/stat : 19627 (java) R 19601 19601 18822 0 -1 4202560 21203 0 0 0 247440 14 0 0 20 0 28 0 511438605 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140750016664 140141370926915 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19628] ppid=19601 vsize=28768336 memory=742308 CPUtime=2467.79 cores=0-7
/proc/19603/task/19628/stat : 19628 (java) R 19601 19601 18822 0 -1 4202560 61902 0 0 0 246747 32 0 0 20 0 28 0 511438605 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140748966816 140141362908044 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19629] ppid=19601 vsize=28768336 memory=1984 CPUtime=2473.42 cores=0-7
/proc/19603/task/19629/stat : 19629 (java) R 19601 19601 18822 0 -1 4202560 41213 0 0 0 247325 17 0 0 20 0 28 0 511438605 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140747911248 140141372292592 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19630] ppid=19601 vsize=28768336 memory=2528 CPUtime=2475.98 cores=0-7
/proc/19603/task/19630/stat : 19630 (java) R 19601 19601 18822 0 -1 4202560 5365 0 0 0 247588 10 0 0 20 0 28 0 511438606 29458776064 190838 33554432000 4194304 4196468 140733566499232 140140746858792 140141369095322 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
Current children cumulated CPU time: 19881.4 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 764800 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.65 8.41 8.32 9/220 19815
/proc/meminfo: memFree=24743520/32770624 swapFree=66992432/67108860
[pid=19601] ppid=19598 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/19601/stat : 19601 (xcsp3-exec) S 19598 19601 18822 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511438474 115843072 362 33554432000 4194304 5098028 140721784197056 140721784195160 139670104089212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38682624 140721784202066 140721784202325 140721784202325 140721784205254 0
/proc/19601/statm: 28282 362 304 221 0 87 0
[pid=19603] ppid=19601 vsize=28768336 memory=745616 CPUtime=20022.2 cores=0-7
/proc/19603/stat : 19603 (java) S 19601 19601 18822 0 -1 1077944320 397308 0 0 0 2001478 747 0 0 20 0 28 0 511438474 29458776064 186404 33554432000 4194304 4196468 140733566499232 140733566481776 140141724028663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
/proc/19603/statm: 7192084 186404 3550 1 0 7153184 0
[pid=19603/tid=19604] ppid=19601 vsize=28768336 memory=1398722017469774279 CPUtime=1.26 cores=0-7
/proc/19603/task/19604/stat : 19604 (java) S 19601 19601 18822 0 -1 1077944384 10175 0 0 0 120 6 0 0 20 0 28 0 511438474 29458776064 186404 33554432000 4194304 4196468 140733566499232 140141728269440 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19605] ppid=19601 vsize=28768336 memory=-7003737579269690708 CPUtime=8.89 cores=0-7
/proc/19603/task/19605/stat : 19605 (java) S 19601 19601 18822 0 -1 1077944384 10509 0 0 0 863 26 0 0 20 0 28 0 511438475 29458776064 186404 33554432000 4194304 4196468 140733566499232 140141275941648 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19606] ppid=19601 vsize=28768336 memory=1164 CPUtime=8.81 cores=0-7
/proc/19603/task/19606/stat : 19606 (java) S 19601 19601 18822 0 -1 1077944384 13634 0 0 0 857 24 0 0 20 0 28 0 511438475 29458776064 186404 33554432000 4194304 4196468 140733566499232 140141274889104 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19607] ppid=19601 vsize=28768336 memory=9520 CPUtime=8.87 cores=0-7
/proc/19603/task/19607/stat : 19607 (java) S 19601 19601 18822 0 -1 1077944384 15176 0 0 0 863 24 0 0 20 0 28 0 511438475 29458776064 186404 33554432000 4194304 4196468 140733566499232 140141273836560 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19608] ppid=19601 vsize=28768336 memory=14008 CPUtime=8.83 cores=0-7
/proc/19603/task/19608/stat : 19608 (java) S 19601 19601 18822 0 -1 1077944384 12573 0 0 0 860 23 0 0 20 0 28 0 511438475 29458776064 186404 33554432000 4194304 4196468 140733566499232 140141272784016 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19609] ppid=19601 vsize=28768336 memory=2120 CPUtime=8.84 cores=0-7
/proc/19603/task/19609/stat : 19609 (java) S 19601 19601 18822 0 -1 1077944384 15586 0 0 0 859 25 0 0 20 0 28 0 511438475 29458776064 186404 33554432000 4194304 4196468 140733566499232 140141271730448 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19610] ppid=19601 vsize=28768336 memory=12028 CPUtime=8.86 cores=0-7
/proc/19603/task/19610/stat : 19610 (java) S 19601 19601 18822 0 -1 1077944384 10741 0 0 0 862 24 0 0 20 0 28 0 511438475 29458776064 186404 33554432000 4194304 4196468 140733566499232 140141270677904 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19611] ppid=19601 vsize=28768336 memory=21156 CPUtime=8.82 cores=0-7
/proc/19603/task/19611/stat : 19611 (java) S 19601 19601 18822 0 -1 1077944384 13723 0 0 0 860 22 0 0 20 0 28 0 511438475 29458776064 186404 33554432000 4194304 4196468 140733566499232 140141269625360 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19612] ppid=19601 vsize=28768336 memory=512 CPUtime=8.85 cores=0-7
/proc/19603/task/19612/stat : 19612 (java) S 19601 19601 18822 0 -1 1077944384 13519 0 0 0 860 25 0 0 20 0 28 0 511438475 29458776064 186404 33554432000 4194304 4196468 140733566499232 140141268572816 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19613] ppid=19601 vsize=28768336 memory=1448 CPUtime=8.31 cores=0-7
/proc/19603/task/19613/stat : 19613 (java) S 19601 19601 18822 0 -1 1077944384 34042 0 0 0 405 426 0 0 20 0 28 0 511438477 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140840344048 140141724039810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19614] ppid=19601 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/19603/task/19614/stat : 19614 (java) S 19601 19601 18822 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 511438477 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140839290336 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19615] ppid=19601 vsize=28768336 memory=745616 CPUtime=0 cores=0-7
/proc/19603/task/19615/stat : 19615 (java) S 19601 19601 18822 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 511438477 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140838237696 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19616] ppid=19601 vsize=28768336 memory=1440 CPUtime=0 cores=0-7
/proc/19603/task/19616/stat : 19616 (java) S 19601 19601 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511438480 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140837186256 140141724047259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19617] ppid=19601 vsize=28768336 memory=904 CPUtime=2.43 cores=0-7
/proc/19603/task/19617/stat : 19617 (java) S 19601 19601 18822 0 -1 1077944384 15007 0 0 0 241 2 0 0 20 0 28 0 511438480 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140836132848 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19618] ppid=19601 vsize=28768336 memory=1984 CPUtime=2.62 cores=0-7
/proc/19603/task/19618/stat : 19618 (java) S 19601 19601 18822 0 -1 1077944384 17137 0 0 0 259 3 0 0 20 0 28 0 511438480 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140835080304 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19619] ppid=19601 vsize=28768336 memory=2528 CPUtime=2.36 cores=0-7
/proc/19603/task/19619/stat : 19619 (java) S 19601 19601 18822 0 -1 1077944384 16655 0 0 0 234 2 0 0 20 0 28 0 511438480 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140834027760 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19620] ppid=19601 vsize=28768336 memory=1764 CPUtime=0.92 cores=0-7
/proc/19603/task/19620/stat : 19620 (java) S 19601 19601 18822 0 -1 1077944384 13387 0 0 0 89 3 0 0 20 0 28 0 511438480 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140832975216 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19621] ppid=19601 vsize=28768336 memory=111632 CPUtime=0 cores=0-7
/proc/19603/task/19621/stat : 19621 (java) S 19601 19601 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511438480 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140831922912 140141724038869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19622] ppid=19601 vsize=28768336 memory=804 CPUtime=0.68 cores=0-7
/proc/19603/task/19622/stat : 19622 (java) S 19601 19601 18822 0 -1 1077944384 2255 0 0 0 0 68 0 0 20 0 28 0 511438480 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140830870448 140141724039810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19623] ppid=19601 vsize=28768336 memory=1804 CPUtime=2491.8 cores=0-7
/proc/19603/task/19623/stat : 19623 (java) R 19601 19601 18822 0 -1 4202560 6523 0 0 0 249172 8 0 0 20 0 28 0 511438605 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140754226488 140141369096230 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19624] ppid=19601 vsize=28768336 memory=920 CPUtime=2492.96 cores=0-7
/proc/19603/task/19624/stat : 19624 (java) R 19601 19601 18822 0 -1 4202560 8278 0 0 0 249287 9 0 0 20 0 28 0 511438605 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140753175192 140141369529595 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19625] ppid=19601 vsize=28768336 memory=288230574492221466 CPUtime=2494.18 cores=0-7
/proc/19603/task/19625/stat : 19625 (java) R 19601 19601 18822 0 -1 4202560 15242 0 0 0 249394 24 0 0 20 0 28 0 511438605 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140752121512 140141370605864 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19626] ppid=19601 vsize=28768336 memory=288230621803970871 CPUtime=2491.8 cores=0-7
/proc/19603/task/19626/stat : 19626 (java) R 19601 19601 18822 0 -1 4202560 11751 0 0 0 249168 12 0 0 20 0 28 0 511438605 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140751068952 140141365492481 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19627] ppid=19601 vsize=28768336 memory=13848568834296442 CPUtime=2491.98 cores=0-7
/proc/19603/task/19627/stat : 19627 (java) R 19601 19601 18822 0 -1 4202560 21702 0 0 0 249184 14 0 0 20 0 28 0 511438605 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140750016424 140141370605437 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19628] ppid=19601 vsize=28768336 memory=759984 CPUtime=2485.39 cores=0-7
/proc/19603/task/19628/stat : 19628 (java) R 19601 19601 18822 0 -1 4202560 66220 0 0 0 248505 34 0 0 20 0 28 0 511438605 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140748966816 140141369529838 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19629] ppid=19601 vsize=28768336 memory=14008 CPUtime=2491 cores=0-7
/proc/19603/task/19629/stat : 19629 (java) R 19601 19601 18822 0 -1 4202560 46558 0 0 0 249081 19 0 0 20 0 28 0 511438605 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140747911248 140141372293134 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
[pid=19603/tid=19630] ppid=19601 vsize=28768336 memory=6791534058613427641 CPUtime=2493.6 cores=0-7
/proc/19603/task/19630/stat : 19630 (java) R 19601 19601 18822 0 -1 4202560 5574 0 0 0 249350 10 0 0 20 0 28 0 511438606 29458776064 186404 33554432000 4194304 4196468 140733566499232 140140746858888 140141369529428 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 37908480 140733566501846 140733566502022 140733566502022 140733566504911 0
Current children cumulated CPU time: 20022.2 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 747064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 19601 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00235 s, system=0 s
[startup+2520.12 s]
# the end of solver process 19603 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20015.4 s, system=7.49646 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2520.12
CPU time (s): 20022.9
CPU user time (s): 20015.4
CPU system time (s): 7.49646
CPU usage (%): 794.522
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 777704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20015.4
system time used= 7.49646
maximum resident set size= 776768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 398133
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 164907
involuntary context switches= 241189
# summary of solver processes directly reported to runsolver:
# pid: 19601,19603
# total CPU time (s): 20022.9
# total CPU user time (s): 20015.4
# total CPU system time (s): 7.49646
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.3294 second user time and 21.3313 second system time
The end
Begin job on node121 at 2019-09-24 21:01:56 IDJOB=4406829 IDBENCH=128106 IDSOLVER=2871 FILE ID=node121/4406829-1569351759 RUNJOBID= node121-1569349151-18849 PBS_JOBID= 21705085 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-90-07.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 /var/tmp/evaluation-result-4406829-1569351759/watcher-4406829-1569351759 -o /var/tmp/evaluation-result-4406829-1569351759/solver-4406829-1569351759 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569349151-18849 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 101845462 HOME/instance-4406829-1569351759.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 62ab34719a1ca197804bba3dde19efaf RANDOM SEED=101845462 node121.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.75 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.75 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.75 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.75 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: 25477932 kB MemAvailable: 31845732 kB Buffers: 148268 kB Cached: 6309880 kB SwapCached: 4596 kB Active: 3209068 kB Inactive: 3256984 kB Active(anon): 4436 kB Inactive(anon): 53336 kB Active(file): 3204632 kB Inactive(file): 3203648 kB Unevictable: 109596 kB Mlocked: 109596 kB SwapTotal: 67108860 kB SwapFree: 66992424 kB Dirty: 26268 kB Writeback: 4 kB AnonPages: 125148 kB Mapped: 53340 kB Shmem: 41112 kB Slab: 417532 kB SReclaimable: 387980 kB SUnreclaim: 29552 kB KernelStack: 3520 kB PageTables: 5944 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514988 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13484 MiB End job on node121 at 2019-09-24 21:43:56