| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-06-14 | ? | 1841.18 | 583.73 |
| Name | Fapp/Fapp-ext/ Fapp-ext-05-0350_c18.xml |
| MD5SUM | 51b7f32ab0afbf3da7a228f765e579fa |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 521763705 |
| Best CPU time to get the best result obtained on this benchmark | 2520.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 7232 |
| Number of constraints | 4665 |
| Number of domains | 18 |
| Minimum domain size | 1 |
| Maximum domain size | 135 |
| Distribution of domain sizes | [{"size":1,"count":3},{"size":2,"count":2524},{"size":11,"count":2177},{"size":12,"count":1},{"size":25,"count":55},{"size":33,"count":45},{"size":44,"count":26},{"size":48,"count":22},{"size":51,"count":17},{"size":55,"count":31},{"size":91,"count":204},{"size":102,"count":203},{"size":106,"count":126},{"size":135,"count":1798}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2178 |
| Distribution of variable degrees | [{"degree":2,"count":6532},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":11},{"degree":6,"count":11},{"degree":7,"count":19},{"degree":8,"count":26},{"degree":9,"count":28},{"degree":10,"count":31},{"degree":11,"count":40},{"degree":12,"count":48},{"degree":13,"count":50},{"degree":14,"count":80},{"degree":15,"count":109},{"degree":16,"count":148},{"degree":17,"count":81},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":21,"count":1},{"degree":2178,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":311},{"arity":3,"count":2177},{"arity":6,"count":2177}] |
| Number of extensional constraints | 4665 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":4665}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393387-1568355324.xml" -tl '2520s' -p 4 0.12/0.20 c Choco e747e1e 0.12/0.20 c [HOME/instance-4393387-1568355324.xml, -tl, 2520s, -p, 4] 0.33/0.24 c 4 solvers in parallel 0.33/0.31 c parse instance... 1800.35/572.69 Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded 1841.03/583.67 at java.lang.Integer.valueOf(Integer.java:832) 1841.03/583.67 at org.xcsp.parser.loaders.CtrLoaderInteger.lambda$trIntegers2D$5(CtrLoaderInteger.java:117) 1841.03/583.67 at org.xcsp.parser.loaders.CtrLoaderInteger$$Lambda$85/943659381.apply(Unknown Source) 1841.03/583.67 at org.xcsp.parser.loaders.CtrLoaderInteger.lambda$null$1(CtrLoaderInteger.java:98) 1841.03/583.67 at org.xcsp.parser.loaders.CtrLoaderInteger$$Lambda$88/995531141.applyAsInt(Unknown Source) 1841.03/583.67 at java.util.stream.IntPipeline$3$1.accept(IntPipeline.java:233) 1841.03/583.67 at java.util.stream.Streams$RangeIntSpliterator.forEachRemaining(Streams.java:110) 1841.03/583.67 at java.util.Spliterator$OfInt.forEachRemaining(Spliterator.java:693) 1841.03/583.67 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 1841.03/583.67 at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:471) 1841.03/583.67 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:545) 1841.03/583.67 at java.util.stream.AbstractPipeline.evaluateToArrayNode(AbstractPipeline.java:260) 1841.03/583.67 at java.util.stream.IntPipeline.toArray(IntPipeline.java:502) 1841.03/583.67 at org.xcsp.parser.loaders.CtrLoaderInteger.lambda$build$2(CtrLoaderInteger.java:98) 1841.03/583.67 at org.xcsp.parser.loaders.CtrLoaderInteger$$Lambda$86/1939869193.apply(Unknown Source) 1841.03/583.67 at java.util.stream.IntPipeline$4$1.accept(IntPipeline.java:250) 1841.03/583.67 at java.util.stream.Streams$RangeIntSpliterator.forEachRemaining(Streams.java:110) 1841.03/583.67 at java.util.Spliterator$OfInt.forEachRemaining(Spliterator.java:693) 1841.03/583.67 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 1841.03/583.67 at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:471) 1841.03/583.67 at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:545) 1841.03/583.67 at java.util.stream.AbstractPipeline.evaluateToArrayNode(AbstractPipeline.java:260) 1841.03/583.67 at java.util.stream.ReferencePipeline.toArray(ReferencePipeline.java:438) 1841.03/583.67 at org.xcsp.parser.loaders.CtrLoaderInteger.build(CtrLoaderInteger.java:98) 1841.03/583.67 at org.xcsp.parser.loaders.CtrLoaderInteger.trIntegers2D(CtrLoaderInteger.java:117) 1841.03/583.67 at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:301) 1841.03/583.67 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:167) 1841.03/583.67 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 1841.03/583.67 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:429) 1841.03/583.67 at org.xcsp.parser.XCallbacks.loadBlock(XCallbacks.java:448) 1841.03/583.67 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:420) 1841.03/583.67 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 1841.03/583.67 s UNKNOWN 1841.03/583.67 c Unexpected resolution interruption!
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16375 MiB (12963 MiB free)
memory of node 1: 16384 MiB (5407 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393387-1568355324/watcher-4393387-1568355324 -o /tmp/evaluation-result-4393387-1568355324/solver-4393387-1568355324 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323867655-28199 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 340955577 HOME/instance-4393387-1568355324.xml
running on 4 cores: 0-3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30155, runsolver pid=30152
[startup+0.100058 s]*
/proc/loadavg: 5.62 7.32 7.22 4/233 30171
/proc/meminfo: memFree=18800428/32770688 swapFree=66919992/67108860
[pid=30155] ppid=30152 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/30155/stat : 30155 (xcsp3-exec) S 30152 30155 28168 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411539062 115843072 362 33554432000 4194304 5098028 140734938790816 140734938788920 140706458067580 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22220800 140734938792827 140734938793069 140734938793069 140734938795978 0
/proc/30155/statm: 28282 362 304 221 0 87 0
[pid=30157] ppid=30155 vsize=15144768 memory=29108 CPUtime=0.12 cores=0-3
/proc/30157/stat : 30157 (java) S 30155 30155 28168 0 -1 1077944320 5724 0 0 0 11 1 0 0 20 0 15 0 411539063 15508242432 7277 33554432000 4194304 4196468 140721525636128 140721525618672 140297020608247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
/proc/30157/statm: 3786192 7277 3118 1 0 3748377 0
[pid=30157/tid=30158] ppid=30155 vsize=15144768 memory=-6962121287837372198 CPUtime=0.08 cores=0-3
/proc/30157/task/30158/stat : 30158 (java) R 30155 30155 28168 0 -1 4202560 3650 0 0 0 8 0 0 0 20 0 15 0 411539063 15508242432 7277 33554432000 4194304 4196468 140721525636128 140297024837664 140296658309821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30159] ppid=30155 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0-3
/proc/30157/task/30159/stat : 30159 (java) S 30155 30155 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411539064 15508242432 7277 33554432000 4194304 4196468 140721525636128 140296613374480 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30160] ppid=30155 vsize=15144768 memory=140593040197248 CPUtime=0 cores=0-3
/proc/30157/task/30160/stat : 30160 (java) S 30155 30155 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411539064 15508242432 7277 33554432000 4194304 4196468 140721525636128 140296612321936 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30161] ppid=30155 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/30157/task/30161/stat : 30161 (java) S 30155 30155 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411539064 15508242432 7277 33554432000 4194304 4196468 140721525636128 140296611268880 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30162] ppid=30155 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/30157/task/30162/stat : 30162 (java) S 30155 30155 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411539064 15508242432 7277 33554432000 4194304 4196468 140721525636128 140296610216336 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30163] ppid=30155 vsize=15144768 memory=140593040197248 CPUtime=0 cores=0-3
/proc/30157/task/30163/stat : 30163 (java) S 30155 30155 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411539065 15508242432 7277 33554432000 4194304 4196468 140721525636128 140295894670064 140297020619394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30164] ppid=30155 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/30157/task/30164/stat : 30164 (java) S 30155 30155 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411539066 15508242432 7277 33554432000 4194304 4196468 140721525636128 140295893616288 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30165] ppid=30155 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/30157/task/30165/stat : 30165 (java) S 30155 30155 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411539066 15508242432 7277 33554432000 4194304 4196468 140721525636128 140295892563184 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30166] ppid=30155 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/30157/task/30166/stat : 30166 (java) S 30155 30155 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411539069 15508242432 7277 33554432000 4194304 4196468 140721525636128 140295891511760 140297020626843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30167] ppid=30155 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/30157/task/30167/stat : 30167 (java) S 30155 30155 28168 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 411539069 15508242432 7277 33554432000 4194304 4196468 140721525636128 140295890458864 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30168] ppid=30155 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/30157/task/30168/stat : 30168 (java) S 30155 30155 28168 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 411539069 15508242432 7277 33554432000 4194304 4196468 140721525636128 140295889406320 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30169] ppid=30155 vsize=15144768 memory=140593040197248 CPUtime=0.01 cores=0-3
/proc/30157/task/30169/stat : 30169 (java) S 30155 30155 28168 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 15 0 411539069 15508242432 7277 33554432000 4194304 4196468 140721525636128 140295888353264 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30170] ppid=30155 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/30157/task/30170/stat : 30170 (java) S 30155 30155 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411539069 15508242432 7277 33554432000 4194304 4196468 140721525636128 140295887300960 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30171] ppid=30155 vsize=15144768 memory=140593040197248 CPUtime=0 cores=0-3
/proc/30157/task/30171/stat : 30171 (java) S 30155 30155 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411539069 15508242432 7277 33554432000 4194304 4196468 140721525636128 140295886249008 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30556 KiB
[startup+0.211549 s]*
/proc/loadavg: 5.62 7.32 7.22 4/233 30171
/proc/meminfo: memFree=18783584/32770688 swapFree=66919992/67108860
[pid=30155] ppid=30152 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/30155/stat : 30155 (xcsp3-exec) S 30152 30155 28168 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411539062 115843072 362 33554432000 4194304 5098028 140734938790816 140734938788920 140706458067580 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22220800 140734938792827 140734938793069 140734938793069 140734938795978 0
/proc/30155/statm: 28282 362 304 221 0 87 0
[pid=30157] ppid=30155 vsize=15144768 memory=40932 CPUtime=0.33 cores=0-3
/proc/30157/stat : 30157 (java) S 30155 30155 28168 0 -1 1077944320 9454 0 0 0 30 3 0 0 20 0 15 0 411539063 15508242432 10233 33554432000 4194304 4196468 140721525636128 140721525618672 140297020608247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
/proc/30157/statm: 3786192 10233 3317 1 0 3748377 0
[pid=30157/tid=30158] ppid=30155 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0-3
/proc/30157/task/30158/stat : 30158 (java) R 30155 30155 28168 0 -1 4202560 6620 0 0 0 18 2 0 0 20 0 15 0 411539063 15508242432 10233 33554432000 4194304 4196468 140721525636128 140297024827584 140297020620182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30159] ppid=30155 vsize=15144768 memory=1915596 CPUtime=0 cores=0-3
/proc/30157/task/30159/stat : 30159 (java) S 30155 30155 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411539064 15508242432 10233 33554432000 4194304 4196468 140721525636128 140296613374480 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30160] ppid=30155 vsize=15144768 memory=140593043216432 CPUtime=0 cores=0-3
/proc/30157/task/30160/stat : 30160 (java) S 30155 30155 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411539064 15508242432 10233 33554432000 4194304 4196468 140721525636128 140296612321936 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30161] ppid=30155 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/30157/task/30161/stat : 30161 (java) S 30155 30155 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411539064 15508242432 10233 33554432000 4194304 4196468 140721525636128 140296611268880 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30162] ppid=30155 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/30157/task/30162/stat : 30162 (java) S 30155 30155 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411539064 15508242432 10233 33554432000 4194304 4196468 140721525636128 140296610216336 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30163] ppid=30155 vsize=15144768 memory=140593040197248 CPUtime=0 cores=0-3
/proc/30157/task/30163/stat : 30163 (java) S 30155 30155 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411539065 15508242432 10233 33554432000 4194304 4196468 140721525636128 140295894670064 140297020619394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30164] ppid=30155 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/30157/task/30164/stat : 30164 (java) S 30155 30155 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411539066 15508242432 10233 33554432000 4194304 4196468 140721525636128 140295893616288 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30165] ppid=30155 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/30157/task/30165/stat : 30165 (java) S 30155 30155 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411539066 15508242432 10233 33554432000 4194304 4196468 140721525636128 140295892563184 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30166] ppid=30155 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/30157/task/30166/stat : 30166 (java) S 30155 30155 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411539069 15508242432 10233 33554432000 4194304 4196468 140721525636128 140295891511760 140297020626843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30167] ppid=30155 vsize=15144768 memory=0 CPUtime=0.02 cores=0-3
/proc/30157/task/30167/stat : 30167 (java) S 30155 30155 28168 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 15 0 411539069 15508242432 10233 33554432000 4194304 4196468 140721525636128 140295890458864 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30168] ppid=30155 vsize=15144768 memory=-1 CPUtime=0.02 cores=0-3
/proc/30157/task/30168/stat : 30168 (java) S 30155 30155 28168 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 15 0 411539069 15508242432 10233 33554432000 4194304 4196468 140721525636128 140295889406320 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30169] ppid=30155 vsize=15144768 memory=140593040197248 CPUtime=0.07 cores=0-3
/proc/30157/task/30169/stat : 30169 (java) R 30155 30155 28168 0 -1 4202560 711 0 0 0 7 0 0 0 20 0 15 0 411539069 15508242432 10233 33554432000 4194304 4196468 140721525636128 140295888353264 140297020629594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30170] ppid=30155 vsize=15144768 memory=-1 CPUtime=0 cores=0-3
/proc/30157/task/30170/stat : 30170 (java) S 30155 30155 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411539069 15508242432 10233 33554432000 4194304 4196468 140721525636128 140295887300960 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30171] ppid=30155 vsize=15144768 memory=0 CPUtime=0 cores=0-3
/proc/30157/task/30171/stat : 30171 (java) S 30155 30155 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411539069 15508242432 10233 33554432000 4194304 4196468 140721525636128 140295886249008 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42380 KiB
[startup+0.312205 s]*
/proc/loadavg: 5.62 7.32 7.22 4/233 30171
/proc/meminfo: memFree=18783564/32770688 swapFree=66919992/67108860
[pid=30155] ppid=30152 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/30155/stat : 30155 (xcsp3-exec) S 30152 30155 28168 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411539062 115843072 362 33554432000 4194304 5098028 140734938790816 140734938788920 140706458067580 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22220800 140734938792827 140734938793069 140734938793069 140734938795978 0
/proc/30155/statm: 28282 362 304 221 0 87 0
[pid=30157] ppid=30155 vsize=15149024 memory=47128 CPUtime=0.52 cores=0-3
/proc/30157/stat : 30157 (java) S 30155 30155 28168 0 -1 1077944320 10542 0 0 0 48 4 0 0 20 0 15 0 411539063 15512600576 11782 33554432000 4194304 4196468 140721525636128 140721525618672 140297020608247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
/proc/30157/statm: 3787256 11782 3341 1 0 3748377 0
[pid=30157/tid=30158] ppid=30155 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=0-3
/proc/30157/task/30158/stat : 30158 (java) R 30155 30155 28168 0 -1 4202560 7609 0 0 0 27 3 0 0 20 0 15 0 411539063 15512600576 11782 33554432000 4194304 4196468 140721525636128 140297024838944 140297005978142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30159] ppid=30155 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=0-3
/proc/30157/task/30159/stat : 30159 (java) S 30155 30155 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411539064 15512600576 11782 33554432000 4194304 4196468 140721525636128 140296613374480 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30160] ppid=30155 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=0-3
/proc/30157/task/30160/stat : 30160 (java) S 30155 30155 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411539064 15512600576 11782 33554432000 4194304 4196468 140721525636128 140296612321936 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30161] ppid=30155 vsize=15149024 memory=7976406965554101975 CPUtime=0 cores=0-3
/proc/30157/task/30161/stat : 30161 (java) S 30155 30155 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411539064 15512600576 11782 33554432000 4194304 4196468 140721525636128 140296611268880 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30162] ppid=30155 vsize=15149024 memory=7161331908245094050 CPUtime=0 cores=0-3
/proc/30157/task/30162/stat : 30162 (java) S 30155 30155 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411539064 15512600576 11782 33554432000 4194304 4196468 140721525636128 140296610216336 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30163] ppid=30155 vsize=15149024 memory=6944656591801720471 CPUtime=0 cores=0-3
/proc/30157/task/30163/stat : 30163 (java) S 30155 30155 28168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411539065 15512600576 11782 33554432000 4194304 4196468 140721525636128 140295894670064 140297020619394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30164] ppid=30155 vsize=15149024 memory=-8458152057954561420 CPUtime=0 cores=0-3
/proc/30157/task/30164/stat : 30164 (java) S 30155 30155 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411539066 15512600576 11782 33554432000 4194304 4196468 140721525636128 140295893616288 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30165] ppid=30155 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0-3
/proc/30157/task/30165/stat : 30165 (java) S 30155 30155 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411539066 15512600576 11782 33554432000 4194304 4196468 140721525636128 140295892563184 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30166] ppid=30155 vsize=15149024 memory=7031125463459224206 CPUtime=0 cores=0-3
/proc/30157/task/30166/stat : 30166 (java) S 30155 30155 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411539069 15512600576 11782 33554432000 4194304 4196468 140721525636128 140295891511760 140297020626843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30167] ppid=30155 vsize=15149024 memory=4426078206164241782 CPUtime=0.03 cores=0-3
/proc/30157/task/30167/stat : 30167 (java) S 30155 30155 28168 0 -1 1077944384 423 0 0 0 3 0 0 0 20 0 15 0 411539069 15512600576 11782 33554432000 4194304 4196468 140721525636128 140295890458864 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30168] ppid=30155 vsize=15149024 memory=0 CPUtime=0.04 cores=0-3
/proc/30157/task/30168/stat : 30168 (java) S 30155 30155 28168 0 -1 1077944384 411 0 0 0 4 0 0 0 20 0 15 0 411539069 15512600576 11782 33554432000 4194304 4196468 140721525636128 140295889406320 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30169] ppid=30155 vsize=15149024 memory=0 CPUtime=0.12 cores=0-3
/proc/30157/task/30169/stat : 30169 (java) S 30155 30155 28168 0 -1 1077944384 792 0 0 0 12 0 0 0 20 0 15 0 411539069 15512600576 11782 33554432000 4194304 4196468 140721525636128 140295888353264 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30170] ppid=30155 vsize=15149024 memory=0 CPUtime=0 cores=0-3
/proc/30157/task/30170/stat : 30170 (java) S 30155 30155 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411539069 15512600576 11782 33554432000 4194304 4196468 140721525636128 140295887300960 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30171] ppid=30155 vsize=15149024 memory=0 CPUtime=0 cores=0-3
/proc/30157/task/30171/stat : 30171 (java) S 30155 30155 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411539069 15512600576 11782 33554432000 4194304 4196468 140721525636128 140295886249008 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 48576 KiB
[startup+0.701728 s]
/proc/loadavg: 5.62 7.32 7.22 4/233 30171
/proc/meminfo: memFree=18713360/32770688 swapFree=66919992/67108860
[pid=30155] ppid=30152 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/30155/stat : 30155 (xcsp3-exec) S 30152 30155 28168 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411539062 115843072 362 33554432000 4194304 5098028 140734938790816 140734938788920 140706458067580 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22220800 140734938792827 140734938793069 140734938793069 140734938795978 0
/proc/30155/statm: 28282 362 304 221 0 87 0
[pid=30157] ppid=30155 vsize=15149024 memory=298152 CPUtime=1.51 cores=0-3
/proc/30157/stat : 30157 (java) S 30155 30155 28168 0 -1 1077944320 14806 0 0 0 134 17 0 0 20 0 15 0 411539063 15512600576 74538 33554432000 4194304 4196468 140721525636128 140721525618672 140297020608247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
/proc/30157/statm: 3787256 74538 3415 1 0 3748377 0
[pid=30157/tid=30158] ppid=30155 vsize=15149024 memory=33 CPUtime=0.61 cores=0-3
/proc/30157/task/30158/stat : 30158 (java) R 30155 30155 28168 0 -1 4202560 8069 0 0 0 55 6 0 0 20 0 15 0 411539063 15512600576 74538 33554432000 4194304 4196468 140721525636128 140297024847376 140297020630173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30159] ppid=30155 vsize=15149024 memory=-7082918048272507482 CPUtime=0.02 cores=0-3
/proc/30157/task/30159/stat : 30159 (java) S 30155 30155 28168 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 15 0 411539064 15512600576 74538 33554432000 4194304 4196468 140721525636128 140296613374480 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30160] ppid=30155 vsize=15149024 memory=0 CPUtime=0.04 cores=0-3
/proc/30157/task/30160/stat : 30160 (java) S 30155 30155 28168 0 -1 1077944384 63 0 0 0 2 2 0 0 20 0 15 0 411539064 15512600576 74538 33554432000 4194304 4196468 140721525636128 140296612321936 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30161] ppid=30155 vsize=15149024 memory=45456 CPUtime=0.05 cores=0-3
/proc/30157/task/30161/stat : 30161 (java) S 30155 30155 28168 0 -1 1077944384 65 0 0 0 3 2 0 0 20 0 15 0 411539064 15512600576 74538 33554432000 4194304 4196468 140721525636128 140296611268880 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30162] ppid=30155 vsize=15149024 memory=984 CPUtime=0.02 cores=0-3
/proc/30157/task/30162/stat : 30162 (java) S 30155 30155 28168 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 15 0 411539064 15512600576 74538 33554432000 4194304 4196468 140721525636128 140296610216336 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30163] ppid=30155 vsize=15149024 memory=2020 CPUtime=0 cores=0-3
/proc/30157/task/30163/stat : 30163 (java) S 30155 30155 28168 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 411539065 15512600576 74538 33554432000 4194304 4196468 140721525636128 140295894670064 140297020619394 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30164] ppid=30155 vsize=15149024 memory=1432 CPUtime=0 cores=0-3
/proc/30157/task/30164/stat : 30164 (java) S 30155 30155 28168 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 411539066 15512600576 74538 33554432000 4194304 4196468 140721525636128 140295893616288 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30165] ppid=30155 vsize=15149024 memory=776 CPUtime=0 cores=0-3
/proc/30157/task/30165/stat : 30165 (java) S 30155 30155 28168 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 411539066 15512600576 74538 33554432000 4194304 4196468 140721525636128 140295892563184 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30166] ppid=30155 vsize=15149024 memory=660 CPUtime=0 cores=0-3
/proc/30157/task/30166/stat : 30166 (java) S 30155 30155 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411539069 15512600576 74538 33554432000 4194304 4196468 140721525636128 140295891511760 140297020626843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30167] ppid=30155 vsize=15149024 memory=1556 CPUtime=0.17 cores=0-3
/proc/30157/task/30167/stat : 30167 (java) R 30155 30155 28168 0 -1 4202560 1442 0 0 0 17 0 0 0 20 0 15 0 411539069 15512600576 74538 33554432000 4194304 4196468 140721525636128 140295890444888 140297002152828 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30168] ppid=30155 vsize=15149024 memory=9588 CPUtime=0.31 cores=0-3
/proc/30157/task/30168/stat : 30168 (java) R 30155 30155 28168 0 -1 4202560 2487 0 0 0 31 0 0 0 20 0 15 0 411539069 15512600576 74538 33554432000 4194304 4196468 140721525636128 140295889392344 140297005734269 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30169] ppid=30155 vsize=15149024 memory=1712 CPUtime=0.2 cores=0-3
/proc/30157/task/30169/stat : 30169 (java) S 30155 30155 28168 0 -1 1077944384 1225 0 0 0 20 0 0 0 20 0 15 0 411539069 15512600576 74538 33554432000 4194304 4196468 140721525636128 140295888353264 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30170] ppid=30155 vsize=15149024 memory=5972 CPUtime=0 cores=0-3
/proc/30157/task/30170/stat : 30170 (java) S 30155 30155 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411539069 15512600576 74538 33554432000 4194304 4196468 140721525636128 140295887300960 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30171] ppid=30155 vsize=15149024 memory=4164 CPUtime=0 cores=0-3
/proc/30157/task/30171/stat : 30171 (java) S 30155 30155 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411539069 15512600576 74538 33554432000 4194304 4196468 140721525636128 140295886249008 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 299600 KiB
[startup+1.50177 s]
/proc/loadavg: 5.62 7.32 7.22 3/233 30171
/proc/meminfo: memFree=18343808/32770688 swapFree=66919992/67108860
[pid=30155] ppid=30152 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/30155/stat : 30155 (xcsp3-exec) S 30152 30155 28168 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411539062 115843072 362 33554432000 4194304 5098028 140734938790816 140734938788920 140706458067580 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22220800 140734938792827 140734938793069 140734938793069 140734938795978 0
/proc/30155/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/30157/task/30164/stat : 30164 (java) S 30155 30155 28168 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 411539066 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295893616352 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30165] ppid=30155 vsize=15151148 memory=1448 CPUtime=0 cores=0-3
/proc/30157/task/30165/stat : 30165 (java) S 30155 30155 28168 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 411539066 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295892563200 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30166] ppid=30155 vsize=15151148 memory=12808252 CPUtime=0 cores=0-3
/proc/30157/task/30166/stat : 30166 (java) S 30155 30155 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295891511760 140297020626843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30167] ppid=30155 vsize=15151148 memory=12808248 CPUtime=3.18 cores=0-3
/proc/30157/task/30167/stat : 30167 (java) S 30155 30155 28168 0 -1 1077944384 14829 0 0 0 315 3 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295890458912 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30168] ppid=30155 vsize=15151148 memory=1448 CPUtime=3.13 cores=0-3
/proc/30157/task/30168/stat : 30168 (java) S 30155 30155 28168 0 -1 1077944384 11478 0 0 0 311 2 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295889406368 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30169] ppid=30155 vsize=15151148 memory=3624 CPUtime=0.73 cores=0-3
/proc/30157/task/30169/stat : 30169 (java) S 30155 30155 28168 0 -1 1077944384 6137 0 0 0 71 2 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295888353024 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30170] ppid=30155 vsize=15151148 memory=3624 CPUtime=0 cores=0-3
/proc/30157/task/30170/stat : 30170 (java) S 30155 30155 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295887300960 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30171] ppid=30155 vsize=15151148 memory=45484 CPUtime=0.35 cores=0-3
/proc/30157/task/30171/stat : 30171 (java) S 30155 30155 28168 0 -1 1077944384 983 0 0 0 17 18 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295886249008 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
Current children cumulated CPU time: 1838.05 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12809708 KiB
[startup+583.73 s]
# the end of solver process 30155 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1825.31 s, system=15.8676 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+582.401 s]
/proc/loadavg: 4.85 4.87 5.81 6/233 30223
/proc/meminfo: memFree=6038448/32770688 swapFree=66919992/67108860
[pid=30155] ppid=30152 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/30155/stat : 30155 (xcsp3-exec) S 30152 30155 28168 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411539062 115843072 362 33554432000 4194304 5098028 140734938790816 140734938788920 140706458067580 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22220800 140734938792827 140734938793069 140734938793069 140734938795978 0
/proc/30155/statm: 28282 362 304 221 0 87 0
[pid=30157] ppid=30155 vsize=15151148 memory=12808260 CPUtime=1838.44 cores=0-3
/proc/30157/stat : 30157 (java) S 30155 30155 28168 0 -1 1077944320 582469 0 0 0 182265 1579 0 0 20 0 15 0 411539063 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140721525618672 140297020608247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
/proc/30157/statm: 3787787 3202065 3517 1 0 3748889 0
[pid=30157/tid=30158] ppid=30155 vsize=15151148 memory=6791534058613427641 CPUtime=145.9 cores=0-3
/proc/30157/task/30158/stat : 30158 (java) S 30155 30155 28168 0 -1 1077944384 22951 0 0 0 14541 49 0 0 20 0 15 0 411539063 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140297024847472 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30159] ppid=30155 vsize=15151148 memory=2932 CPUtime=418.85 cores=0-3
/proc/30157/task/30159/stat : 30159 (java) R 30155 30155 28168 0 -1 4202560 113734 0 0 0 41520 365 0 0 20 0 15 0 411539064 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140296613374368 140297013707911 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30160] ppid=30155 vsize=15151148 memory=2892 CPUtime=417.81 cores=0-3
/proc/30157/task/30160/stat : 30160 (java) R 30155 30155 28168 0 -1 4202560 102365 0 0 0 41390 391 0 0 20 0 15 0 411539064 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140296612322056 140297013236455 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30161] ppid=30155 vsize=15151148 memory=1412 CPUtime=417.97 cores=0-3
/proc/30157/task/30161/stat : 30161 (java) R 30155 30155 28168 0 -1 4202560 102450 0 0 0 41419 378 0 0 20 0 15 0 411539064 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140296611268688 140297013236455 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30162] ppid=30155 vsize=15151148 memory=1448 CPUtime=420.2 cores=0-3
/proc/30157/task/30162/stat : 30162 (java) R 30155 30155 28168 0 -1 4202560 101503 0 0 0 41651 369 0 0 20 0 15 0 411539064 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140296610216144 140297013236455 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30163] ppid=30155 vsize=15151148 memory=1448 CPUtime=10.23 cores=0-3
/proc/30157/task/30163/stat : 30163 (java) S 30155 30155 28168 0 -1 1077944384 104682 0 0 0 1013 10 0 0 20 0 15 0 411539065 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295894668608 140297020618453 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30164] ppid=30155 vsize=15151148 memory=1448 CPUtime=0 cores=0-3
/proc/30157/task/30164/stat : 30164 (java) S 30155 30155 28168 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 411539066 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295893616352 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30165] ppid=30155 vsize=15151148 memory=1448 CPUtime=0 cores=0-3
/proc/30157/task/30165/stat : 30165 (java) S 30155 30155 28168 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 411539066 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295892563200 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30166] ppid=30155 vsize=15151148 memory=45484 CPUtime=0 cores=0-3
/proc/30157/task/30166/stat : 30166 (java) S 30155 30155 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295891511760 140297020626843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30167] ppid=30155 vsize=15151148 memory=984 CPUtime=3.18 cores=0-3
/proc/30157/task/30167/stat : 30167 (java) S 30155 30155 28168 0 -1 1077944384 14829 0 0 0 315 3 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295890458912 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30168] ppid=30155 vsize=15151148 memory=2020 CPUtime=3.13 cores=0-3
/proc/30157/task/30168/stat : 30168 (java) S 30155 30155 28168 0 -1 1077944384 11478 0 0 0 311 2 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295889406368 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30169] ppid=30155 vsize=15151148 memory=1432 CPUtime=0.73 cores=0-3
/proc/30157/task/30169/stat : 30169 (java) S 30155 30155 28168 0 -1 1077944384 6137 0 0 0 71 2 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295888353024 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30170] ppid=30155 vsize=15151148 memory=1712 CPUtime=0 cores=0-3
/proc/30157/task/30170/stat : 30170 (java) S 30155 30155 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295887300960 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30171] ppid=30155 vsize=15151148 memory=5972 CPUtime=0.35 cores=0-3
/proc/30157/task/30171/stat : 30171 (java) S 30155 30155 28168 0 -1 1077944384 983 0 0 0 17 18 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295886249008 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
Current children cumulated CPU time: 1838.44 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12809708 KiB
[startup+583.201 s]
/proc/loadavg: 4.94 4.89 5.81 3/233 30223
/proc/meminfo: memFree=6038572/32770688 swapFree=66919992/67108860
[pid=30155] ppid=30152 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/30155/stat : 30155 (xcsp3-exec) S 30152 30155 28168 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411539062 115843072 362 33554432000 4194304 5098028 140734938790816 140734938788920 140706458067580 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22220800 140734938792827 140734938793069 140734938793069 140734938795978 0
/proc/30155/statm: 28282 362 304 221 0 87 0
[pid=30157] ppid=30155 vsize=15151148 memory=12808260 CPUtime=1840.63 cores=0-3
/proc/30157/stat : 30157 (java) S 30155 30155 28168 0 -1 1077944320 582483 0 0 0 182483 1580 0 0 20 0 15 0 411539063 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140721525618672 140297020608247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
/proc/30157/statm: 3787787 3202065 3517 1 0 3748889 0
[pid=30157/tid=30158] ppid=30155 vsize=15151148 memory=3156 CPUtime=145.9 cores=0-3
/proc/30157/task/30158/stat : 30158 (java) S 30155 30155 28168 0 -1 1077944384 22951 0 0 0 14541 49 0 0 20 0 15 0 411539063 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140297024847472 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30159] ppid=30155 vsize=15151148 memory=164 CPUtime=419.33 cores=0-3
/proc/30157/task/30159/stat : 30159 (java) S 30155 30155 28168 0 -1 1077944384 113735 0 0 0 41568 365 0 0 20 0 15 0 411539064 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140296613374480 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30160] ppid=30155 vsize=15151148 memory=6791534058613427641 CPUtime=418.27 cores=0-3
/proc/30157/task/30160/stat : 30160 (java) S 30155 30155 28168 0 -1 1077944384 102371 0 0 0 41435 392 0 0 20 0 15 0 411539064 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140296612321936 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30161] ppid=30155 vsize=15151148 memory=12808260 CPUtime=418.43 cores=0-3
/proc/30157/task/30161/stat : 30161 (java) S 30155 30155 28168 0 -1 1077944384 102453 0 0 0 41465 378 0 0 20 0 15 0 411539064 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140296611268880 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30162] ppid=30155 vsize=15151148 memory=2120 CPUtime=420.66 cores=0-3
/proc/30157/task/30162/stat : 30162 (java) S 30155 30155 28168 0 -1 1077944384 101505 0 0 0 41697 369 0 0 20 0 15 0 411539064 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140296610216336 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30163] ppid=30155 vsize=15151148 memory=496 CPUtime=10.55 cores=0-3
/proc/30157/task/30163/stat : 30163 (java) R 30155 30155 28168 0 -1 4202560 104682 0 0 0 1045 10 0 0 20 0 15 0 411539065 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295894668496 140297005308851 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30164] ppid=30155 vsize=15151148 memory=6791534058613427641 CPUtime=0 cores=0-3
/proc/30157/task/30164/stat : 30164 (java) S 30155 30155 28168 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 411539066 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295893616352 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30165] ppid=30155 vsize=15151148 memory=1176 CPUtime=0 cores=0-3
/proc/30157/task/30165/stat : 30165 (java) S 30155 30155 28168 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 411539066 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295892563200 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30166] ppid=30155 vsize=15151148 memory=980 CPUtime=0 cores=0-3
/proc/30157/task/30166/stat : 30166 (java) S 30155 30155 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295891511760 140297020626843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30167] ppid=30155 vsize=15151148 memory=14008 CPUtime=3.18 cores=0-3
/proc/30157/task/30167/stat : 30167 (java) S 30155 30155 28168 0 -1 1077944384 14829 0 0 0 315 3 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295890458912 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30168] ppid=30155 vsize=15151148 memory=45484 CPUtime=3.13 cores=0-3
/proc/30157/task/30168/stat : 30168 (java) S 30155 30155 28168 0 -1 1077944384 11478 0 0 0 311 2 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295889406368 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30169] ppid=30155 vsize=15151148 memory=984 CPUtime=0.73 cores=0-3
/proc/30157/task/30169/stat : 30169 (java) S 30155 30155 28168 0 -1 1077944384 6137 0 0 0 71 2 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295888353024 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30170] ppid=30155 vsize=15151148 memory=2020 CPUtime=0 cores=0-3
/proc/30157/task/30170/stat : 30170 (java) S 30155 30155 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295887300960 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30171] ppid=30155 vsize=15151148 memory=1432 CPUtime=0.35 cores=0-3
/proc/30157/task/30171/stat : 30171 (java) S 30155 30155 28168 0 -1 1077944384 985 0 0 0 17 18 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295886249008 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
Current children cumulated CPU time: 1840.63 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12809708 KiB
[startup+583.601 s]
/proc/loadavg: 4.94 4.89 5.81 3/233 30223
/proc/meminfo: memFree=6038572/32770688 swapFree=66919992/67108860
[pid=30155] ppid=30152 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/30155/stat : 30155 (xcsp3-exec) S 30152 30155 28168 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411539062 115843072 362 33554432000 4194304 5098028 140734938790816 140734938788920 140706458067580 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22220800 140734938792827 140734938793069 140734938793069 140734938795978 0
/proc/30155/statm: 28282 362 304 221 0 87 0
[pid=30157] ppid=30155 vsize=15151148 memory=12808260 CPUtime=1841.03 cores=0-3
/proc/30157/stat : 30157 (java) S 30155 30155 28168 0 -1 1077944320 582483 0 0 0 182523 1580 0 0 20 0 15 0 411539063 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140721525618672 140297020608247 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
/proc/30157/statm: 3787787 3202065 3517 1 0 3748889 0
[pid=30157/tid=30158] ppid=30155 vsize=15151148 memory=1444 CPUtime=145.9 cores=0-3
/proc/30157/task/30158/stat : 30158 (java) S 30155 30155 28168 0 -1 1077944384 22951 0 0 0 14541 49 0 0 20 0 15 0 411539063 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140297024847472 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30159] ppid=30155 vsize=15151148 memory=6791534058613427641 CPUtime=419.33 cores=0-3
/proc/30157/task/30159/stat : 30159 (java) S 30155 30155 28168 0 -1 1077944384 113735 0 0 0 41568 365 0 0 20 0 15 0 411539064 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140296613374480 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30160] ppid=30155 vsize=15151148 memory=45484 CPUtime=418.27 cores=0-3
/proc/30157/task/30160/stat : 30160 (java) S 30155 30155 28168 0 -1 1077944384 102371 0 0 0 41435 392 0 0 20 0 15 0 411539064 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140296612321936 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30161] ppid=30155 vsize=15151148 memory=984 CPUtime=418.43 cores=0-3
/proc/30157/task/30161/stat : 30161 (java) S 30155 30155 28168 0 -1 1077944384 102453 0 0 0 41465 378 0 0 20 0 15 0 411539064 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140296611268880 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30162] ppid=30155 vsize=15151148 memory=2020 CPUtime=420.66 cores=0-3
/proc/30157/task/30162/stat : 30162 (java) S 30155 30155 28168 0 -1 1077944384 101505 0 0 0 41697 369 0 0 20 0 15 0 411539064 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140296610216336 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30163] ppid=30155 vsize=15151148 memory=1432 CPUtime=10.95 cores=0-3
/proc/30157/task/30163/stat : 30163 (java) R 30155 30155 28168 0 -1 4202560 104682 0 0 0 1085 10 0 0 20 0 15 0 411539065 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295894668496 140297005308891 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30164] ppid=30155 vsize=15151148 memory=776 CPUtime=0 cores=0-3
/proc/30157/task/30164/stat : 30164 (java) S 30155 30155 28168 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 411539066 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295893616352 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30165] ppid=30155 vsize=15151148 memory=660 CPUtime=0 cores=0-3
/proc/30157/task/30165/stat : 30165 (java) S 30155 30155 28168 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 411539066 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295892563200 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30166] ppid=30155 vsize=15151148 memory=1556 CPUtime=0 cores=0-3
/proc/30157/task/30166/stat : 30166 (java) S 30155 30155 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295891511760 140297020626843 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30167] ppid=30155 vsize=15151148 memory=9588 CPUtime=3.18 cores=0-3
/proc/30157/task/30167/stat : 30167 (java) S 30155 30155 28168 0 -1 1077944384 14829 0 0 0 315 3 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295890458912 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30168] ppid=30155 vsize=15151148 memory=1712 CPUtime=3.13 cores=0-3
/proc/30157/task/30168/stat : 30168 (java) S 30155 30155 28168 0 -1 1077944384 11478 0 0 0 311 2 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295889406368 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30169] ppid=30155 vsize=15151148 memory=5972 CPUtime=0.73 cores=0-3
/proc/30157/task/30169/stat : 30169 (java) S 30155 30155 28168 0 -1 1077944384 6137 0 0 0 71 2 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295888353024 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30170] ppid=30155 vsize=15151148 memory=4164 CPUtime=0 cores=0-3
/proc/30157/task/30170/stat : 30170 (java) S 30155 30155 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295887300960 140297020618453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
[pid=30157/tid=30171] ppid=30155 vsize=15151148 memory=1056 CPUtime=0.35 cores=0-3
/proc/30157/task/30171/stat : 30171 (java) S 30155 30155 28168 0 -1 1077944384 985 0 0 0 17 18 0 0 20 0 15 0 411539069 15514775552 3202065 33554432000 4194304 4196468 140721525636128 140295886249008 140297020619394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37744640 140721525638127 140721525638298 140721525638298 140721525641167 0
Current children cumulated CPU time: 1841.03 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12809708 KiB
[startup+583.701 s]
/proc/loadavg: 4.94 4.89 5.81 3/233 30223
/proc/meminfo: memFree=6038572/32770688 swapFree=66919992/67108860
[pid=30155] ppid=30152 vsize=113128 memory=1448 CPUtime=0 cores=0-3
/proc/30155/stat : 30155 (xcsp3-exec) S 30152 30155 28168 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411539062 115843072 362 33554432000 4194304 5098028 140734938790816 140734938788920 140706458067580 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22220800 140734938792827 140734938793069 140734938793069 140734938795978 0
/proc/30155/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 1
Real time (s): 583.73
CPU time (s): 1841.18
CPU user time (s): 1825.31
CPU system time (s): 15.8676
CPU usage (%): 315.416
Max. virtual memory (cumulated for all children) (KiB): 15264276
Max. memory (cumulated for all children) (KiB): 12809708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1825.31
system time used= 15.8676
maximum resident set size= 12808588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 583457
page faults= 0
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42319
involuntary context switches= 26204
# summary of solver processes directly reported to runsolver:
# pid: 30155
# total CPU time (s): 1841.18
# total CPU user time (s): 1825.31
# total CPU system time (s): 15.8676
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.59938 second user time and 6.88851 second system time
The end
Begin job on node120 at 2011-12-14 14:35:50 IDJOB=4393387 IDBENCH=141284 IDSOLVER=2840 FILE ID=node120/4393387-1568355324 RUNJOBID= node120-1323867655-28199 PBS_JOBID= 21701183 Free space on /tmp= 58436 MiB SOLVER NAME= choco-solver 2019-06-14 BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-05-0350_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393387-1568355324/watcher-4393387-1568355324 -o /tmp/evaluation-result-4393387-1568355324/solver-4393387-1568355324 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323867655-28199 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 340955577 HOME/instance-4393387-1568355324.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa RANDOM SEED=340955577 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 18812260 kB MemAvailable: 23606784 kB Buffers: 165548 kB Cached: 4916504 kB SwapCached: 77548 kB Active: 10148752 kB Inactive: 3159024 kB Active(anon): 8148508 kB Inactive(anon): 126960 kB Active(file): 2000244 kB Inactive(file): 3032064 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 329752 kB Writeback: 81044 kB AnonPages: 8258032 kB Mapped: 60616 kB Shmem: 41008 kB Slab: 230440 kB SReclaimable: 156104 kB SUnreclaim: 74336 kB KernelStack: 3776 kB PageTables: 21844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 9665308 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 7725056 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 58412 MiB End job on node120 at 2011-12-14 14:45:34