| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-09) | UNSAT | 25.0527 | 8.8825703 |
| Name | Sat/Sat-xcsp2-bmc/ bmc-ibm-7-02_X2.xml |
| MD5SUM | 69e4f2d1840ee6c3ffd4a60a6361deb1 |
| 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 | 7.70718 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 8710 |
| Number of constraints | 48484 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"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-4271247-1502697915.xml" -tl '20160s' -p 8 -x 0 0.12/0.15 c [HOME/instance-4271247-1502697915.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.34/0.27 c parse instance... 21.82/8.39 c solve instance... 24.69/8.85 java.util.concurrent.ExecutionException: java.lang.NullPointerException 24.69/8.85 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 24.69/8.85 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:201) 24.69/8.85 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:168) 24.69/8.85 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:134) 24.69/8.85 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:25) 24.69/8.85 Caused by: java.lang.NullPointerException 24.69/8.85 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 24.69/8.85 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 24.69/8.85 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 24.69/8.85 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 24.69/8.85 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 24.69/8.85 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 24.69/8.85 ... 4 more 24.69/8.85 Caused by: java.lang.NullPointerException 24.69/8.85 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 24.69/8.85 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 24.69/8.85 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 24.69/8.85 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 24.69/8.85 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 24.69/8.85 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 24.69/8.85 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 24.69/8.85 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 24.69/8.85 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 24.69/8.85 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 24.69/8.85 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 24.69/8.85 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 24.69/8.85 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$48(ParallelPortfolio.java:193) 24.69/8.85 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 24.69/8.85 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 24.69/8.85 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 24.69/8.85 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 24.69/8.85 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 24.69/8.85 Caused by: java.lang.NullPointerException 24.69/8.85 at org.chocosolver.solver.search.strategy.strategy.ConflictOrderingSearch.stampIt(ConflictOrderingSearch.java:124) 24.69/8.85 at org.chocosolver.solver.search.strategy.strategy.ConflictOrderingSearch.onContradiction(ConflictOrderingSearch.java:120) 24.69/8.85 at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.onContradiction(SearchMonitorList.java:133) 24.69/8.85 at org.chocosolver.solver.Solver.initialize(Solver.java:374) 24.69/8.85 at org.chocosolver.solver.Solver.solve(Solver.java:260) 24.69/8.85 at org.chocosolver.solver.ParallelPortfolio.lambda$null$47(ParallelPortfolio.java:195) 24.69/8.85 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 24.69/8.85 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 24.69/8.85 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 24.69/8.85 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 24.69/8.85 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 24.69/8.85 ... 4 more 24.69/8.85 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 (15306 MiB free)
memory of node 1: 16384 MiB (15423 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271247-1502697915/watcher-4271247-1502697915 -o /tmp/evaluation-result-4271247-1502697915/solver-4271247-1502697915 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502689477-15459 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 49936241 HOME/instance-4271247-1502697915.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=17187, runsolver pid=17184
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 4.58 7.31 7.97 2/200 17208
/proc/meminfo: memFree=31451652/32770624 swapFree=67108860/67108860
[pid=17187] ppid=17184 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17187/stat : 17187 (xcsp3-exec) S 17184 17187 15432 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102879845 9740288 345 33554432000 4194304 5098028 140727522503472 140727522501576 139697825821308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29556736 140727522509926 140727522510135 140727522510135 140727522512875 0
/proc/17187/statm: 2378 345 289 221 0 87 0
[pid=17189] ppid=17187 vsize=25999808 memory=26532 CPUtime=0.12 cores=0-7
/proc/17189/stat : 17189 (java) S 17187 17187 15432 0 -1 1077944320 5567 0 0 0 11 1 0 0 20 0 20 0 102879845 26623803392 6633 33554432000 4194304 4196468 140734602346528 140734602329072 139741901479671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
/proc/17189/statm: 6499952 6633 2847 1 0 6488269 0
[pid=17189/tid=17190] ppid=17187 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/17189/task/17190/stat : 17190 (java) R 17187 17187 15432 0 -1 4202560 3573 0 0 0 8 0 0 0 20 0 20 0 102879845 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741905706016 139741881204716 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17191] ppid=17187 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17189/task/17191/stat : 17191 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879846 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741862439440 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17192] ppid=17187 vsize=25999808 memory=140473458505344 CPUtime=0 cores=0-7
/proc/17189/task/17192/stat : 17192 (java) S 17187 17187 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102879846 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741459036816 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17193] ppid=17187 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17193/stat : 17193 (java) S 17187 17187 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102879846 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741457983760 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17194] ppid=17187 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17194/stat : 17194 (java) S 17187 17187 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102879846 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741456931216 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17195] ppid=17187 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17195/stat : 17195 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879846 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741455879184 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17196] ppid=17187 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17189/task/17196/stat : 17196 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879846 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741454826640 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17197] ppid=17187 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17197/stat : 17197 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879846 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741453773584 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17198] ppid=17187 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17198/stat : 17198 (java) S 17187 17187 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102879846 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741452721040 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17199] ppid=17187 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17199/stat : 17199 (java) S 17187 17187 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102879848 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741028944112 139741901490818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17200] ppid=17187 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17200/stat : 17200 (java) S 17187 17187 15432 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102879848 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741027890336 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17201] ppid=17187 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17201/stat : 17201 (java) S 17187 17187 15432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102879848 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741026837232 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17202] ppid=17187 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17202/stat : 17202 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879851 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741025785808 139741901498267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17203] ppid=17187 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17203/stat : 17203 (java) S 17187 17187 15432 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 102879851 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741024733936 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17204] ppid=17187 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17204/stat : 17204 (java) S 17187 17187 15432 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 102879851 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741023681392 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17205] ppid=17187 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17205/stat : 17205 (java) S 17187 17187 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102879851 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741022628336 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17206] ppid=17187 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/17189/task/17206/stat : 17206 (java) R 17187 17187 15432 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 20 0 102879851 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741021575792 139741901491606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17207] ppid=17187 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17207/stat : 17207 (java) S 17187 17187 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102879851 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741020522976 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17208] ppid=17187 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/17189/task/17208/stat : 17208 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879851 26623803392 6633 33554432000 4194304 4196468 140734602346528 139741019470512 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27912 KiB
[startup+0.210432 s]*
/proc/loadavg: 4.58 7.31 7.97 2/200 17208
/proc/meminfo: memFree=31440612/32770624 swapFree=67108860/67108860
[pid=17187] ppid=17184 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17187/stat : 17187 (xcsp3-exec) S 17184 17187 15432 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102879845 9740288 345 33554432000 4194304 5098028 140727522503472 140727522501576 139697825821308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29556736 140727522509926 140727522510135 140727522510135 140727522512875 0
/proc/17187/statm: 2378 345 289 221 0 87 0
[pid=17189] ppid=17187 vsize=26004064 memory=39052 CPUtime=0.34 cores=0-7
/proc/17189/stat : 17189 (java) S 17187 17187 15432 0 -1 1077944320 8345 0 0 0 32 2 0 0 20 0 20 0 102879845 26628161536 9763 33554432000 4194304 4196468 140734602346528 140734602329072 139741901479671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
/proc/17189/statm: 6501016 9763 3033 1 0 6488269 0
[pid=17189/tid=17190] ppid=17187 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/17189/task/17190/stat : 17190 (java) R 17187 17187 15432 0 -1 4202560 5444 0 0 0 18 1 0 0 20 0 20 0 102879845 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741905694752 139741901501597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17191] ppid=17187 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/17189/task/17191/stat : 17191 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879846 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741862439440 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17192] ppid=17187 vsize=26004064 memory=3904814355402471072 CPUtime=0 cores=0-7
/proc/17189/task/17192/stat : 17192 (java) S 17187 17187 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102879846 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741459036816 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17193] ppid=17187 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17189/task/17193/stat : 17193 (java) S 17187 17187 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102879846 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741457983760 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17194] ppid=17187 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17194/stat : 17194 (java) S 17187 17187 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102879846 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741456931216 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17195] ppid=17187 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17195/stat : 17195 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879846 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741455879184 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17196] ppid=17187 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17189/task/17196/stat : 17196 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879846 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741454826640 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17197] ppid=17187 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17197/stat : 17197 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879846 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741453773584 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17198] ppid=17187 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17198/stat : 17198 (java) S 17187 17187 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102879846 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741452721040 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17199] ppid=17187 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17199/stat : 17199 (java) S 17187 17187 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102879848 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741028944112 139741901490818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17200] ppid=17187 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17200/stat : 17200 (java) S 17187 17187 15432 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102879848 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741027890336 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17201] ppid=17187 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17201/stat : 17201 (java) S 17187 17187 15432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102879848 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741026837232 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17202] ppid=17187 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17202/stat : 17202 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879851 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741025785808 139741901498267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17203] ppid=17187 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/17189/task/17203/stat : 17203 (java) S 17187 17187 15432 0 -1 1077944384 445 0 0 0 1 0 0 0 20 0 20 0 102879851 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741024733936 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17204] ppid=17187 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/17189/task/17204/stat : 17204 (java) R 17187 17187 15432 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 20 0 102879851 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741023681392 139741901490818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17205] ppid=17187 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/17189/task/17205/stat : 17205 (java) S 17187 17187 15432 0 -1 1077944384 238 0 0 0 2 0 0 0 20 0 20 0 102879851 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741022628336 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17206] ppid=17187 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/17189/task/17206/stat : 17206 (java) R 17187 17187 15432 0 -1 4202560 763 0 0 0 8 0 0 0 20 0 20 0 102879851 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741021575792 139741880084925 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17207] ppid=17187 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17207/stat : 17207 (java) S 17187 17187 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102879851 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741020522976 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17208] ppid=17187 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17189/task/17208/stat : 17208 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879851 26628161536 9763 33554432000 4194304 4196468 140734602346528 139741019470512 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40432 KiB
[startup+0.310528 s]*
/proc/loadavg: 4.58 7.31 7.97 3/200 17208
/proc/meminfo: memFree=31436724/32770624 swapFree=67108860/67108860
[pid=17187] ppid=17184 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17187/stat : 17187 (xcsp3-exec) S 17184 17187 15432 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102879845 9740288 345 33554432000 4194304 5098028 140727522503472 140727522501576 139697825821308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29556736 140727522509926 140727522510135 140727522510135 140727522512875 0
/proc/17187/statm: 2378 345 289 221 0 87 0
[pid=17189] ppid=17187 vsize=26004064 memory=44228 CPUtime=0.51 cores=0-7
/proc/17189/stat : 17189 (java) S 17187 17187 15432 0 -1 1077944320 9234 0 0 0 48 3 0 0 20 0 20 0 102879845 26628161536 11057 33554432000 4194304 4196468 140734602346528 140734602329072 139741901479671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
/proc/17189/statm: 6501016 11057 3121 1 0 6488269 0
[pid=17189/tid=17190] ppid=17187 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17189/task/17190/stat : 17190 (java) R 17187 17187 15432 0 -1 4202560 6119 0 0 0 27 2 0 0 20 0 20 0 102879845 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741905717952 139741538173678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17191] ppid=17187 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17191/stat : 17191 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879846 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741862439440 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17192] ppid=17187 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17192/stat : 17192 (java) S 17187 17187 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102879846 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741459036816 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17193] ppid=17187 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17193/stat : 17193 (java) S 17187 17187 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102879846 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741457983760 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17194] ppid=17187 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17194/stat : 17194 (java) S 17187 17187 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102879846 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741456931216 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17195] ppid=17187 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/17189/task/17195/stat : 17195 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879846 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741455879184 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17196] ppid=17187 vsize=26004064 memory=140473347961775 CPUtime=0 cores=0-7
/proc/17189/task/17196/stat : 17196 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879846 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741454826640 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17197] ppid=17187 vsize=26004064 memory=140473347964080 CPUtime=0 cores=0-7
/proc/17189/task/17197/stat : 17197 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879846 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741453773584 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17198] ppid=17187 vsize=26004064 memory=140473347966384 CPUtime=0 cores=0-7
/proc/17189/task/17198/stat : 17198 (java) S 17187 17187 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102879846 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741452721040 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17199] ppid=17187 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17199/stat : 17199 (java) S 17187 17187 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102879848 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741028944112 139741901490818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17200] ppid=17187 vsize=26004064 memory=280946695939728 CPUtime=0 cores=0-7
/proc/17189/task/17200/stat : 17200 (java) S 17187 17187 15432 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102879848 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741027890336 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17201] ppid=17187 vsize=26004064 memory=280946695946640 CPUtime=0 cores=0-7
/proc/17189/task/17201/stat : 17201 (java) S 17187 17187 15432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102879848 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741026837232 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17202] ppid=17187 vsize=26004064 memory=280946695887920 CPUtime=0 cores=0-7
/proc/17189/task/17202/stat : 17202 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879851 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741025785808 139741901498267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17203] ppid=17187 vsize=26004064 memory=280946695960464 CPUtime=0.01 cores=0-7
/proc/17189/task/17203/stat : 17203 (java) S 17187 17187 15432 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 20 0 102879851 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741024733936 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17204] ppid=17187 vsize=26004064 memory=280946695967376 CPUtime=0.02 cores=0-7
/proc/17189/task/17204/stat : 17204 (java) S 17187 17187 15432 0 -1 1077944384 203 0 0 0 2 0 0 0 20 0 20 0 102879851 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741023681392 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17205] ppid=17187 vsize=26004064 memory=280946695965072 CPUtime=0.03 cores=0-7
/proc/17189/task/17205/stat : 17205 (java) S 17187 17187 15432 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 20 0 102879851 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741022628336 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17206] ppid=17187 vsize=26004064 memory=280946695981232 CPUtime=0.12 cores=0-7
/proc/17189/task/17206/stat : 17206 (java) R 17187 17187 15432 0 -1 4202560 851 0 0 0 12 0 0 0 20 0 20 0 102879851 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741021572160 139741880907151 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17207] ppid=17187 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17207/stat : 17207 (java) S 17187 17187 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102879851 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741020522976 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17208] ppid=17187 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/17189/task/17208/stat : 17208 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879851 26628161536 11057 33554432000 4194304 4196468 140734602346528 139741019470512 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45608 KiB
[startup+0.70103 s]
/proc/loadavg: 4.58 7.31 7.97 3/200 17208
/proc/meminfo: memFree=31390472/32770624 swapFree=67108860/67108860
[pid=17187] ppid=17184 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17187/stat : 17187 (xcsp3-exec) S 17184 17187 15432 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102879845 9740288 345 33554432000 4194304 5098028 140727522503472 140727522501576 139697825821308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29556736 140727522509926 140727522510135 140727522510135 140727522512875 0
/proc/17187/statm: 2378 345 289 221 0 87 0
[pid=17189] ppid=17187 vsize=26004140 memory=109088 CPUtime=1.9 cores=0-7
/proc/17189/stat : 17189 (java) S 17187 17187 15432 0 -1 1077944320 13234 0 0 0 185 5 0 0 20 0 20 0 102879845 26628239360 27272 33554432000 4194304 4196468 140734602346528 140734602329072 139741901479671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
/proc/17189/statm: 6501035 27272 3194 1 0 6488269 0
[pid=17189/tid=17190] ppid=17187 vsize=26004140 memory=280946696339120 CPUtime=0.67 cores=0-7
/proc/17189/task/17190/stat : 17190 (java) R 17187 17187 15432 0 -1 4202560 6484 0 0 0 64 3 0 0 20 0 20 0 102879845 26628239360 27272 33554432000 4194304 4196468 140734602346528 139741905717920 139741542036035 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17191] ppid=17187 vsize=26004140 memory=140473348170608 CPUtime=0 cores=0-7
/proc/17189/task/17191/stat : 17191 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879846 26628239360 27272 33554432000 4194304 4196468 140734602346528 139741862439440 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17192] ppid=17187 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17192/stat : 17192 (java) S 17187 17187 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102879846 26628239360 27272 33554432000 4194304 4196468 140734602346528 139741459036816 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17193] ppid=17187 vsize=26004140 memory=5672 CPUtime=0 cores=0-7
/proc/17189/task/17193/stat : 17193 (java) S 17187 17187 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102879846 26628239360 27272 33554432000 4194304 4196468 140734602346528 139741457983760 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
################
# More data... #
################
/proc/17189/task/17207/stat : 17207 (java) S 17187 17187 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102879851 26630336512 408007 33554432000 4194304 4196468 140734602346528 139741020522976 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17208] ppid=17187 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/17189/task/17208/stat : 17208 (java) S 17187 17187 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102879851 26630336512 408007 33554432000 4194304 4196468 140734602346528 139741019470512 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
Current children cumulated CPU time: 19.17 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 1633408 KiB
[startup+8.00099 s]*
/proc/loadavg: 4.51 7.20 7.93 2/200 17208
/proc/meminfo: memFree=29734992/32770624 swapFree=67108860/67108860
[pid=17187] ppid=17184 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17187/stat : 17187 (xcsp3-exec) S 17184 17187 15432 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102879845 9740288 345 33554432000 4194304 5098028 140727522503472 140727522501576 139697825821308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29556736 140727522509926 140727522510135 140727522510135 140727522512875 0
/proc/17187/statm: 2378 345 289 221 0 87 0
[pid=17189] ppid=17187 vsize=26006188 memory=1745112 CPUtime=21.48 cores=0-7
/proc/17189/stat : 17189 (java) S 17187 17187 15432 0 -1 1077944320 28901 0 0 0 1945 203 0 0 20 0 20 0 102879845 26630336512 436278 33554432000 4194304 4196468 140734602346528 140734602329072 139741901479671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
/proc/17189/statm: 6501547 436278 3267 1 0 6488781 0
[pid=17189/tid=17190] ppid=17187 vsize=26006188 memory=6791534058613427641 CPUtime=6.74 cores=0-7
/proc/17189/task/17190/stat : 17190 (java) R 17187 17187 15432 0 -1 4202560 7851 0 0 0 656 18 0 0 20 0 20 0 102879845 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741905714944 139741541855358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17191] ppid=17187 vsize=26006188 memory=4872558044660077418 CPUtime=0.95 cores=0-7
/proc/17189/task/17191/stat : 17191 (java) S 17187 17187 15432 0 -1 1077944384 470 0 0 0 72 23 0 0 20 0 20 0 102879846 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741862439440 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17192] ppid=17187 vsize=26006188 memory=6760 CPUtime=0.95 cores=0-7
/proc/17189/task/17192/stat : 17192 (java) S 17187 17187 15432 0 -1 1077944384 445 0 0 0 72 23 0 0 20 0 20 0 102879846 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741459036816 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17193] ppid=17187 vsize=26006188 memory=832 CPUtime=0.92 cores=0-7
/proc/17189/task/17193/stat : 17193 (java) S 17187 17187 15432 0 -1 1077944384 859 0 0 0 71 21 0 0 20 0 20 0 102879846 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741457983760 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17194] ppid=17187 vsize=26006188 memory=1692 CPUtime=0.87 cores=0-7
/proc/17189/task/17194/stat : 17194 (java) S 17187 17187 15432 0 -1 1077944384 464 0 0 0 67 20 0 0 20 0 20 0 102879846 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741456931216 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17195] ppid=17187 vsize=26006188 memory=916 CPUtime=0.91 cores=0-7
/proc/17189/task/17195/stat : 17195 (java) S 17187 17187 15432 0 -1 1077944384 569 0 0 0 69 22 0 0 20 0 20 0 102879846 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741455879184 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17196] ppid=17187 vsize=26006188 memory=5612 CPUtime=0.96 cores=0-7
/proc/17189/task/17196/stat : 17196 (java) S 17187 17187 15432 0 -1 1077944384 444 0 0 0 72 24 0 0 20 0 20 0 102879846 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741454826640 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17197] ppid=17187 vsize=26006188 memory=4104 CPUtime=0.91 cores=0-7
/proc/17189/task/17197/stat : 17197 (java) S 17187 17187 15432 0 -1 1077944384 482 0 0 0 70 21 0 0 20 0 20 0 102879846 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741453773584 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17198] ppid=17187 vsize=26006188 memory=1152 CPUtime=0.91 cores=0-7
/proc/17189/task/17198/stat : 17198 (java) S 17187 17187 15432 0 -1 1077944384 418 0 0 0 70 21 0 0 20 0 20 0 102879846 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741452721040 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17199] ppid=17187 vsize=26006188 memory=2636 CPUtime=0.08 cores=0-7
/proc/17189/task/17199/stat : 17199 (java) S 17187 17187 15432 0 -1 1077944384 1466 0 0 0 8 0 0 0 20 0 20 0 102879848 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741028944112 139741901490818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17200] ppid=17187 vsize=26006188 memory=1380 CPUtime=0 cores=0-7
/proc/17189/task/17200/stat : 17200 (java) S 17187 17187 15432 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 102879848 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741027890400 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17201] ppid=17187 vsize=26006188 memory=1634196 CPUtime=0 cores=0-7
/proc/17189/task/17201/stat : 17201 (java) S 17187 17187 15432 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 102879848 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741026837248 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17202] ppid=17187 vsize=26006188 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/17189/task/17202/stat : 17202 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879851 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741025785808 139741901498267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17203] ppid=17187 vsize=26006188 memory=4872558044660077418 CPUtime=2.16 cores=0-7
/proc/17189/task/17203/stat : 17203 (java) S 17187 17187 15432 0 -1 1077944384 4646 0 0 0 215 1 0 0 20 0 20 0 102879851 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741024733936 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17204] ppid=17187 vsize=26006188 memory=538224 CPUtime=2.09 cores=0-7
/proc/17189/task/17204/stat : 17204 (java) S 17187 17187 15432 0 -1 1077944384 3307 0 0 0 208 1 0 0 20 0 20 0 102879851 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741023681392 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17205] ppid=17187 vsize=26006188 memory=6944656591801717918 CPUtime=2.16 cores=0-7
/proc/17189/task/17205/stat : 17205 (java) S 17187 17187 15432 0 -1 1077944384 3456 0 0 0 215 1 0 0 20 0 20 0 102879851 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741022628336 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17206] ppid=17187 vsize=26006188 memory=-7384994778349281184 CPUtime=0.75 cores=0-7
/proc/17189/task/17206/stat : 17206 (java) S 17187 17187 15432 0 -1 1077944384 2722 0 0 0 74 1 0 0 20 0 20 0 102879851 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741021575792 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17207] ppid=17187 vsize=26006188 memory=-7522837415797432224 CPUtime=0 cores=0-7
/proc/17189/task/17207/stat : 17207 (java) S 17187 17187 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102879851 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741020522976 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17208] ppid=17187 vsize=26006188 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/17189/task/17208/stat : 17208 (java) S 17187 17187 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102879851 26630336512 436278 33554432000 4194304 4196468 140734602346528 139741019470512 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
Current children cumulated CPU time: 21.48 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 1746492 KiB
[startup+8.40097 s]
/proc/loadavg: 4.51 7.20 7.93 2/200 17208
/proc/meminfo: memFree=29734992/32770624 swapFree=67108860/67108860
[pid=17187] ppid=17184 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17187/stat : 17187 (xcsp3-exec) S 17184 17187 15432 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102879845 9740288 345 33554432000 4194304 5098028 140727522503472 140727522501576 139697825821308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29556736 140727522509926 140727522510135 140727522510135 140727522512875 0
/proc/17187/statm: 2378 345 289 221 0 87 0
[pid=17189] ppid=17187 vsize=26006188 memory=1745308 CPUtime=21.97 cores=0-7
/proc/17189/stat : 17189 (java) S 17187 17187 15432 0 -1 1077944320 29574 0 0 0 1993 204 0 0 20 0 20 0 102879845 26630336512 436327 33554432000 4194304 4196468 140734602346528 140734602329072 139741901479671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
/proc/17189/statm: 6501547 436327 3267 1 0 6488781 0
[pid=17189/tid=17190] ppid=17187 vsize=26006188 memory=-7737621075815351712 CPUtime=7.13 cores=0-7
/proc/17189/task/17190/stat : 17190 (java) R 17187 17187 15432 0 -1 4202560 8067 0 0 0 695 18 0 0 20 0 20 0 102879845 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741905720416 139741538174074 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17191] ppid=17187 vsize=26006188 memory=7379241883359864663 CPUtime=0.95 cores=0-7
/proc/17189/task/17191/stat : 17191 (java) S 17187 17187 15432 0 -1 1077944384 470 0 0 0 72 23 0 0 20 0 20 0 102879846 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741862439440 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17192] ppid=17187 vsize=26006188 memory=6791534058613427641 CPUtime=0.95 cores=0-7
/proc/17189/task/17192/stat : 17192 (java) S 17187 17187 15432 0 -1 1077944384 445 0 0 0 72 23 0 0 20 0 20 0 102879846 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741459036816 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17193] ppid=17187 vsize=26006188 memory=7373914766771777643 CPUtime=0.92 cores=0-7
/proc/17189/task/17193/stat : 17193 (java) S 17187 17187 15432 0 -1 1077944384 859 0 0 0 71 21 0 0 20 0 20 0 102879846 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741457983760 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17194] ppid=17187 vsize=26006188 memory=0 CPUtime=0.87 cores=0-7
/proc/17189/task/17194/stat : 17194 (java) S 17187 17187 15432 0 -1 1077944384 464 0 0 0 67 20 0 0 20 0 20 0 102879846 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741456931216 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17195] ppid=17187 vsize=26006188 memory=0 CPUtime=0.91 cores=0-7
/proc/17189/task/17195/stat : 17195 (java) S 17187 17187 15432 0 -1 1077944384 569 0 0 0 69 22 0 0 20 0 20 0 102879846 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741455879184 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17196] ppid=17187 vsize=26006188 memory=0 CPUtime=0.96 cores=0-7
/proc/17189/task/17196/stat : 17196 (java) S 17187 17187 15432 0 -1 1077944384 444 0 0 0 72 24 0 0 20 0 20 0 102879846 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741454826640 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17197] ppid=17187 vsize=26006188 memory=648 CPUtime=0.91 cores=0-7
/proc/17189/task/17197/stat : 17197 (java) S 17187 17187 15432 0 -1 1077944384 482 0 0 0 70 21 0 0 20 0 20 0 102879846 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741453773584 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17198] ppid=17187 vsize=26006188 memory=1796 CPUtime=0.91 cores=0-7
/proc/17189/task/17198/stat : 17198 (java) S 17187 17187 15432 0 -1 1077944384 418 0 0 0 70 21 0 0 20 0 20 0 102879846 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741452721040 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17199] ppid=17187 vsize=26006188 memory=956 CPUtime=0.08 cores=0-7
/proc/17189/task/17199/stat : 17199 (java) S 17187 17187 15432 0 -1 1077944384 1476 0 0 0 8 0 0 0 20 0 20 0 102879848 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741028944112 139741901490818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17200] ppid=17187 vsize=26006188 memory=2344 CPUtime=0 cores=0-7
/proc/17189/task/17200/stat : 17200 (java) S 17187 17187 15432 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 102879848 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741027890400 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17201] ppid=17187 vsize=26006188 memory=928 CPUtime=0 cores=0-7
/proc/17189/task/17201/stat : 17201 (java) S 17187 17187 15432 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 102879848 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741026837248 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17202] ppid=17187 vsize=26006188 memory=1576 CPUtime=0 cores=0-7
/proc/17189/task/17202/stat : 17202 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102879851 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741025785808 139741901498267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17203] ppid=17187 vsize=26006188 memory=2236 CPUtime=2.19 cores=0-7
/proc/17189/task/17203/stat : 17203 (java) S 17187 17187 15432 0 -1 1077944384 4694 0 0 0 218 1 0 0 20 0 20 0 102879851 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741024733936 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17204] ppid=17187 vsize=26006188 memory=4316 CPUtime=2.11 cores=0-7
/proc/17189/task/17204/stat : 17204 (java) R 17187 17187 15432 0 -1 4202560 3356 0 0 0 210 1 0 0 20 0 20 0 102879851 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741023681392 139741880669121 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17205] ppid=17187 vsize=26006188 memory=2196 CPUtime=2.18 cores=0-7
/proc/17189/task/17205/stat : 17205 (java) S 17187 17187 15432 0 -1 1077944384 3640 0 0 0 217 1 0 0 20 0 20 0 102879851 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741022628336 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17206] ppid=17187 vsize=26006188 memory=11000 CPUtime=0.76 cores=0-7
/proc/17189/task/17206/stat : 17206 (java) S 17187 17187 15432 0 -1 1077944384 2888 0 0 0 75 1 0 0 20 0 20 0 102879851 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741021575792 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17207] ppid=17187 vsize=26006188 memory=1224 CPUtime=0 cores=0-7
/proc/17189/task/17207/stat : 17207 (java) S 17187 17187 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102879851 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741020522976 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17208] ppid=17187 vsize=26006188 memory=5672 CPUtime=0 cores=0-7
/proc/17189/task/17208/stat : 17208 (java) S 17187 17187 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102879851 26630336512 436327 33554432000 4194304 4196468 140734602346528 139741019470512 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
Current children cumulated CPU time: 21.97 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 1746688 KiB
[startup+8.80929 s]
/proc/loadavg: 4.51 7.20 7.93 2/200 17208
/proc/meminfo: memFree=29734992/32770624 swapFree=67108860/67108860
[pid=17187] ppid=17184 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/17187/stat : 17187 (xcsp3-exec) S 17184 17187 15432 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102879845 9740288 345 33554432000 4194304 5098028 140727522503472 140727522501576 139697825821308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29556736 140727522509926 140727522510135 140727522510135 140727522512875 0
/proc/17187/statm: 2378 345 289 221 0 87 0
[pid=17189] ppid=17187 vsize=26538700 memory=1745900 CPUtime=24.69 cores=0-7
/proc/17189/stat : 17189 (java) S 17187 17187 15432 0 -1 1077944320 31065 0 0 0 2262 207 0 0 20 0 28 0 102879845 27175628800 436475 33554432000 4194304 4196468 140734602346528 140734602329072 139741901479671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
/proc/17189/statm: 6634675 436475 3276 1 0 6621909 0
[pid=17189/tid=17190] ppid=17187 vsize=26538700 memory=0 CPUtime=7.18 cores=0-7
/proc/17189/task/17190/stat : 17190 (java) S 17187 17187 15432 0 -1 1077944384 8180 0 0 0 699 19 0 0 20 0 28 0 102879845 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741905720448 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17191] ppid=17187 vsize=26538700 memory=6791534058613427641 CPUtime=0.95 cores=0-7
/proc/17189/task/17191/stat : 17191 (java) S 17187 17187 15432 0 -1 1077944384 470 0 0 0 72 23 0 0 20 0 28 0 102879846 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741862439440 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17192] ppid=17187 vsize=26538700 memory=0 CPUtime=0.95 cores=0-7
/proc/17189/task/17192/stat : 17192 (java) S 17187 17187 15432 0 -1 1077944384 445 0 0 0 72 23 0 0 20 0 28 0 102879846 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741459036816 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17193] ppid=17187 vsize=26538700 memory=0 CPUtime=0.92 cores=0-7
/proc/17189/task/17193/stat : 17193 (java) S 17187 17187 15432 0 -1 1077944384 859 0 0 0 71 21 0 0 20 0 28 0 102879846 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741457983760 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17194] ppid=17187 vsize=26538700 memory=0 CPUtime=0.87 cores=0-7
/proc/17189/task/17194/stat : 17194 (java) S 17187 17187 15432 0 -1 1077944384 464 0 0 0 67 20 0 0 20 0 28 0 102879846 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741456931216 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17195] ppid=17187 vsize=26538700 memory=0 CPUtime=0.91 cores=0-7
/proc/17189/task/17195/stat : 17195 (java) S 17187 17187 15432 0 -1 1077944384 569 0 0 0 69 22 0 0 20 0 28 0 102879846 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741455879184 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17196] ppid=17187 vsize=26538700 memory=0 CPUtime=0.96 cores=0-7
/proc/17189/task/17196/stat : 17196 (java) S 17187 17187 15432 0 -1 1077944384 444 0 0 0 72 24 0 0 20 0 28 0 102879846 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741454826640 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17197] ppid=17187 vsize=26538700 memory=280946696346112 CPUtime=0.91 cores=0-7
/proc/17189/task/17197/stat : 17197 (java) S 17187 17187 15432 0 -1 1077944384 482 0 0 0 70 21 0 0 20 0 28 0 102879846 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741453773584 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17198] ppid=17187 vsize=26538700 memory=1380 CPUtime=0.91 cores=0-7
/proc/17189/task/17198/stat : 17198 (java) S 17187 17187 15432 0 -1 1077944384 418 0 0 0 70 21 0 0 20 0 28 0 102879846 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741452721040 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17199] ppid=17187 vsize=26538700 memory=1745112 CPUtime=0.08 cores=0-7
/proc/17189/task/17199/stat : 17199 (java) S 17187 17187 15432 0 -1 1077944384 1479 0 0 0 8 0 0 0 20 0 28 0 102879848 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741028944112 139741901490818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17200] ppid=17187 vsize=26538700 memory=2404 CPUtime=0 cores=0-7
/proc/17189/task/17200/stat : 17200 (java) S 17187 17187 15432 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 102879848 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741027890400 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17201] ppid=17187 vsize=26538700 memory=1732 CPUtime=0 cores=0-7
/proc/17189/task/17201/stat : 17201 (java) S 17187 17187 15432 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 102879848 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741026837248 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17202] ppid=17187 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/17189/task/17202/stat : 17202 (java) S 17187 17187 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102879851 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741025785808 139741901498267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17203] ppid=17187 vsize=26538700 memory=1004 CPUtime=2.33 cores=0-7
/proc/17189/task/17203/stat : 17203 (java) R 17187 17187 15432 0 -1 4202560 4759 0 0 0 232 1 0 0 20 0 28 0 102879851 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741024733632 139741884823290 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17204] ppid=17187 vsize=26538700 memory=1380 CPUtime=2.26 cores=0-7
/proc/17189/task/17204/stat : 17204 (java) R 17187 17187 15432 0 -1 4202560 3369 0 0 0 225 1 0 0 20 0 28 0 102879851 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741023663376 139741879502600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17205] ppid=17187 vsize=26538700 memory=1592240 CPUtime=2.3 cores=0-7
/proc/17189/task/17205/stat : 17205 (java) R 17187 17187 15432 0 -1 1077944384 4249 0 0 0 229 1 0 0 20 0 28 0 102879851 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741022628336 139741901490818 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17206] ppid=17187 vsize=26538700 memory=6791534058613427641 CPUtime=0.82 cores=0-7
/proc/17189/task/17206/stat : 17206 (java) R 17187 17187 15432 0 -1 4202560 3249 0 0 0 81 1 0 0 20 0 28 0 102879851 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741021575920 139741901491606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17207] ppid=17187 vsize=26538700 memory=-7384474665255210089 CPUtime=0 cores=0-7
/proc/17189/task/17207/stat : 17207 (java) S 17187 17187 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102879851 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741020522976 139741901489877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
[pid=17189/tid=17208] ppid=17187 vsize=26538700 memory=280946696341616 CPUtime=0 cores=0-7
/proc/17189/task/17208/stat : 17208 (java) S 17187 17187 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102879851 27175628800 436475 33554432000 4194304 4196468 140734602346528 139741019470512 139741901490818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 29483008 140734602351762 140734602351939 140734602351939 140734602354639 0
Current children cumulated CPU time: 24.69 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1747280 KiB
Child status: 0
Real time (s): 8.88257
CPU time (s): 25.0527
CPU user time (s): 22.9608
CPU system time (s): 2.09184
CPU usage (%): 282.043
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1747280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.9608
system time used= 2.09184
maximum resident set size= 1746632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31646
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= 4621
involuntary context switches= 203
# summary of solver processes directly reported to runsolver:
# pid: 17187
# total CPU time (s): 25.0527
# total CPU user time (s): 22.9608
# total CPU system time (s): 2.09184
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.080771 second user time and 0.137312 second system time
The end
Begin job on node102 at 2017-08-14 09:50:57 IDJOB=4271247 IDBENCH=123440 IDSOLVER=2662 FILE ID=node102/4271247-1502697915 RUNJOBID= node102-1502689477-15459 PBS_JOBID= 20628998 Free space on /tmp= 61908 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Sat/Sat-xcsp2-bmc/bmc-ibm-7-02_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-4271247-1502697915/watcher-4271247-1502697915 -o /tmp/evaluation-result-4271247-1502697915/solver-4271247-1502697915 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502689477-15459 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 49936241 HOME/instance-4271247-1502697915.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 69e4f2d1840ee6c3ffd4a60a6361deb1 RANDOM SEED=49936241 node102.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.35 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.35 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.35 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.35 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: 31467996 kB MemAvailable: 31980760 kB Buffers: 143148 kB Cached: 652656 kB SwapCached: 0 kB Active: 655648 kB Inactive: 193820 kB Active(anon): 5916 kB Inactive(anon): 75340 kB Active(file): 649732 kB Inactive(file): 118480 kB Unevictable: 6444 kB Mlocked: 6444 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 12048 kB Writeback: 0 kB AnonPages: 55836 kB Mapped: 44356 kB Shmem: 25228 kB Slab: 147556 kB SReclaimable: 120772 kB SUnreclaim: 26784 kB KernelStack: 3536 kB PageTables: 4788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325476 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61900 MiB End job on node102 at 2017-08-14 09:51:06