| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 2019-09-20 parallel | ? (TO) | 20044.4 | 2520.12 |
| Name | SuperSolutions/SuperSolutions-Taillard-js20/ SuperTaillard-js-20-20.xml |
| MD5SUM | bd4660d9f641dd45473fddd00af9a0d0 |
| 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 | 1437.98 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 800 |
| Number of constraints | 12940 |
| Number of domains | 96 |
| Minimum domain size | 1599 |
| Maximum domain size | 1697 |
| Distribution of domain sizes | [{"size":1599,"count":10},{"size":1600,"count":4},{"size":1601,"count":16},{"size":1602,"count":2},{"size":1603,"count":6},{"size":1604,"count":8},{"size":1605,"count":6},{"size":1606,"count":6},{"size":1607,"count":6},{"size":1608,"count":16},{"size":1609,"count":6},{"size":1610,"count":6},{"size":1611,"count":8},{"size":1612,"count":24},{"size":1613,"count":6},{"size":1614,"count":8},{"size":1616,"count":8},{"size":1617,"count":14},{"size":1618,"count":6},{"size":1619,"count":8},{"size":1620,"count":6},{"size":1621,"count":8},{"size":1622,"count":10},{"size":1623,"count":8},{"size":1624,"count":10},"...",{"size":1672,"count":14}, {"size":1673,"count":4}, {"size":1674,"count":8}, {"size":1675,"count":4}, {"size":1676,"count":6}, {"size":1677,"count":8}, {"size":1678,"count":10}, {"size":1679,"count":8}, {"size":1680,"count":10}, {"size":1681,"count":14}, {"size":1682,"count":10}, {"size":1683,"count":14}, {"size":1684,"count":2}, {"size":1685,"count":10}, {"size":1686,"count":10}, {"size":1687,"count":10}, {"size":1688,"count":2}, {"size":1689,"count":16}, {"size":1690,"count":8}, {"size":1691,"count":8}, {"size":1693,"count":8}, {"size":1694,"count":8}, {"size":1695,"count":14}, {"size":1696,"count":10}, {"size":1697,"count":8}] |
| Minimum variable degree | 21 |
| Maximum variable degree | 43 |
| Distribution of variable degrees | [{"degree":21,"count":40},{"degree":22,"count":360},{"degree":41,"count":40},{"degree":43,"count":360}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":12940}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 12940 |
| Distribution of constraint types | [{"type":"intension","count":12940}] |
| 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-4404519-1569008083.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404519-1569008083.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 24.91/8.52 c solve instance... 20043.76/2520.07 s UNKNOWN 20043.76/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 (13451 MiB free)
memory of node 1: 16384 MiB (10934 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404519-1569008083/watcher-4404519-1569008083 -o /var/tmp/evaluation-result-4404519-1569008083/solver-4404519-1569008083 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569005045-18307 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1862673528 HOME/instance-4404519-1569008083.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
solver pid=19197, runsolver pid=19194
Current StackSize limit: 8192 KiB
[startup+0.10014 s]*
/proc/loadavg: 8.40 8.33 8.30 2/212 19218
/proc/meminfo: memFree=24952508/32770624 swapFree=66935844/67108860
[pid=19197] ppid=19194 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 18280 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476722138 115843072 363 33554432000 4194304 5098028 140731119974736 140731119972840 140058131096188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33267712 140731119977297 140731119977557 140731119977557 140731119980486 0
/proc/19197/statm: 28282 363 304 221 0 87 0
[pid=19199] ppid=19197 vsize=28227396 memory=29604 CPUtime=0.12 cores=0-7
/proc/19199/stat : 19199 (java) S 19197 19197 18280 0 -1 1077944320 5881 0 0 0 11 1 0 0 20 0 20 0 476722139 28904853504 7401 33554432000 4194304 4196468 140731191164416 140731191146960 140207398833911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
/proc/19199/statm: 7056849 7401 3121 1 0 7019032 0
[pid=19199/tid=19200] ppid=19197 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/19199/task/19200/stat : 19200 (java) R 19197 19197 18280 0 -1 4202560 3830 0 0 0 8 0 0 0 20 0 20 0 476722139 28904853504 7401 33554432000 4194304 4196468 140731191164416 140207403060048 140207398845846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19201] ppid=19197 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19199/task/19201/stat : 19201 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722140 28904853504 7401 33554432000 4194304 4196468 140731191164416 140207351453968 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19202] ppid=19197 vsize=28227396 memory=139927601858176 CPUtime=0 cores=0-7
/proc/19199/task/19202/stat : 19202 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722140 28904853504 7401 33554432000 4194304 4196468 140731191164416 140207350401424 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19203] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19203/stat : 19203 (java) S 19197 19197 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722140 28904853504 7401 33554432000 4194304 4196468 140731191164416 140207349348880 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19204] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19204/stat : 19204 (java) S 19197 19197 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722140 28904853504 7401 33554432000 4194304 4196468 140731191164416 140207348296336 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19205] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19205/stat : 19205 (java) S 19197 19197 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722140 28904853504 7401 33554432000 4194304 4196468 140731191164416 140207347243792 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19206] ppid=19197 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19199/task/19206/stat : 19206 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722140 28904853504 7401 33554432000 4194304 4196468 140731191164416 140207346191248 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19207] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19207/stat : 19207 (java) S 19197 19197 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722140 28904853504 7401 33554432000 4194304 4196468 140731191164416 140207345138704 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19208] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19208/stat : 19208 (java) S 19197 19197 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722140 28904853504 7401 33554432000 4194304 4196468 140731191164416 140207344086160 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19209] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19209/stat : 19209 (java) S 19197 19197 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722141 28904853504 7401 33554432000 4194304 4196468 140731191164416 140206715922416 140207398845058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19210] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19210/stat : 19210 (java) S 19197 19197 18280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476722142 28904853504 7401 33554432000 4194304 4196468 140731191164416 140206714868640 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19211] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19211/stat : 19211 (java) S 19197 19197 18280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476722142 28904853504 7401 33554432000 4194304 4196468 140731191164416 140206713816048 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19212] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19212/stat : 19212 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722144 28904853504 7401 33554432000 4194304 4196468 140731191164416 140206712764624 140207398852507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19213] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19213/stat : 19213 (java) S 19197 19197 18280 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 476722144 28904853504 7401 33554432000 4194304 4196468 140731191164416 140206711712240 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19214] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19214/stat : 19214 (java) R 19197 19197 18280 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 20 0 476722144 28904853504 7401 33554432000 4194304 4196468 140731191164416 140206710659696 140207398855258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19215] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19215/stat : 19215 (java) S 19197 19197 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722144 28904853504 7401 33554432000 4194304 4196468 140731191164416 140206709607152 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19216] ppid=19197 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19199/task/19216/stat : 19216 (java) R 19197 19197 18280 0 -1 4202560 316 0 0 0 1 0 0 0 20 0 20 0 476722144 28904853504 7401 33554432000 4194304 4196468 140731191164416 140206708554608 140207383910017 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19217] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19217/stat : 19217 (java) S 19197 19197 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722145 28904853504 7401 33554432000 4194304 4196468 140731191164416 140206707501280 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19218] ppid=19197 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19199/task/19218/stat : 19218 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722145 28904853504 7401 33554432000 4194304 4196468 140731191164416 140206706448816 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31056 KiB
[startup+0.209942 s]*
/proc/loadavg: 8.40 8.33 8.30 2/212 19218
/proc/meminfo: memFree=24939460/32770624 swapFree=66935844/67108860
[pid=19197] ppid=19194 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 18280 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476722138 115843072 363 33554432000 4194304 5098028 140731119974736 140731119972840 140058131096188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33267712 140731119977297 140731119977557 140731119977557 140731119980486 0
/proc/19197/statm: 28282 363 304 221 0 87 0
[pid=19199] ppid=19197 vsize=28227396 memory=41288 CPUtime=0.33 cores=0-7
/proc/19199/stat : 19199 (java) S 19197 19197 18280 0 -1 1077944320 9532 0 0 0 30 3 0 0 20 0 20 0 476722139 28904853504 10322 33554432000 4194304 4196468 140731191164416 140731191146960 140207398833911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
/proc/19199/statm: 7056849 10322 3308 1 0 7019032 0
[pid=19199/tid=19200] ppid=19197 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19199/task/19200/stat : 19200 (java) R 19197 19197 18280 0 -1 4202560 6654 0 0 0 18 2 0 0 20 0 20 0 476722139 28904853504 10322 33554432000 4194304 4196468 140731191164416 140207403065824 140207398845846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19201] ppid=19197 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/19199/task/19201/stat : 19201 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722140 28904853504 10322 33554432000 4194304 4196468 140731191164416 140207351453968 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19202] ppid=19197 vsize=28227396 memory=139927605472443 CPUtime=0 cores=0-7
/proc/19199/task/19202/stat : 19202 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722140 28904853504 10322 33554432000 4194304 4196468 140731191164416 140207350401424 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19203] ppid=19197 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19199/task/19203/stat : 19203 (java) S 19197 19197 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722140 28904853504 10322 33554432000 4194304 4196468 140731191164416 140207349348880 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19204] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19204/stat : 19204 (java) S 19197 19197 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722140 28904853504 10322 33554432000 4194304 4196468 140731191164416 140207348296336 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19205] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19205/stat : 19205 (java) S 19197 19197 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722140 28904853504 10322 33554432000 4194304 4196468 140731191164416 140207347243792 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19206] ppid=19197 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19199/task/19206/stat : 19206 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722140 28904853504 10322 33554432000 4194304 4196468 140731191164416 140207346191248 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19207] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19207/stat : 19207 (java) S 19197 19197 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722140 28904853504 10322 33554432000 4194304 4196468 140731191164416 140207345138704 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19208] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19208/stat : 19208 (java) S 19197 19197 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722140 28904853504 10322 33554432000 4194304 4196468 140731191164416 140207344086160 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19209] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19209/stat : 19209 (java) S 19197 19197 18280 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 476722141 28904853504 10322 33554432000 4194304 4196468 140731191164416 140206715922416 140207398845058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19210] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19210/stat : 19210 (java) S 19197 19197 18280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476722142 28904853504 10322 33554432000 4194304 4196468 140731191164416 140206714868640 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19211] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19211/stat : 19211 (java) S 19197 19197 18280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476722142 28904853504 10322 33554432000 4194304 4196468 140731191164416 140206713816048 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19212] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19212/stat : 19212 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722144 28904853504 10322 33554432000 4194304 4196468 140731191164416 140206712764624 140207398852507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19213] ppid=19197 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/19199/task/19213/stat : 19213 (java) S 19197 19197 18280 0 -1 1077944384 567 0 0 0 1 0 0 0 20 0 20 0 476722144 28904853504 10322 33554432000 4194304 4196468 140731191164416 140206711712240 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19214] ppid=19197 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/19199/task/19214/stat : 19214 (java) S 19197 19197 18280 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 20 0 476722144 28904853504 10322 33554432000 4194304 4196468 140731191164416 140206710659696 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19215] ppid=19197 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/19199/task/19215/stat : 19215 (java) S 19197 19197 18280 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 476722144 28904853504 10322 33554432000 4194304 4196468 140731191164416 140206709607152 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19216] ppid=19197 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/19199/task/19216/stat : 19216 (java) R 19197 19197 18280 0 -1 4202560 727 0 0 0 7 0 0 0 20 0 20 0 476722144 28904853504 10322 33554432000 4194304 4196468 140731191164416 140206708554608 140207398845846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19217] ppid=19197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19217/stat : 19217 (java) S 19197 19197 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722145 28904853504 10322 33554432000 4194304 4196468 140731191164416 140206707501280 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19218] ppid=19197 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/19199/task/19218/stat : 19218 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722145 28904853504 10322 33554432000 4194304 4196468 140731191164416 140206706448816 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42740 KiB
[startup+0.309623 s]*
/proc/loadavg: 8.40 8.33 8.30 3/212 19218
/proc/meminfo: memFree=24932292/32770624 swapFree=66935844/67108860
[pid=19197] ppid=19194 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 18280 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476722138 115843072 363 33554432000 4194304 5098028 140731119974736 140731119972840 140058131096188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33267712 140731119977297 140731119977557 140731119977557 140731119980486 0
/proc/19197/statm: 28282 363 304 221 0 87 0
[pid=19199] ppid=19197 vsize=28231652 memory=49668 CPUtime=0.52 cores=0-7
/proc/19199/stat : 19199 (java) S 19197 19197 18280 0 -1 1077944320 10807 0 0 0 49 3 0 0 20 0 20 0 476722139 28909211648 12417 33554432000 4194304 4196468 140731191164416 140731191146960 140207398833911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
/proc/19199/statm: 7057913 12417 3344 1 0 7019032 0
[pid=19199/tid=19200] ppid=19197 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/19199/task/19200/stat : 19200 (java) R 19197 19197 18280 0 -1 4202560 7761 0 0 0 27 2 0 0 20 0 20 0 476722139 28909211648 12417 33554432000 4194304 4196468 140731191164416 140207403065024 140207382914398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19201] ppid=19197 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19201/stat : 19201 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722140 28909211648 12417 33554432000 4194304 4196468 140731191164416 140207351453968 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19202] ppid=19197 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19202/stat : 19202 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722140 28909211648 12417 33554432000 4194304 4196468 140731191164416 140207350401424 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19203] ppid=19197 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19203/stat : 19203 (java) S 19197 19197 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722140 28909211648 12417 33554432000 4194304 4196468 140731191164416 140207349348880 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19204] ppid=19197 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19204/stat : 19204 (java) S 19197 19197 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722140 28909211648 12417 33554432000 4194304 4196468 140731191164416 140207348296336 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19205] ppid=19197 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/19199/task/19205/stat : 19205 (java) S 19197 19197 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722140 28909211648 12417 33554432000 4194304 4196468 140731191164416 140207347243792 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19206] ppid=19197 vsize=28231652 memory=139927484461999 CPUtime=0 cores=0-7
/proc/19199/task/19206/stat : 19206 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722140 28909211648 12417 33554432000 4194304 4196468 140731191164416 140207346191248 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19207] ppid=19197 vsize=28231652 memory=139927484464304 CPUtime=0 cores=0-7
/proc/19199/task/19207/stat : 19207 (java) S 19197 19197 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722140 28909211648 12417 33554432000 4194304 4196468 140731191164416 140207345138704 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19208] ppid=19197 vsize=28231652 memory=139927484466608 CPUtime=0 cores=0-7
/proc/19199/task/19208/stat : 19208 (java) S 19197 19197 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722140 28909211648 12417 33554432000 4194304 4196468 140731191164416 140207344086160 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19209] ppid=19197 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19209/stat : 19209 (java) S 19197 19197 18280 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 476722141 28909211648 12417 33554432000 4194304 4196468 140731191164416 140206715922416 140207398845058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19210] ppid=19197 vsize=28231652 memory=279854968940176 CPUtime=0 cores=0-7
/proc/19199/task/19210/stat : 19210 (java) S 19197 19197 18280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476722142 28909211648 12417 33554432000 4194304 4196468 140731191164416 140206714868640 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19211] ppid=19197 vsize=28231652 memory=279854968947088 CPUtime=0 cores=0-7
/proc/19199/task/19211/stat : 19211 (java) S 19197 19197 18280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476722142 28909211648 12417 33554432000 4194304 4196468 140731191164416 140206713816048 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19212] ppid=19197 vsize=28231652 memory=279854968888368 CPUtime=0 cores=0-7
/proc/19199/task/19212/stat : 19212 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722144 28909211648 12417 33554432000 4194304 4196468 140731191164416 140206712764624 140207398852507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19213] ppid=19197 vsize=28231652 memory=279854968960912 CPUtime=0.03 cores=0-7
/proc/19199/task/19213/stat : 19213 (java) R 19197 19197 18280 0 -1 4202560 655 0 0 0 3 0 0 0 20 0 20 0 476722144 28909211648 12417 33554432000 4194304 4196468 140731191164416 140206711702624 140207398855258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19214] ppid=19197 vsize=28231652 memory=279854968967824 CPUtime=0.02 cores=0-7
/proc/19199/task/19214/stat : 19214 (java) S 19197 19197 18280 0 -1 1077944384 223 0 0 0 2 0 0 0 20 0 20 0 476722144 28909211648 12417 33554432000 4194304 4196468 140731191164416 140206710659696 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19215] ppid=19197 vsize=28231652 memory=279854968965520 CPUtime=0.02 cores=0-7
/proc/19199/task/19215/stat : 19215 (java) S 19197 19197 18280 0 -1 1077944384 57 0 0 0 2 0 0 0 20 0 20 0 476722144 28909211648 12417 33554432000 4194304 4196468 140731191164416 140206709607152 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19216] ppid=19197 vsize=28231652 memory=279854968981680 CPUtime=0.12 cores=0-7
/proc/19199/task/19216/stat : 19216 (java) S 19197 19197 18280 0 -1 1077944384 798 0 0 0 12 0 0 0 20 0 20 0 476722144 28909211648 12417 33554432000 4194304 4196468 140731191164416 140206708554608 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19217] ppid=19197 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19217/stat : 19217 (java) S 19197 19197 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722145 28909211648 12417 33554432000 4194304 4196468 140731191164416 140206707501280 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19218] ppid=19197 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/19199/task/19218/stat : 19218 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722145 28909211648 12417 33554432000 4194304 4196468 140731191164416 140206706448816 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51120 KiB
[startup+0.70096 s]
/proc/loadavg: 8.40 8.33 8.30 4/212 19218
/proc/meminfo: memFree=24904884/32770624 swapFree=66935844/67108860
[pid=19197] ppid=19194 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 18280 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476722138 115843072 363 33554432000 4194304 5098028 140731119974736 140731119972840 140058131096188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33267712 140731119977297 140731119977557 140731119977557 140731119980486 0
/proc/19197/statm: 28282 363 304 221 0 87 0
[pid=19199] ppid=19197 vsize=28233776 memory=125516 CPUtime=2.05 cores=0-7
/proc/19199/stat : 19199 (java) S 19197 19197 18280 0 -1 1077944320 16405 0 0 0 200 5 0 0 20 0 20 0 476722139 28911386624 31379 33554432000 4194304 4196468 140731191164416 140731191146960 140207398833911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
/proc/19199/statm: 7058444 31379 3449 1 0 7019544 0
[pid=19199/tid=19200] ppid=19197 vsize=28233776 memory=279854969339568 CPUtime=0.67 cores=0-7
/proc/19199/task/19200/stat : 19200 (java) R 19197 19197 18280 0 -1 4202560 8372 0 0 0 64 3 0 0 20 0 20 0 476722139 28911386624 31379 33554432000 4194304 4196468 140731191164416 140207403072464 140207382914398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19201] ppid=19197 vsize=28233776 memory=139927484670832 CPUtime=0 cores=0-7
/proc/19199/task/19201/stat : 19201 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722140 28911386624 31379 33554432000 4194304 4196468 140731191164416 140207351453968 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19202] ppid=19197 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/19199/task/19202/stat : 19202 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722140 28911386624 31379 33554432000 4194304 4196468 140731191164416 140207350401424 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19203] ppid=19197 vsize=28233776 memory=1128 CPUtime=0 cores=0-7
/proc/19199/task/19203/stat : 19203 (java) S 19197 19197 18280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722140 28911386624 31379 33554432000 4194304 4196468 140731191164416 140207349348880 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
################
# More data... #
################
[pid=19199/tid=19227] ppid=19197 vsize=28768336 memory=6791534058613427641 CPUtime=2417.15 cores=0-7
/proc/19199/task/19227/stat : 19227 (java) R 19197 19197 18280 0 -1 4202560 279826 0 0 0 241658 57 0 0 20 0 28 0 476723040 29458776064 1548725 33554432000 4194304 4196468 140731191164416 140206690099096 140207015679824 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
Current children cumulated CPU time: 19423.9 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 6196352 KiB
[startup+2502.31 s]
/proc/loadavg: 8.16 8.37 8.35 9/220 19440
/proc/meminfo: memFree=18871456/32770624 swapFree=66935844/67108860
[pid=19197] ppid=19194 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 18280 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476722138 115843072 363 33554432000 4194304 5098028 140731119974736 140731119972840 140058131096188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33267712 140731119977297 140731119977557 140731119977557 140731119980486 0
/proc/19197/statm: 28282 363 304 221 0 87 0
[pid=19199] ppid=19197 vsize=28768336 memory=6097444 CPUtime=19902.5 cores=0-7
/proc/19199/stat : 19199 (java) S 19197 19197 18280 0 -1 1077944320 2179486 0 0 0 1988488 1766 0 0 20 0 28 0 476722139 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140731191146960 140207398833911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
/proc/19199/statm: 7192084 1524361 3561 1 0 7153184 0
[pid=19199/tid=19200] ppid=19197 vsize=28768336 memory=6144132 CPUtime=7.43 cores=0-7
/proc/19199/task/19200/stat : 19200 (java) S 19197 19197 18280 0 -1 1077944384 14752 0 0 0 724 19 0 0 20 0 28 0 476722139 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207403074688 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19201] ppid=19197 vsize=28768336 memory=6144132 CPUtime=14.46 cores=0-7
/proc/19199/task/19201/stat : 19201 (java) S 19197 19197 18280 0 -1 1077944384 44327 0 0 0 1305 141 0 0 20 0 28 0 476722140 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207351453968 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19202] ppid=19197 vsize=28768336 memory=1452 CPUtime=14.52 cores=0-7
/proc/19199/task/19202/stat : 19202 (java) S 19197 19197 18280 0 -1 1077944384 50240 0 0 0 1309 143 0 0 20 0 28 0 476722140 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207350401424 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19203] ppid=19197 vsize=28768336 memory=1368 CPUtime=14.4 cores=0-7
/proc/19199/task/19203/stat : 19203 (java) S 19197 19197 18280 0 -1 1077944384 50175 0 0 0 1292 148 0 0 20 0 28 0 476722140 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207349348880 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19204] ppid=19197 vsize=28768336 memory=1452 CPUtime=14.47 cores=0-7
/proc/19199/task/19204/stat : 19204 (java) S 19197 19197 18280 0 -1 1077944384 50086 0 0 0 1301 146 0 0 20 0 28 0 476722140 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207348296336 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19205] ppid=19197 vsize=28768336 memory=6144132 CPUtime=14.53 cores=0-7
/proc/19199/task/19205/stat : 19205 (java) S 19197 19197 18280 0 -1 1077944384 48910 0 0 0 1315 138 0 0 20 0 28 0 476722140 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207347243792 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19206] ppid=19197 vsize=28768336 memory=6144132 CPUtime=14.57 cores=0-7
/proc/19199/task/19206/stat : 19206 (java) S 19197 19197 18280 0 -1 1077944384 42292 0 0 0 1309 148 0 0 20 0 28 0 476722140 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207346191248 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19207] ppid=19197 vsize=28768336 memory=1452 CPUtime=14.59 cores=0-7
/proc/19199/task/19207/stat : 19207 (java) S 19197 19197 18280 0 -1 1077944384 41364 0 0 0 1313 146 0 0 20 0 28 0 476722140 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207345138704 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19208] ppid=19197 vsize=28768336 memory=1056 CPUtime=14.47 cores=0-7
/proc/19199/task/19208/stat : 19208 (java) S 19197 19197 18280 0 -1 1077944384 47837 0 0 0 1304 143 0 0 20 0 28 0 476722140 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207344086160 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19209] ppid=19197 vsize=28768336 memory=0 CPUtime=1.86 cores=0-7
/proc/19199/task/19209/stat : 19209 (java) S 19197 19197 18280 0 -1 1077944384 25019 0 0 0 179 7 0 0 20 0 28 0 476722141 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206715922416 140207398845058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19210] ppid=19197 vsize=28768336 memory=11416 CPUtime=0 cores=0-7
/proc/19199/task/19210/stat : 19210 (java) S 19197 19197 18280 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 476722142 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206714868704 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19211] ppid=19197 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/19199/task/19211/stat : 19211 (java) S 19197 19197 18280 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 476722142 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206713816064 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19212] ppid=19197 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/19199/task/19212/stat : 19212 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476722144 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206712764624 140207398852507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19213] ppid=19197 vsize=28768336 memory=6144132 CPUtime=4.08 cores=0-7
/proc/19199/task/19213/stat : 19213 (java) S 19197 19197 18280 0 -1 1077944384 25249 0 0 0 403 5 0 0 20 0 28 0 476722144 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206711712240 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19214] ppid=19197 vsize=28768336 memory=1452 CPUtime=4.53 cores=0-7
/proc/19199/task/19214/stat : 19214 (java) S 19197 19197 18280 0 -1 1077944384 29092 0 0 0 449 4 0 0 20 0 28 0 476722144 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206710659696 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19215] ppid=19197 vsize=28768336 memory=1452 CPUtime=4.16 cores=0-7
/proc/19199/task/19215/stat : 19215 (java) S 19197 19197 18280 0 -1 1077944384 29003 0 0 0 411 5 0 0 20 0 28 0 476722144 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206709607152 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19216] ppid=19197 vsize=28768336 memory=6144132 CPUtime=1.14 cores=0-7
/proc/19199/task/19216/stat : 19216 (java) S 19197 19197 18280 0 -1 1077944384 25204 0 0 0 109 5 0 0 20 0 28 0 476722144 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206708554608 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19217] ppid=19197 vsize=28768336 memory=30256 CPUtime=0 cores=0-7
/proc/19199/task/19217/stat : 19217 (java) S 19197 19197 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476722145 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206707501280 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19218] ppid=19197 vsize=28768336 memory=1452 CPUtime=1.04 cores=0-7
/proc/19199/task/19218/stat : 19218 (java) S 19197 19197 18280 0 -1 1077944384 3777 0 0 0 26 78 0 0 20 0 28 0 476722145 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206706448816 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19220] ppid=19197 vsize=28768336 memory=1452 CPUtime=2466.03 cores=0-7
/proc/19199/task/19220/stat : 19220 (java) R 19197 19197 18280 0 -1 4202560 211641 0 0 0 246539 64 0 0 20 0 28 0 476723011 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206697466584 140207015528609 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19221] ppid=19197 vsize=28768336 memory=1452 CPUtime=2475.17 cores=0-7
/proc/19199/task/19221/stat : 19221 (java) R 19197 19197 18280 0 -1 4202560 78254 0 0 0 247472 45 0 0 20 0 28 0 476723011 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206696415208 140207018591597 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19222] ppid=19197 vsize=28768336 memory=1452 CPUtime=2464.49 cores=0-7
/proc/19199/task/19222/stat : 19222 (java) R 19197 19197 18280 0 -1 4202560 247894 0 0 0 246357 92 0 0 20 0 28 0 476723011 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206695362592 140207015529794 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19223] ppid=19197 vsize=28768336 memory=1452 CPUtime=2476.84 cores=0-7
/proc/19199/task/19223/stat : 19223 (java) R 19197 19197 18280 0 -1 4202560 262284 0 0 0 247555 129 0 0 20 0 28 0 476723011 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206694310296 140207020015157 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19224] ppid=19197 vsize=28768336 memory=6097444 CPUtime=2457.76 cores=0-7
/proc/19199/task/19224/stat : 19224 (java) R 19197 19197 18280 0 -1 4202560 235462 0 0 0 245719 57 0 0 20 0 28 0 476723011 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206693257576 140207013806798 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19225] ppid=19197 vsize=28768336 memory=1452 CPUtime=2476.81 cores=0-7
/proc/19199/task/19225/stat : 19225 (java) R 19197 19197 18280 0 -1 4202560 76646 0 0 0 247629 52 0 0 20 0 28 0 476723011 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206692205064 140207015528651 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19226] ppid=19197 vsize=28768336 memory=6144132 CPUtime=2468.03 cores=0-7
/proc/19199/task/19226/stat : 19226 (java) R 19197 19197 18280 0 -1 4202560 257983 0 0 0 246743 60 0 0 20 0 28 0 476723040 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206691154400 140207015280266 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19227] ppid=19197 vsize=28768336 memory=2020 CPUtime=2476.93 cores=0-7
/proc/19199/task/19227/stat : 19227 (java) R 19197 19197 18280 0 -1 4202560 280555 0 0 0 247636 57 0 0 20 0 28 0 476723040 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206690098936 140207018591803 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
Current children cumulated CPU time: 19902.5 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 6098896 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.11 8.35 8.34 9/219 19440
/proc/meminfo: memFree=18871940/32770624 swapFree=66935844/67108860
[pid=19197] ppid=19194 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19197/stat : 19197 (xcsp3-exec) S 19194 19197 18280 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476722138 115843072 363 33554432000 4194304 5098028 140731119974736 140731119972840 140058131096188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33267712 140731119977297 140731119977557 140731119977557 140731119980486 0
/proc/19197/statm: 28282 363 304 221 0 87 0
[pid=19199] ppid=19197 vsize=28768336 memory=6097444 CPUtime=20043.8 cores=0-7
/proc/19199/stat : 19199 (java) S 19197 19197 18280 0 -1 1077944320 2181443 0 0 0 2002609 1767 0 0 20 0 28 0 476722139 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140731191146960 140207398833911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
/proc/19199/statm: 7192084 1524361 3561 1 0 7153184 0
[pid=19199/tid=19200] ppid=19197 vsize=28768336 memory=1398720917958146503 CPUtime=7.43 cores=0-7
/proc/19199/task/19200/stat : 19200 (java) S 19197 19197 18280 0 -1 1077944384 14752 0 0 0 724 19 0 0 20 0 28 0 476722139 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207403074688 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19201] ppid=19197 vsize=28768336 memory=4872558044660077418 CPUtime=14.46 cores=0-7
/proc/19199/task/19201/stat : 19201 (java) S 19197 19197 18280 0 -1 1077944384 44327 0 0 0 1305 141 0 0 20 0 28 0 476722140 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207351453968 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19202] ppid=19197 vsize=28768336 memory=1056 CPUtime=14.52 cores=0-7
/proc/19199/task/19202/stat : 19202 (java) S 19197 19197 18280 0 -1 1077944384 50240 0 0 0 1309 143 0 0 20 0 28 0 476722140 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207350401424 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19203] ppid=19197 vsize=28768336 memory=1716 CPUtime=14.4 cores=0-7
/proc/19199/task/19203/stat : 19203 (java) S 19197 19197 18280 0 -1 1077944384 50175 0 0 0 1292 148 0 0 20 0 28 0 476722140 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207349348880 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19204] ppid=19197 vsize=28768336 memory=6028 CPUtime=14.47 cores=0-7
/proc/19199/task/19204/stat : 19204 (java) S 19197 19197 18280 0 -1 1077944384 50086 0 0 0 1301 146 0 0 20 0 28 0 476722140 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207348296336 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19205] ppid=19197 vsize=28768336 memory=11416 CPUtime=14.53 cores=0-7
/proc/19199/task/19205/stat : 19205 (java) S 19197 19197 18280 0 -1 1077944384 48910 0 0 0 1315 138 0 0 20 0 28 0 476722140 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207347243792 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19206] ppid=19197 vsize=28768336 memory=780 CPUtime=14.57 cores=0-7
/proc/19199/task/19206/stat : 19206 (java) S 19197 19197 18280 0 -1 1077944384 42292 0 0 0 1309 148 0 0 20 0 28 0 476722140 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207346191248 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19207] ppid=19197 vsize=28768336 memory=776 CPUtime=14.59 cores=0-7
/proc/19199/task/19207/stat : 19207 (java) S 19197 19197 18280 0 -1 1077944384 41364 0 0 0 1313 146 0 0 20 0 28 0 476722140 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207345138704 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19208] ppid=19197 vsize=28768336 memory=1560 CPUtime=14.47 cores=0-7
/proc/19199/task/19208/stat : 19208 (java) S 19197 19197 18280 0 -1 1077944384 47837 0 0 0 1304 143 0 0 20 0 28 0 476722140 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140207344086160 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19209] ppid=19197 vsize=28768336 memory=932 CPUtime=1.86 cores=0-7
/proc/19199/task/19209/stat : 19209 (java) S 19197 19197 18280 0 -1 1077944384 25019 0 0 0 179 7 0 0 20 0 28 0 476722141 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206715922416 140207398845058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19210] ppid=19197 vsize=28768336 memory=1636 CPUtime=0 cores=0-7
/proc/19199/task/19210/stat : 19210 (java) S 19197 19197 18280 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 476722142 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206714868704 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19211] ppid=19197 vsize=28768336 memory=1436 CPUtime=0 cores=0-7
/proc/19199/task/19211/stat : 19211 (java) S 19197 19197 18280 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 476722142 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206713816064 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19212] ppid=19197 vsize=28768336 memory=880 CPUtime=0 cores=0-7
/proc/19199/task/19212/stat : 19212 (java) S 19197 19197 18280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476722144 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206712764624 140207398852507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19213] ppid=19197 vsize=28768336 memory=1980 CPUtime=4.09 cores=0-7
/proc/19199/task/19213/stat : 19213 (java) S 19197 19197 18280 0 -1 1077944384 26264 0 0 0 404 5 0 0 20 0 28 0 476722144 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206711712240 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19214] ppid=19197 vsize=28768336 memory=2520 CPUtime=4.53 cores=0-7
/proc/19199/task/19214/stat : 19214 (java) S 19197 19197 18280 0 -1 1077944384 29092 0 0 0 449 4 0 0 20 0 28 0 476722144 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206710659696 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19215] ppid=19197 vsize=28768336 memory=1760 CPUtime=4.16 cores=0-7
/proc/19199/task/19215/stat : 19215 (java) S 19197 19197 18280 0 -1 1077944384 29003 0 0 0 411 5 0 0 20 0 28 0 476722144 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206709607152 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19216] ppid=19197 vsize=28768336 memory=1660 CPUtime=1.14 cores=0-7
/proc/19199/task/19216/stat : 19216 (java) S 19197 19197 18280 0 -1 1077944384 25204 0 0 0 109 5 0 0 20 0 28 0 476722144 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206708554608 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19217] ppid=19197 vsize=28768336 memory=111632 CPUtime=0 cores=0-7
/proc/19199/task/19217/stat : 19217 (java) S 19197 19197 18280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476722145 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206707501280 140207398844117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19218] ppid=19197 vsize=28768336 memory=796 CPUtime=1.04 cores=0-7
/proc/19199/task/19218/stat : 19218 (java) S 19197 19197 18280 0 -1 1077944384 3785 0 0 0 26 78 0 0 20 0 28 0 476722145 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206706448816 140207398845058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19220] ppid=19197 vsize=28768336 memory=4104 CPUtime=2483.74 cores=0-7
/proc/19199/task/19220/stat : 19220 (java) R 19197 19197 18280 0 -1 4202560 211727 0 0 0 248309 65 0 0 20 0 28 0 476723011 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206697466584 140207018591842 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19221] ppid=19197 vsize=28768336 memory=1398720917958146503 CPUtime=2492.86 cores=0-7
/proc/19199/task/19221/stat : 19221 (java) R 19197 19197 18280 0 -1 4202560 78385 0 0 0 249241 45 0 0 20 0 28 0 476723011 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206696415208 140207013071369 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19222] ppid=19197 vsize=28768336 memory=4872558044660077418 CPUtime=2481.81 cores=0-7
/proc/19199/task/19222/stat : 19222 (java) R 19197 19197 18280 0 -1 4202560 247990 0 0 0 248089 92 0 0 20 0 28 0 476723011 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206695362920 140207015529881 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19223] ppid=19197 vsize=28768336 memory=1412 CPUtime=2494.54 cores=0-7
/proc/19199/task/19223/stat : 19223 (java) R 19197 19197 18280 0 -1 4202560 262534 0 0 0 249325 129 0 0 20 0 28 0 476723011 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206694310296 140207018591967 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19224] ppid=19197 vsize=28768336 memory=3824 CPUtime=2475.46 cores=0-7
/proc/19199/task/19224/stat : 19224 (java) R 19197 19197 18280 0 -1 4202560 235581 0 0 0 247489 57 0 0 20 0 28 0 476723011 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206693257576 140207019885325 0 4 0 16800975 0 0 0 -1 3 0 0 11 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19225] ppid=19197 vsize=28768336 memory=1452 CPUtime=2494.51 cores=0-7
/proc/19199/task/19225/stat : 19225 (java) R 19197 19197 18280 0 -1 4202560 76689 0 0 0 249399 52 0 0 20 0 28 0 476723011 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206692205064 140207018591772 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19226] ppid=19197 vsize=28768336 memory=6097444 CPUtime=2485.73 cores=0-7
/proc/19199/task/19226/stat : 19226 (java) R 19197 19197 18280 0 -1 4202560 258067 0 0 0 248513 60 0 0 20 0 28 0 476723040 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206691154288 140207013071369 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
[pid=19199/tid=19227] ppid=19197 vsize=28768336 memory=4104 CPUtime=2494.63 cores=0-7
/proc/19199/task/19227/stat : 19227 (java) R 19197 19197 18280 0 -1 4202560 280680 0 0 0 249405 58 0 0 20 0 28 0 476723040 29458776064 1524361 33554432000 4194304 4196468 140731191164416 140206690098936 140207014612897 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 37519360 140731191165910 140731191166086 140731191166086 140731191168975 0
Current children cumulated CPU time: 20043.8 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 6098896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 19197 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002314 s, system=0 s
[startup+2520.12 s]
# the end of solver process 19199 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20026.7 s, system=17.7141 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): 20044.4
CPU user time (s): 20026.7
CPU system time (s): 17.7141
CPU usage (%): 795.375
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 6899312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20026.7
system time used= 17.7141
maximum resident set size= 6899908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2182518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71827
involuntary context switches= 220214
# summary of solver processes directly reported to runsolver:
# pid: 19197,19199
# total CPU time (s): 20044.4
# total CPU user time (s): 20026.7
# total CPU system time (s): 17.7141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.677 second user time and 32.577 second system time
The end
Begin job on node147 at 2019-09-20 21:34:00 IDJOB=4404519 IDBENCH=138647 IDSOLVER=2865 FILE ID=node147/4404519-1569008083 RUNJOBID= node147-1569005045-18307 PBS_JOBID= 21704748 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js20/SuperTaillard-js-20-20.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-4404519-1569008083/watcher-4404519-1569008083 -o /var/tmp/evaluation-result-4404519-1569008083/solver-4404519-1569008083 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569005045-18307 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1862673528 HOME/instance-4404519-1569008083.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bd4660d9f641dd45473fddd00af9a0d0 RANDOM SEED=1862673528 node147.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.52 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.52 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.52 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.52 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: 24970148 kB MemAvailable: 31785996 kB Buffers: 105096 kB Cached: 6770836 kB SwapCached: 68676 kB Active: 3412764 kB Inactive: 3535352 kB Active(anon): 4076 kB Inactive(anon): 116744 kB Active(file): 3408688 kB Inactive(file): 3418608 kB Unevictable: 109112 kB Mlocked: 109112 kB SwapTotal: 67108860 kB SwapFree: 66935844 kB Dirty: 26500 kB Writeback: 0 kB AnonPages: 121256 kB Mapped: 52516 kB Shmem: 40796 kB Slab: 445468 kB SReclaimable: 417012 kB SUnreclaim: 28456 kB KernelStack: 3728 kB PageTables: 4920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505772 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13484 MiB End job on node147 at 2019-09-20 22:16:00