| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| choco-solver 4.0.5 par (2017-08-09) | UNSAT | 25.042299 | 8.8655005 |
| 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-4271248-1502697868.xml" -tl '20160s' -p 8 -x 0 0.12/0.14 c [HOME/instance-4271248-1502697868.xml, -tl, 20160s, -p, 8, -x, 0] 0.12/0.20 c 8 solvers in parallel 0.34/0.26 c parse instance... 22.11/8.41 c solve instance... 24.72/8.83 java.util.concurrent.ExecutionException: java.lang.NullPointerException 24.72/8.83 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 24.72/8.83 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:201) 24.72/8.83 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:168) 24.72/8.83 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:134) 24.72/8.83 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:25) 24.72/8.83 Caused by: java.lang.NullPointerException 24.72/8.83 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 24.72/8.83 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 24.72/8.83 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 24.72/8.83 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 24.72/8.83 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 24.72/8.83 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005) 24.72/8.83 ... 4 more 24.72/8.83 Caused by: java.lang.NullPointerException 24.72/8.83 at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method) 24.72/8.83 at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62) 24.72/8.83 at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45) 24.72/8.83 at java.lang.reflect.Constructor.newInstance(Constructor.java:423) 24.72/8.83 at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598) 24.72/8.83 at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677) 24.72/8.83 at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735) 24.72/8.83 at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160) 24.72/8.83 at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174) 24.72/8.83 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233) 24.72/8.83 at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418) 24.72/8.83 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583) 24.72/8.83 at org.chocosolver.solver.ParallelPortfolio.lambda$solve$48(ParallelPortfolio.java:193) 24.72/8.83 at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386) 24.72/8.83 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 24.72/8.83 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 24.72/8.83 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 24.72/8.83 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 24.72/8.83 Caused by: java.lang.NullPointerException 24.72/8.83 at org.chocosolver.solver.search.strategy.strategy.ConflictOrderingSearch.stampIt(ConflictOrderingSearch.java:124) 24.72/8.83 at org.chocosolver.solver.search.strategy.strategy.ConflictOrderingSearch.onContradiction(ConflictOrderingSearch.java:120) 24.72/8.83 at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.onContradiction(SearchMonitorList.java:133) 24.72/8.83 at org.chocosolver.solver.Solver.initialize(Solver.java:374) 24.72/8.83 at org.chocosolver.solver.Solver.solve(Solver.java:260) 24.72/8.83 at org.chocosolver.solver.ParallelPortfolio.lambda$null$47(ParallelPortfolio.java:195) 24.72/8.83 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 24.72/8.83 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 24.72/8.83 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 24.72/8.83 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 24.72/8.83 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 24.72/8.83 ... 4 more 24.72/8.83 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 (15309 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-4271248-1502697868/watcher-4271248-1502697868 -o /tmp/evaluation-result-4271248-1502697868/solver-4271248-1502697868 -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 974123599 HOME/instance-4271248-1502697868.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16913, runsolver pid=16910
[startup+0.100139 s]*
/proc/loadavg: 7.22 8.13 8.25 3/200 16934
/proc/meminfo: memFree=31455172/32770624 swapFree=67108860/67108860
[pid=16913] ppid=16910 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16913/stat : 16913 (xcsp3-exec) S 16910 16913 15432 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102875147 9740288 345 33554432000 4194304 5098028 140730215398352 140730215396456 140554468274812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21643264 140730215404645 140730215404855 140730215404855 140730215407595 0
/proc/16913/statm: 2378 345 289 221 0 87 0
[pid=16915] ppid=16913 vsize=25999808 memory=26492 CPUtime=0.12 cores=0-7
/proc/16915/stat : 16915 (java) S 16913 16913 15432 0 -1 1077944320 5572 0 0 0 11 1 0 0 20 0 20 0 102875148 26623803392 6623 33554432000 4194304 4196468 140724803276976 140724803259520 139972071083767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
/proc/16915/statm: 6499952 6623 2845 1 0 6488269 0
[pid=16915/tid=16916] ppid=16913 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/16915/task/16916/stat : 16916 (java) R 16913 16913 15432 0 -1 4202560 3568 0 0 0 8 0 0 0 20 0 20 0 102875148 26623803392 6623 33554432000 4194304 4196468 140724803276976 139972075315760 139972071095702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16917] ppid=16913 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16915/task/16917/stat : 16917 (java) S 16913 16913 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102875149 26623803392 6623 33554432000 4194304 4196468 140724803276976 139971978644240 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16918] ppid=16913 vsize=25999808 memory=140463209731712 CPUtime=0 cores=0-7
/proc/16915/task/16918/stat : 16918 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26623803392 6623 33554432000 4194304 4196468 140724803276976 139971628731280 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16919] ppid=16913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16919/stat : 16919 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26623803392 6688 33554432000 4194304 4196468 140724803276976 139971627678736 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16920] ppid=16913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16920/stat : 16920 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26623803392 6688 33554432000 4194304 4196468 140724803276976 139971626626192 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16921] ppid=16913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16921/stat : 16921 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26623803392 6688 33554432000 4194304 4196468 140724803276976 139971625572624 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16922] ppid=16913 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16915/task/16922/stat : 16922 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26623803392 6688 33554432000 4194304 4196468 140724803276976 139971624520080 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16923] ppid=16913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16923/stat : 16923 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26623803392 6688 33554432000 4194304 4196468 140724803276976 139971623467536 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16924] ppid=16913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16924/stat : 16924 (java) S 16913 16913 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102875149 26623803392 6688 33554432000 4194304 4196468 140724803276976 139971622414992 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16925] ppid=16913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16925/stat : 16925 (java) S 16913 16913 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102875150 26623803392 6688 33554432000 4194304 4196468 140724803276976 139971579152880 139972071094914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16926] ppid=16913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16926/stat : 16926 (java) S 16913 16913 15432 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102875151 26623803392 6688 33554432000 4194304 4196468 140724803276976 139971578099104 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16927] ppid=16913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16927/stat : 16927 (java) S 16913 16913 15432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102875151 26623803392 6688 33554432000 4194304 4196468 140724803276976 139971577046512 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16928] ppid=16913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16928/stat : 16928 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875153 26623803392 6688 33554432000 4194304 4196468 140724803276976 139971575995088 139972071102363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16929] ppid=16913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16929/stat : 16929 (java) S 16913 16913 15432 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 102875153 26623803392 6688 33554432000 4194304 4196468 140724803276976 139970272061424 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16930] ppid=16913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16930/stat : 16930 (java) S 16913 16913 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102875153 26623803392 6688 33554432000 4194304 4196468 140724803276976 139970271008880 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16931] ppid=16913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16931/stat : 16931 (java) S 16913 16913 15432 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 102875153 26623803392 6688 33554432000 4194304 4196468 140724803276976 139970269956336 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16932] ppid=16913 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/16915/task/16932/stat : 16932 (java) R 16913 16913 15432 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 20 0 102875153 26623803392 6688 33554432000 4194304 4196468 140724803276976 139970268903792 139972052321328 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16933] ppid=16913 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16933/stat : 16933 (java) S 16913 16913 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102875154 26623803392 6688 33554432000 4194304 4196468 140724803276976 139970267851488 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16934] ppid=16913 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/16915/task/16934/stat : 16934 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875154 26623803392 6688 33554432000 4194304 4196468 140724803276976 139970266799024 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27872 KiB
[startup+0.210467 s]*
/proc/loadavg: 7.22 8.13 8.25 2/200 16934
/proc/meminfo: memFree=31443392/32770624 swapFree=67108860/67108860
[pid=16913] ppid=16910 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16913/stat : 16913 (xcsp3-exec) S 16910 16913 15432 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102875147 9740288 345 33554432000 4194304 5098028 140730215398352 140730215396456 140554468274812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21643264 140730215404645 140730215404855 140730215404855 140730215407595 0
/proc/16913/statm: 2378 345 289 221 0 87 0
[pid=16915] ppid=16913 vsize=26004064 memory=39164 CPUtime=0.34 cores=0-7
/proc/16915/stat : 16915 (java) S 16913 16913 15432 0 -1 1077944320 8323 0 0 0 32 2 0 0 20 0 20 0 102875148 26628161536 9791 33554432000 4194304 4196468 140724803276976 140724803259520 139972071083767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
/proc/16915/statm: 6501016 9791 3060 1 0 6488269 0
[pid=16915/tid=16916] ppid=16913 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16915/task/16916/stat : 16916 (java) R 16913 16913 15432 0 -1 4202560 5417 0 0 0 19 1 0 0 20 0 20 0 102875148 26628161536 9791 33554432000 4194304 4196468 140724803276976 139972075306752 139972055164254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16917] ppid=16913 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/16915/task/16917/stat : 16917 (java) S 16913 16913 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102875149 26628161536 9791 33554432000 4194304 4196468 140724803276976 139971978644240 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16918] ppid=16913 vsize=26004064 memory=3904814345153697440 CPUtime=0 cores=0-7
/proc/16915/task/16918/stat : 16918 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26628161536 9791 33554432000 4194304 4196468 140724803276976 139971628731280 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16919] ppid=16913 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16915/task/16919/stat : 16919 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26628161536 9791 33554432000 4194304 4196468 140724803276976 139971627678736 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16920] ppid=16913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16920/stat : 16920 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26628161536 9791 33554432000 4194304 4196468 140724803276976 139971626626192 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16921] ppid=16913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16921/stat : 16921 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26628161536 9791 33554432000 4194304 4196468 140724803276976 139971625572624 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16922] ppid=16913 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16915/task/16922/stat : 16922 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26628161536 9791 33554432000 4194304 4196468 140724803276976 139971624520080 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16923] ppid=16913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16923/stat : 16923 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26628161536 9791 33554432000 4194304 4196468 140724803276976 139971623467536 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16924] ppid=16913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16924/stat : 16924 (java) S 16913 16913 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102875149 26628161536 9791 33554432000 4194304 4196468 140724803276976 139971622414992 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16925] ppid=16913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16925/stat : 16925 (java) S 16913 16913 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102875150 26628161536 9791 33554432000 4194304 4196468 140724803276976 139971579152880 139972071094914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16926] ppid=16913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16926/stat : 16926 (java) S 16913 16913 15432 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102875151 26628161536 9791 33554432000 4194304 4196468 140724803276976 139971578099104 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16927] ppid=16913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16927/stat : 16927 (java) S 16913 16913 15432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102875151 26628161536 9791 33554432000 4194304 4196468 140724803276976 139971577046512 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16928] ppid=16913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16928/stat : 16928 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875153 26628161536 9791 33554432000 4194304 4196468 140724803276976 139971575995088 139972071102363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16929] ppid=16913 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/16915/task/16929/stat : 16929 (java) S 16913 16913 15432 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 20 0 102875153 26628161536 9791 33554432000 4194304 4196468 140724803276976 139970272061424 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16930] ppid=16913 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/16915/task/16930/stat : 16930 (java) S 16913 16913 15432 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 102875153 26628161536 9791 33554432000 4194304 4196468 140724803276976 139970271008880 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16931] ppid=16913 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/16915/task/16931/stat : 16931 (java) S 16913 16913 15432 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 20 0 102875153 26628161536 9791 33554432000 4194304 4196468 140724803276976 139970269956336 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16932] ppid=16913 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/16915/task/16932/stat : 16932 (java) R 16913 16913 15432 0 -1 4202560 734 0 0 0 8 0 0 0 20 0 20 0 102875153 26628161536 9791 33554432000 4194304 4196468 140724803276976 139970268903792 139972049880141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16933] ppid=16913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16933/stat : 16933 (java) S 16913 16913 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102875154 26628161536 9791 33554432000 4194304 4196468 140724803276976 139970267851488 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16934] ppid=16913 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16915/task/16934/stat : 16934 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875154 26628161536 9791 33554432000 4194304 4196468 140724803276976 139970266799024 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40544 KiB
[startup+0.310454 s]*
/proc/loadavg: 7.22 8.13 8.25 5/200 16934
/proc/meminfo: memFree=31439804/32770624 swapFree=67108860/67108860
[pid=16913] ppid=16910 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16913/stat : 16913 (xcsp3-exec) S 16910 16913 15432 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102875147 9740288 345 33554432000 4194304 5098028 140730215398352 140730215396456 140554468274812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21643264 140730215404645 140730215404855 140730215404855 140730215407595 0
/proc/16913/statm: 2378 345 289 221 0 87 0
[pid=16915] ppid=16913 vsize=26004064 memory=45868 CPUtime=0.51 cores=0-7
/proc/16915/stat : 16915 (java) S 16913 16913 15432 0 -1 1077944320 9212 0 0 0 48 3 0 0 20 0 20 0 102875148 26628161536 11467 33554432000 4194304 4196468 140724803276976 140724803259520 139972071083767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
/proc/16915/statm: 6501016 11467 3077 1 0 6488269 0
[pid=16915/tid=16916] ppid=16913 vsize=26004064 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/16915/task/16916/stat : 16916 (java) R 16913 16913 15432 0 -1 4202560 6083 0 0 0 28 2 0 0 20 0 20 0 102875148 26628161536 11467 33554432000 4194304 4196468 140724803276976 139972075321680 139971660703471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16917] ppid=16913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16917/stat : 16917 (java) S 16913 16913 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102875149 26628161536 11467 33554432000 4194304 4196468 140724803276976 139971978644240 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16918] ppid=16913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16918/stat : 16918 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26628161536 11467 33554432000 4194304 4196468 140724803276976 139971628731280 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16919] ppid=16913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16919/stat : 16919 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26628161536 11467 33554432000 4194304 4196468 140724803276976 139971627678736 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16920] ppid=16913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16920/stat : 16920 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26628161536 11467 33554432000 4194304 4196468 140724803276976 139971626626192 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16921] ppid=16913 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/16915/task/16921/stat : 16921 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26628161536 11467 33554432000 4194304 4196468 140724803276976 139971625572624 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16922] ppid=16913 vsize=26004064 memory=140463080305583 CPUtime=0 cores=0-7
/proc/16915/task/16922/stat : 16922 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26628161536 11467 33554432000 4194304 4196468 140724803276976 139971624520080 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16923] ppid=16913 vsize=26004064 memory=140463080307888 CPUtime=0 cores=0-7
/proc/16915/task/16923/stat : 16923 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26628161536 11467 33554432000 4194304 4196468 140724803276976 139971623467536 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16924] ppid=16913 vsize=26004064 memory=140463080310192 CPUtime=0 cores=0-7
/proc/16915/task/16924/stat : 16924 (java) S 16913 16913 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102875149 26628161536 11467 33554432000 4194304 4196468 140724803276976 139971622414992 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16925] ppid=16913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16925/stat : 16925 (java) S 16913 16913 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102875150 26628161536 11467 33554432000 4194304 4196468 140724803276976 139971579152880 139972071094914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16926] ppid=16913 vsize=26004064 memory=280926160627344 CPUtime=0 cores=0-7
/proc/16915/task/16926/stat : 16926 (java) S 16913 16913 15432 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102875151 26628161536 11467 33554432000 4194304 4196468 140724803276976 139971578099104 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16927] ppid=16913 vsize=26004064 memory=280926160634256 CPUtime=0 cores=0-7
/proc/16915/task/16927/stat : 16927 (java) S 16913 16913 15432 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102875151 26628161536 11467 33554432000 4194304 4196468 140724803276976 139971577046512 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16928] ppid=16913 vsize=26004064 memory=280926160575536 CPUtime=0 cores=0-7
/proc/16915/task/16928/stat : 16928 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875153 26628161536 11467 33554432000 4194304 4196468 140724803276976 139971575995088 139972071102363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16929] ppid=16913 vsize=26004064 memory=280926160648080 CPUtime=0.01 cores=0-7
/proc/16915/task/16929/stat : 16929 (java) S 16913 16913 15432 0 -1 1077944384 444 0 0 0 1 0 0 0 20 0 20 0 102875153 26628161536 11467 33554432000 4194304 4196468 140724803276976 139970272061424 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16930] ppid=16913 vsize=26004064 memory=280926160654992 CPUtime=0.02 cores=0-7
/proc/16915/task/16930/stat : 16930 (java) S 16913 16913 15432 0 -1 1077944384 48 0 0 0 2 0 0 0 20 0 20 0 102875153 26628161536 11467 33554432000 4194304 4196468 140724803276976 139970271008880 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16931] ppid=16913 vsize=26004064 memory=280926160652688 CPUtime=0.02 cores=0-7
/proc/16915/task/16931/stat : 16931 (java) S 16913 16913 15432 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 20 0 102875153 26628161536 11467 33554432000 4194304 4196468 140724803276976 139970269956336 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16932] ppid=16913 vsize=26004064 memory=280926160668848 CPUtime=0.13 cores=0-7
/proc/16915/task/16932/stat : 16932 (java) R 16913 16913 15432 0 -1 4202560 877 0 0 0 13 0 0 0 20 0 20 0 102875153 26628161536 11467 33554432000 4194304 4196468 140724803276976 139970268900160 139972049075091 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16933] ppid=16913 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16933/stat : 16933 (java) S 16913 16913 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102875154 26628161536 11467 33554432000 4194304 4196468 140724803276976 139970267851488 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16934] ppid=16913 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/16915/task/16934/stat : 16934 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875154 26628161536 11467 33554432000 4194304 4196468 140724803276976 139970266799024 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47248 KiB
[startup+0.70103 s]
/proc/loadavg: 7.22 8.13 8.25 6/200 16934
/proc/meminfo: memFree=31393120/32770624 swapFree=67108860/67108860
[pid=16913] ppid=16910 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16913/stat : 16913 (xcsp3-exec) S 16910 16913 15432 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102875147 9740288 345 33554432000 4194304 5098028 140730215398352 140730215396456 140554468274812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21643264 140730215404645 140730215404855 140730215404855 140730215407595 0
/proc/16913/statm: 2378 345 289 221 0 87 0
[pid=16915] ppid=16913 vsize=26004140 memory=111712 CPUtime=1.93 cores=0-7
/proc/16915/stat : 16915 (java) S 16913 16913 15432 0 -1 1077944320 13409 0 0 0 188 5 0 0 20 0 20 0 102875148 26628239360 27928 33554432000 4194304 4196468 140724803276976 140724803259520 139972071083767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
/proc/16915/statm: 6501035 27928 3198 1 0 6488269 0
[pid=16915/tid=16916] ppid=16913 vsize=26004140 memory=280926161026736 CPUtime=0.67 cores=0-7
/proc/16915/task/16916/stat : 16916 (java) R 16913 16913 15432 0 -1 4202560 6442 0 0 0 64 3 0 0 20 0 20 0 102875148 26628239360 27928 33554432000 4194304 4196468 140724803276976 139972075321200 139971662230287 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16917] ppid=16913 vsize=26004140 memory=140463080514416 CPUtime=0 cores=0-7
/proc/16915/task/16917/stat : 16917 (java) S 16913 16913 15432 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102875149 26628239360 27928 33554432000 4194304 4196468 140724803276976 139971978644240 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16918] ppid=16913 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16918/stat : 16918 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26628239360 27928 33554432000 4194304 4196468 140724803276976 139971628731280 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16919] ppid=16913 vsize=26004140 memory=5672 CPUtime=0 cores=0-7
/proc/16915/task/16919/stat : 16919 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875149 26628239360 27928 33554432000 4194304 4196468 140724803276976 139971627678736 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
################
# More data... #
################
/proc/16915/task/16933/stat : 16933 (java) S 16913 16913 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102875154 26630336512 410352 33554432000 4194304 4196468 140724803276976 139970267851488 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16934] ppid=16913 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/16915/task/16934/stat : 16934 (java) S 16913 16913 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102875154 26630336512 410352 33554432000 4194304 4196468 140724803276976 139970266799024 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
Current children cumulated CPU time: 19.42 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 1642788 KiB
[startup+8.00097 s]*
/proc/loadavg: 6.73 8.01 8.21 2/200 16934
/proc/meminfo: memFree=29727012/32770624 swapFree=67108860/67108860
[pid=16913] ppid=16910 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16913/stat : 16913 (xcsp3-exec) S 16910 16913 15432 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102875147 9740288 345 33554432000 4194304 5098028 140730215398352 140730215396456 140554468274812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21643264 140730215404645 140730215404855 140730215404855 140730215407595 0
/proc/16913/statm: 2378 345 289 221 0 87 0
[pid=16915] ppid=16913 vsize=26006188 memory=1755420 CPUtime=21.72 cores=0-7
/proc/16915/stat : 16915 (java) S 16913 16913 15432 0 -1 1077944320 28997 0 0 0 1958 214 0 0 20 0 20 0 102875148 26630336512 438855 33554432000 4194304 4196468 140724803276976 140724803259520 139972071083767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
/proc/16915/statm: 6501547 438855 3276 1 0 6488781 0
[pid=16915/tid=16916] ppid=16913 vsize=26006188 memory=6791534058613427641 CPUtime=6.85 cores=0-7
/proc/16915/task/16916/stat : 16916 (java) R 16913 16913 15432 0 -1 4202560 7851 0 0 0 668 17 0 0 20 0 20 0 102875148 26630336512 438855 33554432000 4194304 4196468 140724803276976 139972075320928 139971659913158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16917] ppid=16913 vsize=26006188 memory=4872558044660077418 CPUtime=0.93 cores=0-7
/proc/16915/task/16917/stat : 16917 (java) S 16913 16913 15432 0 -1 1077944384 491 0 0 0 71 22 0 0 20 0 20 0 102875149 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971978644240 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16918] ppid=16913 vsize=26006188 memory=6760 CPUtime=0.93 cores=0-7
/proc/16915/task/16918/stat : 16918 (java) S 16913 16913 15432 0 -1 1077944384 433 0 0 0 70 23 0 0 20 0 20 0 102875149 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971628731280 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16919] ppid=16913 vsize=26006188 memory=832 CPUtime=0.93 cores=0-7
/proc/16915/task/16919/stat : 16919 (java) S 16913 16913 15432 0 -1 1077944384 413 0 0 0 70 23 0 0 20 0 20 0 102875149 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971627678736 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16920] ppid=16913 vsize=26006188 memory=1692 CPUtime=0.93 cores=0-7
/proc/16915/task/16920/stat : 16920 (java) S 16913 16913 15432 0 -1 1077944384 469 0 0 0 70 23 0 0 20 0 20 0 102875149 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971626626192 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16921] ppid=16913 vsize=26006188 memory=916 CPUtime=0.94 cores=0-7
/proc/16915/task/16921/stat : 16921 (java) S 16913 16913 15432 0 -1 1077944384 540 0 0 0 71 23 0 0 20 0 20 0 102875149 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971625572624 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16922] ppid=16913 vsize=26006188 memory=5612 CPUtime=0.95 cores=0-7
/proc/16915/task/16922/stat : 16922 (java) S 16913 16913 15432 0 -1 1077944384 484 0 0 0 71 24 0 0 20 0 20 0 102875149 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971624520080 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16923] ppid=16913 vsize=26006188 memory=4104 CPUtime=0.93 cores=0-7
/proc/16915/task/16923/stat : 16923 (java) S 16913 16913 15432 0 -1 1077944384 526 0 0 0 69 24 0 0 20 0 20 0 102875149 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971623467536 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16924] ppid=16913 vsize=26006188 memory=1152 CPUtime=0.92 cores=0-7
/proc/16915/task/16924/stat : 16924 (java) S 16913 16913 15432 0 -1 1077944384 458 0 0 0 70 22 0 0 20 0 20 0 102875149 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971622414992 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16925] ppid=16913 vsize=26006188 memory=2632 CPUtime=0.07 cores=0-7
/proc/16915/task/16925/stat : 16925 (java) S 16913 16913 15432 0 -1 1077944384 1311 0 0 0 7 0 0 0 20 0 20 0 102875150 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971579152880 139972071094914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16926] ppid=16913 vsize=26006188 memory=1380 CPUtime=0 cores=0-7
/proc/16915/task/16926/stat : 16926 (java) S 16913 16913 15432 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102875151 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971578099168 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16927] ppid=16913 vsize=26006188 memory=1643456 CPUtime=0 cores=0-7
/proc/16915/task/16927/stat : 16927 (java) S 16913 16913 15432 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 102875151 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971577046528 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16928] ppid=16913 vsize=26006188 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/16915/task/16928/stat : 16928 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875153 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971575995088 139972071102363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16929] ppid=16913 vsize=26006188 memory=4872558044660077418 CPUtime=2.19 cores=0-7
/proc/16915/task/16929/stat : 16929 (java) S 16913 16913 15432 0 -1 1077944384 4901 0 0 0 218 1 0 0 20 0 20 0 102875153 26630336512 438855 33554432000 4194304 4196468 140724803276976 139970272061424 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16930] ppid=16913 vsize=26006188 memory=542692 CPUtime=2.12 cores=0-7
/proc/16915/task/16930/stat : 16930 (java) S 16913 16913 15432 0 -1 1077944384 3052 0 0 0 212 0 0 0 20 0 20 0 102875153 26630336512 438855 33554432000 4194304 4196468 140724803276976 139970271008880 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16931] ppid=16913 vsize=26006188 memory=6944656591801717918 CPUtime=2.12 cores=0-7
/proc/16915/task/16931/stat : 16931 (java) S 16913 16913 15432 0 -1 1077944384 3799 0 0 0 211 1 0 0 20 0 20 0 102875153 26630336512 438855 33554432000 4194304 4196468 140724803276976 139970269956336 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16932] ppid=16913 vsize=26006188 memory=-7384994778349281184 CPUtime=0.77 cores=0-7
/proc/16915/task/16932/stat : 16932 (java) S 16913 16913 15432 0 -1 1077944384 2968 0 0 0 76 1 0 0 20 0 20 0 102875153 26630336512 438855 33554432000 4194304 4196468 140724803276976 139970268903792 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16933] ppid=16913 vsize=26006188 memory=-7522837415797432224 CPUtime=0 cores=0-7
/proc/16915/task/16933/stat : 16933 (java) S 16913 16913 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102875154 26630336512 438855 33554432000 4194304 4196468 140724803276976 139970267851488 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16934] ppid=16913 vsize=26006188 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/16915/task/16934/stat : 16934 (java) S 16913 16913 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102875154 26630336512 438855 33554432000 4194304 4196468 140724803276976 139970266799024 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
Current children cumulated CPU time: 21.72 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 1756800 KiB
[startup+8.40098 s]
/proc/loadavg: 6.73 8.01 8.21 2/200 16934
/proc/meminfo: memFree=29727012/32770624 swapFree=67108860/67108860
[pid=16913] ppid=16910 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16913/stat : 16913 (xcsp3-exec) S 16910 16913 15432 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102875147 9740288 345 33554432000 4194304 5098028 140730215398352 140730215396456 140554468274812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21643264 140730215404645 140730215404855 140730215404855 140730215407595 0
/proc/16913/statm: 2378 345 289 221 0 87 0
[pid=16915] ppid=16913 vsize=26006188 memory=1755420 CPUtime=22.11 cores=0-7
/proc/16915/stat : 16915 (java) S 16913 16913 15432 0 -1 1077944320 29095 0 0 0 1997 214 0 0 20 0 20 0 102875148 26630336512 438855 33554432000 4194304 4196468 140724803276976 140724803259520 139972071083767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
/proc/16915/statm: 6501547 438855 3276 1 0 6488781 0
[pid=16915/tid=16916] ppid=16913 vsize=26006188 memory=-7737621075815351712 CPUtime=7.24 cores=0-7
/proc/16915/task/16916/stat : 16916 (java) R 16913 16913 15432 0 -1 4202560 7948 0 0 0 707 17 0 0 20 0 20 0 102875148 26630336512 438855 33554432000 4194304 4196468 140724803276976 139972075322048 139971660041896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16917] ppid=16913 vsize=26006188 memory=7379241883359864663 CPUtime=0.93 cores=0-7
/proc/16915/task/16917/stat : 16917 (java) S 16913 16913 15432 0 -1 1077944384 491 0 0 0 71 22 0 0 20 0 20 0 102875149 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971978644240 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16918] ppid=16913 vsize=26006188 memory=6791534058613427641 CPUtime=0.93 cores=0-7
/proc/16915/task/16918/stat : 16918 (java) S 16913 16913 15432 0 -1 1077944384 433 0 0 0 70 23 0 0 20 0 20 0 102875149 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971628731280 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16919] ppid=16913 vsize=26006188 memory=7373072515228987496 CPUtime=0.93 cores=0-7
/proc/16915/task/16919/stat : 16919 (java) S 16913 16913 15432 0 -1 1077944384 413 0 0 0 70 23 0 0 20 0 20 0 102875149 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971627678736 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16920] ppid=16913 vsize=26006188 memory=0 CPUtime=0.93 cores=0-7
/proc/16915/task/16920/stat : 16920 (java) S 16913 16913 15432 0 -1 1077944384 469 0 0 0 70 23 0 0 20 0 20 0 102875149 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971626626192 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16921] ppid=16913 vsize=26006188 memory=0 CPUtime=0.94 cores=0-7
/proc/16915/task/16921/stat : 16921 (java) S 16913 16913 15432 0 -1 1077944384 540 0 0 0 71 23 0 0 20 0 20 0 102875149 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971625572624 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16922] ppid=16913 vsize=26006188 memory=0 CPUtime=0.95 cores=0-7
/proc/16915/task/16922/stat : 16922 (java) S 16913 16913 15432 0 -1 1077944384 484 0 0 0 71 24 0 0 20 0 20 0 102875149 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971624520080 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16923] ppid=16913 vsize=26006188 memory=648 CPUtime=0.93 cores=0-7
/proc/16915/task/16923/stat : 16923 (java) S 16913 16913 15432 0 -1 1077944384 526 0 0 0 69 24 0 0 20 0 20 0 102875149 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971623467536 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16924] ppid=16913 vsize=26006188 memory=1796 CPUtime=0.92 cores=0-7
/proc/16915/task/16924/stat : 16924 (java) S 16913 16913 15432 0 -1 1077944384 458 0 0 0 70 22 0 0 20 0 20 0 102875149 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971622414992 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16925] ppid=16913 vsize=26006188 memory=956 CPUtime=0.07 cores=0-7
/proc/16915/task/16925/stat : 16925 (java) S 16913 16913 15432 0 -1 1077944384 1314 0 0 0 7 0 0 0 20 0 20 0 102875150 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971579152880 139972071094914 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16926] ppid=16913 vsize=26006188 memory=2344 CPUtime=0 cores=0-7
/proc/16915/task/16926/stat : 16926 (java) S 16913 16913 15432 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102875151 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971578099168 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16927] ppid=16913 vsize=26006188 memory=928 CPUtime=0 cores=0-7
/proc/16915/task/16927/stat : 16927 (java) S 16913 16913 15432 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 102875151 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971577046528 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16928] ppid=16913 vsize=26006188 memory=1576 CPUtime=0 cores=0-7
/proc/16915/task/16928/stat : 16928 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102875153 26630336512 438855 33554432000 4194304 4196468 140724803276976 139971575995088 139972071102363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16929] ppid=16913 vsize=26006188 memory=2236 CPUtime=2.19 cores=0-7
/proc/16915/task/16929/stat : 16929 (java) S 16913 16913 15432 0 -1 1077944384 4901 0 0 0 218 1 0 0 20 0 20 0 102875153 26630336512 438855 33554432000 4194304 4196468 140724803276976 139970272061424 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16930] ppid=16913 vsize=26006188 memory=4316 CPUtime=2.12 cores=0-7
/proc/16915/task/16930/stat : 16930 (java) S 16913 16913 15432 0 -1 1077944384 3052 0 0 0 212 0 0 0 20 0 20 0 102875153 26630336512 438855 33554432000 4194304 4196468 140724803276976 139970271008880 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16931] ppid=16913 vsize=26006188 memory=2196 CPUtime=2.12 cores=0-7
/proc/16915/task/16931/stat : 16931 (java) S 16913 16913 15432 0 -1 1077944384 3799 0 0 0 211 1 0 0 20 0 20 0 102875153 26630336512 438855 33554432000 4194304 4196468 140724803276976 139970269956336 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16932] ppid=16913 vsize=26006188 memory=11000 CPUtime=0.77 cores=0-7
/proc/16915/task/16932/stat : 16932 (java) R 16913 16913 15432 0 -1 4202560 2970 0 0 0 76 1 0 0 20 0 20 0 102875153 26630336512 438855 33554432000 4194304 4196468 140724803276976 139970268903792 139972054259368 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16933] ppid=16913 vsize=26006188 memory=1224 CPUtime=0 cores=0-7
/proc/16915/task/16933/stat : 16933 (java) S 16913 16913 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102875154 26630336512 438855 33554432000 4194304 4196468 140724803276976 139970267851488 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16934] ppid=16913 vsize=26006188 memory=5672 CPUtime=0 cores=0-7
/proc/16915/task/16934/stat : 16934 (java) S 16913 16913 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102875154 26630336512 438855 33554432000 4194304 4196468 140724803276976 139970266799024 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
Current children cumulated CPU time: 22.11 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 1756800 KiB
[startup+8.80121 s]
/proc/loadavg: 6.73 8.01 8.21 2/200 16934
/proc/meminfo: memFree=29727012/32770624 swapFree=67108860/67108860
[pid=16913] ppid=16910 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/16913/stat : 16913 (xcsp3-exec) S 16910 16913 15432 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 102875147 9740288 345 33554432000 4194304 5098028 140730215398352 140730215396456 140554468274812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21643264 140730215404645 140730215404855 140730215404855 140730215407595 0
/proc/16913/statm: 2378 345 289 221 0 87 0
[pid=16915] ppid=16913 vsize=26538700 memory=1755988 CPUtime=24.72 cores=0-7
/proc/16915/stat : 16915 (java) S 16913 16913 15432 0 -1 1077944320 31291 0 0 0 2254 218 0 0 20 0 28 0 102875148 27175628800 438997 33554432000 4194304 4196468 140724803276976 140724803259520 139972071083767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
/proc/16915/statm: 6634675 438997 3277 1 0 6621909 0
[pid=16915/tid=16916] ppid=16913 vsize=26538700 memory=0 CPUtime=7.32 cores=0-7
/proc/16915/task/16916/stat : 16916 (java) S 16913 16913 15432 0 -1 1077944384 8151 0 0 0 713 19 0 0 20 0 28 0 102875148 27175628800 438997 33554432000 4194304 4196468 140724803276976 139972075324544 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16917] ppid=16913 vsize=26538700 memory=6791534058613427641 CPUtime=0.93 cores=0-7
/proc/16915/task/16917/stat : 16917 (java) S 16913 16913 15432 0 -1 1077944384 491 0 0 0 71 22 0 0 20 0 28 0 102875149 27175628800 438997 33554432000 4194304 4196468 140724803276976 139971978644240 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16918] ppid=16913 vsize=26538700 memory=0 CPUtime=0.93 cores=0-7
/proc/16915/task/16918/stat : 16918 (java) S 16913 16913 15432 0 -1 1077944384 433 0 0 0 70 23 0 0 20 0 28 0 102875149 27175628800 438997 33554432000 4194304 4196468 140724803276976 139971628731280 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16919] ppid=16913 vsize=26538700 memory=0 CPUtime=0.93 cores=0-7
/proc/16915/task/16919/stat : 16919 (java) S 16913 16913 15432 0 -1 1077944384 413 0 0 0 70 23 0 0 20 0 28 0 102875149 27175628800 438997 33554432000 4194304 4196468 140724803276976 139971627678736 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16920] ppid=16913 vsize=26538700 memory=0 CPUtime=0.93 cores=0-7
/proc/16915/task/16920/stat : 16920 (java) S 16913 16913 15432 0 -1 1077944384 469 0 0 0 70 23 0 0 20 0 28 0 102875149 27175628800 438997 33554432000 4194304 4196468 140724803276976 139971626626192 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16921] ppid=16913 vsize=26538700 memory=0 CPUtime=0.94 cores=0-7
/proc/16915/task/16921/stat : 16921 (java) S 16913 16913 15432 0 -1 1077944384 540 0 0 0 71 23 0 0 20 0 28 0 102875149 27175628800 438997 33554432000 4194304 4196468 140724803276976 139971625572624 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16922] ppid=16913 vsize=26538700 memory=0 CPUtime=0.95 cores=0-7
/proc/16915/task/16922/stat : 16922 (java) S 16913 16913 15432 0 -1 1077944384 484 0 0 0 71 24 0 0 20 0 28 0 102875149 27175628800 438997 33554432000 4194304 4196468 140724803276976 139971624520080 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16923] ppid=16913 vsize=26538700 memory=280926161033728 CPUtime=0.93 cores=0-7
/proc/16915/task/16923/stat : 16923 (java) S 16913 16913 15432 0 -1 1077944384 526 0 0 0 69 24 0 0 20 0 28 0 102875149 27175628800 438997 33554432000 4194304 4196468 140724803276976 139971623467536 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16924] ppid=16913 vsize=26538700 memory=1380 CPUtime=0.92 cores=0-7
/proc/16915/task/16924/stat : 16924 (java) S 16913 16913 15432 0 -1 1077944384 458 0 0 0 70 22 0 0 20 0 28 0 102875149 27175628800 438997 33554432000 4194304 4196468 140724803276976 139971622414992 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16925] ppid=16913 vsize=26538700 memory=1755420 CPUtime=0.07 cores=0-7
/proc/16915/task/16925/stat : 16925 (java) S 16913 16913 15432 0 -1 1077944384 1321 0 0 0 7 0 0 0 20 0 28 0 102875150 27175628800 438997 33554432000 4194304 4196468 140724803276976 139971579152880 139972071094914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16926] ppid=16913 vsize=26538700 memory=2404 CPUtime=0 cores=0-7
/proc/16915/task/16926/stat : 16926 (java) S 16913 16913 15432 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 102875151 27175628800 438997 33554432000 4194304 4196468 140724803276976 139971578099168 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16927] ppid=16913 vsize=26538700 memory=1732 CPUtime=0 cores=0-7
/proc/16915/task/16927/stat : 16927 (java) S 16913 16913 15432 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 102875151 27175628800 438997 33554432000 4194304 4196468 140724803276976 139971577046528 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16928] ppid=16913 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/16915/task/16928/stat : 16928 (java) S 16913 16913 15432 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102875153 27175628800 438997 33554432000 4194304 4196468 140724803276976 139971575995088 139972071102363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16929] ppid=16913 vsize=26538700 memory=1004 CPUtime=2.33 cores=0-7
/proc/16915/task/16929/stat : 16929 (java) R 16913 16913 15432 0 -1 4202560 4969 0 0 0 232 1 0 0 20 0 28 0 102875153 27175628800 438997 33554432000 4194304 4196468 140724803276976 139970272048864 139972071105114 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16930] ppid=16913 vsize=26538700 memory=1380 CPUtime=2.31 cores=0-7
/proc/16915/task/16930/stat : 16930 (java) R 16913 16913 15432 0 -1 4202560 3924 0 0 0 230 1 0 0 20 0 28 0 102875153 27175628800 438997 33554432000 4194304 4196468 140724803276976 139970270995728 139972055993708 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16931] ppid=16913 vsize=26538700 memory=1609276 CPUtime=2.28 cores=0-7
/proc/16915/task/16931/stat : 16931 (java) R 16913 16913 15432 0 -1 4202560 3835 0 0 0 227 1 0 0 20 0 28 0 102875153 27175628800 438997 33554432000 4194304 4196468 140724803276976 139970269943888 139972071097649 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16932] ppid=16913 vsize=26538700 memory=6791534058613427641 CPUtime=0.87 cores=0-7
/proc/16915/task/16932/stat : 16932 (java) R 16913 16913 15432 0 -1 1077944384 3641 0 0 0 85 2 0 0 20 0 28 0 102875153 27175628800 438997 33554432000 4194304 4196468 140724803276976 139970268901584 139972071093973 0 4 0 16800975 0 0 0 -1 3 0 0 13 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16933] ppid=16913 vsize=26538700 memory=-7384474665255210089 CPUtime=0 cores=0-7
/proc/16915/task/16933/stat : 16933 (java) S 16913 16913 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102875154 27175628800 438997 33554432000 4194304 4196468 140724803276976 139970267851488 139972071093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
[pid=16915/tid=16934] ppid=16913 vsize=26538700 memory=280926161029232 CPUtime=0 cores=0-7
/proc/16915/task/16934/stat : 16934 (java) S 16913 16913 15432 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102875154 27175628800 438997 33554432000 4194304 4196468 140724803276976 139970266799024 139972071094914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 8642560 140724803282066 140724803282243 140724803282243 140724803284943 0
Current children cumulated CPU time: 24.72 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1757368 KiB
Child status: 0
Real time (s): 8.8655
CPU time (s): 25.0423
CPU user time (s): 22.8414
CPU system time (s): 2.20082
CPU usage (%): 282.469
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1757368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.8414
system time used= 2.20082
maximum resident set size= 1757160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31846
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= 4271
involuntary context switches= 214
# summary of solver processes directly reported to runsolver:
# pid: 16913
# total CPU time (s): 25.0423
# total CPU user time (s): 22.8414
# total CPU system time (s): 2.20082
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.08013 second user time and 0.138119 second system time
The end
Begin job on node102 at 2017-08-14 09:50:10 IDJOB=4271248 IDBENCH=123430 IDSOLVER=2662 FILE ID=node102/4271248-1502697868 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-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-4271248-1502697868/watcher-4271248-1502697868 -o /tmp/evaluation-result-4271248-1502697868/solver-4271248-1502697868 -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 974123599 HOME/instance-4271248-1502697868.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8fc892d8cd45aeefd26f51f7c42b85f4 RANDOM SEED=974123599 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: 31470404 kB MemAvailable: 31981944 kB Buffers: 143064 kB Cached: 651524 kB SwapCached: 0 kB Active: 655656 kB Inactive: 193084 kB Active(anon): 6396 kB Inactive(anon): 75340 kB Active(file): 649260 kB Inactive(file): 117744 kB Unevictable: 6444 kB Mlocked: 6444 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 12044 kB Writeback: 0 kB AnonPages: 55736 kB Mapped: 44340 kB Shmem: 25228 kB Slab: 147532 kB SReclaimable: 120744 kB SUnreclaim: 26788 kB KernelStack: 3536 kB PageTables: 5076 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:50:19