Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-09-20 parallel | ? | 7127.5 | 1294.65 |
Name | SuperSolutions/SuperSolutions-Taillard-os20/ SuperTaillard-os-20-02.xml |
MD5SUM | 0e3d16858c05bcbedaa7411f074a79f1 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 265.664 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 23200 |
Number of domains | 97 |
Minimum domain size | 1234 |
Maximum domain size | 1332 |
Distribution of domain sizes | [{"size":1234,"count":10},{"size":1235,"count":4},{"size":1236,"count":18},{"size":1237,"count":8},{"size":1238,"count":10},{"size":1239,"count":8},{"size":1240,"count":4},{"size":1241,"count":6},{"size":1242,"count":10},{"size":1243,"count":8},{"size":1244,"count":2},{"size":1245,"count":16},{"size":1246,"count":6},{"size":1247,"count":4},{"size":1248,"count":6},{"size":1249,"count":14},{"size":1250,"count":8},{"size":1251,"count":16},{"size":1252,"count":10},{"size":1253,"count":4},{"size":1254,"count":16},{"size":1255,"count":14},{"size":1256,"count":2},{"size":1257,"count":8},{"size":1258,"count":10},"...",{"size":1307,"count":4}, {"size":1308,"count":10}, {"size":1309,"count":6}, {"size":1310,"count":14}, {"size":1311,"count":4}, {"size":1312,"count":6}, {"size":1313,"count":4}, {"size":1315,"count":10}, {"size":1316,"count":8}, {"size":1317,"count":16}, {"size":1318,"count":8}, {"size":1319,"count":10}, {"size":1320,"count":6}, {"size":1321,"count":4}, {"size":1322,"count":14}, {"size":1323,"count":4}, {"size":1324,"count":8}, {"size":1325,"count":6}, {"size":1326,"count":8}, {"size":1327,"count":18}, {"size":1328,"count":6}, {"size":1329,"count":10}, {"size":1330,"count":2}, {"size":1331,"count":6}, {"size":1332,"count":4}] |
Minimum variable degree | 39 |
Maximum variable degree | 77 |
Distribution of variable degrees | [{"degree":39,"count":400},{"degree":77,"count":400}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":23200}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 23200 |
Distribution of constraint types | [{"type":"intension","count":23200}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404505-1569008097.xml" -tl '20160s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404505-1569008097.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 7002.87/1275.19 Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded 7002.87/1275.19 at java.util.stream.StreamSupport.stream(StreamSupport.java:69) 7002.87/1275.19 at java.util.Arrays.stream(Arrays.java:5023) 7002.87/1275.19 at java.util.Arrays.stream(Arrays.java:5004) 7002.87/1275.19 at org.chocosolver.solver.expression.discrete.arithmetic.NaArExpression.ieval(NaArExpression.java:123) 7002.87/1275.19 at org.chocosolver.solver.expression.discrete.relational.BiReExpression.beval(BiReExpression.java:214) 7002.87/1275.19 at org.chocosolver.solver.expression.discrete.logical.NaLoExpression.beval(NaLoExpression.java:137) 7002.87/1275.19 at org.chocosolver.solver.expression.discrete.relational.ReExpression.lambda$extension$3(ReExpression.java:150) 7002.87/1275.19 at org.chocosolver.solver.expression.discrete.relational.ReExpression$$Lambda$146/776700275.valid(Unknown Source) 7002.87/1275.19 at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88) 7002.87/1275.19 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:150) 7002.87/1275.19 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112) 7002.87/1275.19 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283) 7002.87/1275.19 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164) 7002.87/1275.19 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527) 7002.87/1275.19 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510) 7002.87/1275.19 at org.xcsp.parser.XCallbacks$$Lambda$88/1891502635.accept(Unknown Source) 7002.87/1275.19 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948) 7002.87/1275.19 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580) 7002.87/1275.19 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507) 7002.87/1275.19 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416) 7002.87/1275.19 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422) 7002.87/1275.19 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407) 7002.87/1275.19 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297) 7002.87/1275.19 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320) 7002.87/1275.19 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88) 7002.87/1275.19 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111) 7002.87/1275.19 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99) 7002.87/1275.19 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22) 7126.44/1293.68 s UNKNOWN 7126.44/1293.68 c Unexpected resolution interruption!
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (7145 MiB free) memory of node 1: 16384 MiB (8047 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404505-1569008097/watcher-4404505-1569008097 -o /tmp/evaluation-result-4404505-1569008097/solver-4404505-1569008097 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569005539-8963 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1064313304 HOME/instance-4404505-1569008097.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 9470, runsolver pid=9467 Current StackSize limit: 8192 KiB [startup+0.100159 s]* /proc/loadavg: 8.27 8.50 8.39 2/212 9491 /proc/meminfo: memFree=15541076/32770624 swapFree=67002148/67108860 [pid=9470] ppid=9467 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9470/stat : 9470 (xcsp3-exec) S 9467 9470 8936 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476971288 115843072 363 33554432000 4194304 5098028 140735323734720 140735323732824 140590658552444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29892608 140735323738997 140735323739241 140735323739241 140735323742154 0 /proc/9470/statm: 28282 363 304 221 0 87 0 [pid=9472] ppid=9470 vsize=28227396 memory=29040 CPUtime=0.12 cores=0-7 /proc/9472/stat : 9472 (java) S 9470 9470 8936 0 -1 1077944320 5742 0 0 0 11 1 0 0 20 0 20 0 476971288 28904853504 7260 33554432000 4194304 4196468 140726011522224 140726011504768 139846475558647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 /proc/9472/statm: 7056849 7260 3120 1 0 7019032 0 [pid=9472/tid=9473] ppid=9470 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/9472/task/9473/stat : 9473 (java) R 9470 9470 8936 0 -1 4202560 3654 0 0 0 8 0 0 0 20 0 20 0 476971288 28904853504 7260 33554432000 4194304 4196468 140726011522224 139846479791424 139846456203314 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9474] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9474/stat : 9474 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971289 28904853504 7260 33554432000 4194304 4196468 140726011522224 139846428179600 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9475] ppid=9470 vsize=28227396 memory=15682206665074328 CPUtime=0 cores=0-7 /proc/9472/task/9475/stat : 9475 (java) S 9470 9470 8936 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476971289 28904853504 7260 33554432000 4194304 4196468 140726011522224 139846427126800 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9476] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9476/stat : 9476 (java) S 9470 9470 8936 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476971289 28904853504 7260 33554432000 4194304 4196468 140726011522224 139846426074000 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9477] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9477/stat : 9477 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971289 28904853504 7260 33554432000 4194304 4196468 140726011522224 139846425021200 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9478] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9478/stat : 9478 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971289 28904853504 7260 33554432000 4194304 4196468 140726011522224 139846423968400 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9479] ppid=9470 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9472/task/9479/stat : 9479 (java) S 9470 9470 8936 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476971289 28904853504 7260 33554432000 4194304 4196468 140726011522224 139846422915600 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9480] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9480/stat : 9480 (java) S 9470 9470 8936 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476971289 28904853504 7260 33554432000 4194304 4196468 140726011522224 139846421862800 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9481] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9481/stat : 9481 (java) S 9470 9470 8936 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476971289 28904853504 7260 33554432000 4194304 4196468 140726011522224 139846420810000 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9482] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9482/stat : 9482 (java) S 9470 9470 8936 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476971290 28904853504 7260 33554432000 4194304 4196468 140726011522224 139845073623920 139846475569794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9483] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9483/stat : 9483 (java) S 9470 9470 8936 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476971291 28904853504 7260 33554432000 4194304 4196468 140726011522224 139845072569888 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9484] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9484/stat : 9484 (java) S 9470 9470 8936 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476971291 28904853504 7260 33554432000 4194304 4196468 140726011522224 139845071517040 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9485] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9485/stat : 9485 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971293 28904853504 7260 33554432000 4194304 4196468 140726011522224 139845070465360 139846475577243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9486] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9486/stat : 9486 (java) S 9470 9470 8936 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 476971294 28904853504 7260 33554432000 4194304 4196468 140726011522224 139845069412720 139846475569794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9487] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9487/stat : 9487 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971294 28904853504 7260 33554432000 4194304 4196468 140726011522224 139845068359920 139846475569794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9488] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9488/stat : 9488 (java) S 9470 9470 8936 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 476971294 28904853504 7260 33554432000 4194304 4196468 140726011522224 139845067307120 139846475569794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9489] ppid=9470 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9472/task/9489/stat : 9489 (java) R 9470 9470 8936 0 -1 4202560 334 0 0 0 1 0 0 0 20 0 20 0 476971294 28904853504 7260 33554432000 4194304 4196468 140726011522224 139845066254320 139846454567185 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9490] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9490/stat : 9490 (java) S 9470 9470 8936 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476971294 28904853504 7260 33554432000 4194304 4196468 140726011522224 139845065202784 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9491] ppid=9470 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9472/task/9491/stat : 9491 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971294 28904853504 7260 33554432000 4194304 4196468 140726011522224 139845064150064 139846475569794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30492 KiB [startup+0.210331 s]* /proc/loadavg: 8.27 8.50 8.39 2/212 9491 /proc/meminfo: memFree=15529016/32770624 swapFree=67002148/67108860 [pid=9470] ppid=9467 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9470/stat : 9470 (xcsp3-exec) S 9467 9470 8936 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476971288 115843072 363 33554432000 4194304 5098028 140735323734720 140735323732824 140590658552444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29892608 140735323738997 140735323739241 140735323739241 140735323742154 0 /proc/9470/statm: 28282 363 304 221 0 87 0 [pid=9472] ppid=9470 vsize=28227396 memory=40592 CPUtime=0.33 cores=0-7 /proc/9472/stat : 9472 (java) S 9470 9470 8936 0 -1 1077944320 9511 0 0 0 30 3 0 0 20 0 20 0 476971288 28904853504 10148 33554432000 4194304 4196468 140726011522224 140726011504768 139846475558647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 /proc/9472/statm: 7056849 10148 3212 1 0 7019032 0 [pid=9472/tid=9473] ppid=9470 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7 /proc/9472/task/9473/stat : 9473 (java) R 9470 9470 8936 0 -1 4202560 6653 0 0 0 18 2 0 0 20 0 20 0 476971288 28904853504 10148 33554432000 4194304 4196468 140726011522224 139846479792528 139846461240011 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9474] ppid=9470 vsize=28227396 memory=14976 CPUtime=0 cores=0-7 /proc/9472/task/9474/stat : 9474 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971289 28904853504 10148 33554432000 4194304 4196468 140726011522224 139846428179600 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9475] ppid=9470 vsize=28227396 memory=140389806574716 CPUtime=0 cores=0-7 /proc/9472/task/9475/stat : 9475 (java) S 9470 9470 8936 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476971289 28904853504 10148 33554432000 4194304 4196468 140726011522224 139846427126800 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9476] ppid=9470 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9472/task/9476/stat : 9476 (java) S 9470 9470 8936 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476971289 28904853504 10148 33554432000 4194304 4196468 140726011522224 139846426074000 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9477] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9477/stat : 9477 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971289 28904853504 10148 33554432000 4194304 4196468 140726011522224 139846425021200 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9478] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9478/stat : 9478 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971289 28904853504 10148 33554432000 4194304 4196468 140726011522224 139846423968400 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9479] ppid=9470 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9472/task/9479/stat : 9479 (java) S 9470 9470 8936 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476971289 28904853504 10148 33554432000 4194304 4196468 140726011522224 139846422915600 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9480] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9480/stat : 9480 (java) S 9470 9470 8936 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476971289 28904853504 10148 33554432000 4194304 4196468 140726011522224 139846421862800 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9481] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9481/stat : 9481 (java) S 9470 9470 8936 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476971289 28904853504 10148 33554432000 4194304 4196468 140726011522224 139846420810000 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9482] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9482/stat : 9482 (java) S 9470 9470 8936 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476971290 28904853504 10148 33554432000 4194304 4196468 140726011522224 139845073623920 139846475569794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9483] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9483/stat : 9483 (java) S 9470 9470 8936 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476971291 28904853504 10148 33554432000 4194304 4196468 140726011522224 139845072569888 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9484] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9484/stat : 9484 (java) S 9470 9470 8936 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476971291 28904853504 10148 33554432000 4194304 4196468 140726011522224 139845071517040 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9485] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9485/stat : 9485 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971293 28904853504 10148 33554432000 4194304 4196468 140726011522224 139845070465360 139846475577243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9486] ppid=9470 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/9472/task/9486/stat : 9486 (java) S 9470 9470 8936 0 -1 1077944384 648 0 0 0 2 0 0 0 20 0 20 0 476971294 28904853504 10148 33554432000 4194304 4196468 140726011522224 139845069412720 139846475569794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9487] ppid=9470 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9472/task/9487/stat : 9487 (java) S 9470 9470 8936 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 476971294 28904853504 10148 33554432000 4194304 4196468 140726011522224 139845068359920 139846475569794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9488] ppid=9470 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9472/task/9488/stat : 9488 (java) S 9470 9470 8936 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 20 0 476971294 28904853504 10148 33554432000 4194304 4196468 140726011522224 139845067307120 139846475569794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9489] ppid=9470 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/9472/task/9489/stat : 9489 (java) R 9470 9470 8936 0 -1 4202560 717 0 0 0 7 0 0 0 20 0 20 0 476971294 28904853504 10148 33554432000 4194304 4196468 140726011522224 139845066254320 139846454477360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9490] ppid=9470 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9490/stat : 9490 (java) S 9470 9470 8936 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476971294 28904853504 10148 33554432000 4194304 4196468 140726011522224 139845065202784 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9491] ppid=9470 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9472/task/9491/stat : 9491 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971294 28904853504 10148 33554432000 4194304 4196468 140726011522224 139845064150064 139846475569794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42044 KiB [startup+0.309779 s]* /proc/loadavg: 8.27 8.50 8.39 4/212 9491 /proc/meminfo: memFree=15520756/32770624 swapFree=67002148/67108860 [pid=9470] ppid=9467 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9470/stat : 9470 (xcsp3-exec) S 9467 9470 8936 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476971288 115843072 363 33554432000 4194304 5098028 140735323734720 140735323732824 140590658552444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29892608 140735323738997 140735323739241 140735323739241 140735323742154 0 /proc/9470/statm: 28282 363 304 221 0 87 0 [pid=9472] ppid=9470 vsize=28231652 memory=50060 CPUtime=0.51 cores=0-7 /proc/9472/stat : 9472 (java) S 9470 9470 8936 0 -1 1077944320 10900 0 0 0 47 4 0 0 20 0 20 0 476971288 28909211648 12515 33554432000 4194304 4196468 140726011522224 140726011504768 139846475558647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 /proc/9472/statm: 7057913 12515 3355 1 0 7019032 0 [pid=9472/tid=9473] ppid=9470 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/9472/task/9473/stat : 9473 (java) R 9470 9470 8936 0 -1 4202560 7799 0 0 0 27 3 0 0 20 0 20 0 476971288 28909211648 12515 33554432000 4194304 4196468 140726011522224 139846479792432 139846475580573 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9474] ppid=9470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9474/stat : 9474 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971289 28909211648 12515 33554432000 4194304 4196468 140726011522224 139846428179600 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9475] ppid=9470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9475/stat : 9475 (java) S 9470 9470 8936 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476971289 28909211648 12515 33554432000 4194304 4196468 140726011522224 139846427126800 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9476] ppid=9470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9476/stat : 9476 (java) S 9470 9470 8936 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476971289 28909211648 12515 33554432000 4194304 4196468 140726011522224 139846426074000 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9477] ppid=9470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9477/stat : 9477 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971289 28909211648 12515 33554432000 4194304 4196468 140726011522224 139846425021200 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9478] ppid=9470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9478/stat : 9478 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971289 28909211648 12515 33554432000 4194304 4196468 140726011522224 139846423968400 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9479] ppid=9470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9479/stat : 9479 (java) S 9470 9470 8936 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476971289 28909211648 12515 33554432000 4194304 4196468 140726011522224 139846422915600 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9480] ppid=9470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9480/stat : 9480 (java) S 9470 9470 8936 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476971289 28909211648 12515 33554432000 4194304 4196468 140726011522224 139846421862800 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9481] ppid=9470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9481/stat : 9481 (java) S 9470 9470 8936 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476971289 28909211648 12515 33554432000 4194304 4196468 140726011522224 139846420810000 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9482] ppid=9470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9482/stat : 9482 (java) S 9470 9470 8936 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476971290 28909211648 12515 33554432000 4194304 4196468 140726011522224 139845073623920 139846475569794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9483] ppid=9470 vsize=28231652 memory=280779326430592 CPUtime=0 cores=0-7 /proc/9472/task/9483/stat : 9483 (java) S 9470 9470 8936 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476971291 28909211648 12515 33554432000 4194304 4196468 140726011522224 139845072569888 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9484] ppid=9470 vsize=28231652 memory=280779326435200 CPUtime=0 cores=0-7 /proc/9472/task/9484/stat : 9484 (java) S 9470 9470 8936 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476971291 28909211648 12515 33554432000 4194304 4196468 140726011522224 139845071517040 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9485] ppid=9470 vsize=28231652 memory=280779326439808 CPUtime=0 cores=0-7 /proc/9472/task/9485/stat : 9485 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971293 28909211648 12515 33554432000 4194304 4196468 140726011522224 139845070465360 139846475577243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9486] ppid=9470 vsize=28231652 memory=280779326444416 CPUtime=0.03 cores=0-7 /proc/9472/task/9486/stat : 9486 (java) S 9470 9470 8936 0 -1 1077944384 667 0 0 0 3 0 0 0 20 0 20 0 476971294 28909211648 12515 33554432000 4194304 4196468 140726011522224 139845069412720 139846475569794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9487] ppid=9470 vsize=28231652 memory=280779326449024 CPUtime=0.01 cores=0-7 /proc/9472/task/9487/stat : 9487 (java) S 9470 9470 8936 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 20 0 476971294 28909211648 12515 33554432000 4194304 4196468 140726011522224 139845068359920 139846475569794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9488] ppid=9470 vsize=28231652 memory=280779326453632 CPUtime=0.02 cores=0-7 /proc/9472/task/9488/stat : 9488 (java) R 9470 9470 8936 0 -1 4202560 253 0 0 0 2 0 0 0 20 0 20 0 476971294 28909211648 12515 33554432000 4194304 4196468 140726011522224 139845067307120 139846454774000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9489] ppid=9470 vsize=28231652 memory=280779326458240 CPUtime=0.12 cores=0-7 /proc/9472/task/9489/stat : 9489 (java) S 9470 9470 8936 0 -1 1077944384 812 0 0 0 12 0 0 0 20 0 20 0 476971294 28909211648 12515 33554432000 4194304 4196468 140726011522224 139845066254320 139846475569794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9490] ppid=9470 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9490/stat : 9490 (java) S 9470 9470 8936 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476971294 28909211648 12515 33554432000 4194304 4196468 140726011522224 139845065202784 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9491] ppid=9470 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/9472/task/9491/stat : 9491 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971294 28909211648 12515 33554432000 4194304 4196468 140726011522224 139845064150064 139846475569794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51512 KiB [startup+0.700981 s] /proc/loadavg: 8.27 8.50 8.39 4/212 9491 /proc/meminfo: memFree=15495376/32770624 swapFree=67002148/67108860 [pid=9470] ppid=9467 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9470/stat : 9470 (xcsp3-exec) S 9467 9470 8936 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476971288 115843072 363 33554432000 4194304 5098028 140735323734720 140735323732824 140590658552444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29892608 140735323738997 140735323739241 140735323739241 140735323742154 0 /proc/9470/statm: 28282 363 304 221 0 87 0 [pid=9472] ppid=9470 vsize=28233776 memory=140148 CPUtime=1.97 cores=0-7 /proc/9472/stat : 9472 (java) S 9470 9470 8936 0 -1 1077944320 15956 0 0 0 190 7 0 0 20 0 20 0 476971288 28911386624 35037 33554432000 4194304 4196468 140726011522224 140726011504768 139846475558647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 /proc/9472/statm: 7058444 35037 3446 1 0 7019544 0 [pid=9472/tid=9473] ppid=9470 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/9472/task/9473/stat : 9473 (java) R 9470 9470 8936 0 -1 4202560 8322 0 0 0 64 4 0 0 20 0 20 0 476971288 28911386624 35037 33554432000 4194304 4196468 140726011522224 139846479794336 139846101827018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9474] ppid=9470 vsize=28233776 memory=140389663417216 CPUtime=0 cores=0-7 /proc/9472/task/9474/stat : 9474 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476971289 28911386624 35037 33554432000 4194304 4196468 140726011522224 139846428179600 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9475] ppid=9470 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/9472/task/9475/stat : 9475 (java) S 9470 9470 8936 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476971289 28911386624 35037 33554432000 4194304 4196468 140726011522224 139846427126800 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9476] ppid=9470 vsize=28233776 memory=1052 CPUtime=0 cores=0-7 /proc/9472/task/9476/stat : 9476 (java) S 9470 9470 8936 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476971289 28911386624 35037 33554432000 4194304 4196468 140726011522224 139846426074000 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 ################ # More data... # ################ [pid=9472/tid=9478] ppid=9470 vsize=28300340 memory=25354704 CPUtime=832.06 cores=0-7 /proc/9472/task/9478/stat : 9478 (java) R 9470 9470 8936 0 -1 4202560 12074571 0 0 0 81476 1730 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846423968520 139846468661619 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9479] ppid=9470 vsize=28300340 memory=1692 CPUtime=833.45 cores=0-7 /proc/9472/task/9479/stat : 9479 (java) R 9470 9470 8936 0 -1 4202560 14555511 0 0 0 81536 1809 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846422915720 139846460548151 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9480] ppid=9470 vsize=28300340 memory=912 CPUtime=833.19 cores=0-7 /proc/9472/task/9480/stat : 9480 (java) R 9470 9470 8936 0 -1 4202560 11377353 0 0 0 81775 1544 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846421862920 139846468662299 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9481] ppid=9470 vsize=28300340 memory=1452 CPUtime=831.13 cores=0-7 /proc/9472/task/9481/stat : 9481 (java) R 9470 9470 8936 0 -1 4202560 14952927 0 0 0 81213 1900 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846420810120 139846468662299 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9482] ppid=9470 vsize=28300340 memory=25354704 CPUtime=135.01 cores=0-7 /proc/9472/task/9482/stat : 9482 (java) S 9470 9470 8936 0 -1 1077944384 2032007 0 0 0 13330 171 0 0 20 0 21 0 476971290 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845073622464 139846475568853 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9483] ppid=9470 vsize=28300340 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/9472/task/9483/stat : 9483 (java) S 9470 9470 8936 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 21 0 476971291 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845072569952 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9484] ppid=9470 vsize=28300340 memory=6944656592455360569 CPUtime=0 cores=0-7 /proc/9472/task/9484/stat : 9484 (java) S 9470 9470 8936 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 476971291 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845071517056 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9485] ppid=9470 vsize=28300340 memory=-9181546051567709026 CPUtime=0 cores=0-7 /proc/9472/task/9485/stat : 9485 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 476971293 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845070465360 139846475577243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9486] ppid=9470 vsize=28300340 memory=6944613755328037012 CPUtime=1.01 cores=0-7 /proc/9472/task/9486/stat : 9486 (java) S 9470 9470 8936 0 -1 1077944384 5329 0 0 0 100 1 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845069412480 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9487] ppid=9470 vsize=28300340 memory=3620719627717796718 CPUtime=0.96 cores=0-7 /proc/9472/task/9487/stat : 9487 (java) S 9470 9470 8936 0 -1 1077944384 4414 0 0 0 94 2 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845068359968 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9488] ppid=9470 vsize=28300340 memory=4567021010278379106 CPUtime=1.12 cores=0-7 /proc/9472/task/9488/stat : 9488 (java) S 9470 9470 8936 0 -1 1077944384 4595 0 0 0 112 0 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845067307168 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9489] ppid=9470 vsize=28300340 memory=8112282956445269571 CPUtime=0.63 cores=0-7 /proc/9472/task/9489/stat : 9489 (java) S 9470 9470 8936 0 -1 1077944384 12139 0 0 0 61 2 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845066254368 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9490] ppid=9470 vsize=28300340 memory=1556 CPUtime=0 cores=0-7 /proc/9472/task/9490/stat : 9490 (java) S 9470 9470 8936 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845065202784 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9491] ppid=9470 vsize=28300340 memory=8112282956445269571 CPUtime=0.53 cores=0-7 /proc/9472/task/9491/stat : 9491 (java) S 9470 9470 8936 0 -1 1077944384 1842 0 0 0 27 26 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845064150064 139846475569794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9585] ppid=9470 vsize=28300340 memory=25354704 CPUtime=0 cores=0-7 /proc/9472/task/9585/stat : 9585 (java) S 9470 9470 8936 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 21 0 477098807 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845055172288 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 Current children cumulated CPU time: 7117.74 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25356168 KiB [startup+1292.8 s] /proc/loadavg: 7.49 6.98 6.47 2/213 9587 /proc/meminfo: memFree=193812/32770624 swapFree=67002144/67108860 [pid=9470] ppid=9467 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9470/stat : 9470 (xcsp3-exec) S 9467 9470 8936 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476971288 115843072 363 33554432000 4194304 5098028 140735323734720 140735323732824 140590658552444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29892608 140735323738997 140735323739241 140735323739241 140735323742154 0 /proc/9470/statm: 28282 363 304 221 0 87 0 [pid=9472] ppid=9470 vsize=28300340 memory=25354716 CPUtime=7125.64 cores=0-7 /proc/9472/stat : 9472 (java) S 9470 9470 8936 0 -1 1077944320 117508055 0 0 0 697918 14646 0 0 20 0 21 0 476971288 28979548160 6338679 33554432000 4194304 4196468 140726011522224 140726011504768 139846475558647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 /proc/9472/statm: 7075085 6338679 3512 1 0 7036185 0 [pid=9472/tid=9473] ppid=9470 vsize=28300340 memory=8112282956445269571 CPUtime=316.19 cores=0-7 /proc/9472/task/9473/stat : 9473 (java) S 9470 9470 8936 0 -1 1077944384 132263 0 0 0 31528 91 0 0 20 0 21 0 476971288 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846479799328 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9474] ppid=9470 vsize=28300340 memory=54528 CPUtime=834.2 cores=0-7 /proc/9472/task/9474/stat : 9474 (java) S 9470 9470 8936 0 -1 1077944384 17007781 0 0 0 81522 1898 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846428179600 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9475] ppid=9470 vsize=28300340 memory=984 CPUtime=834.12 cores=0-7 /proc/9472/task/9475/stat : 9475 (java) S 9470 9470 8936 0 -1 1077944384 15622168 0 0 0 81553 1859 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846427126800 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9476] ppid=9470 vsize=28300340 memory=1940 CPUtime=832.18 cores=0-7 /proc/9472/task/9476/stat : 9476 (java) S 9470 9470 8936 0 -1 1077944384 14296422 0 0 0 81367 1851 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846426074000 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9477] ppid=9470 vsize=28300340 memory=7883102969576117074 CPUtime=834.48 cores=0-7 /proc/9472/task/9477/stat : 9477 (java) S 9470 9470 8936 0 -1 1077944384 15388385 0 0 0 81683 1765 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846425021200 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9478] ppid=9470 vsize=28300340 memory=7883102969576117074 CPUtime=832.74 cores=0-7 /proc/9472/task/9478/stat : 9478 (java) S 9470 9470 8936 0 -1 1077944384 12078322 0 0 0 81543 1731 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846423968400 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9479] ppid=9470 vsize=28300340 memory=7092437586691844435 CPUtime=834.12 cores=0-7 /proc/9472/task/9479/stat : 9479 (java) S 9470 9470 8936 0 -1 1077944384 14560077 0 0 0 81602 1810 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846422915600 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9480] ppid=9470 vsize=28300340 memory=7307463483772789606 CPUtime=833.86 cores=0-7 /proc/9472/task/9480/stat : 9480 (java) S 9470 9470 8936 0 -1 1077944384 11381227 0 0 0 81842 1544 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846421862800 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9481] ppid=9470 vsize=28300340 memory=1452 CPUtime=831.78 cores=0-7 /proc/9472/task/9481/stat : 9481 (java) S 9470 9470 8936 0 -1 1077944384 14956613 0 0 0 81278 1900 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846420810000 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9482] ppid=9470 vsize=28300340 memory=25354652 CPUtime=137.54 cores=0-7 /proc/9472/task/9482/stat : 9482 (java) R 9470 9470 8936 0 -1 4202560 2055149 0 0 0 13581 173 0 0 20 0 21 0 476971290 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845073622352 139846460016238 0 0 0 16800975 0 0 0 -1 2 0 0 21 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9483] ppid=9470 vsize=28300340 memory=1716 CPUtime=0 cores=0-7 /proc/9472/task/9483/stat : 9483 (java) S 9470 9470 8936 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 21 0 476971291 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845072569952 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9484] ppid=9470 vsize=28300340 memory=1096 CPUtime=0 cores=0-7 /proc/9472/task/9484/stat : 9484 (java) S 9470 9470 8936 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 476971291 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845071517056 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9485] ppid=9470 vsize=28300340 memory=6132 CPUtime=0 cores=0-7 /proc/9472/task/9485/stat : 9485 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 476971293 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845070465360 139846475577243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9486] ppid=9470 vsize=28300340 memory=1452 CPUtime=1.01 cores=0-7 /proc/9472/task/9486/stat : 9486 (java) S 9470 9470 8936 0 -1 1077944384 5329 0 0 0 100 1 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845069412480 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9487] ppid=9470 vsize=28300340 memory=25354704 CPUtime=0.96 cores=0-7 /proc/9472/task/9487/stat : 9487 (java) S 9470 9470 8936 0 -1 1077944384 4414 0 0 0 94 2 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845068359968 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9488] ppid=9470 vsize=28300340 memory=-2026666227646606628 CPUtime=1.12 cores=0-7 /proc/9472/task/9488/stat : 9488 (java) S 9470 9470 8936 0 -1 1077944384 4595 0 0 0 112 0 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845067307168 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9489] ppid=9470 vsize=28300340 memory=4639924115538530918 CPUtime=0.63 cores=0-7 /proc/9472/task/9489/stat : 9489 (java) S 9470 9470 8936 0 -1 1077944384 12139 0 0 0 61 2 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845066254368 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9490] ppid=9470 vsize=28300340 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/9472/task/9490/stat : 9490 (java) S 9470 9470 8936 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845065202784 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9491] ppid=9470 vsize=28300340 memory=8112282956445269571 CPUtime=0.54 cores=0-7 /proc/9472/task/9491/stat : 9491 (java) S 9470 9470 8936 0 -1 1077944384 1842 0 0 0 27 27 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845064150064 139846475569794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9585] ppid=9470 vsize=28300340 memory=776 CPUtime=0 cores=0-7 /proc/9472/task/9585/stat : 9585 (java) S 9470 9470 8936 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 21 0 477098807 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845055172288 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 Current children cumulated CPU time: 7125.64 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25356168 KiB [startup+1293.6 s] /proc/loadavg: 7.49 6.98 6.47 2/213 9587 /proc/meminfo: memFree=194060/32770624 swapFree=67002144/67108860 [pid=9470] ppid=9467 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9470/stat : 9470 (xcsp3-exec) S 9467 9470 8936 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476971288 115843072 363 33554432000 4194304 5098028 140735323734720 140735323732824 140590658552444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29892608 140735323738997 140735323739241 140735323739241 140735323742154 0 /proc/9470/statm: 28282 363 304 221 0 87 0 [pid=9472] ppid=9470 vsize=28300340 memory=25354716 CPUtime=7126.44 cores=0-7 /proc/9472/stat : 9472 (java) S 9470 9470 8936 0 -1 1077944320 117511027 0 0 0 697998 14646 0 0 20 0 21 0 476971288 28979548160 6338679 33554432000 4194304 4196468 140726011522224 140726011504768 139846475558647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 /proc/9472/statm: 7075085 6338679 3512 1 0 7036185 0 [pid=9472/tid=9473] ppid=9470 vsize=28300340 memory=8112282956445269571 CPUtime=316.19 cores=0-7 /proc/9472/task/9473/stat : 9473 (java) S 9470 9470 8936 0 -1 1077944384 132263 0 0 0 31528 91 0 0 20 0 21 0 476971288 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846479799328 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9474] ppid=9470 vsize=28300340 memory=54528 CPUtime=834.2 cores=0-7 /proc/9472/task/9474/stat : 9474 (java) S 9470 9470 8936 0 -1 1077944384 17007781 0 0 0 81522 1898 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846428179600 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9475] ppid=9470 vsize=28300340 memory=984 CPUtime=834.12 cores=0-7 /proc/9472/task/9475/stat : 9475 (java) S 9470 9470 8936 0 -1 1077944384 15622168 0 0 0 81553 1859 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846427126800 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9476] ppid=9470 vsize=28300340 memory=1940 CPUtime=832.18 cores=0-7 /proc/9472/task/9476/stat : 9476 (java) S 9470 9470 8936 0 -1 1077944384 14296422 0 0 0 81367 1851 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846426074000 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9477] ppid=9470 vsize=28300340 memory=8112282956445269571 CPUtime=834.48 cores=0-7 /proc/9472/task/9477/stat : 9477 (java) S 9470 9470 8936 0 -1 1077944384 15388385 0 0 0 81683 1765 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846425021200 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9478] ppid=9470 vsize=28300340 memory=288230583166042426 CPUtime=832.74 cores=0-7 /proc/9472/task/9478/stat : 9478 (java) S 9470 9470 8936 0 -1 1077944384 12078322 0 0 0 81543 1731 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846423968400 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9479] ppid=9470 vsize=28300340 memory=16099269136353912 CPUtime=834.12 cores=0-7 /proc/9472/task/9479/stat : 9479 (java) S 9470 9470 8936 0 -1 1077944384 14560077 0 0 0 81602 1810 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846422915600 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9480] ppid=9470 vsize=28300340 memory=4144 CPUtime=833.86 cores=0-7 /proc/9472/task/9480/stat : 9480 (java) S 9470 9470 8936 0 -1 1077944384 11381227 0 0 0 81842 1544 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846421862800 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9481] ppid=9470 vsize=28300340 memory=4100 CPUtime=831.78 cores=0-7 /proc/9472/task/9481/stat : 9481 (java) S 9470 9470 8936 0 -1 1077944384 14956613 0 0 0 81278 1900 0 0 20 0 21 0 476971289 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139846420810000 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9482] ppid=9470 vsize=28300340 memory=1412 CPUtime=138.33 cores=0-7 /proc/9472/task/9482/stat : 9482 (java) R 9470 9470 8936 0 -1 4202560 2058161 0 0 0 13660 173 0 0 20 0 21 0 476971290 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845073622352 139846453928822 0 0 0 16800975 0 0 0 -1 2 0 0 21 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9483] ppid=9470 vsize=28300340 memory=3620 CPUtime=0 cores=0-7 /proc/9472/task/9483/stat : 9483 (java) S 9470 9470 8936 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 21 0 476971291 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845072569952 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9484] ppid=9470 vsize=28300340 memory=2832 CPUtime=0 cores=0-7 /proc/9472/task/9484/stat : 9484 (java) S 9470 9470 8936 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 21 0 476971291 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845071517056 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9485] ppid=9470 vsize=28300340 memory=776 CPUtime=0 cores=0-7 /proc/9472/task/9485/stat : 9485 (java) S 9470 9470 8936 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 476971293 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845070465360 139846475577243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9486] ppid=9470 vsize=28300340 memory=1160 CPUtime=1.01 cores=0-7 /proc/9472/task/9486/stat : 9486 (java) S 9470 9470 8936 0 -1 1077944384 5329 0 0 0 100 1 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845069412480 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9487] ppid=9470 vsize=28300340 memory=1716 CPUtime=0.96 cores=0-7 /proc/9472/task/9487/stat : 9487 (java) S 9470 9470 8936 0 -1 1077944384 4414 0 0 0 94 2 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845068359968 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9488] ppid=9470 vsize=28300340 memory=1096 CPUtime=1.12 cores=0-7 /proc/9472/task/9488/stat : 9488 (java) S 9470 9470 8936 0 -1 1077944384 4595 0 0 0 112 0 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845067307168 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9489] ppid=9470 vsize=28300340 memory=924 CPUtime=0.63 cores=0-7 /proc/9472/task/9489/stat : 9489 (java) S 9470 9470 8936 0 -1 1077944384 12139 0 0 0 61 2 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845066254368 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9490] ppid=9470 vsize=28300340 memory=1692 CPUtime=0 cores=0-7 /proc/9472/task/9490/stat : 9490 (java) S 9470 9470 8936 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845065202784 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9491] ppid=9470 vsize=28300340 memory=912 CPUtime=0.54 cores=0-7 /proc/9472/task/9491/stat : 9491 (java) S 9470 9470 8936 0 -1 1077944384 1842 0 0 0 27 27 0 0 20 0 21 0 476971294 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845064150064 139846475569794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 [pid=9472/tid=9585] ppid=9470 vsize=28300340 memory=1448 CPUtime=0 cores=0-7 /proc/9472/task/9585/stat : 9585 (java) S 9470 9470 8936 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 21 0 477098807 28979548160 6338679 33554432000 4194304 4196468 140726011522224 139845055172288 139846475568853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38121472 140726011524074 140726011524246 140726011524246 140726011527119 0 Current children cumulated CPU time: 7126.44 s Current children cumulated vsize: 28413468 KiB Current children cumulated memory: 25356168 KiB [startup+1294.4 s] /proc/loadavg: 7.49 6.98 6.47 2/194 9587 /proc/meminfo: memFree=9195452/32770624 swapFree=67002144/67108860 [pid=9470] ppid=9467 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9470/stat : 9470 (xcsp3-exec) S 9467 9470 8936 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476971288 115843072 363 33554432000 4194304 5098028 140735323734720 140735323732824 140590658552444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29892608 140735323738997 140735323739241 140735323739241 140735323742154 0 /proc/9470/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB [startup+1294.6 s] /proc/loadavg: 7.49 6.98 6.47 2/194 9587 /proc/meminfo: memFree=9195452/32770624 swapFree=67002144/67108860 [pid=9470] ppid=9467 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/9470/stat : 9470 (xcsp3-exec) S 9467 9470 8936 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 476971288 115843072 363 33554432000 4194304 5098028 140735323734720 140735323732824 140590658552444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29892608 140735323738997 140735323739241 140735323739241 140735323742154 0 /proc/9470/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 1 Real time (s): 1294.65 CPU time (s): 7127.5 CPU user time (s): 6980.06 CPU system time (s): 147.449 CPU usage (%): 550.536 Max. virtual memory (cumulated for all children) (KiB): 28413468 Max. memory (cumulated for all children) (KiB): 25356168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6980.06 system time used= 147.449 maximum resident set size= 25355068 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 117527853 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 67776 involuntary context switches= 132610 # summary of solver processes directly reported to runsolver: # pid: 9470 # total CPU time (s): 7127.5 # total CPU user time (s): 6980.06 # total CPU system time (s): 147.449 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.5625 second user time and 13.8837 second system time The end
Begin job on node148 at 2019-09-20 21:34:20 IDJOB=4404505 IDBENCH=138696 IDSOLVER=2865 FILE ID=node148/4404505-1569008097 RUNJOBID= node148-1569005539-8963 PBS_JOBID= 21704760 Free space on /tmp= 22084 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os20/SuperTaillard-os-20-02.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4404505-1569008097/watcher-4404505-1569008097 -o /tmp/evaluation-result-4404505-1569008097/solver-4404505-1569008097 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569005539-8963 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1064313304 HOME/instance-4404505-1569008097.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0e3d16858c05bcbedaa7411f074a79f1 RANDOM SEED=1064313304 node148.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.13 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.13 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.13 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.13 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: 15557772 kB MemAvailable: 31852568 kB Buffers: 89548 kB Cached: 16417024 kB SwapCached: 2828 kB Active: 8222488 kB Inactive: 8289300 kB Active(anon): 4720 kB Inactive(anon): 47128 kB Active(file): 8217768 kB Inactive(file): 8242172 kB Unevictable: 110920 kB Mlocked: 110920 kB SwapTotal: 67108860 kB SwapFree: 67002148 kB Dirty: 27340 kB Writeback: 0 kB AnonPages: 113212 kB Mapped: 50572 kB Shmem: 38472 kB Slab: 291656 kB SReclaimable: 263316 kB SUnreclaim: 28340 kB KernelStack: 3424 kB PageTables: 5904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505688 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 22056 MiB End job on node148 at 2019-09-20 21:55:55