| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 2019-09-16 parallel | ? | 6448.46 | 1247.66 |
| Name | SuperSolutions/SuperSolutions-Taillard-os10/ SuperTaillard-os-10-01.xml |
| MD5SUM | a0db4e7a601eb58dee5216b17e791c99 |
| 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 | 41.2819 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 200 |
| Number of constraints | 2800 |
| Number of domains | 65 |
| Minimum domain size | 548 |
| Maximum domain size | 643 |
| Distribution of domain sizes | [{"size":548,"count":6},{"size":549,"count":6},{"size":550,"count":4},{"size":551,"count":2},{"size":552,"count":4},{"size":553,"count":2},{"size":554,"count":2},{"size":555,"count":2},{"size":556,"count":2},{"size":558,"count":2},{"size":559,"count":8},{"size":560,"count":2},{"size":561,"count":2},{"size":562,"count":6},{"size":563,"count":2},{"size":565,"count":2},{"size":572,"count":2},{"size":573,"count":4},{"size":574,"count":2},{"size":575,"count":2},{"size":576,"count":4},{"size":577,"count":2},{"size":578,"count":8},{"size":579,"count":2},{"size":580,"count":2},"...",{"size":603,"count":2}, {"size":604,"count":2}, {"size":605,"count":2}, {"size":606,"count":2}, {"size":607,"count":6}, {"size":608,"count":4}, {"size":611,"count":4}, {"size":612,"count":2}, {"size":614,"count":4}, {"size":616,"count":6}, {"size":617,"count":2}, {"size":619,"count":2}, {"size":620,"count":2}, {"size":621,"count":2}, {"size":623,"count":2}, {"size":625,"count":2}, {"size":627,"count":4}, {"size":628,"count":2}, {"size":629,"count":2}, {"size":633,"count":6}, {"size":634,"count":2}, {"size":637,"count":2}, {"size":639,"count":4}, {"size":642,"count":2}, {"size":643,"count":2}] |
| Minimum variable degree | 19 |
| Maximum variable degree | 37 |
| Distribution of variable degrees | [{"degree":19,"count":100},{"degree":37,"count":100}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":2800}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 2800 |
| Distribution of constraint types | [{"type":"intension","count":2800}] |
| 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-4399470-1568713600.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399470-1568713600.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 6318.13/1228.12 Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded 6318.13/1228.12 at java.util.stream.ReferencePipeline.mapToInt(ReferencePipeline.java:203) 6318.13/1228.12 at org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression.ieval(NaArExpression.java:124) 6318.13/1228.12 at org.chocosolver.solver.expression.discrete.relational.BiReExpression.beval(BiReExpression.java:214) 6318.13/1228.12 at org.chocosolver.solver.expression.discrete.logical.NaLoExpression.beval(NaLoExpression.java:137) 6318.13/1228.12 at org.chocosolver.solver.expression.discrete.relational.ReExpression.lambda$extension$3(ReExpression.java:150) 6318.13/1228.12 at org.chocosolver.solver.expression.discrete.relational.ReExpression$$Lambda$147/673068808.valid(Unknown Source) 6318.13/1228.12 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88) 6318.13/1228.12 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150) 6318.13/1228.12 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 6318.13/1228.12 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283) 6318.13/1228.12 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164) 6318.13/1228.12 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 6318.13/1228.12 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 6318.13/1228.12 at org.xcsp.parser.XCallbacks$$Lambda$89/205962452.accept(Unknown Source) 6318.13/1228.12 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 6318.13/1228.12 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 6318.13/1228.12 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 6318.13/1228.12 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 6318.13/1228.12 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 6318.13/1228.12 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 6318.13/1228.12 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 6318.13/1228.12 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 6318.13/1228.12 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 6318.13/1228.12 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 6318.13/1228.12 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 6318.13/1228.12 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 6448.31/1247.51 s UNKNOWN 6448.31/1247.51 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 (15170 MiB free)
memory of node 1: 16384 MiB (15768 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399470-1568713600/watcher-4399470-1568713600 -o /tmp/evaluation-result-4399470-1568713600/solver-4399470-1568713600 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568710957-27730 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 215031637 HOME/instance-4399470-1568713600.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=28231, runsolver pid=28228
[startup+0.100139 s]*
/proc/loadavg: 8.34 8.37 8.29 2/211 28252
/proc/meminfo: memFree=31664912/32770624 swapFree=67002432/67108860
[pid=28231] ppid=28228 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28231/stat : 28231 (xcsp3-exec) S 28228 28231 27703 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447608629 115843072 363 33554432000 4194304 5098028 140735507172816 140735507170920 140193717133948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19701760 140735507178358 140735507178601 140735507178601 140735507181514 0
/proc/28231/statm: 28282 363 304 221 0 87 0
[pid=28233] ppid=28231 vsize=28227396 memory=30172 CPUtime=0.12 cores=0-7
/proc/28233/stat : 28233 (java) S 28231 28231 27703 0 -1 1077944320 5510 0 0 0 11 1 0 0 20 0 20 0 447608629 28904853504 7543 33554432000 4194304 4196468 140725937572080 140725937554624 139947054518007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
/proc/28233/statm: 7056849 7543 3120 1 0 7019032 0
[pid=28233/tid=28234] ppid=28231 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/28233/task/28234/stat : 28234 (java) R 28231 28231 27703 0 -1 4202560 3426 0 0 0 8 1 0 0 20 0 20 0 447608630 28904853504 7543 33554432000 4194304 4196468 140725937572080 139947058744144 139947054529942 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28235] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28235/stat : 28235 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28904853504 7543 33554432000 4194304 4196468 140725937572080 139946606210064 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28236] ppid=28231 vsize=28227396 memory=140255258584704 CPUtime=0 cores=0-7
/proc/28233/task/28236/stat : 28236 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28904853504 7543 33554432000 4194304 4196468 140725937572080 139946605157520 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28237] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28237/stat : 28237 (java) S 28231 28231 27703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447608630 28904853504 7543 33554432000 4194304 4196468 140725937572080 139946604104464 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28238] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28238/stat : 28238 (java) S 28231 28231 27703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447608630 28904853504 7543 33554432000 4194304 4196468 140725937572080 139946603051920 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28239] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28239/stat : 28239 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28904853504 7543 33554432000 4194304 4196468 140725937572080 139946601998864 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28240] ppid=28231 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28233/task/28240/stat : 28240 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28904853504 7543 33554432000 4194304 4196468 140725937572080 139946600946320 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28241] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28241/stat : 28241 (java) S 28231 28231 27703 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447608630 28904853504 7543 33554432000 4194304 4196468 140725937572080 139946599893264 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28242] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28242/stat : 28242 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28904853504 7543 33554432000 4194304 4196468 140725937572080 139946598840720 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28243] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28243/stat : 28243 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608632 28904853504 7543 33554432000 4194304 4196468 140725937572080 139945182153456 139947054529154 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28244] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28244/stat : 28244 (java) S 28231 28231 27703 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447608632 28904853504 7543 33554432000 4194304 4196468 140725937572080 139945181099680 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28245] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28245/stat : 28245 (java) S 28231 28231 27703 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447608633 28904853504 7543 33554432000 4194304 4196468 140725937572080 139945180046576 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28246] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28246/stat : 28246 (java) S 28231 28231 27703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447608635 28904853504 7543 33554432000 4194304 4196468 140725937572080 139945178995152 139947054536603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28247] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28247/stat : 28247 (java) S 28231 28231 27703 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 447608635 28904853504 7543 33554432000 4194304 4196468 140725937572080 139945177942256 139947054529154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28248] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28248/stat : 28248 (java) S 28231 28231 27703 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447608635 28904853504 7543 33554432000 4194304 4196468 140725937572080 139945176889712 139947054529154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28249] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28249/stat : 28249 (java) S 28231 28231 27703 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447608635 28904853504 7543 33554432000 4194304 4196468 140725937572080 139945175836656 139947054529154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28250] ppid=28231 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/28233/task/28250/stat : 28250 (java) R 28231 28231 27703 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 20 0 447608635 28904853504 7543 33554432000 4194304 4196468 140725937572080 139945174784112 139947033467840 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28251] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28251/stat : 28251 (java) S 28231 28231 27703 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447608635 28904853504 7543 33554432000 4194304 4196468 140725937572080 139945173732320 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28252] ppid=28231 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28233/task/28252/stat : 28252 (java) S 28231 28231 27703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447608635 28904853504 7543 33554432000 4194304 4196468 140725937572080 139945172679856 139947054529154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31624 KiB
[startup+0.21019 s]*
/proc/loadavg: 8.34 8.37 8.29 4/211 28252
/proc/meminfo: memFree=31652204/32770624 swapFree=67002432/67108860
[pid=28231] ppid=28228 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28231/stat : 28231 (xcsp3-exec) S 28228 28231 27703 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447608629 115843072 363 33554432000 4194304 5098028 140735507172816 140735507170920 140193717133948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19701760 140735507178358 140735507178601 140735507178601 140735507181514 0
/proc/28231/statm: 28282 363 304 221 0 87 0
[pid=28233] ppid=28231 vsize=28227396 memory=40568 CPUtime=0.34 cores=0-7
/proc/28233/stat : 28233 (java) S 28231 28231 27703 0 -1 1077944320 8932 0 0 0 31 3 0 0 20 0 20 0 447608629 28904853504 10142 33554432000 4194304 4196468 140725937572080 140725937554624 139947054518007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
/proc/28233/statm: 7056849 10142 3261 1 0 7019032 0
[pid=28233/tid=28234] ppid=28231 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/28233/task/28234/stat : 28234 (java) R 28231 28231 27703 0 -1 4202560 6190 0 0 0 17 2 0 0 20 0 20 0 447608630 28904853504 10142 33554432000 4194304 4196468 140725937572080 139947058750736 139947038598494 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28235] ppid=28231 vsize=28227396 memory=330 CPUtime=0 cores=0-7
/proc/28233/task/28235/stat : 28235 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28904853504 10142 33554432000 4194304 4196468 140725937572080 139946606210064 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28236] ppid=28231 vsize=28227396 memory=288370631410296448 CPUtime=0 cores=0-7
/proc/28233/task/28236/stat : 28236 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28904853504 10142 33554432000 4194304 4196468 140725937572080 139946605157520 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28237] ppid=28231 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28233/task/28237/stat : 28237 (java) S 28231 28231 27703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447608630 28904853504 10142 33554432000 4194304 4196468 140725937572080 139946604104464 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28238] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28238/stat : 28238 (java) S 28231 28231 27703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447608630 28904853504 10142 33554432000 4194304 4196468 140725937572080 139946603051920 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28239] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28239/stat : 28239 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28904853504 10142 33554432000 4194304 4196468 140725937572080 139946601998864 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28240] ppid=28231 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28233/task/28240/stat : 28240 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28904853504 10142 33554432000 4194304 4196468 140725937572080 139946600946320 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28241] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28241/stat : 28241 (java) S 28231 28231 27703 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447608630 28904853504 10142 33554432000 4194304 4196468 140725937572080 139946599893264 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28242] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28242/stat : 28242 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28904853504 10142 33554432000 4194304 4196468 140725937572080 139946598840720 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28243] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28243/stat : 28243 (java) S 28231 28231 27703 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447608632 28904853504 10142 33554432000 4194304 4196468 140725937572080 139945182153456 139947054529154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28244] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28244/stat : 28244 (java) S 28231 28231 27703 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447608632 28904853504 10142 33554432000 4194304 4196468 140725937572080 139945181099680 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28245] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28245/stat : 28245 (java) S 28231 28231 27703 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447608633 28904853504 10142 33554432000 4194304 4196468 140725937572080 139945180046576 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28246] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28246/stat : 28246 (java) S 28231 28231 27703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447608635 28904853504 10142 33554432000 4194304 4196468 140725937572080 139945178995152 139947054536603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28247] ppid=28231 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/28233/task/28247/stat : 28247 (java) S 28231 28231 27703 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 20 0 447608635 28904853504 10142 33554432000 4194304 4196468 140725937572080 139945177942256 139947054529154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28248] ppid=28231 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/28233/task/28248/stat : 28248 (java) S 28231 28231 27703 0 -1 1077944384 188 0 0 0 2 0 0 0 20 0 20 0 447608635 28904853504 10142 33554432000 4194304 4196468 140725937572080 139945176889712 139947054529154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28249] ppid=28231 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/28233/task/28249/stat : 28249 (java) S 28231 28231 27703 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 20 0 447608635 28904853504 10142 33554432000 4194304 4196468 140725937572080 139945175836656 139947054529154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28250] ppid=28231 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/28233/task/28250/stat : 28250 (java) R 28231 28231 27703 0 -1 4202560 774 0 0 0 7 0 0 0 20 0 20 0 447608635 28904853504 10142 33554432000 4194304 4196468 140725937572080 139945174784112 139947033143302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28251] ppid=28231 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28251/stat : 28251 (java) S 28231 28231 27703 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447608635 28904853504 10142 33554432000 4194304 4196468 140725937572080 139945173732320 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28252] ppid=28231 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28233/task/28252/stat : 28252 (java) S 28231 28231 27703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447608635 28904853504 10142 33554432000 4194304 4196468 140725937572080 139945172679856 139947054529154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42020 KiB
[startup+0.309556 s]*
/proc/loadavg: 8.34 8.37 8.29 5/211 28252
/proc/meminfo: memFree=31645936/32770624 swapFree=67002432/67108860
[pid=28231] ppid=28228 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28231/stat : 28231 (xcsp3-exec) S 28228 28231 27703 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447608629 115843072 363 33554432000 4194304 5098028 140735507172816 140735507170920 140193717133948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19701760 140735507178358 140735507178601 140735507178601 140735507181514 0
/proc/28231/statm: 28282 363 304 221 0 87 0
[pid=28233] ppid=28231 vsize=28231652 memory=50124 CPUtime=0.52 cores=0-7
/proc/28233/stat : 28233 (java) S 28231 28231 27703 0 -1 1077944320 10314 0 0 0 48 4 0 0 20 0 20 0 447608629 28909211648 12531 33554432000 4194304 4196468 140725937572080 140725937554624 139947054518007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
/proc/28233/statm: 7057913 12531 3368 1 0 7019032 0
[pid=28233/tid=28234] ppid=28231 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28233/task/28234/stat : 28234 (java) R 28231 28231 27703 0 -1 4202560 7259 0 0 0 26 3 0 0 20 0 20 0 447608630 28909211648 12531 33554432000 4194304 4196468 140725937572080 139947058749120 139947054539933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28235] ppid=28231 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28235/stat : 28235 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28909211648 12531 33554432000 4194304 4196468 140725937572080 139946606210064 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28236] ppid=28231 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28236/stat : 28236 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28909211648 12531 33554432000 4194304 4196468 140725937572080 139946605157520 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28237] ppid=28231 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28237/stat : 28237 (java) S 28231 28231 27703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447608630 28909211648 12531 33554432000 4194304 4196468 140725937572080 139946604104464 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28238] ppid=28231 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28238/stat : 28238 (java) S 28231 28231 27703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447608630 28909211648 12531 33554432000 4194304 4196468 140725937572080 139946603051920 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28239] ppid=28231 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/28233/task/28239/stat : 28239 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28909211648 12562 33554432000 4194304 4196468 140725937572080 139946601998864 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28240] ppid=28231 vsize=28231652 memory=140255109936047 CPUtime=0 cores=0-7
/proc/28233/task/28240/stat : 28240 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28909211648 12562 33554432000 4194304 4196468 140725937572080 139946600946320 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28241] ppid=28231 vsize=28231652 memory=140255109938352 CPUtime=0 cores=0-7
/proc/28233/task/28241/stat : 28241 (java) S 28231 28231 27703 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447608630 28909211648 12562 33554432000 4194304 4196468 140725937572080 139946599893264 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28242] ppid=28231 vsize=28231652 memory=140255109940656 CPUtime=0 cores=0-7
/proc/28233/task/28242/stat : 28242 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28909211648 12562 33554432000 4194304 4196468 140725937572080 139946598840720 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28243] ppid=28231 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28243/stat : 28243 (java) S 28231 28231 27703 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447608632 28909211648 12562 33554432000 4194304 4196468 140725937572080 139945182153456 139947054529154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28244] ppid=28231 vsize=28231652 memory=280510219888272 CPUtime=0 cores=0-7
/proc/28233/task/28244/stat : 28244 (java) S 28231 28231 27703 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447608632 28909211648 12562 33554432000 4194304 4196468 140725937572080 139945181099680 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28245] ppid=28231 vsize=28231652 memory=280510219895184 CPUtime=0 cores=0-7
/proc/28233/task/28245/stat : 28245 (java) S 28231 28231 27703 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447608633 28909211648 12562 33554432000 4194304 4196468 140725937572080 139945180046576 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28246] ppid=28231 vsize=28231652 memory=280510219836464 CPUtime=0 cores=0-7
/proc/28233/task/28246/stat : 28246 (java) S 28231 28231 27703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447608635 28909211648 12562 33554432000 4194304 4196468 140725937572080 139945178995152 139947054536603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28247] ppid=28231 vsize=28231652 memory=280510219909008 CPUtime=0.02 cores=0-7
/proc/28233/task/28247/stat : 28247 (java) S 28231 28231 27703 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 20 0 447608635 28909211648 12562 33554432000 4194304 4196468 140725937572080 139945177942256 139947054529154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28248] ppid=28231 vsize=28231652 memory=280510219915920 CPUtime=0.03 cores=0-7
/proc/28233/task/28248/stat : 28248 (java) S 28231 28231 27703 0 -1 1077944384 213 0 0 0 3 0 0 0 20 0 20 0 447608635 28909211648 12562 33554432000 4194304 4196468 140725937572080 139945176889712 139947054529154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28249] ppid=28231 vsize=28231652 memory=280510219913616 CPUtime=0.03 cores=0-7
/proc/28233/task/28249/stat : 28249 (java) R 28231 28231 27703 0 -1 4202560 214 0 0 0 3 0 0 0 20 0 20 0 447608635 28909211648 12562 33554432000 4194304 4196468 140725937572080 139945175827040 139947037903314 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28250] ppid=28231 vsize=28231652 memory=280510219929776 CPUtime=0.12 cores=0-7
/proc/28233/task/28250/stat : 28250 (java) S 28231 28231 27703 0 -1 1077944384 912 0 0 0 12 0 0 0 20 0 20 0 447608635 28909211648 12562 33554432000 4194304 4196468 140725937572080 139945174784112 139947054529154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28251] ppid=28231 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28251/stat : 28251 (java) S 28231 28231 27703 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447608635 28909211648 12562 33554432000 4194304 4196468 140725937572080 139945173732320 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28252] ppid=28231 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/28233/task/28252/stat : 28252 (java) S 28231 28231 27703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447608635 28909211648 12562 33554432000 4194304 4196468 140725937572080 139945172679856 139947054529154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51576 KiB
[startup+0.700936 s]
/proc/loadavg: 8.34 8.37 8.29 6/211 28252
/proc/meminfo: memFree=31621984/32770624 swapFree=67002432/67108860
[pid=28231] ppid=28228 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28231/stat : 28231 (xcsp3-exec) S 28228 28231 27703 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447608629 115843072 363 33554432000 4194304 5098028 140735507172816 140735507170920 140193717133948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19701760 140735507178358 140735507178601 140735507178601 140735507181514 0
/proc/28231/statm: 28282 363 304 221 0 87 0
[pid=28233] ppid=28231 vsize=28233776 memory=112888 CPUtime=2.02 cores=0-7
/proc/28233/stat : 28233 (java) S 28231 28231 27703 0 -1 1077944320 17378 0 0 0 196 6 0 0 20 0 20 0 447608629 28911386624 28222 33554432000 4194304 4196468 140725937572080 140725937554624 139947054518007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
/proc/28233/statm: 7058444 28222 3447 1 0 7019544 0
[pid=28233/tid=28234] ppid=28231 vsize=28233776 memory=280510220287664 CPUtime=0.68 cores=0-7
/proc/28233/task/28234/stat : 28234 (java) R 28231 28231 27703 0 -1 4202560 8757 0 0 0 63 5 0 0 20 0 20 0 447608630 28911386624 28222 33554432000 4194304 4196468 140725937572080 139947058754464 139946696246288 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28235] ppid=28231 vsize=28233776 memory=140255110144880 CPUtime=0 cores=0-7
/proc/28233/task/28235/stat : 28235 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28911386624 28222 33554432000 4194304 4196468 140725937572080 139946606210064 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28236] ppid=28231 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/28233/task/28236/stat : 28236 (java) S 28231 28231 27703 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447608630 28911386624 28222 33554432000 4194304 4196468 140725937572080 139946605157520 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28237] ppid=28231 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/28233/task/28237/stat : 28237 (java) S 28231 28231 27703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447608630 28911386624 28222 33554432000 4194304 4196468 140725937572080 139946604104464 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
################
# More data... #
################
[pid=28233/tid=28234] ppid=28231 vsize=28300340 memory=1412 CPUtime=343.81 cores=0-7
/proc/28233/task/28234/stat : 28234 (java) S 28231 28231 27703 0 -1 1077944384 103747 0 0 0 34207 174 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139947058758688 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28235] ppid=28231 vsize=28300340 memory=3360 CPUtime=742.57 cores=0-7
/proc/28233/task/28235/stat : 28235 (java) S 28231 28231 27703 0 -1 1077944384 227056 0 0 0 73744 513 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946606210064 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 66 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28236] ppid=28231 vsize=28300340 memory=3616 CPUtime=742.23 cores=0-7
/proc/28233/task/28236/stat : 28236 (java) S 28231 28231 27703 0 -1 1077944384 238717 0 0 0 73691 532 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946605157520 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 55 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28237] ppid=28231 vsize=28300340 memory=288230574492221466 CPUtime=743.73 cores=0-7
/proc/28233/task/28237/stat : 28237 (java) S 28231 28231 27703 0 -1 1077944384 261155 0 0 0 73879 494 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946604104464 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28238] ppid=28231 vsize=28300340 memory=302867320592924983 CPUtime=743.63 cores=0-7
/proc/28233/task/28238/stat : 28238 (java) S 28231 28231 27703 0 -1 1077944384 269157 0 0 0 73890 473 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946603051920 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 61 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28239] ppid=28231 vsize=28300340 memory=6791534058613427641 CPUtime=742.58 cores=0-7
/proc/28233/task/28239/stat : 28239 (java) S 28231 28231 27703 0 -1 1077944384 227902 0 0 0 73736 522 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946601998864 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 60 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28240] ppid=28231 vsize=28300340 memory=-6367650488293901766 CPUtime=743.38 cores=0-7
/proc/28233/task/28240/stat : 28240 (java) S 28231 28231 27703 0 -1 1077944384 294990 0 0 0 73834 504 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946600946320 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 62 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28241] ppid=28231 vsize=28300340 memory=-6657840308415386765 CPUtime=743.12 cores=0-7
/proc/28233/task/28241/stat : 28241 (java) S 28231 28231 27703 0 -1 1077944384 288225 0 0 0 73814 498 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946599893264 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28242] ppid=28231 vsize=28300340 memory=4354017236327817993 CPUtime=743.41 cores=0-7
/proc/28233/task/28242/stat : 28242 (java) S 28231 28231 27703 0 -1 1077944384 217044 0 0 0 73869 472 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946598840720 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 60 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28243] ppid=28231 vsize=28300340 memory=1452 CPUtime=152.09 cores=0-7
/proc/28233/task/28243/stat : 28243 (java) R 28231 28231 27703 0 -1 4202560 550957 0 0 0 15166 43 0 0 20 0 21 0 447608632 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945182152000 139947039514359 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28244] ppid=28231 vsize=28300340 memory=25510948 CPUtime=0 cores=0-7
/proc/28233/task/28244/stat : 28244 (java) S 28231 28231 27703 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 21 0 447608632 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945181099744 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28245] ppid=28231 vsize=28300340 memory=3484 CPUtime=0 cores=0-7
/proc/28233/task/28245/stat : 28245 (java) S 28231 28231 27703 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 447608633 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945180046592 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28246] ppid=28231 vsize=28300340 memory=1452 CPUtime=0 cores=0-7
/proc/28233/task/28246/stat : 28246 (java) S 28231 28231 27703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945178995152 139947054536603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28247] ppid=28231 vsize=28300340 memory=6791534058613427641 CPUtime=1 cores=0-7
/proc/28233/task/28247/stat : 28247 (java) S 28231 28231 27703 0 -1 1077944384 8436 0 0 0 99 1 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945177942016 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28248] ppid=28231 vsize=28300340 memory=4126316290023845779 CPUtime=1.75 cores=0-7
/proc/28233/task/28248/stat : 28248 (java) S 28231 28231 27703 0 -1 1077944384 15304 0 0 0 173 2 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945176889760 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28249] ppid=28231 vsize=28300340 memory=6944656592455360604 CPUtime=1 cores=0-7
/proc/28233/task/28249/stat : 28249 (java) S 28231 28231 27703 0 -1 1077944384 6425 0 0 0 100 0 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945175836704 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28250] ppid=28231 vsize=28300340 memory=81 CPUtime=0.59 cores=0-7
/proc/28233/task/28250/stat : 28250 (java) S 28231 28231 27703 0 -1 1077944384 11605 0 0 0 57 2 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945174784160 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28251] ppid=28231 vsize=28300340 memory=280510221071840 CPUtime=0 cores=0-7
/proc/28233/task/28251/stat : 28251 (java) S 28231 28231 27703 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945173732320 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28252] ppid=28231 vsize=28300340 memory=804 CPUtime=0.52 cores=0-7
/proc/28233/task/28252/stat : 28252 (java) S 28231 28231 27703 0 -1 1077944384 2600 0 0 0 24 28 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945172679856 139947054529154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28367] ppid=28231 vsize=28300340 memory=1448 CPUtime=0 cores=0-7
/proc/28233/task/28367/stat : 28367 (java) S 28231 28231 27703 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 21 0 447731442 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945163701824 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
Current children cumulated CPU time: 6445.61 s
Current children cumulated vsize: 28413468 KiB
Current children cumulated memory: 25512416 KiB
[startup+1246.4 s]
/proc/loadavg: 7.38 6.73 6.37 2/212 28370
/proc/meminfo: memFree=6134016/32770624 swapFree=67002432/67108860
[pid=28231] ppid=28228 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28231/stat : 28231 (xcsp3-exec) S 28228 28231 27703 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447608629 115843072 363 33554432000 4194304 5098028 140735507172816 140735507170920 140193717133948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19701760 140735507178358 140735507178601 140735507178601 140735507181514 0
/proc/28231/statm: 28282 363 304 221 0 87 0
[pid=28233] ppid=28231 vsize=28300340 memory=25510964 CPUtime=6447.21 cores=0-7
/proc/28233/stat : 28233 (java) S 28231 28231 27703 0 -1 1077944320 2726217 0 0 0 640469 4252 0 0 20 0 21 0 447608629 28979548160 6377741 33554432000 4194304 4196468 140725937572080 140725937554624 139947054518007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
/proc/28233/statm: 7075085 6377741 3517 1 0 7036185 0
[pid=28233/tid=28234] ppid=28231 vsize=28300340 memory=988 CPUtime=343.81 cores=0-7
/proc/28233/task/28234/stat : 28234 (java) S 28231 28231 27703 0 -1 1077944384 103747 0 0 0 34207 174 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139947058758688 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28235] ppid=28231 vsize=28300340 memory=2024 CPUtime=742.57 cores=0-7
/proc/28233/task/28235/stat : 28235 (java) S 28231 28231 27703 0 -1 1077944384 227056 0 0 0 73744 513 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946606210064 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 66 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28236] ppid=28231 vsize=28300340 memory=1416 CPUtime=742.23 cores=0-7
/proc/28233/task/28236/stat : 28236 (java) S 28231 28231 27703 0 -1 1077944384 238717 0 0 0 73691 532 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946605157520 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 55 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28237] ppid=28231 vsize=28300340 memory=6791534058613427641 CPUtime=743.73 cores=0-7
/proc/28233/task/28237/stat : 28237 (java) S 28231 28231 27703 0 -1 1077944384 261155 0 0 0 73879 494 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946604104464 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28238] ppid=28231 vsize=28300340 memory=25510964 CPUtime=743.63 cores=0-7
/proc/28233/task/28238/stat : 28238 (java) S 28231 28231 27703 0 -1 1077944384 269157 0 0 0 73890 473 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946603051920 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 61 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28239] ppid=28231 vsize=28300340 memory=1048 CPUtime=742.58 cores=0-7
/proc/28233/task/28239/stat : 28239 (java) S 28231 28231 27703 0 -1 1077944384 227902 0 0 0 73736 522 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946601998864 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 60 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28240] ppid=28231 vsize=28300340 memory=1452 CPUtime=743.38 cores=0-7
/proc/28233/task/28240/stat : 28240 (java) S 28231 28231 27703 0 -1 1077944384 294990 0 0 0 73834 504 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946600946320 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 62 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28241] ppid=28231 vsize=28300340 memory=6943526294502006880 CPUtime=743.12 cores=0-7
/proc/28233/task/28241/stat : 28241 (java) S 28231 28231 27703 0 -1 1077944384 288225 0 0 0 73814 498 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946599893264 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28242] ppid=28231 vsize=28300340 memory=7230675713187424409 CPUtime=743.41 cores=0-7
/proc/28233/task/28242/stat : 28242 (java) S 28231 28231 27703 0 -1 1077944384 217044 0 0 0 73869 472 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946598840720 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 60 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28243] ppid=28231 vsize=28300340 memory=7230675713187424409 CPUtime=153.7 cores=0-7
/proc/28233/task/28243/stat : 28243 (java) R 28231 28231 27703 0 -1 4202560 552472 0 0 0 15326 44 0 0 20 0 21 0 447608632 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945182151888 139947038975640 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28244] ppid=28231 vsize=28300340 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/28233/task/28244/stat : 28244 (java) S 28231 28231 27703 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 21 0 447608632 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945181099744 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28245] ppid=28231 vsize=28300340 memory=1452 CPUtime=0 cores=0-7
/proc/28233/task/28245/stat : 28245 (java) S 28231 28231 27703 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 447608633 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945180046592 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28246] ppid=28231 vsize=28300340 memory=25510964 CPUtime=0 cores=0-7
/proc/28233/task/28246/stat : 28246 (java) S 28231 28231 27703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945178995152 139947054536603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28247] ppid=28231 vsize=28300340 memory=2120 CPUtime=1 cores=0-7
/proc/28233/task/28247/stat : 28247 (java) S 28231 28231 27703 0 -1 1077944384 8436 0 0 0 99 1 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945177942016 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28248] ppid=28231 vsize=28300340 memory=25964 CPUtime=1.75 cores=0-7
/proc/28233/task/28248/stat : 28248 (java) S 28231 28231 27703 0 -1 1077944384 15304 0 0 0 173 2 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945176889760 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28249] ppid=28231 vsize=28300340 memory=1556 CPUtime=1 cores=0-7
/proc/28233/task/28249/stat : 28249 (java) S 28231 28231 27703 0 -1 1077944384 6425 0 0 0 100 0 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945175836704 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28250] ppid=28231 vsize=28300340 memory=288230574492221466 CPUtime=0.59 cores=0-7
/proc/28233/task/28250/stat : 28250 (java) S 28231 28231 27703 0 -1 1077944384 11605 0 0 0 57 2 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945174784160 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28251] ppid=28231 vsize=28300340 memory=288230621803970871 CPUtime=0 cores=0-7
/proc/28233/task/28251/stat : 28251 (java) S 28231 28231 27703 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945173732320 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28252] ppid=28231 vsize=28300340 memory=14689690934577615 CPUtime=0.53 cores=0-7
/proc/28233/task/28252/stat : 28252 (java) S 28231 28231 27703 0 -1 1077944384 2600 0 0 0 24 29 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945172679856 139947054529154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28367] ppid=28231 vsize=28300340 memory=1740 CPUtime=0 cores=0-7
/proc/28233/task/28367/stat : 28367 (java) S 28231 28231 27703 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 21 0 447731442 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945163701824 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
Current children cumulated CPU time: 6447.21 s
Current children cumulated vsize: 28413468 KiB
Current children cumulated memory: 25512416 KiB
[startup+1247.2 s]
/proc/loadavg: 7.38 6.73 6.37 2/212 28370
/proc/meminfo: memFree=6134016/32770624 swapFree=67002432/67108860
[pid=28231] ppid=28228 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28231/stat : 28231 (xcsp3-exec) S 28228 28231 27703 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447608629 115843072 363 33554432000 4194304 5098028 140735507172816 140735507170920 140193717133948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19701760 140735507178358 140735507178601 140735507178601 140735507181514 0
/proc/28231/statm: 28282 363 304 221 0 87 0
[pid=28233] ppid=28231 vsize=28300340 memory=25510964 CPUtime=6448.01 cores=0-7
/proc/28233/stat : 28233 (java) S 28231 28231 27703 0 -1 1077944320 2727973 0 0 0 640549 4252 0 0 20 0 21 0 447608629 28979548160 6377741 33554432000 4194304 4196468 140725937572080 140725937554624 139947054518007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
/proc/28233/statm: 7075085 6377741 3517 1 0 7036185 0
[pid=28233/tid=28234] ppid=28231 vsize=28300340 memory=2884 CPUtime=343.81 cores=0-7
/proc/28233/task/28234/stat : 28234 (java) S 28231 28231 27703 0 -1 1077944384 103747 0 0 0 34207 174 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139947058758688 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28235] ppid=28231 vsize=28300340 memory=1056 CPUtime=742.57 cores=0-7
/proc/28233/task/28235/stat : 28235 (java) S 28231 28231 27703 0 -1 1077944384 227056 0 0 0 73744 513 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946606210064 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 66 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28236] ppid=28231 vsize=28300340 memory=1568 CPUtime=742.23 cores=0-7
/proc/28233/task/28236/stat : 28236 (java) S 28231 28231 27703 0 -1 1077944384 238717 0 0 0 73691 532 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946605157520 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 55 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28237] ppid=28231 vsize=28300340 memory=1048 CPUtime=743.73 cores=0-7
/proc/28233/task/28237/stat : 28237 (java) S 28231 28231 27703 0 -1 1077944384 261155 0 0 0 73879 494 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946604104464 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28238] ppid=28231 vsize=28300340 memory=14008 CPUtime=743.63 cores=0-7
/proc/28233/task/28238/stat : 28238 (java) S 28231 28231 27703 0 -1 1077944384 269157 0 0 0 73890 473 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946603051920 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 61 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28239] ppid=28231 vsize=28300340 memory=12040 CPUtime=742.58 cores=0-7
/proc/28233/task/28239/stat : 28239 (java) S 28231 28231 27703 0 -1 1077944384 227902 0 0 0 73736 522 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946601998864 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 60 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28240] ppid=28231 vsize=28300340 memory=2120 CPUtime=743.38 cores=0-7
/proc/28233/task/28240/stat : 28240 (java) S 28231 28231 27703 0 -1 1077944384 294990 0 0 0 73834 504 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946600946320 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 62 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28241] ppid=28231 vsize=28300340 memory=25964 CPUtime=743.12 cores=0-7
/proc/28233/task/28241/stat : 28241 (java) S 28231 28231 27703 0 -1 1077944384 288225 0 0 0 73814 498 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946599893264 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28242] ppid=28231 vsize=28300340 memory=1556 CPUtime=743.41 cores=0-7
/proc/28233/task/28242/stat : 28242 (java) S 28231 28231 27703 0 -1 1077944384 217044 0 0 0 73869 472 0 0 20 0 21 0 447608630 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139946598840720 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 60 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28243] ppid=28231 vsize=28300340 memory=500 CPUtime=154.5 cores=0-7
/proc/28233/task/28243/stat : 28243 (java) R 28231 28231 27703 0 -1 4202560 554228 0 0 0 15406 44 0 0 20 0 21 0 447608632 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945182151888 139947039514431 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28244] ppid=28231 vsize=28300340 memory=932 CPUtime=0 cores=0-7
/proc/28233/task/28244/stat : 28244 (java) S 28231 28231 27703 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 21 0 447608632 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945181099744 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28245] ppid=28231 vsize=28300340 memory=1768 CPUtime=0 cores=0-7
/proc/28233/task/28245/stat : 28245 (java) S 28231 28231 27703 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 447608633 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945180046592 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28246] ppid=28231 vsize=28300340 memory=1656 CPUtime=0 cores=0-7
/proc/28233/task/28246/stat : 28246 (java) S 28231 28231 27703 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945178995152 139947054536603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28247] ppid=28231 vsize=28300340 memory=804 CPUtime=1 cores=0-7
/proc/28233/task/28247/stat : 28247 (java) S 28231 28231 27703 0 -1 1077944384 8436 0 0 0 99 1 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945177942016 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28248] ppid=28231 vsize=28300340 memory=1448 CPUtime=1.75 cores=0-7
/proc/28233/task/28248/stat : 28248 (java) S 28231 28231 27703 0 -1 1077944384 15304 0 0 0 173 2 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945176889760 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28249] ppid=28231 vsize=28300340 memory=1980 CPUtime=1 cores=0-7
/proc/28233/task/28249/stat : 28249 (java) S 28231 28231 27703 0 -1 1077944384 6425 0 0 0 100 0 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945175836704 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28250] ppid=28231 vsize=28300340 memory=1768 CPUtime=0.59 cores=0-7
/proc/28233/task/28250/stat : 28250 (java) S 28231 28231 27703 0 -1 1077944384 11605 0 0 0 57 2 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945174784160 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28251] ppid=28231 vsize=28300340 memory=1656 CPUtime=0 cores=0-7
/proc/28233/task/28251/stat : 28251 (java) S 28231 28231 27703 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945173732320 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28252] ppid=28231 vsize=28300340 memory=804 CPUtime=0.53 cores=0-7
/proc/28233/task/28252/stat : 28252 (java) S 28231 28231 27703 0 -1 1077944384 2600 0 0 0 24 29 0 0 20 0 21 0 447608635 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945172679856 139947054529154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
[pid=28233/tid=28367] ppid=28231 vsize=28300340 memory=1452 CPUtime=0 cores=0-7
/proc/28233/task/28367/stat : 28367 (java) S 28231 28231 27703 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 21 0 447731442 28979548160 6377741 33554432000 4194304 4196468 140725937572080 139945163701824 139947054528213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27488256 140725937578986 140725937579158 140725937579158 140725937582031 0
Current children cumulated CPU time: 6448.01 s
Current children cumulated vsize: 28413468 KiB
Current children cumulated memory: 25512416 KiB
[startup+1247.6 s]
/proc/loadavg: 7.38 6.73 6.37 2/212 28370
/proc/meminfo: memFree=6134016/32770624 swapFree=67002432/67108860
[pid=28231] ppid=28228 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/28231/stat : 28231 (xcsp3-exec) S 28228 28231 27703 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447608629 115843072 363 33554432000 4194304 5098028 140735507172816 140735507170920 140193717133948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19701760 140735507178358 140735507178601 140735507178601 140735507181514 0
/proc/28231/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 1
Real time (s): 1247.66
CPU time (s): 6448.46
CPU user time (s): 6405.81
CPU system time (s): 42.6467
CPU usage (%): 516.843
Max. virtual memory (cumulated for all children) (KiB): 28413468
Max. memory (cumulated for all children) (KiB): 25512416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6405.81
system time used= 42.6467
maximum resident set size= 25511236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2733386
page faults= 0
swaps= 0
block input operations= 16
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71792
involuntary context switches= 91597
# summary of solver processes directly reported to runsolver:
# pid: 28231
# total CPU time (s): 6448.46
# total CPU user time (s): 6405.81
# total CPU system time (s): 42.6467
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.51653 second user time and 13.8979 second system time
The end
Begin job on node136 at 2019-09-17 11:45:56 IDJOB=4399470 IDBENCH=138445 IDSOLVER=2854 FILE ID=node136/4399470-1568713600 RUNJOBID= node136-1568710957-27730 PBS_JOBID= 21703920 Free space on /tmp= 61144 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-01.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399470-1568713600/watcher-4399470-1568713600 -o /tmp/evaluation-result-4399470-1568713600/solver-4399470-1568713600 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568710957-27730 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 215031637 HOME/instance-4399470-1568713600.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a0db4e7a601eb58dee5216b17e791c99 RANDOM SEED=215031637 node136.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.00 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.54 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.00 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.54 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.00 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.54 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.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31681144 kB MemAvailable: 31900204 kB Buffers: 72420 kB Cached: 447632 kB SwapCached: 3548 kB Active: 219492 kB Inactive: 306208 kB Active(anon): 4692 kB Inactive(anon): 49444 kB Active(file): 214800 kB Inactive(file): 256764 kB Unevictable: 110280 kB Mlocked: 110280 kB SwapTotal: 67108860 kB SwapFree: 67002432 kB Dirty: 26300 kB Writeback: 0 kB AnonPages: 121352 kB Mapped: 48748 kB Shmem: 40356 kB Slab: 155024 kB SReclaimable: 126660 kB SUnreclaim: 28364 kB KernelStack: 3712 kB PageTables: 6084 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506996 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 /tmp at the end= 61120 MiB End job on node136 at 2019-09-17 12:06:43