Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 73 | 339.803 | 47.8115 |
Name | Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-07.xml |
MD5SUM | 883cdd2c39820682d54c3bab8557ea17 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 73 |
Best CPU time to get the best result obtained on this benchmark | 185.851 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 32 |
Number of constraints | 62 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 158 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":158,"count":31}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":6,"count":3},{"degree":7,"count":8},{"degree":8,"count":16},{"degree":9,"count":2},{"degree":10,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":58},{"arity":30,"count":4}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 58 |
Distribution of constraint types | [{"type":"intension","count":58},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394536-1568431388.xml" -tl '20160s' -p 8 0.11/0.20 c Choco e747e1e 0.11/0.20 c [HOME/instance-4394536-1568431388.xml, -tl, 20160s, -p, 8] 0.33/0.24 c 8 solvers in parallel 0.33/0.31 c parse instance... 1.48/0.79 c solve instance... 2.53/0.96 o 85 2.53/0.99 o 83 11.03/2.09 o 82 11.82/2.16 o 81 12.47/2.21 o 80 16.40/2.77 o 77 16.40/2.80 o 76 43.17/6.12 o 75 43.17/6.15 o 74 81.16/10.94 o 73 339.12/47.79 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (94/116) 339.12/47.79 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 339.12/47.79 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 339.12/47.79 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 339.12/47.79 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 339.12/47.79 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 339.12/47.79 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (94/116) 339.12/47.79 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 339.12/47.79 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 339.12/47.79 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 339.12/47.79 at org.chocosolver.solver.Solver.repair(Solver.java:443) 339.12/47.79 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 339.12/47.79 at org.chocosolver.solver.Solver.solve(Solver.java:262) 339.12/47.79 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 339.12/47.79 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 339.12/47.79 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 339.12/47.79 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 339.12/47.79 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 339.12/47.79 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 339.12/47.79 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 339.12/47.79 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 339.12/47.79 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 339.12/47.79 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 339.12/47.79 s OPTIMUM FOUND 339.12/47.79 v <instantiation> 339.12/47.79 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] </list> 339.12/47.79 v <values>0 4 0 0 4 17 27 17 6 9 12 24 50 12 37 4 44 11 22 37 55 62 27 48 46 20 69 58 61 71 69 73 </values> 339.12/47.79 v </instantiation>
OK 73
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 (14530 MiB free) memory of node 1: 16384 MiB (15615 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394536-1568431388/watcher-4394536-1568431388 -o /tmp/evaluation-result-4394536-1568431388/solver-4394536-1568431388 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568427322-28555 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 557474952 HOME/instance-4394536-1568431388.xml running on 8 cores: 0-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=482, runsolver pid=479 [startup+0.100138 s]* /proc/loadavg: 6.82 5.05 3.95 2/212 504 /proc/meminfo: memFree=30854220/32770688 swapFree=66961112/67108860 [pid=482] ppid=479 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/482/stat : 482 (xcsp3-exec) S 479 482 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419080454 115843072 363 33554432000 4194304 5098028 140722021057136 140722021055240 140629276500604 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7413760 140722021065590 140722021065833 140722021065833 140722021068746 0 /proc/482/statm: 28282 363 304 221 0 87 0 [pid=484] ppid=482 vsize=28227388 memory=28380 CPUtime=0.11 cores=0-7 /proc/484/stat : 484 (java) S 482 482 28528 0 -1 1077944320 5546 0 0 0 10 1 0 0 20 0 20 0 419080455 28904845312 7095 33554432000 4194304 4196468 140727053935776 140727053918320 139903160725239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 /proc/484/statm: 7056847 7095 3052 1 0 7019032 0 [pid=484/tid=485] ppid=482 vsize=28227388 memory=8318255677412212789 CPUtime=0.09 cores=0-7 /proc/484/task/485/stat : 485 (java) R 482 482 28528 0 -1 4202560 3614 0 0 0 9 0 0 0 20 0 20 0 419080455 28904845312 7226 33554432000 4194304 4196468 140727053935776 139903164958696 139903144805726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=486] ppid=482 vsize=28227388 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/484/task/486/stat : 486 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080456 28904845312 7226 33554432000 4194304 4196468 140727053935776 139902712638096 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=487] ppid=482 vsize=28227388 memory=3618841317831157408 CPUtime=0 cores=0-7 /proc/484/task/487/stat : 487 (java) S 482 482 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419080456 28904845312 7226 33554432000 4194304 4196468 140727053935776 139902711585296 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=488] ppid=482 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/484/task/488/stat : 488 (java) S 482 482 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419080456 28904845312 7226 33554432000 4194304 4196468 140727053935776 139902710532496 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=489] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/489/stat : 489 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080456 28904845312 7226 33554432000 4194304 4196468 140727053935776 139902709479696 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=490] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/490/stat : 490 (java) S 482 482 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419080456 28904845312 7226 33554432000 4194304 4196468 140727053935776 139902708427920 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=491] ppid=482 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/484/task/491/stat : 491 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080456 28904845312 7226 33554432000 4194304 4196468 140727053935776 139902707375120 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=492] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/492/stat : 492 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080456 28904845312 7226 33554432000 4194304 4196468 140727053935776 139902706322320 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=493] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/493/stat : 493 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080456 28904845312 7226 33554432000 4194304 4196468 140727053935776 139902705269520 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=495] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/495/stat : 495 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080458 28904845312 7226 33554432000 4194304 4196468 140727053935776 139901691910512 139903160736386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=496] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/496/stat : 496 (java) S 482 482 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419080458 28904845312 7226 33554432000 4194304 4196468 140727053935776 139901690856480 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=497] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/497/stat : 497 (java) S 482 482 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419080458 28904845312 7226 33554432000 4194304 4196468 140727053935776 139901689803632 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=498] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/498/stat : 498 (java) S 482 482 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419080461 28904845312 7226 33554432000 4194304 4196468 140727053935776 139901688751952 139903160743835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=499] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/499/stat : 499 (java) S 482 482 28528 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 419080461 28904845312 7226 33554432000 4194304 4196468 140727053935776 139901687700336 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=500] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/500/stat : 500 (java) S 482 482 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419080461 28904845312 7226 33554432000 4194304 4196468 140727053935776 139901686647536 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=501] ppid=482 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/484/task/501/stat : 501 (java) S 482 482 28528 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419080461 28904845312 7226 33554432000 4194304 4196468 140727053935776 139901685594736 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=502] ppid=482 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/484/task/502/stat : 502 (java) S 482 482 28528 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 20 0 419080461 28904845312 7226 33554432000 4194304 4196468 140727053935776 139901684541936 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=503] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/503/stat : 503 (java) S 482 482 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419080461 28904845312 7226 33554432000 4194304 4196468 140727053935776 139901683489376 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=504] ppid=482 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/484/task/504/stat : 504 (java) S 482 482 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419080462 28904845312 7226 33554432000 4194304 4196468 140727053935776 139901682436656 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 29832 KiB [startup+0.211264 s]* /proc/loadavg: 6.82 5.05 3.95 3/212 504 /proc/meminfo: memFree=30840624/32770688 swapFree=66961112/67108860 [pid=482] ppid=479 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/482/stat : 482 (xcsp3-exec) S 479 482 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419080454 115843072 363 33554432000 4194304 5098028 140722021057136 140722021055240 140629276500604 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7413760 140722021065590 140722021065833 140722021065833 140722021068746 0 /proc/482/statm: 28282 363 304 221 0 87 0 [pid=484] ppid=482 vsize=28227388 memory=40760 CPUtime=0.33 cores=0-7 /proc/484/stat : 484 (java) S 482 482 28528 0 -1 1077944320 9428 0 0 0 31 2 0 0 20 0 20 0 419080455 28904845312 10190 33554432000 4194304 4196468 140727053935776 140727053918320 139903160725239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 /proc/484/statm: 7056847 10190 3294 1 0 7019032 0 [pid=484/tid=485] ppid=482 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/484/task/485/stat : 485 (java) R 482 482 28528 0 -1 4202560 6616 0 0 0 18 1 0 0 20 0 20 0 419080455 28904845312 10190 33554432000 4194304 4196468 140727053935776 139903164962800 139903160747165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=486] ppid=482 vsize=28227388 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/484/task/486/stat : 486 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080456 28904845312 10190 33554432000 4194304 4196468 140727053935776 139902712638096 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=487] ppid=482 vsize=28227388 memory=3618841317831157408 CPUtime=0 cores=0-7 /proc/484/task/487/stat : 487 (java) S 482 482 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419080456 28904845312 10190 33554432000 4194304 4196468 140727053935776 139902711585296 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=488] ppid=482 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/484/task/488/stat : 488 (java) S 482 482 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419080456 28904845312 10190 33554432000 4194304 4196468 140727053935776 139902710532496 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=489] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/489/stat : 489 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080456 28904845312 10190 33554432000 4194304 4196468 140727053935776 139902709479696 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=490] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/490/stat : 490 (java) S 482 482 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419080456 28904845312 10190 33554432000 4194304 4196468 140727053935776 139902708427920 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=491] ppid=482 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/484/task/491/stat : 491 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080456 28904845312 10190 33554432000 4194304 4196468 140727053935776 139902707375120 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=492] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/492/stat : 492 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080456 28904845312 10190 33554432000 4194304 4196468 140727053935776 139902706322320 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=493] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/493/stat : 493 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080456 28904845312 10190 33554432000 4194304 4196468 140727053935776 139902705269520 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=495] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/495/stat : 495 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080458 28904845312 10190 33554432000 4194304 4196468 140727053935776 139901691910512 139903160736386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=496] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/496/stat : 496 (java) S 482 482 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419080458 28904845312 10190 33554432000 4194304 4196468 140727053935776 139901690856480 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=497] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/497/stat : 497 (java) S 482 482 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419080458 28904845312 10190 33554432000 4194304 4196468 140727053935776 139901689803632 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=498] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/498/stat : 498 (java) S 482 482 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419080461 28904845312 10190 33554432000 4194304 4196468 140727053935776 139901688751952 139903160743835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=499] ppid=482 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/484/task/499/stat : 499 (java) S 482 482 28528 0 -1 1077944384 507 0 0 0 2 0 0 0 20 0 20 0 419080461 28904845312 10190 33554432000 4194304 4196468 140727053935776 139901687700336 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=500] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/500/stat : 500 (java) R 482 482 28528 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419080461 28904845312 10190 33554432000 4194304 4196468 140727053935776 139901686647536 139903160736386 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=501] ppid=482 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/484/task/501/stat : 501 (java) S 482 482 28528 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 20 0 419080461 28904845312 10190 33554432000 4194304 4196468 140727053935776 139901685594736 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=502] ppid=482 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/484/task/502/stat : 502 (java) R 482 482 28528 0 -1 4202560 777 0 0 0 7 0 0 0 20 0 20 0 419080461 28904845312 10190 33554432000 4194304 4196468 140727053935776 139901684541936 139903160746586 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=503] ppid=482 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/484/task/503/stat : 503 (java) S 482 482 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419080461 28904845312 10190 33554432000 4194304 4196468 140727053935776 139901683489376 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=504] ppid=482 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/484/task/504/stat : 504 (java) S 482 482 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419080462 28904845312 10190 33554432000 4194304 4196468 140727053935776 139901682436656 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42212 KiB [startup+0.310871 s]* /proc/loadavg: 6.82 5.05 3.95 4/212 504 /proc/meminfo: memFree=30836032/32770688 swapFree=66961112/67108860 [pid=482] ppid=479 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/482/stat : 482 (xcsp3-exec) S 479 482 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419080454 115843072 363 33554432000 4194304 5098028 140722021057136 140722021055240 140629276500604 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7413760 140722021065590 140722021065833 140722021065833 140722021068746 0 /proc/482/statm: 28282 363 304 221 0 87 0 [pid=484] ppid=482 vsize=28231644 memory=46712 CPUtime=0.52 cores=0-7 /proc/484/stat : 484 (java) S 482 482 28528 0 -1 1077944320 10568 0 0 0 48 4 0 0 20 0 20 0 419080455 28909203456 11678 33554432000 4194304 4196468 140727053935776 140727053918320 139903160725239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 /proc/484/statm: 7057911 11678 3317 1 0 7019032 0 [pid=484/tid=485] ppid=482 vsize=28231644 memory=6935054825532540783 CPUtime=0.29 cores=0-7 /proc/484/task/485/stat : 485 (java) R 482 482 28528 0 -1 4202560 7599 0 0 0 27 2 0 0 20 0 20 0 419080455 28909203456 11678 33554432000 4194304 4196468 140727053935776 139903164953392 139903153403253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=486] ppid=482 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/484/task/486/stat : 486 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080456 28909203456 11678 33554432000 4194304 4196468 140727053935776 139902712638096 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=487] ppid=482 vsize=28231644 memory=140510355334839 CPUtime=0 cores=0-7 /proc/484/task/487/stat : 487 (java) S 482 482 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419080456 28909203456 11678 33554432000 4194304 4196468 140727053935776 139902711585296 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=488] ppid=482 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/484/task/488/stat : 488 (java) S 482 482 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419080456 28909203456 11678 33554432000 4194304 4196468 140727053935776 139902710532496 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=489] ppid=482 vsize=28231644 memory=2240 CPUtime=0 cores=0-7 /proc/484/task/489/stat : 489 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080456 28909203456 11678 33554432000 4194304 4196468 140727053935776 139902709479696 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=490] ppid=482 vsize=28231644 memory=2241 CPUtime=0 cores=0-7 /proc/484/task/490/stat : 490 (java) S 482 482 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419080456 28909203456 11678 33554432000 4194304 4196468 140727053935776 139902708427920 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=491] ppid=482 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/484/task/491/stat : 491 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080456 28909203456 11678 33554432000 4194304 4196468 140727053935776 139902707375120 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=492] ppid=482 vsize=28231644 memory=281020515687968 CPUtime=0 cores=0-7 /proc/484/task/492/stat : 492 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080456 28909203456 11678 33554432000 4194304 4196468 140727053935776 139902706322320 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=493] ppid=482 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/484/task/493/stat : 493 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080456 28909203456 11678 33554432000 4194304 4196468 140727053935776 139902705269520 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=495] ppid=482 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/484/task/495/stat : 495 (java) S 482 482 28528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419080458 28909203456 11678 33554432000 4194304 4196468 140727053935776 139901691910512 139903160736386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=496] ppid=482 vsize=28231644 memory=233 CPUtime=0 cores=0-7 /proc/484/task/496/stat : 496 (java) S 482 482 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419080458 28909203456 11678 33554432000 4194304 4196468 140727053935776 139901690856480 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=497] ppid=482 vsize=28231644 memory=256 CPUtime=0 cores=0-7 /proc/484/task/497/stat : 497 (java) S 482 482 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419080458 28909203456 11678 33554432000 4194304 4196468 140727053935776 139901689803632 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=498] ppid=482 vsize=28231644 memory=259754 CPUtime=0 cores=0-7 /proc/484/task/498/stat : 498 (java) S 482 482 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419080461 28909203456 11678 33554432000 4194304 4196468 140727053935776 139901688751952 139903160743835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=499] ppid=482 vsize=28231644 memory=1 CPUtime=0.03 cores=0-7 /proc/484/task/499/stat : 499 (java) S 482 482 28528 0 -1 1077944384 507 0 0 0 3 0 0 0 20 0 20 0 419080461 28909203456 11678 33554432000 4194304 4196468 140727053935776 139901687700336 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=500] ppid=482 vsize=28231644 memory=29531 CPUtime=0.01 cores=0-7 /proc/484/task/500/stat : 500 (java) S 482 482 28528 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 20 0 419080461 28909203456 11678 33554432000 4194304 4196468 140727053935776 139901686647536 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=501] ppid=482 vsize=28231644 memory=0 CPUtime=0.02 cores=0-7 /proc/484/task/501/stat : 501 (java) S 482 482 28528 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 20 0 419080461 28909203456 11678 33554432000 4194304 4196468 140727053935776 139901685594736 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=502] ppid=482 vsize=28231644 memory=0 CPUtime=0.12 cores=0-7 /proc/484/task/502/stat : 502 (java) S 482 482 28528 0 -1 1077944384 857 0 0 0 12 0 0 0 20 0 20 0 419080461 28909203456 11678 33554432000 4194304 4196468 140727053935776 139901684541936 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=503] ppid=482 vsize=28231644 memory=3467825727391412274 CPUtime=0 cores=0-7 /proc/484/task/503/stat : 503 (java) S 482 482 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419080461 28909203456 11678 33554432000 4194304 4196468 140727053935776 139901683489376 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=504] ppid=482 vsize=28231644 memory=2319684899342137393 CPUtime=0 cores=0-7 /proc/484/task/504/stat : 504 (java) S 482 482 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419080462 28909203456 11678 33554432000 4194304 4196468 140727053935776 139901682436656 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 48164 KiB [startup+0.700958 s] /proc/loadavg: 6.82 5.05 3.95 5/212 504 /proc/meminfo: memFree=30825796/32770688 swapFree=66961112/67108860 [pid=482] ppid=479 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/482/stat : 482 (xcsp3-exec) S 479 482 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419080454 115843072 363 33554432000 4194304 5098028 140722021057136 140722021055240 140629276500604 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7413760 140722021065590 140722021065833 140722021065833 140722021068746 0 /proc/482/statm: 28282 363 304 221 0 87 0 [pid=484] ppid=482 vsize=28233768 memory=78044 CPUtime=1.48 cores=0-7 /proc/484/stat : 484 (java) S 482 482 28528 0 -1 1077944320 14772 0 0 0 141 7 0 0 20 0 20 0 419080455 28911378432 19511 33554432000 4194304 4196468 140727053935776 140727053918320 139903160725239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 /proc/484/statm: 7058442 19511 3443 1 0 7019544 0 [pid=484/tid=485] ppid=482 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7 /proc/484/task/485/stat : 485 (java) R 482 482 28528 0 -1 4202560 9340 0 0 0 64 4 0 0 20 0 20 0 419080455 28911378432 19511 33554432000 4194304 4196468 140727053935776 139903164960544 139902798651787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=486] ppid=482 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/484/task/486/stat : 486 (java) S 482 482 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419080456 28911378432 19511 33554432000 4194304 4196468 140727053935776 139902712638096 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=487] ppid=482 vsize=28233768 memory=4580 CPUtime=0 cores=0-7 /proc/484/task/487/stat : 487 (java) S 482 482 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419080456 28911378432 19511 33554432000 4194304 4196468 140727053935776 139902711585296 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=488] ppid=482 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/484/task/488/stat : 488 (java) S 482 482 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419080456 28911378432 19511 33554432000 4194304 4196468 140727053935776 139902710532496 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 ################ # More data... # ################ [pid=484/tid=617] ppid=482 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/484/task/617/stat : 617 (java) S 482 482 28528 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901666924112 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=618] ppid=482 vsize=28768328 memory=1 CPUtime=35.4 cores=0-7 /proc/484/task/618/stat : 618 (java) R 482 482 28528 0 -1 4202560 1887 0 0 0 3539 1 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901671129512 139902807110897 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=619] ppid=482 vsize=28768328 memory=0 CPUtime=35.4 cores=0-7 /proc/484/task/619/stat : 619 (java) R 482 482 28528 0 -1 4202560 1042 0 0 0 3540 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901664815392 139902807588134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=620] ppid=482 vsize=28768328 memory=2210 CPUtime=35.4 cores=0-7 /proc/484/task/620/stat : 620 (java) R 482 482 28528 0 -1 4202560 910 0 0 0 3540 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901669023080 139902807114782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=621] ppid=482 vsize=28768328 memory=161 CPUtime=35.4 cores=0-7 /proc/484/task/621/stat : 621 (java) R 482 482 28528 0 -1 4202560 1151 0 0 0 3540 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901670075768 139902806092630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=622] ppid=482 vsize=28768328 memory=-3252517613198930896 CPUtime=35.4 cores=0-7 /proc/484/task/622/stat : 622 (java) R 482 482 28528 0 -1 4202560 637 0 0 0 3540 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901665865688 139902807112318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 Current children cumulated CPU time: 330.02 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 271520 KiB [startup+47.2011 s] /proc/loadavg: 7.17 5.41 4.13 8/220 623 /proc/meminfo: memFree=30613468/32770688 swapFree=66961112/67108860 [pid=482] ppid=479 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/482/stat : 482 (xcsp3-exec) S 479 482 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419080454 115843072 363 33554432000 4194304 5098028 140722021057136 140722021055240 140629276500604 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7413760 140722021065590 140722021065833 140722021065833 140722021068746 0 /proc/482/statm: 28282 363 304 221 0 87 0 [pid=484] ppid=482 vsize=28768328 memory=270068 CPUtime=335.62 cores=0-7 /proc/484/stat : 484 (java) S 482 482 28528 0 -1 1077944320 95951 0 0 0 33523 39 0 0 20 0 28 0 419080455 29458767872 67517 33554432000 4194304 4196468 140727053935776 140727053918320 139903160725239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 /proc/484/statm: 7192082 67517 3522 1 0 7153184 0 [pid=484/tid=485] ppid=482 vsize=28768328 memory=6947385649911455296 CPUtime=0.79 cores=0-7 /proc/484/task/485/stat : 485 (java) S 482 482 28528 0 -1 1077944384 9790 0 0 0 75 4 0 0 20 0 28 0 419080455 29458767872 67517 33554432000 4194304 4196468 140727053935776 139903164966016 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=486] ppid=482 vsize=28768328 memory=270068 CPUtime=0.02 cores=0-7 /proc/484/task/486/stat : 486 (java) S 482 482 28528 0 -1 1077944384 541 0 0 0 2 0 0 0 20 0 28 0 419080456 29458767872 67517 33554432000 4194304 4196468 140727053935776 139902712638096 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=487] ppid=482 vsize=28768328 memory=13563821075728716 CPUtime=0.02 cores=0-7 /proc/484/task/487/stat : 487 (java) S 482 482 28528 0 -1 1077944384 1024 0 0 0 2 0 0 0 20 0 28 0 419080456 29458767872 67517 33554432000 4194304 4196468 140727053935776 139902711585296 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=488] ppid=482 vsize=28768328 memory=3472328296227680333 CPUtime=0.02 cores=0-7 /proc/484/task/488/stat : 488 (java) S 482 482 28528 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 28 0 419080456 29458767872 67517 33554432000 4194304 4196468 140727053935776 139902710532496 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=489] ppid=482 vsize=28768328 memory=8832007021623682093 CPUtime=0.03 cores=0-7 /proc/484/task/489/stat : 489 (java) S 482 482 28528 0 -1 1077944384 1067 0 0 0 3 0 0 0 20 0 28 0 419080456 29458767872 67517 33554432000 4194304 4196468 140727053935776 139902709479696 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=490] ppid=482 vsize=28768328 memory=288284459286135716 CPUtime=0.04 cores=0-7 /proc/484/task/490/stat : 490 (java) S 482 482 28528 0 -1 1077944384 1732 0 0 0 3 1 0 0 20 0 28 0 419080456 29458767872 67517 33554432000 4194304 4196468 140727053935776 139902708427920 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=491] ppid=482 vsize=28768328 memory=142580029326296 CPUtime=0.03 cores=0-7 /proc/484/task/491/stat : 491 (java) S 482 482 28528 0 -1 1077944384 1501 0 0 0 3 0 0 0 20 0 28 0 419080456 29458767872 67517 33554432000 4194304 4196468 140727053935776 139902707375120 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=492] ppid=482 vsize=28768328 memory=3304 CPUtime=0.04 cores=0-7 /proc/484/task/492/stat : 492 (java) S 482 482 28528 0 -1 1077944384 327 0 0 0 4 0 0 0 20 0 28 0 419080456 29458767872 67517 33554432000 4194304 4196468 140727053935776 139902706322320 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=493] ppid=482 vsize=28768328 memory=1452 CPUtime=0.03 cores=0-7 /proc/484/task/493/stat : 493 (java) S 482 482 28528 0 -1 1077944384 329 0 0 0 3 0 0 0 20 0 28 0 419080456 29458767872 67517 33554432000 4194304 4196468 140727053935776 139902705269520 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=495] ppid=482 vsize=28768328 memory=270068 CPUtime=0.03 cores=0-7 /proc/484/task/495/stat : 495 (java) S 482 482 28528 0 -1 1077944384 1393 0 0 0 3 0 0 0 20 0 28 0 419080458 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901691910512 139903160736386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=496] ppid=482 vsize=28768328 memory=1388 CPUtime=0 cores=0-7 /proc/484/task/496/stat : 496 (java) S 482 482 28528 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 419080458 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901690856544 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=497] ppid=482 vsize=28768328 memory=1056 CPUtime=0 cores=0-7 /proc/484/task/497/stat : 497 (java) S 482 482 28528 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 419080458 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901689803648 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=498] ppid=482 vsize=28768328 memory=780 CPUtime=0 cores=0-7 /proc/484/task/498/stat : 498 (java) S 482 482 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419080461 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901688751952 139903160743835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=499] ppid=482 vsize=28768328 memory=1708 CPUtime=3.41 cores=0-7 /proc/484/task/499/stat : 499 (java) S 482 482 28528 0 -1 1077944384 14857 0 0 0 338 3 0 0 20 0 28 0 419080461 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901687700336 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=500] ppid=482 vsize=28768328 memory=1280 CPUtime=4.05 cores=0-7 /proc/484/task/500/stat : 500 (java) S 482 482 28528 0 -1 1077944384 18796 0 0 0 400 5 0 0 20 0 28 0 419080461 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901686647536 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=501] ppid=482 vsize=28768328 memory=1452 CPUtime=3.83 cores=0-7 /proc/484/task/501/stat : 501 (java) S 482 482 28528 0 -1 1077944384 17706 0 0 0 378 5 0 0 20 0 28 0 419080461 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901685594736 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=502] ppid=482 vsize=28768328 memory=270068 CPUtime=1.24 cores=0-7 /proc/484/task/502/stat : 502 (java) S 482 482 28528 0 -1 1077944384 11136 0 0 0 121 3 0 0 20 0 28 0 419080461 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901684541936 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=503] ppid=482 vsize=28768328 memory=8547712850019655540 CPUtime=0 cores=0-7 /proc/484/task/503/stat : 503 (java) S 482 482 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419080461 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901683489376 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=504] ppid=482 vsize=28768328 memory=7976406965554101875 CPUtime=0 cores=0-7 /proc/484/task/504/stat : 504 (java) S 482 482 28528 0 -1 1077944384 1333 0 0 0 0 0 0 0 20 0 28 0 419080462 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901682436656 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=615] ppid=482 vsize=28768328 memory=-6935123839545469851 CPUtime=36.21 cores=0-7 /proc/484/task/615/stat : 615 (java) R 482 482 28528 0 -1 4202560 1572 0 0 0 3621 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901667969160 139902807208385 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=616] ppid=482 vsize=28768328 memory=-6948055166404804237 CPUtime=36.21 cores=0-7 /proc/484/task/616/stat : 616 (java) R 482 482 28528 0 -1 4202560 432 0 0 0 3621 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901663760408 139902807112646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=617] ppid=482 vsize=28768328 memory=-3252517613198930896 CPUtime=0 cores=0-7 /proc/484/task/617/stat : 617 (java) S 482 482 28528 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901666924112 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=618] ppid=482 vsize=28768328 memory=7976406965554101875 CPUtime=36.2 cores=0-7 /proc/484/task/618/stat : 618 (java) R 482 482 28528 0 -1 4202560 1892 0 0 0 3619 1 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901671129512 139902803732160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=619] ppid=482 vsize=28768328 memory=-3040564339105353206 CPUtime=36.2 cores=0-7 /proc/484/task/619/stat : 619 (java) R 482 482 28528 0 -1 4202560 1048 0 0 0 3620 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901664815392 139902807209612 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=620] ppid=482 vsize=28768328 memory=0 CPUtime=36.2 cores=0-7 /proc/484/task/620/stat : 620 (java) R 482 482 28528 0 -1 4202560 913 0 0 0 3620 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901669023080 139902807305735 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=621] ppid=482 vsize=28768328 memory=6947385649911455296 CPUtime=36.2 cores=0-7 /proc/484/task/621/stat : 621 (java) R 482 482 28528 0 -1 4202560 1153 0 0 0 3620 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901670075768 139902807381957 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=622] ppid=482 vsize=28768328 memory=1452 CPUtime=36.2 cores=0-7 /proc/484/task/622/stat : 622 (java) R 482 482 28528 0 -1 4202560 642 0 0 0 3620 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901665865688 139902807381901 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 Current children cumulated CPU time: 335.62 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 271520 KiB [startup+47.6011 s] /proc/loadavg: 7.17 5.41 4.13 8/220 623 /proc/meminfo: memFree=30613468/32770688 swapFree=66961112/67108860 [pid=482] ppid=479 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/482/stat : 482 (xcsp3-exec) S 479 482 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419080454 115843072 363 33554432000 4194304 5098028 140722021057136 140722021055240 140629276500604 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7413760 140722021065590 140722021065833 140722021065833 140722021068746 0 /proc/482/statm: 28282 363 304 221 0 87 0 [pid=484] ppid=482 vsize=28768328 memory=270068 CPUtime=338.42 cores=0-7 /proc/484/stat : 484 (java) S 482 482 28528 0 -1 1077944320 95957 0 0 0 33803 39 0 0 20 0 28 0 419080455 29458767872 67517 33554432000 4194304 4196468 140727053935776 140727053918320 139903160725239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 /proc/484/statm: 7192082 67517 3522 1 0 7153184 0 [pid=484/tid=485] ppid=482 vsize=28768328 memory=1412 CPUtime=0.79 cores=0-7 /proc/484/task/485/stat : 485 (java) S 482 482 28528 0 -1 1077944384 9790 0 0 0 75 4 0 0 20 0 28 0 419080455 29458767872 67517 33554432000 4194304 4196468 140727053935776 139903164966016 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=486] ppid=482 vsize=28768328 memory=3304 CPUtime=0.02 cores=0-7 /proc/484/task/486/stat : 486 (java) S 482 482 28528 0 -1 1077944384 541 0 0 0 2 0 0 0 20 0 28 0 419080456 29458767872 67517 33554432000 4194304 4196468 140727053935776 139902712638096 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=487] ppid=482 vsize=28768328 memory=1452 CPUtime=0.02 cores=0-7 /proc/484/task/487/stat : 487 (java) S 482 482 28528 0 -1 1077944384 1024 0 0 0 2 0 0 0 20 0 28 0 419080456 29458767872 67517 33554432000 4194304 4196468 140727053935776 139902711585296 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=488] ppid=482 vsize=28768328 memory=270068 CPUtime=0.02 cores=0-7 /proc/484/task/488/stat : 488 (java) S 482 482 28528 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 28 0 419080456 29458767872 67517 33554432000 4194304 4196468 140727053935776 139902710532496 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=489] ppid=482 vsize=28768328 memory=6947385649911455296 CPUtime=0.03 cores=0-7 /proc/484/task/489/stat : 489 (java) S 482 482 28528 0 -1 1077944384 1067 0 0 0 3 0 0 0 20 0 28 0 419080456 29458767872 67517 33554432000 4194304 4196468 140727053935776 139902709479696 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=490] ppid=482 vsize=28768328 memory=2424 CPUtime=0.04 cores=0-7 /proc/484/task/490/stat : 490 (java) S 482 482 28528 0 -1 1077944384 1732 0 0 0 3 1 0 0 20 0 28 0 419080456 29458767872 67517 33554432000 4194304 4196468 140727053935776 139902708427920 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=491] ppid=482 vsize=28768328 memory=1760 CPUtime=0.03 cores=0-7 /proc/484/task/491/stat : 491 (java) S 482 482 28528 0 -1 1077944384 1501 0 0 0 3 0 0 0 20 0 28 0 419080456 29458767872 67517 33554432000 4194304 4196468 140727053935776 139902707375120 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=492] ppid=482 vsize=28768328 memory=111636 CPUtime=0.04 cores=0-7 /proc/484/task/492/stat : 492 (java) S 482 482 28528 0 -1 1077944384 327 0 0 0 4 0 0 0 20 0 28 0 419080456 29458767872 67517 33554432000 4194304 4196468 140727053935776 139902706322320 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=493] ppid=482 vsize=28768328 memory=800 CPUtime=0.03 cores=0-7 /proc/484/task/493/stat : 493 (java) S 482 482 28528 0 -1 1077944384 329 0 0 0 3 0 0 0 20 0 28 0 419080456 29458767872 67517 33554432000 4194304 4196468 140727053935776 139902705269520 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=495] ppid=482 vsize=28768328 memory=1680 CPUtime=0.03 cores=0-7 /proc/484/task/495/stat : 495 (java) S 482 482 28528 0 -1 1077944384 1393 0 0 0 3 0 0 0 20 0 28 0 419080458 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901691910512 139903160736386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=496] ppid=482 vsize=28768328 memory=4100 CPUtime=0 cores=0-7 /proc/484/task/496/stat : 496 (java) S 482 482 28528 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 419080458 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901690856544 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=497] ppid=482 vsize=28768328 memory=1808 CPUtime=0 cores=0-7 /proc/484/task/497/stat : 497 (java) S 482 482 28528 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 419080458 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901689803648 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=498] ppid=482 vsize=28768328 memory=920 CPUtime=0 cores=0-7 /proc/484/task/498/stat : 498 (java) S 482 482 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419080461 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901688751952 139903160743835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=499] ppid=482 vsize=28768328 memory=4496 CPUtime=3.41 cores=0-7 /proc/484/task/499/stat : 499 (java) S 482 482 28528 0 -1 1077944384 14857 0 0 0 338 3 0 0 20 0 28 0 419080461 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901687700336 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=500] ppid=482 vsize=28768328 memory=928 CPUtime=4.05 cores=0-7 /proc/484/task/500/stat : 500 (java) S 482 482 28528 0 -1 1077944384 18796 0 0 0 400 5 0 0 20 0 28 0 419080461 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901686647536 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=501] ppid=482 vsize=28768328 memory=1628 CPUtime=3.83 cores=0-7 /proc/484/task/501/stat : 501 (java) S 482 482 28528 0 -1 1077944384 17706 0 0 0 378 5 0 0 20 0 28 0 419080461 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901685594736 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=502] ppid=482 vsize=28768328 memory=1388 CPUtime=1.24 cores=0-7 /proc/484/task/502/stat : 502 (java) S 482 482 28528 0 -1 1077944384 11136 0 0 0 121 3 0 0 20 0 28 0 419080461 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901684541936 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=503] ppid=482 vsize=28768328 memory=1056 CPUtime=0 cores=0-7 /proc/484/task/503/stat : 503 (java) S 482 482 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419080461 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901683489376 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=504] ppid=482 vsize=28768328 memory=780 CPUtime=0 cores=0-7 /proc/484/task/504/stat : 504 (java) S 482 482 28528 0 -1 1077944384 1333 0 0 0 0 0 0 0 20 0 28 0 419080462 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901682436656 139903160736386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=615] ppid=482 vsize=28768328 memory=1708 CPUtime=36.61 cores=0-7 /proc/484/task/615/stat : 615 (java) R 482 482 28528 0 -1 4202560 1572 0 0 0 3661 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901667969160 139902807381906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=616] ppid=482 vsize=28768328 memory=1280 CPUtime=36.61 cores=0-7 /proc/484/task/616/stat : 616 (java) R 482 482 28528 0 -1 4202560 432 0 0 0 3661 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901663760408 139902806931939 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=617] ppid=482 vsize=28768328 memory=5932 CPUtime=0 cores=0-7 /proc/484/task/617/stat : 617 (java) S 482 482 28528 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901666924112 139903160735445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=618] ppid=482 vsize=28768328 memory=780 CPUtime=36.6 cores=0-7 /proc/484/task/618/stat : 618 (java) R 482 482 28528 0 -1 4202560 1892 0 0 0 3659 1 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901671129512 139902807380894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=619] ppid=482 vsize=28768328 memory=3988 CPUtime=36.6 cores=0-7 /proc/484/task/619/stat : 619 (java) R 482 482 28528 0 -1 4202560 1050 0 0 0 3660 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901664815392 139902803732160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=620] ppid=482 vsize=28768328 memory=1088 CPUtime=36.6 cores=0-7 /proc/484/task/620/stat : 620 (java) R 482 482 28528 0 -1 4202560 917 0 0 0 3660 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901669023080 139902811927811 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=621] ppid=482 vsize=28768328 memory=2832 CPUtime=36.6 cores=0-7 /proc/484/task/621/stat : 621 (java) R 482 482 28528 0 -1 4202560 1153 0 0 0 3660 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901670075768 139902803977465 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 [pid=484/tid=622] ppid=482 vsize=28768328 memory=1564 CPUtime=36.6 cores=0-7 /proc/484/task/622/stat : 622 (java) R 482 482 28528 0 -1 4202560 642 0 0 0 3660 0 0 0 20 0 28 0 419081549 29458767872 67517 33554432000 4194304 4196468 140727053935776 139901665865688 139902810265624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32600064 140727053943786 140727053943958 140727053943958 140727053946831 0 Current children cumulated CPU time: 338.42 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 271520 KiB [startup+47.8011 s] /proc/loadavg: 7.17 5.41 4.13 8/220 623 /proc/meminfo: memFree=30613468/32770688 swapFree=66961112/67108860 [pid=482] ppid=479 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/482/stat : 482 (xcsp3-exec) S 479 482 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419080454 115843072 363 33554432000 4194304 5098028 140722021057136 140722021055240 140629276500604 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7413760 140722021065590 140722021065833 140722021065833 140722021068746 0 /proc/482/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: 0 Real time (s): 47.8115 CPU time (s): 339.803 CPU user time (s): 339.389 CPU system time (s): 0.413841 CPU usage (%): 710.713 Max. virtual memory (cumulated for all children) (KiB): 28883616 Max. memory (cumulated for all children) (KiB): 276220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 339.389 system time used= 0.413841 maximum resident set size= 277008 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99163 page faults= 0 swaps= 0 block input operations= 0 block output operations= 192 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8990 involuntary context switches= 2856 # summary of solver processes directly reported to runsolver: # pid: 482 # total CPU time (s): 339.803 # total CPU user time (s): 339.389 # total CPU system time (s): 0.413841 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.517902 second user time and 0.51562 second system time The end
Begin job on node116 at 2019-09-14 05:22:27 IDJOB=4394536 IDBENCH=129976 IDSOLVER=2843 FILE ID=node116/4394536-1568431388 RUNJOBID= node116-1568427322-28555 PBS_JOBID= 21702297 Free space on /tmp= 61244 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-29-07.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-4394536-1568431388/watcher-4394536-1568431388 -o /tmp/evaluation-result-4394536-1568431388/solver-4394536-1568431388 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568427322-28555 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 557474952 HOME/instance-4394536-1568431388.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 883cdd2c39820682d54c3bab8557ea17 RANDOM SEED=557474952 node116.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.12 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.12 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.12 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.12 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 : 5332.55 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 : 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 : 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 : 5332.55 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 30869912 kB MemAvailable: 31853056 kB Buffers: 82588 kB Cached: 1185888 kB SwapCached: 46656 kB Active: 946412 kB Inactive: 375184 kB Active(anon): 4992 kB Inactive(anon): 88424 kB Active(file): 941420 kB Inactive(file): 286760 kB Unevictable: 109332 kB Mlocked: 109332 kB SwapTotal: 67108860 kB SwapFree: 66961112 kB Dirty: 25720 kB Writeback: 4 kB AnonPages: 115348 kB Mapped: 43456 kB Shmem: 32004 kB Slab: 170124 kB SReclaimable: 141600 kB SUnreclaim: 28524 kB KernelStack: 3424 kB PageTables: 5668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 498184 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61216 MiB End job on node116 at 2019-09-14 05:23:15