| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-18) | UNSAT | 24.4704 | 8.8436098 |
| Name | Sat/Sat-xcsp2-bmc/ bmc-ibm-7-16_X2.xml |
| MD5SUM | 8fc892d8cd45aeefd26f51f7c42b85f4 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 8.0211802 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 8710 |
| Number of constraints | 48484 |
| Number of domains | 1 |
| Minimum domain size | 16 |
| Maximum domain size | 16 |
| Distribution of domain sizes | [{"size":16,"count":8710}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 351 |
| Distribution of variable degrees | [{"degree":1,"count":80},{"degree":3,"count":130},{"degree":5,"count":38},{"degree":6,"count":1113},{"degree":7,"count":845},{"degree":8,"count":2310},{"degree":9,"count":982},{"degree":10,"count":398},{"degree":11,"count":355},{"degree":12,"count":309},{"degree":13,"count":256},{"degree":14,"count":153},{"degree":15,"count":50},{"degree":16,"count":123},{"degree":17,"count":53},{"degree":18,"count":29},{"degree":19,"count":97},{"degree":20,"count":271},{"degree":21,"count":131},{"degree":22,"count":230},{"degree":23,"count":114},{"degree":24,"count":12},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":9},{"degree":28,"count":16},{"degree":29,"count":80},{"degree":32,"count":16},{"degree":33,"count":80},{"degree":36,"count":26},{"degree":37,"count":125},{"degree":38,"count":61},{"degree":41,"count":5},{"degree":42,"count":48},{"degree":43,"count":40},{"degree":54,"count":12},{"degree":70,"count":6},{"degree":72,"count":6},{"degree":74,"count":6},{"degree":82,"count":4},{"degree":83,"count":16},{"degree":86,"count":6},{"degree":88,"count":6},{"degree":103,"count":12},{"degree":104,"count":6},{"degree":141,"count":6},{"degree":146,"count":12},{"degree":179,"count":6},{"degree":350,"count":1},{"degree":351,"count":5}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 33 |
| Distribution of constraint arities | [{"arity":1,"count":8912},{"arity":2,"count":32425},{"arity":3,"count":2423},{"arity":4,"count":885},{"arity":5,"count":1429},{"arity":6,"count":1209},{"arity":7,"count":251},{"arity":8,"count":411},{"arity":9,"count":201},{"arity":10,"count":18},{"arity":11,"count":129},{"arity":12,"count":9},{"arity":13,"count":109},{"arity":16,"count":9},{"arity":17,"count":50},{"arity":33,"count":14}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 8912 |
| Distribution of constraint types | [{"type":"intension","count":8912},{"type":"sum","count":39572}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281058-1503127641.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4281058-1503127641.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.34/0.26 c parse instance... 21.45/8.39 c solve instance... 24.38/8.81 java.util.concurrent.ExecutionException: java.lang.NullPointerException 24.38/8.81 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 24.38/8.81 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:201) 24.38/8.81 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:168) 24.38/8.81 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:134) 24.38/8.81 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:25) 24.38/8.81 Caused by: java.lang.NullPointerException 24.38/8.81 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 24.38/8.81 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 24.38/8.81 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 24.38/8.81 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 24.38/8.81 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 24.38/8.81 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 24.38/8.81 ... 4 more 24.38/8.81 Caused by: java.lang.NullPointerException 24.38/8.81 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 24.38/8.81 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 24.38/8.81 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 24.38/8.81 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 24.38/8.81 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 24.38/8.81 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 24.38/8.81 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 24.38/8.81 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 24.38/8.81 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 24.38/8.81 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 24.38/8.81 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 24.38/8.81 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 24.38/8.81 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$48(ParallelPortfolio.java:193) 24.38/8.81 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 24.38/8.81 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 24.38/8.81 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 24.38/8.81 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 24.38/8.81 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 24.38/8.81 Caused by: java.lang.NullPointerException 24.38/8.81 at org.chocosolver.solver.search.strategy.strategy.ConflictOrderingSearch.stampIt(ConflictOrderingSearch.java:124) 24.38/8.81 at org.chocosolver.solver.search.strategy.strategy.ConflictOrderingSearch.onContradiction(ConflictOrderingSearch.java:120) 24.38/8.81 at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.onContradiction(SearchMonitorList.java:133) 24.38/8.81 at org.chocosolver.solver.Solver.initialize(Solver.java:374) 24.38/8.81 at org.chocosolver.solver.Solver.solve(Solver.java:260) 24.38/8.81 at org.chocosolver.solver.ParallelPortfolio.lambda$null$47(ParallelPortfolio.java:195) 24.38/8.81 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 24.38/8.81 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 24.38/8.81 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 24.38/8.81 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 24.38/8.81 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 24.38/8.81 ... 4 more 24.38/8.81 s UNSATISFIABLE
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 (13307 MiB free)
memory of node 1: 16384 MiB (13297 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281058-1503127641/watcher-4281058-1503127641 -o /tmp/evaluation-result-4281058-1503127641/solver-4281058-1503127641 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503118348-10945 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1308806440 HOME/instance-4281058-1503127641.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=14205, runsolver pid=14202
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 5.66 7.30 7.71 2/200 14226
/proc/meminfo: memFree=27227044/32770624 swapFree=67108860/67108860
[pid=14205] ppid=14202 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14205/stat : 14205 (xcsp3-exec) S 14202 14205 10918 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145851598 9740288 346 33554432000 4194304 5098028 140724075274704 140724075272808 139838229717628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37285888 140724075279460 140724075279671 140724075279671 140724075282411 0
/proc/14205/statm: 2378 346 289 221 0 87 0
[pid=14207] ppid=14205 vsize=25999808 memory=27072 CPUtime=0.12 cores=0-7
/proc/14207/stat : 14207 (java) S 14205 14205 10918 0 -1 1077944320 5633 0 0 0 11 1 0 0 20 0 20 0 145851599 26623803392 6768 33554432000 4194304 4196468 140724432236704 140724432219248 140226450112247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
/proc/14207/statm: 6499952 6768 2876 1 0 6488269 0
[pid=14207/tid=14208] ppid=14205 vsize=25999808 memory=7825174160672202903 CPUtime=0.08 cores=0-7
/proc/14207/task/14208/stat : 14208 (java) R 14205 14205 10918 0 -1 4202560 3646 0 0 0 8 0 0 0 20 0 20 0 145851599 26623803392 6768 33554432000 4194304 4196468 140724432236704 140226454345520 140226450134173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14209] ppid=14205 vsize=25999808 memory=732370612847193061 CPUtime=0 cores=0-7
/proc/14207/task/14209/stat : 14209 (java) S 14205 14205 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145851600 26623803392 6768 33554432000 4194304 4196468 140724432236704 140226402732304 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14210] ppid=14205 vsize=25999808 memory=140474509739648 CPUtime=0 cores=0-7
/proc/14207/task/14210/stat : 14210 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851600 26623803392 6768 33554432000 4194304 4196468 140724432236704 140226401679760 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14211] ppid=14205 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14211/stat : 14211 (java) S 14205 14205 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145851600 26623803392 6768 33554432000 4194304 4196468 140724432236704 140226400627216 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14212] ppid=14205 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14212/stat : 14212 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851600 26623803392 6768 33554432000 4194304 4196468 140724432236704 140226399574672 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14213] ppid=14205 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14213/stat : 14213 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851600 26623803392 6768 33554432000 4194304 4196468 140724432236704 140226398522128 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14214] ppid=14205 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14207/task/14214/stat : 14214 (java) S 14205 14205 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145851600 26623803392 6768 33554432000 4194304 4196468 140724432236704 140226397469584 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14215] ppid=14205 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14215/stat : 14215 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851600 26623803392 6768 33554432000 4194304 4196468 140724432236704 140226396417040 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14216] ppid=14205 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14216/stat : 14216 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851600 26623803392 6768 33554432000 4194304 4196468 140724432236704 140226395364496 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14217] ppid=14205 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14217/stat : 14217 (java) S 14205 14205 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145851601 26623803392 6768 33554432000 4194304 4196468 140724432236704 140225576671216 140226450123394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14218] ppid=14205 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14218/stat : 14218 (java) S 14205 14205 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145851602 26623803392 6768 33554432000 4194304 4196468 140724432236704 140225575617440 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14219] ppid=14205 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14219/stat : 14219 (java) S 14205 14205 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145851602 26623803392 6768 33554432000 4194304 4196468 140724432236704 140225574564848 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14220] ppid=14205 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14220/stat : 14220 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851604 26623803392 6768 33554432000 4194304 4196468 140724432236704 140225573513424 140226450130843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14221] ppid=14205 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14221/stat : 14221 (java) S 14205 14205 10918 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 145851604 26623803392 6768 33554432000 4194304 4196468 140724432236704 140225572461040 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14222] ppid=14205 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14222/stat : 14222 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851604 26623803392 6768 33554432000 4194304 4196468 140724432236704 140225571408496 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14223] ppid=14205 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14223/stat : 14223 (java) S 14205 14205 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145851604 26623803392 6768 33554432000 4194304 4196468 140724432236704 140225570355952 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14224] ppid=14205 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/14207/task/14224/stat : 14224 (java) S 14205 14205 10918 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 20 0 145851604 26623803392 6768 33554432000 4194304 4196468 140724432236704 140225569303408 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14225] ppid=14205 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14225/stat : 14225 (java) S 14205 14205 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145851605 26623803392 6768 33554432000 4194304 4196468 140724432236704 140225568250080 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14226] ppid=14205 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14207/task/14226/stat : 14226 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851605 26623803392 6768 33554432000 4194304 4196468 140724432236704 140225567197616 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28456 KiB
[startup+0.210309 s]*
/proc/loadavg: 5.66 7.30 7.71 2/200 14226
/proc/meminfo: memFree=27216464/32770624 swapFree=67108860/67108860
[pid=14205] ppid=14202 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14205/stat : 14205 (xcsp3-exec) S 14202 14205 10918 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145851598 9740288 346 33554432000 4194304 5098028 140724075274704 140724075272808 139838229717628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37285888 140724075279460 140724075279671 140724075279671 140724075282411 0
/proc/14205/statm: 2378 346 289 221 0 87 0
[pid=14207] ppid=14205 vsize=26004064 memory=39000 CPUtime=0.34 cores=0-7
/proc/14207/stat : 14207 (java) S 14205 14205 10918 0 -1 1077944320 8322 0 0 0 31 3 0 0 20 0 20 0 145851599 26628161536 9750 33554432000 4194304 4196468 140724432236704 140724432219248 140226450112247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
/proc/14207/statm: 6501016 9750 3037 1 0 6488269 0
[pid=14207/tid=14208] ppid=14205 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/14207/task/14208/stat : 14208 (java) D 14205 14205 10918 0 -1 1077944384 5448 0 0 0 18 1 0 0 20 0 20 0 145851599 26628161536 9771 33554432000 4194304 4196468 140724432236704 140226454323056 140226442791469 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14209] ppid=14205 vsize=26004064 memory=280948864239352 CPUtime=0 cores=0-7
/proc/14207/task/14209/stat : 14209 (java) S 14205 14205 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145851600 26628161536 9771 33554432000 4194304 4196468 140724432236704 140226402732304 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14210] ppid=14205 vsize=26004064 memory=140474509739648 CPUtime=0 cores=0-7
/proc/14207/task/14210/stat : 14210 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851600 26628161536 9771 33554432000 4194304 4196468 140724432236704 140226401679760 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14211] ppid=14205 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14211/stat : 14211 (java) S 14205 14205 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145851600 26628161536 9771 33554432000 4194304 4196468 140724432236704 140226400627216 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14212] ppid=14205 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14212/stat : 14212 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851600 26628161536 9771 33554432000 4194304 4196468 140724432236704 140226399574672 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14213] ppid=14205 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14213/stat : 14213 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851600 26628194304 9771 33554432000 4194304 4196468 140724432236704 140226398522128 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14214] ppid=14205 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14207/task/14214/stat : 14214 (java) S 14205 14205 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145851600 26628161536 9771 33554432000 4194304 4196468 140724432236704 140226397469584 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14215] ppid=14205 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14215/stat : 14215 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851600 26628161536 9771 33554432000 4194304 4196468 140724432236704 140226396417040 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14216] ppid=14205 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14216/stat : 14216 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851600 26628161536 9771 33554432000 4194304 4196468 140724432236704 140226395364496 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14217] ppid=14205 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14217/stat : 14217 (java) S 14205 14205 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145851601 26628161536 9771 33554432000 4194304 4196468 140724432236704 140225576671216 140226450123394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14218] ppid=14205 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14218/stat : 14218 (java) S 14205 14205 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145851602 26628161536 9771 33554432000 4194304 4196468 140724432236704 140225575617440 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14219] ppid=14205 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14219/stat : 14219 (java) S 14205 14205 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145851602 26628161536 9771 33554432000 4194304 4196468 140724432236704 140225574564848 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14220] ppid=14205 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14220/stat : 14220 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851604 26628194304 9771 33554432000 4194304 4196468 140724432236704 140225573513424 140226450130843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14221] ppid=14205 vsize=26004096 memory=0 CPUtime=0.02 cores=0-7
/proc/14207/task/14221/stat : 14221 (java) S 14205 14205 10918 0 -1 1077944384 732 0 0 0 2 0 0 0 20 0 20 0 145851604 26628194304 9771 33554432000 4194304 4196468 140724432236704 140225572461040 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14222] ppid=14205 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14207/task/14222/stat : 14222 (java) S 14205 14205 10918 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 20 0 145851604 26628161536 9771 33554432000 4194304 4196468 140724432236704 140225571408496 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14223] ppid=14205 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14207/task/14223/stat : 14223 (java) S 14205 14205 10918 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 20 0 145851604 26628161536 9771 33554432000 4194304 4196468 140724432236704 140225570355952 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14224] ppid=14205 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/14207/task/14224/stat : 14224 (java) S 14205 14205 10918 0 -1 1077944384 696 0 0 0 7 0 0 0 20 0 20 0 145851604 26628161536 9771 33554432000 4194304 4196468 140724432236704 140225569303408 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14225] ppid=14205 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14225/stat : 14225 (java) S 14205 14205 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145851605 26628161536 9771 33554432000 4194304 4196468 140724432236704 140225568250080 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14226] ppid=14205 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14207/task/14226/stat : 14226 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851605 26628161536 9771 33554432000 4194304 4196468 140724432236704 140225567197616 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40384 KiB
[startup+0.310413 s]*
/proc/loadavg: 5.66 7.30 7.71 3/200 14226
/proc/meminfo: memFree=27211688/32770624 swapFree=67108860/67108860
[pid=14205] ppid=14202 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14205/stat : 14205 (xcsp3-exec) S 14202 14205 10918 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145851598 9740288 346 33554432000 4194304 5098028 140724075274704 140724075272808 139838229717628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37285888 140724075279460 140724075279671 140724075279671 140724075282411 0
/proc/14205/statm: 2378 346 289 221 0 87 0
[pid=14207] ppid=14205 vsize=26004064 memory=44180 CPUtime=0.5 cores=0-7
/proc/14207/stat : 14207 (java) S 14205 14205 10918 0 -1 1077944320 9215 0 0 0 47 3 0 0 20 0 20 0 145851599 26628161536 11045 33554432000 4194304 4196468 140724432236704 140724432219248 140226450112247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
/proc/14207/statm: 6501016 11045 3104 1 0 6488269 0
[pid=14207/tid=14208] ppid=14205 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14207/task/14208/stat : 14208 (java) R 14205 14205 10918 0 -1 4202560 6109 0 0 0 27 2 0 0 20 0 20 0 145851599 26628161536 11045 33554432000 4194304 4196468 140724432236704 140226454350160 140226450134173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14209] ppid=14205 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14209/stat : 14209 (java) S 14205 14205 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145851600 26628161536 11045 33554432000 4194304 4196468 140724432236704 140226402732304 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14210] ppid=14205 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14210/stat : 14210 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851600 26628161536 11045 33554432000 4194304 4196468 140724432236704 140226401679760 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14211] ppid=14205 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14211/stat : 14211 (java) S 14205 14205 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145851600 26628161536 11045 33554432000 4194304 4196468 140724432236704 140226400627216 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14212] ppid=14205 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14212/stat : 14212 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851600 26628161536 11045 33554432000 4194304 4196468 140724432236704 140226399574672 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14213] ppid=14205 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/14207/task/14213/stat : 14213 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851600 26628161536 11045 33554432000 4194304 4196468 140724432236704 140226398522128 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14214] ppid=14205 vsize=26004064 memory=140474354594735 CPUtime=0 cores=0-7
/proc/14207/task/14214/stat : 14214 (java) S 14205 14205 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145851600 26628161536 11045 33554432000 4194304 4196468 140724432236704 140226397469584 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14215] ppid=14205 vsize=26004064 memory=140474354597040 CPUtime=0 cores=0-7
/proc/14207/task/14215/stat : 14215 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851600 26628161536 11045 33554432000 4194304 4196468 140724432236704 140226396417040 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14216] ppid=14205 vsize=26004064 memory=140474354599344 CPUtime=0 cores=0-7
/proc/14207/task/14216/stat : 14216 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851600 26628161536 11045 33554432000 4194304 4196468 140724432236704 140226395364496 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14217] ppid=14205 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14217/stat : 14217 (java) S 14205 14205 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145851601 26628161536 11045 33554432000 4194304 4196468 140724432236704 140225576671216 140226450123394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14218] ppid=14205 vsize=26004064 memory=280948709205648 CPUtime=0 cores=0-7
/proc/14207/task/14218/stat : 14218 (java) S 14205 14205 10918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145851602 26628161536 11045 33554432000 4194304 4196468 140724432236704 140225575617440 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14219] ppid=14205 vsize=26004064 memory=280948709212560 CPUtime=0 cores=0-7
/proc/14207/task/14219/stat : 14219 (java) S 14205 14205 10918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145851602 26628161536 11045 33554432000 4194304 4196468 140724432236704 140225574564848 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14220] ppid=14205 vsize=26004064 memory=280948709153840 CPUtime=0 cores=0-7
/proc/14207/task/14220/stat : 14220 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851604 26628161536 11045 33554432000 4194304 4196468 140724432236704 140225573513424 140226450130843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14221] ppid=14205 vsize=26004064 memory=280948709226384 CPUtime=0.02 cores=0-7
/proc/14207/task/14221/stat : 14221 (java) S 14205 14205 10918 0 -1 1077944384 738 0 0 0 2 0 0 0 20 0 20 0 145851604 26628161536 11045 33554432000 4194304 4196468 140724432236704 140225572461040 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14222] ppid=14205 vsize=26004064 memory=280948709233296 CPUtime=0.01 cores=0-7
/proc/14207/task/14222/stat : 14222 (java) S 14205 14205 10918 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 20 0 145851604 26628161536 11045 33554432000 4194304 4196468 140724432236704 140225571408496 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14223] ppid=14205 vsize=26004064 memory=280948709230992 CPUtime=0.02 cores=0-7
/proc/14207/task/14223/stat : 14223 (java) S 14205 14205 10918 0 -1 1077944384 158 0 0 0 2 0 0 0 20 0 20 0 145851604 26628161536 11045 33554432000 4194304 4196468 140724432236704 140225570355952 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14224] ppid=14205 vsize=26004064 memory=280948709247152 CPUtime=0.12 cores=0-7
/proc/14207/task/14224/stat : 14224 (java) R 14205 14205 10918 0 -1 4202560 815 0 0 0 12 0 0 0 20 0 20 0 145851604 26628161536 11045 33554432000 4194304 4196468 140724432236704 140225569298672 140226428981513 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14225] ppid=14205 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14225/stat : 14225 (java) S 14205 14205 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145851605 26628161536 11045 33554432000 4194304 4196468 140724432236704 140225568250080 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14226] ppid=14205 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14207/task/14226/stat : 14226 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851605 26628161536 11045 33554432000 4194304 4196468 140724432236704 140225567197616 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45564 KiB
[startup+0.701012 s]
/proc/loadavg: 5.66 7.30 7.71 5/200 14226
/proc/meminfo: memFree=27164952/32770624 swapFree=67108860/67108860
[pid=14205] ppid=14202 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14205/stat : 14205 (xcsp3-exec) S 14202 14205 10918 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145851598 9740288 346 33554432000 4194304 5098028 140724075274704 140724075272808 139838229717628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37285888 140724075279460 140724075279671 140724075279671 140724075282411 0
/proc/14205/statm: 2378 346 289 221 0 87 0
[pid=14207] ppid=14205 vsize=26004140 memory=111820 CPUtime=1.9 cores=0-7
/proc/14207/stat : 14207 (java) S 14205 14205 10918 0 -1 1077944320 13392 0 0 0 185 5 0 0 20 0 20 0 145851599 26628239360 27955 33554432000 4194304 4196468 140724432236704 140724432219248 140226450112247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
/proc/14207/statm: 6501035 27955 3198 1 0 6488269 0
[pid=14207/tid=14208] ppid=14205 vsize=26004140 memory=280948709542016 CPUtime=0.67 cores=0-7
/proc/14207/task/14208/stat : 14208 (java) R 14205 14205 10918 0 -1 4202560 6463 0 0 0 64 3 0 0 20 0 20 0 145851599 26628239360 27955 33554432000 4194304 4196468 140724432236704 140226454350320 140226072744611 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14209] ppid=14205 vsize=26004140 memory=1948 CPUtime=0 cores=0-7
/proc/14207/task/14209/stat : 14209 (java) S 14205 14205 10918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145851600 26628239360 27955 33554432000 4194304 4196468 140724432236704 140226402732304 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14210] ppid=14205 vsize=26004140 memory=800 CPUtime=0 cores=0-7
/proc/14207/task/14210/stat : 14210 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851600 26628239360 27955 33554432000 4194304 4196468 140724432236704 140226401679760 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14211] ppid=14205 vsize=26004140 memory=12132 CPUtime=0 cores=0-7
/proc/14207/task/14211/stat : 14211 (java) S 14205 14205 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145851600 26628239360 27955 33554432000 4194304 4196468 140724432236704 140226400627216 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
################
# More data... #
################
/proc/14207/task/14225/stat : 14225 (java) S 14205 14205 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145851605 26630336512 407919 33554432000 4194304 4196468 140724432236704 140225568250080 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14226] ppid=14205 vsize=26006188 memory=1236 CPUtime=0 cores=0-7
/proc/14207/task/14226/stat : 14226 (java) S 14205 14205 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145851605 26630336512 407919 33554432000 4194304 4196468 140724432236704 140225567197616 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
Current children cumulated CPU time: 18.86 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 1633060 KiB
[startup+8.001 s]*
/proc/loadavg: 5.72 7.26 7.69 2/200 14226
/proc/meminfo: memFree=25512052/32770624 swapFree=67108860/67108860
[pid=14205] ppid=14202 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14205/stat : 14205 (xcsp3-exec) S 14202 14205 10918 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145851598 9740288 346 33554432000 4194304 5098028 140724075274704 140724075272808 139838229717628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37285888 140724075279460 140724075279671 140724075279671 140724075282411 0
/proc/14205/statm: 2378 346 289 221 0 87 0
[pid=14207] ppid=14205 vsize=26006188 memory=1744060 CPUtime=21.16 cores=0-7
/proc/14207/stat : 14207 (java) S 14205 14205 10918 0 -1 1077944320 29346 0 0 0 1927 189 0 0 20 0 20 0 145851599 26630336512 436015 33554432000 4194304 4196468 140724432236704 140724432219248 140226450112247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
/proc/14207/statm: 6501547 436015 3277 1 0 6488781 0
[pid=14207/tid=14208] ppid=14205 vsize=26006188 memory=6791534058613427641 CPUtime=6.8 cores=0-7
/proc/14207/task/14208/stat : 14208 (java) R 14205 14205 10918 0 -1 4202560 7883 0 0 0 663 17 0 0 20 0 20 0 145851599 26630336512 436015 33554432000 4194304 4196468 140724432236704 140226454343872 140226073665690 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14209] ppid=14205 vsize=26006188 memory=-7003737579269690708 CPUtime=0.93 cores=0-7
/proc/14207/task/14209/stat : 14209 (java) S 14205 14205 10918 0 -1 1077944384 510 0 0 0 73 20 0 0 20 0 20 0 145851600 26630336512 436015 33554432000 4194304 4196468 140724432236704 140226402732304 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14210] ppid=14205 vsize=26006188 memory=7073079114856210645 CPUtime=0.91 cores=0-7
/proc/14207/task/14210/stat : 14210 (java) S 14205 14205 10918 0 -1 1077944384 704 0 0 0 70 21 0 0 20 0 20 0 145851600 26630336512 436015 33554432000 4194304 4196468 140724432236704 140226401679760 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14211] ppid=14205 vsize=26006188 memory=7073079097726673141 CPUtime=0.9 cores=0-7
/proc/14207/task/14211/stat : 14211 (java) S 14205 14205 10918 0 -1 1077944384 547 0 0 0 70 20 0 0 20 0 20 0 145851600 26630336512 436015 33554432000 4194304 4196468 140724432236704 140226400627216 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14212] ppid=14205 vsize=26006188 memory=6791534058613427641 CPUtime=0.86 cores=0-7
/proc/14207/task/14212/stat : 14212 (java) S 14205 14205 10918 0 -1 1077944384 518 0 0 0 68 18 0 0 20 0 20 0 145851600 26630336512 436015 33554432000 4194304 4196468 140724432236704 140226399574672 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14213] ppid=14205 vsize=26006188 memory=8081744939936133425 CPUtime=0.89 cores=0-7
/proc/14207/task/14213/stat : 14213 (java) S 14205 14205 10918 0 -1 1077944384 505 0 0 0 68 21 0 0 20 0 20 0 145851600 26630336512 436015 33554432000 4194304 4196468 140724432236704 140226398522128 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14214] ppid=14205 vsize=26006188 memory=8298058183418979637 CPUtime=0.89 cores=0-7
/proc/14207/task/14214/stat : 14214 (java) S 14205 14205 10918 0 -1 1077944384 497 0 0 0 70 19 0 0 20 0 20 0 145851600 26630336512 436015 33554432000 4194304 4196468 140724432236704 140226397469584 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14215] ppid=14205 vsize=26006188 memory=8226000593676019029 CPUtime=0.94 cores=0-7
/proc/14207/task/14215/stat : 14215 (java) S 14205 14205 10918 0 -1 1077944384 554 0 0 0 73 21 0 0 20 0 20 0 145851600 26630336512 436015 33554432000 4194304 4196468 140724432236704 140226396417040 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14216] ppid=14205 vsize=26006188 memory=8658346170788488565 CPUtime=0.92 cores=0-7
/proc/14207/task/14216/stat : 14216 (java) S 14205 14205 10918 0 -1 1077944384 493 0 0 0 71 21 0 0 20 0 20 0 145851600 26630336512 436015 33554432000 4194304 4196468 140724432236704 140226395364496 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14217] ppid=14205 vsize=26006188 memory=4294969536 CPUtime=0.06 cores=0-7
/proc/14207/task/14217/stat : 14217 (java) S 14205 14205 10918 0 -1 1077944384 1425 0 0 0 6 0 0 0 20 0 20 0 145851601 26630336512 436015 33554432000 4194304 4196468 140724432236704 140225576671216 140226450123394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14218] ppid=14205 vsize=26006188 memory=280948709700432 CPUtime=0 cores=0-7
/proc/14207/task/14218/stat : 14218 (java) S 14205 14205 10918 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 145851602 26630336512 436015 33554432000 4194304 4196468 140724432236704 140225575617504 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14219] ppid=14205 vsize=26006188 memory=3472468770582066432 CPUtime=0 cores=0-7
/proc/14207/task/14219/stat : 14219 (java) S 14205 14205 10918 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 145851602 26630336512 436015 33554432000 4194304 4196468 140724432236704 140225574564864 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14220] ppid=14205 vsize=26006188 memory=280948709452064 CPUtime=0 cores=0-7
/proc/14207/task/14220/stat : 14220 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851604 26630336512 436015 33554432000 4194304 4196468 140724432236704 140225573513424 140226450130843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14221] ppid=14205 vsize=26006188 memory=140474354650690 CPUtime=2.06 cores=0-7
/proc/14207/task/14221/stat : 14221 (java) S 14205 14205 10918 0 -1 1077944384 4180 0 0 0 205 1 0 0 20 0 20 0 145851604 26630336512 436015 33554432000 4194304 4196468 140724432236704 140225572461040 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14222] ppid=14205 vsize=26006188 memory=140478649864031 CPUtime=2.07 cores=0-7
/proc/14207/task/14222/stat : 14222 (java) S 14205 14205 10918 0 -1 1077944384 3535 0 0 0 207 0 0 0 20 0 20 0 145851604 26630336512 436015 33554432000 4194304 4196468 140724432236704 140225571408496 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14223] ppid=14205 vsize=26006188 memory=140474354896768 CPUtime=2.01 cores=0-7
/proc/14207/task/14223/stat : 14223 (java) S 14205 14205 10918 0 -1 1077944384 3835 0 0 0 200 1 0 0 20 0 20 0 145851604 26630336512 436015 33554432000 4194304 4196468 140724432236704 140225570355952 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14224] ppid=14205 vsize=26006188 memory=13412 CPUtime=0.76 cores=0-7
/proc/14207/task/14224/stat : 14224 (java) S 14205 14205 10918 0 -1 1077944384 2858 0 0 0 75 1 0 0 20 0 20 0 145851604 26630336512 436015 33554432000 4194304 4196468 140724432236704 140225569303408 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14225] ppid=14205 vsize=26006188 memory=-5874771483550381248 CPUtime=0 cores=0-7
/proc/14207/task/14225/stat : 14225 (java) S 14205 14205 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145851605 26630336512 436015 33554432000 4194304 4196468 140724432236704 140225568250080 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14226] ppid=14205 vsize=26006188 memory=7595147432592370279 CPUtime=0 cores=0-7
/proc/14207/task/14226/stat : 14226 (java) S 14205 14205 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145851605 26630336512 436015 33554432000 4194304 4196468 140724432236704 140225567197616 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
Current children cumulated CPU time: 21.16 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 1745444 KiB
[startup+8.40099 s]
/proc/loadavg: 5.72 7.26 7.69 2/200 14226
/proc/meminfo: memFree=25512052/32770624 swapFree=67108860/67108860
[pid=14205] ppid=14202 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14205/stat : 14205 (xcsp3-exec) S 14202 14205 10918 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145851598 9740288 346 33554432000 4194304 5098028 140724075274704 140724075272808 139838229717628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37285888 140724075279460 140724075279671 140724075279671 140724075282411 0
/proc/14205/statm: 2378 346 289 221 0 87 0
[pid=14207] ppid=14205 vsize=26006188 memory=1744280 CPUtime=21.61 cores=0-7
/proc/14207/stat : 14207 (java) S 14205 14205 10918 0 -1 1077944320 29989 0 0 0 1972 189 0 0 20 0 20 0 145851599 26630336512 436070 33554432000 4194304 4196468 140724432236704 140724432219248 140226450112247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
/proc/14207/statm: 6501547 436070 3277 1 0 6488781 0
[pid=14207/tid=14208] ppid=14205 vsize=26006188 memory=16 CPUtime=7.19 cores=0-7
/proc/14207/task/14208/stat : 14208 (java) R 14205 14205 10918 0 -1 4202560 8079 0 0 0 702 17 0 0 20 0 20 0 145851599 26630336512 436070 33554432000 4194304 4196468 140724432236704 140226454348448 140226068599692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14209] ppid=14205 vsize=26006188 memory=0 CPUtime=0.93 cores=0-7
/proc/14207/task/14209/stat : 14209 (java) S 14205 14205 10918 0 -1 1077944384 510 0 0 0 73 20 0 0 20 0 20 0 145851600 26630336512 436070 33554432000 4194304 4196468 140724432236704 140226402732304 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14210] ppid=14205 vsize=26006188 memory=38 CPUtime=0.91 cores=0-7
/proc/14207/task/14210/stat : 14210 (java) S 14205 14205 10918 0 -1 1077944384 704 0 0 0 70 21 0 0 20 0 20 0 145851600 26630336512 436070 33554432000 4194304 4196468 140724432236704 140226401679760 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14211] ppid=14205 vsize=26006188 memory=2 CPUtime=0.9 cores=0-7
/proc/14207/task/14211/stat : 14211 (java) S 14205 14205 10918 0 -1 1077944384 547 0 0 0 70 20 0 0 20 0 20 0 145851600 26630336512 436070 33554432000 4194304 4196468 140724432236704 140226400627216 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14212] ppid=14205 vsize=26006188 memory=0 CPUtime=0.86 cores=0-7
/proc/14207/task/14212/stat : 14212 (java) S 14205 14205 10918 0 -1 1077944384 518 0 0 0 68 18 0 0 20 0 20 0 145851600 26630336512 436070 33554432000 4194304 4196468 140724432236704 140226399574672 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14213] ppid=14205 vsize=26006188 memory=33 CPUtime=0.89 cores=0-7
/proc/14207/task/14213/stat : 14213 (java) S 14205 14205 10918 0 -1 1077944384 505 0 0 0 68 21 0 0 20 0 20 0 145851600 26630336512 436070 33554432000 4194304 4196468 140724432236704 140226398522128 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14214] ppid=14205 vsize=26006188 memory=0 CPUtime=0.89 cores=0-7
/proc/14207/task/14214/stat : 14214 (java) S 14205 14205 10918 0 -1 1077944384 497 0 0 0 70 19 0 0 20 0 20 0 145851600 26630336512 436070 33554432000 4194304 4196468 140724432236704 140226397469584 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14215] ppid=14205 vsize=26006188 memory=0 CPUtime=0.94 cores=0-7
/proc/14207/task/14215/stat : 14215 (java) S 14205 14205 10918 0 -1 1077944384 554 0 0 0 73 21 0 0 20 0 20 0 145851600 26630336512 436070 33554432000 4194304 4196468 140724432236704 140226396417040 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14216] ppid=14205 vsize=26006188 memory=0 CPUtime=0.92 cores=0-7
/proc/14207/task/14216/stat : 14216 (java) S 14205 14205 10918 0 -1 1077944384 493 0 0 0 71 21 0 0 20 0 20 0 145851600 26630336512 436070 33554432000 4194304 4196468 140724432236704 140226395364496 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14217] ppid=14205 vsize=26006188 memory=0 CPUtime=0.06 cores=0-7
/proc/14207/task/14217/stat : 14217 (java) S 14205 14205 10918 0 -1 1077944384 1437 0 0 0 6 0 0 0 20 0 20 0 145851601 26630336512 436070 33554432000 4194304 4196468 140724432236704 140225576671216 140226450123394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14218] ppid=14205 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14218/stat : 14218 (java) S 14205 14205 10918 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 145851602 26630336512 436070 33554432000 4194304 4196468 140724432236704 140225575617504 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14219] ppid=14205 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14219/stat : 14219 (java) S 14205 14205 10918 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 145851602 26630336512 436070 33554432000 4194304 4196468 140724432236704 140225574564864 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14220] ppid=14205 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14220/stat : 14220 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145851604 26630336512 436070 33554432000 4194304 4196468 140724432236704 140225573513424 140226450130843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14221] ppid=14205 vsize=26006188 memory=0 CPUtime=2.08 cores=0-7
/proc/14207/task/14221/stat : 14221 (java) S 14205 14205 10918 0 -1 1077944384 4282 0 0 0 207 1 0 0 20 0 20 0 145851604 26630336512 436070 33554432000 4194304 4196468 140724432236704 140225572461040 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14222] ppid=14205 vsize=26006188 memory=0 CPUtime=2.09 cores=0-7
/proc/14207/task/14222/stat : 14222 (java) R 14205 14205 10918 0 -1 4202560 3723 0 0 0 209 0 0 0 20 0 20 0 145851604 26630336512 436070 33554432000 4194304 4196468 140724432236704 140225571408496 140226429282481 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14223] ppid=14205 vsize=26006188 memory=0 CPUtime=2.03 cores=0-7
/proc/14207/task/14223/stat : 14223 (java) R 14205 14205 10918 0 -1 4202560 3916 0 0 0 202 1 0 0 20 0 20 0 145851604 26630336512 436070 33554432000 4194304 4196468 140724432236704 140225570345664 140226431637084 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14224] ppid=14205 vsize=26006188 memory=0 CPUtime=0.77 cores=0-7
/proc/14207/task/14224/stat : 14224 (java) S 14205 14205 10918 0 -1 1077944384 2922 0 0 0 76 1 0 0 20 0 20 0 145851604 26630336512 436070 33554432000 4194304 4196468 140724432236704 140225569303408 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14225] ppid=14205 vsize=26006188 memory=-3473730578892139372 CPUtime=0 cores=0-7
/proc/14207/task/14225/stat : 14225 (java) S 14205 14205 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145851605 26630336512 436070 33554432000 4194304 4196468 140724432236704 140225568250080 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14226] ppid=14205 vsize=26006188 memory=4571041113325276534 CPUtime=0 cores=0-7
/proc/14207/task/14226/stat : 14226 (java) S 14205 14205 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145851605 26630336512 436070 33554432000 4194304 4196468 140724432236704 140225567197616 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
Current children cumulated CPU time: 21.61 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 1745664 KiB
[startup+8.81131 s]
/proc/loadavg: 5.72 7.26 7.69 2/200 14226
/proc/meminfo: memFree=25512052/32770624 swapFree=67108860/67108860
[pid=14205] ppid=14202 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14205/stat : 14205 (xcsp3-exec) S 14202 14205 10918 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145851598 9740288 346 33554432000 4194304 5098028 140724075274704 140724075272808 139838229717628 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37285888 140724075279460 140724075279671 140724075279671 140724075282411 0
/proc/14205/statm: 2378 346 289 221 0 87 0
[pid=14207] ppid=14205 vsize=26538700 memory=1744924 CPUtime=24.38 cores=0-7
/proc/14207/stat : 14207 (java) S 14205 14205 10918 0 -1 1077944320 31583 0 0 0 2246 192 0 0 20 0 28 0 145851599 27175628800 436231 33554432000 4194304 4196468 140724432236704 140724432219248 140226450112247 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
/proc/14207/statm: 6634675 436231 3279 1 0 6621909 0
[pid=14207/tid=14208] ppid=14205 vsize=26538700 memory=7954313943653573993 CPUtime=7.23 cores=0-7
/proc/14207/task/14208/stat : 14208 (java) S 14205 14205 10918 0 -1 1077944384 8183 0 0 0 705 18 0 0 20 0 28 0 145851599 27175628800 436231 33554432000 4194304 4196468 140724432236704 140226454353024 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14209] ppid=14205 vsize=26538700 memory=5860983481351958629 CPUtime=0.93 cores=0-7
/proc/14207/task/14209/stat : 14209 (java) S 14205 14205 10918 0 -1 1077944384 510 0 0 0 73 20 0 0 20 0 28 0 145851600 27175628800 436231 33554432000 4194304 4196468 140724432236704 140226402732304 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14210] ppid=14205 vsize=26538700 memory=5860983481351958629 CPUtime=0.91 cores=0-7
/proc/14207/task/14210/stat : 14210 (java) S 14205 14205 10918 0 -1 1077944384 704 0 0 0 70 21 0 0 20 0 28 0 145851600 27175628800 436231 33554432000 4194304 4196468 140724432236704 140226401679760 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14211] ppid=14205 vsize=26538700 memory=5860983481351958629 CPUtime=0.9 cores=0-7
/proc/14207/task/14211/stat : 14211 (java) S 14205 14205 10918 0 -1 1077944384 547 0 0 0 70 20 0 0 20 0 28 0 145851600 27175628800 436231 33554432000 4194304 4196468 140724432236704 140226400627216 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14212] ppid=14205 vsize=26538700 memory=0 CPUtime=0.86 cores=0-7
/proc/14207/task/14212/stat : 14212 (java) S 14205 14205 10918 0 -1 1077944384 518 0 0 0 68 18 0 0 20 0 28 0 145851600 27175628800 436231 33554432000 4194304 4196468 140724432236704 140226399574672 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14213] ppid=14205 vsize=26538700 memory=-6520471753822164382 CPUtime=0.89 cores=0-7
/proc/14207/task/14213/stat : 14213 (java) S 14205 14205 10918 0 -1 1077944384 505 0 0 0 68 21 0 0 20 0 28 0 145851600 27175628800 436231 33554432000 4194304 4196468 140724432236704 140226398522128 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14214] ppid=14205 vsize=26538700 memory=8514726395714825349 CPUtime=0.89 cores=0-7
/proc/14207/task/14214/stat : 14214 (java) S 14205 14205 10918 0 -1 1077944384 497 0 0 0 70 19 0 0 20 0 28 0 145851600 27175628800 436231 33554432000 4194304 4196468 140724432236704 140226397469584 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14215] ppid=14205 vsize=26538700 memory=4713745541279610410 CPUtime=0.94 cores=0-7
/proc/14207/task/14215/stat : 14215 (java) S 14205 14205 10918 0 -1 1077944384 554 0 0 0 73 21 0 0 20 0 28 0 145851600 27175628800 436231 33554432000 4194304 4196468 140724432236704 140226396417040 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14216] ppid=14205 vsize=26538700 memory=-8253362762722141311 CPUtime=0.92 cores=0-7
/proc/14207/task/14216/stat : 14216 (java) S 14205 14205 10918 0 -1 1077944384 493 0 0 0 71 21 0 0 20 0 28 0 145851600 27175628800 436231 33554432000 4194304 4196468 140724432236704 140226395364496 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14217] ppid=14205 vsize=26538700 memory=-8341965534556230502 CPUtime=0.06 cores=0-7
/proc/14207/task/14217/stat : 14217 (java) S 14205 14205 10918 0 -1 1077944384 1441 0 0 0 6 0 0 0 20 0 28 0 145851601 27175628800 436231 33554432000 4194304 4196468 140724432236704 140225576671216 140226450123394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14218] ppid=14205 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14218/stat : 14218 (java) S 14205 14205 10918 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 145851602 27175628800 436231 33554432000 4194304 4196468 140724432236704 140225575617504 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14219] ppid=14205 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14219/stat : 14219 (java) S 14205 14205 10918 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 145851602 27175628800 436231 33554432000 4194304 4196468 140724432236704 140225574564864 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14220] ppid=14205 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/14207/task/14220/stat : 14220 (java) S 14205 14205 10918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145851604 27175628800 436231 33554432000 4194304 4196468 140724432236704 140225573513424 140226450130843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14221] ppid=14205 vsize=26538700 memory=0 CPUtime=2.27 cores=0-7
/proc/14207/task/14221/stat : 14221 (java) R 14205 14205 10918 0 -1 4202560 4410 0 0 0 226 1 0 0 20 0 28 0 145851604 27175628800 436231 33554432000 4194304 4196468 140724432236704 140225572451872 140226429329618 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14222] ppid=14205 vsize=26538700 memory=3292 CPUtime=2.26 cores=0-7
/proc/14207/task/14222/stat : 14222 (java) R 14205 14205 10918 0 -1 4202560 4329 0 0 0 225 1 0 0 20 0 28 0 145851604 27175628800 436231 33554432000 4194304 4196468 140724432236704 140225571399824 140226433641018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14223] ppid=14205 vsize=26538700 memory=26014 CPUtime=2.23 cores=0-7
/proc/14207/task/14223/stat : 14223 (java) R 14205 14205 10918 0 -1 4202560 3974 0 0 0 222 1 0 0 20 0 28 0 145851604 27175628800 436231 33554432000 4194304 4196468 140724432236704 140225570343112 140226450133594 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14224] ppid=14205 vsize=26538700 memory=140474500704256 CPUtime=0.84 cores=0-7
/proc/14207/task/14224/stat : 14224 (java) R 14205 14205 10918 0 -1 1077944384 3286 0 0 0 83 1 0 0 20 0 28 0 145851604 27175628800 436231 33554432000 4194304 4196468 140724432236704 140225569303408 140226450123394 0 4 0 16800975 0 0 0 -1 0 0 0 18 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14225] ppid=14205 vsize=26538700 memory=280948708999408 CPUtime=0 cores=0-7
/proc/14207/task/14225/stat : 14225 (java) S 14205 14205 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145851605 27175628800 436231 33554432000 4194304 4196468 140724432236704 140225568250080 140226450122453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
[pid=14207/tid=14226] ppid=14205 vsize=26538700 memory=140474500704321 CPUtime=0 cores=0-7
/proc/14207/task/14226/stat : 14226 (java) S 14205 14205 10918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145851605 27175628800 436231 33554432000 4194304 4196468 140724432236704 140225567197616 140226450123394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 13766656 140724432237714 140724432237891 140724432237891 140724432240591 0
Current children cumulated CPU time: 24.38 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1746308 KiB
Child status: 0
Real time (s): 8.84361
CPU time (s): 24.4704
CPU user time (s): 22.5264
CPU system time (s): 1.94407
CPU usage (%): 276.702
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1746308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.5264
system time used= 1.94407
maximum resident set size= 1746272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32172
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4333
involuntary context switches= 168
# summary of solver processes directly reported to runsolver:
# pid: 14205
# total CPU time (s): 24.4704
# total CPU user time (s): 22.5264
# total CPU system time (s): 1.94407
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.080978 second user time and 0.136963 second system time
The end
Begin job on node113 at 2017-08-19 09:13:01 IDJOB=4281058 IDBENCH=123430 IDSOLVER=2675 FILE ID=node113/4281058-1503127641 RUNJOBID= node113-1503118348-10945 PBS_JOBID= 20630765 Free space on /tmp= 61688 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Sat/Sat-xcsp2-bmc/bmc-ibm-7-16_X2.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281058-1503127641/watcher-4281058-1503127641 -o /tmp/evaluation-result-4281058-1503127641/solver-4281058-1503127641 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503118348-10945 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1308806440 HOME/instance-4281058-1503127641.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8fc892d8cd45aeefd26f51f7c42b85f4 RANDOM SEED=1308806440 node113.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.89 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.89 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.89 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.89 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: 27243824 kB MemAvailable: 31969120 kB Buffers: 246528 kB Cached: 4769868 kB SwapCached: 0 kB Active: 1245012 kB Inactive: 3825684 kB Active(anon): 4684 kB Inactive(anon): 85840 kB Active(file): 1240328 kB Inactive(file): 3739844 kB Unevictable: 7568 kB Mlocked: 7568 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 12024 kB Writeback: 4 kB AnonPages: 61332 kB Mapped: 50412 kB Shmem: 33416 kB Slab: 149280 kB SReclaimable: 121920 kB SUnreclaim: 27360 kB KernelStack: 3232 kB PageTables: 4712 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333260 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61680 MiB End job on node113 at 2017-08-19 09:13:10