Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | Wrong Opt. | 87 | 47.1374 | 6.66658 |
Name | Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-45-01.xml |
MD5SUM | 1713c5d1d522f34d444b6ff7755d5ded |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 82 |
Best CPU time to get the best result obtained on this benchmark | 273.014 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 32 |
Number of constraints | 72 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 151 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":151,"count":31}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":7,"count":1},{"degree":8,"count":21},{"degree":9,"count":5},{"degree":10,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":68},{"arity":30,"count":4}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 68 |
Distribution of constraint types | [{"type":"intension","count":68},{"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-4393934-1568431379.xml" -tl '20160s' -p 8 0.12/0.20 c Choco e747e1e 0.12/0.20 c [HOME/instance-4393934-1568431379.xml, -tl, 20160s, -p, 8] 0.34/0.25 c 8 solvers in parallel 0.34/0.31 c parse instance... 1.49/0.80 c solve instance... 2.48/0.99 o 97 2.48/1.01 o 94 3.10/1.07 o 90 13.14/2.38 o 88 45.61/6.42 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (111/116) 45.61/6.42 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 45.61/6.42 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 45.61/6.42 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 45.61/6.42 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 45.61/6.42 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 45.61/6.42 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (111/116) 45.61/6.42 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 45.61/6.42 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 45.61/6.42 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 45.61/6.42 at org.chocosolver.solver.Solver.repair(Solver.java:443) 45.61/6.42 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 45.61/6.42 at org.chocosolver.solver.Solver.solve(Solver.java:262) 45.61/6.42 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 45.61/6.42 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 45.61/6.42 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 45.61/6.42 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 45.61/6.42 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 45.61/6.42 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 45.61/6.42 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 45.61/6.42 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 45.61/6.42 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 45.61/6.42 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 45.61/6.42 o 87 47.05/6.65 s OPTIMUM FOUND 47.05/6.65 v <instantiation> 47.05/6.65 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> 47.05/6.65 v <values>0 4 0 1 6 24 7 14 21 7 5 20 28 17 33 23 65 37 38 37 56 47 48 63 61 78 53 71 78 81 73 87 </values> 47.05/6.65 v </instantiation>
OK 87
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 (13743 MiB free) memory of node 1: 16384 MiB (13844 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393934-1568431379/watcher-4393934-1568431379 -o /tmp/evaluation-result-4393934-1568431379/solver-4393934-1568431379 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323945801-11979 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 401254270 HOME/instance-4393934-1568431379.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 solver pid=11997, runsolver pid=11994 Current StackSize limit: 8192 KiB [startup+0.100111 s]* /proc/loadavg: 5.88 5.73 5.51 2/213 12018 /proc/meminfo: memFree=28232196/32770688 swapFree=66919992/67108860 [pid=11997] ppid=11994 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11997/stat : 11997 (xcsp3-exec) S 11994 11997 11952 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419144212 115843072 364 33554432000 4194304 5098028 140733838357888 140733838355992 140085605454460 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39440384 140733838361462 140733838361705 140733838361705 140733838364618 0 /proc/11997/statm: 28282 364 305 221 0 87 0 [pid=11999] ppid=11997 vsize=28227388 memory=31024 CPUtime=0.12 cores=0-7 /proc/11999/stat : 11999 (java) S 11997 11997 11952 0 -1 1077944320 5634 0 0 0 10 2 0 0 20 0 20 0 419144213 28904845312 7756 33554432000 4194304 4196468 140729019918656 140729019901200 140127398801143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 /proc/11999/statm: 7056847 7756 3158 1 0 7019032 0 [pid=11999/tid=12000] ppid=11997 vsize=28227388 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/11999/task/12000/stat : 12000 (java) R 11997 11997 11952 0 -1 4202560 3550 0 0 0 8 0 0 0 20 0 20 0 419144213 28904845312 7756 33554432000 4194304 4196468 140729019918656 140127403035776 140127015931904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12001] ppid=11997 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/11999/task/12001/stat : 12001 (java) S 11997 11997 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419144214 28904845312 7756 33554432000 4194304 4196468 140729019918656 140127351421200 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12002] ppid=11997 vsize=28227388 memory=140413904709248 CPUtime=0 cores=0-7 /proc/11999/task/12002/stat : 12002 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144214 28904845312 7756 33554432000 4194304 4196468 140729019918656 140127350368656 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12003] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12003/stat : 12003 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144214 28904845312 7756 33554432000 4194304 4196468 140729019918656 140127349316112 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12004] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12004/stat : 12004 (java) S 11997 11997 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419144214 28904845312 7756 33554432000 4194304 4196468 140729019918656 140127348263568 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12005] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12005/stat : 12005 (java) S 11997 11997 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419144214 28904845312 7756 33554432000 4194304 4196468 140729019918656 140127347211024 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12006] ppid=11997 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/11999/task/12006/stat : 12006 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144214 28904845312 7756 33554432000 4194304 4196468 140729019918656 140127346158480 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12007] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12007/stat : 12007 (java) S 11997 11997 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419144214 28904845312 7756 33554432000 4194304 4196468 140729019918656 140127345105936 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12008] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12008/stat : 12008 (java) S 11997 11997 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419144214 28904845312 7756 33554432000 4194304 4196468 140729019918656 140127344053392 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12009] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12009/stat : 12009 (java) S 11997 11997 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419144215 28904845312 7756 33554432000 4194304 4196468 140729019918656 140126380296176 140127398812290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12010] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12010/stat : 12010 (java) S 11997 11997 11952 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419144216 28904845312 7756 33554432000 4194304 4196468 140729019918656 140126379242400 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12011] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12011/stat : 12011 (java) S 11997 11997 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419144216 28904845312 7756 33554432000 4194304 4196468 140729019918656 140126378189808 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12012] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12012/stat : 12012 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144219 28904845312 7756 33554432000 4194304 4196468 140729019918656 140126377138384 140127398819739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12013] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12013/stat : 12013 (java) S 11997 11997 11952 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 20 0 419144219 28904845312 7756 33554432000 4194304 4196468 140729019918656 140126376086000 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12014] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12014/stat : 12014 (java) S 11997 11997 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419144219 28904845312 7756 33554432000 4194304 4196468 140729019918656 140126375033456 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12015] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12015/stat : 12015 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144219 28904845312 7756 33554432000 4194304 4196468 140729019918656 140126373980912 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12016] ppid=11997 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/11999/task/12016/stat : 12016 (java) S 11997 11997 11952 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 20 0 419144219 28904845312 7756 33554432000 4194304 4196468 140729019918656 140126372928368 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12017] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12017/stat : 12017 (java) S 11997 11997 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419144219 28904845312 7756 33554432000 4194304 4196468 140729019918656 140126371875040 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12018] ppid=11997 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/11999/task/12018/stat : 12018 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144219 28904845312 7756 33554432000 4194304 4196468 140729019918656 140126370822576 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 32480 KiB [startup+0.211468 s]* /proc/loadavg: 5.88 5.73 5.51 3/213 12018 /proc/meminfo: memFree=28218004/32770688 swapFree=66919992/67108860 [pid=11997] ppid=11994 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11997/stat : 11997 (xcsp3-exec) S 11994 11997 11952 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419144212 115843072 364 33554432000 4194304 5098028 140733838357888 140733838355992 140085605454460 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39440384 140733838361462 140733838361705 140733838361705 140733838364618 0 /proc/11997/statm: 28282 364 305 221 0 87 0 [pid=11999] ppid=11997 vsize=28227388 memory=42484 CPUtime=0.34 cores=0-7 /proc/11999/stat : 11999 (java) S 11997 11997 11952 0 -1 1077944320 9371 0 0 0 30 4 0 0 20 0 20 0 419144213 28904845312 10621 33554432000 4194304 4196468 140729019918656 140729019901200 140127398801143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 /proc/11999/statm: 7056847 10621 3302 1 0 7019032 0 [pid=11999/tid=12000] ppid=11997 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/11999/task/12000/stat : 12000 (java) R 11997 11997 11952 0 -1 4202560 6534 0 0 0 17 2 0 0 20 0 20 0 419144213 28904845312 10621 33554432000 4194304 4196468 140729019918656 140127403031408 140127398823069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12001] ppid=11997 vsize=28227388 memory=339 CPUtime=0 cores=0-7 /proc/11999/task/12001/stat : 12001 (java) S 11997 11997 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419144214 28904845312 10621 33554432000 4194304 4196468 140729019918656 140127351421200 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12002] ppid=11997 vsize=28227388 memory=140413904721341 CPUtime=0 cores=0-7 /proc/11999/task/12002/stat : 12002 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144214 28904845312 10621 33554432000 4194304 4196468 140729019918656 140127350368656 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12003] ppid=11997 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/11999/task/12003/stat : 12003 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144214 28904845312 10621 33554432000 4194304 4196468 140729019918656 140127349316112 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12004] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12004/stat : 12004 (java) S 11997 11997 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419144214 28904845312 10621 33554432000 4194304 4196468 140729019918656 140127348263568 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12005] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12005/stat : 12005 (java) S 11997 11997 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419144214 28904845312 10621 33554432000 4194304 4196468 140729019918656 140127347211024 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12006] ppid=11997 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/11999/task/12006/stat : 12006 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144214 28904845312 10621 33554432000 4194304 4196468 140729019918656 140127346158480 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12007] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12007/stat : 12007 (java) S 11997 11997 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419144214 28904845312 10621 33554432000 4194304 4196468 140729019918656 140127345105936 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12008] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12008/stat : 12008 (java) S 11997 11997 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419144214 28904845312 10621 33554432000 4194304 4196468 140729019918656 140127344053392 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12009] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12009/stat : 12009 (java) S 11997 11997 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419144215 28904845312 10621 33554432000 4194304 4196468 140729019918656 140126380296176 140127398812290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12010] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12010/stat : 12010 (java) S 11997 11997 11952 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419144216 28904845312 10621 33554432000 4194304 4196468 140729019918656 140126379242400 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12011] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12011/stat : 12011 (java) S 11997 11997 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419144216 28904845312 10621 33554432000 4194304 4196468 140729019918656 140126378189808 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12012] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12012/stat : 12012 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144219 28904845312 10621 33554432000 4194304 4196468 140729019918656 140126377138384 140127398819739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12013] ppid=11997 vsize=28227388 memory=0 CPUtime=0.03 cores=0-7 /proc/11999/task/12013/stat : 12013 (java) S 11997 11997 11952 0 -1 1077944384 723 0 0 0 3 0 0 0 20 0 20 0 419144219 28904845312 10621 33554432000 4194304 4196468 140729019918656 140126376086000 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12014] ppid=11997 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/11999/task/12014/stat : 12014 (java) S 11997 11997 11952 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 20 0 419144219 28904845312 10621 33554432000 4194304 4196468 140729019918656 140126375033456 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12015] ppid=11997 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/11999/task/12015/stat : 12015 (java) S 11997 11997 11952 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 419144219 28904845312 10621 33554432000 4194304 4196468 140729019918656 140126373980912 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12016] ppid=11997 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/11999/task/12016/stat : 12016 (java) S 11997 11997 11952 0 -1 1077944384 767 0 0 0 7 0 0 0 20 0 20 0 419144219 28904845312 10621 33554432000 4194304 4196468 140729019918656 140126372928368 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12017] ppid=11997 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12017/stat : 12017 (java) S 11997 11997 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419144219 28904845312 10621 33554432000 4194304 4196468 140729019918656 140126371875040 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12018] ppid=11997 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/11999/task/12018/stat : 12018 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144219 28904845312 10621 33554432000 4194304 4196468 140729019918656 140126370822576 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 43940 KiB [startup+0.310982 s]* /proc/loadavg: 5.88 5.73 5.51 4/213 12018 /proc/meminfo: memFree=28213400/32770688 swapFree=66919992/67108860 [pid=11997] ppid=11994 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11997/stat : 11997 (xcsp3-exec) S 11994 11997 11952 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419144212 115843072 364 33554432000 4194304 5098028 140733838357888 140733838355992 140085605454460 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39440384 140733838361462 140733838361705 140733838361705 140733838364618 0 /proc/11997/statm: 28282 364 305 221 0 87 0 [pid=11999] ppid=11997 vsize=28231644 memory=48244 CPUtime=0.52 cores=0-7 /proc/11999/stat : 11999 (java) S 11997 11997 11952 0 -1 1077944320 10482 0 0 0 47 5 0 0 20 0 20 0 419144213 28909203456 12061 33554432000 4194304 4196468 140729019918656 140729019901200 140127398801143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 /proc/11999/statm: 7057911 12061 3325 1 0 7019032 0 [pid=11999/tid=12000] ppid=11997 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/11999/task/12000/stat : 12000 (java) R 11997 11997 11952 0 -1 4202560 7516 0 0 0 26 3 0 0 20 0 20 0 419144213 28909203456 12061 33554432000 4194304 4196468 140729019918656 140127403013696 140127384496135 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12001] ppid=11997 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12001/stat : 12001 (java) S 11997 11997 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419144214 28909203456 12061 33554432000 4194304 4196468 140729019918656 140127351421200 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12002] ppid=11997 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12002/stat : 12002 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144214 28909203456 12061 33554432000 4194304 4196468 140729019918656 140127350368656 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12003] ppid=11997 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12003/stat : 12003 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144214 28909203456 12061 33554432000 4194304 4196468 140729019918656 140127349316112 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12004] ppid=11997 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12004/stat : 12004 (java) S 11997 11997 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419144214 28909203456 12061 33554432000 4194304 4196468 140729019918656 140127348263568 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12005] ppid=11997 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12005/stat : 12005 (java) S 11997 11997 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419144214 28909203456 12061 33554432000 4194304 4196468 140729019918656 140127347211024 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12006] ppid=11997 vsize=28231644 memory=140413755288239 CPUtime=0 cores=0-7 /proc/11999/task/12006/stat : 12006 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144214 28909203456 12061 33554432000 4194304 4196468 140729019918656 140127346158480 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12007] ppid=11997 vsize=28231644 memory=140413755290544 CPUtime=0 cores=0-7 /proc/11999/task/12007/stat : 12007 (java) S 11997 11997 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419144214 28909203456 12061 33554432000 4194304 4196468 140729019918656 140127345105936 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12008] ppid=11997 vsize=28231644 memory=140413755292848 CPUtime=0 cores=0-7 /proc/11999/task/12008/stat : 12008 (java) S 11997 11997 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419144214 28909203456 12061 33554432000 4194304 4196468 140729019918656 140127344053392 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12009] ppid=11997 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12009/stat : 12009 (java) S 11997 11997 11952 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 419144215 28909203456 12061 33554432000 4194304 4196468 140729019918656 140126380296176 140127398812290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12010] ppid=11997 vsize=28231644 memory=280827510599568 CPUtime=0 cores=0-7 /proc/11999/task/12010/stat : 12010 (java) S 11997 11997 11952 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419144216 28909203456 12061 33554432000 4194304 4196468 140729019918656 140126379242400 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12011] ppid=11997 vsize=28231644 memory=280827510597264 CPUtime=0 cores=0-7 /proc/11999/task/12011/stat : 12011 (java) S 11997 11997 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419144216 28909203456 12061 33554432000 4194304 4196468 140729019918656 140126378189808 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12012] ppid=11997 vsize=28231644 memory=280827510604176 CPUtime=0 cores=0-7 /proc/11999/task/12012/stat : 12012 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144219 28909203456 12061 33554432000 4194304 4196468 140729019918656 140126377138384 140127398819739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12013] ppid=11997 vsize=28231644 memory=280827510545456 CPUtime=0.03 cores=0-7 /proc/11999/task/12013/stat : 12013 (java) S 11997 11997 11952 0 -1 1077944384 727 0 0 0 3 0 0 0 20 0 20 0 419144219 28909203456 12061 33554432000 4194304 4196468 140729019918656 140126376086000 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12014] ppid=11997 vsize=28231644 memory=280827510618000 CPUtime=0.01 cores=0-7 /proc/11999/task/12014/stat : 12014 (java) S 11997 11997 11952 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 20 0 419144219 28909203456 12061 33554432000 4194304 4196468 140729019918656 140126375033456 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12015] ppid=11997 vsize=28231644 memory=280827510624912 CPUtime=0.02 cores=0-7 /proc/11999/task/12015/stat : 12015 (java) S 11997 11997 11952 0 -1 1077944384 52 0 0 0 2 0 0 0 20 0 20 0 419144219 28909203456 12061 33554432000 4194304 4196468 140729019918656 140126373980912 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12016] ppid=11997 vsize=28231644 memory=280827510622608 CPUtime=0.12 cores=0-7 /proc/11999/task/12016/stat : 12016 (java) S 11997 11997 11952 0 -1 1077944384 838 0 0 0 12 0 0 0 20 0 20 0 419144219 28909203456 12061 33554432000 4194304 4196468 140729019918656 140126372928368 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12017] ppid=11997 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12017/stat : 12017 (java) S 11997 11997 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419144219 28909203456 12061 33554432000 4194304 4196468 140729019918656 140126371875040 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12018] ppid=11997 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/11999/task/12018/stat : 12018 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144219 28909203456 12061 33554432000 4194304 4196468 140729019918656 140126370822576 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 49700 KiB [startup+0.700969 s] /proc/loadavg: 5.88 5.73 5.51 4/213 12018 /proc/meminfo: memFree=28202968/32770688 swapFree=66919992/67108860 [pid=11997] ppid=11994 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11997/stat : 11997 (xcsp3-exec) S 11994 11997 11952 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419144212 115843072 364 33554432000 4194304 5098028 140733838357888 140733838355992 140085605454460 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39440384 140733838361462 140733838361705 140733838361705 140733838364618 0 /proc/11997/statm: 28282 364 305 221 0 87 0 [pid=11999] ppid=11997 vsize=28233768 memory=80656 CPUtime=1.49 cores=0-7 /proc/11999/stat : 11999 (java) S 11997 11997 11952 0 -1 1077944320 14848 0 0 0 142 7 0 0 20 0 20 0 419144213 28911378432 20164 33554432000 4194304 4196468 140729019918656 140729019901200 140127398801143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 /proc/11999/statm: 7058442 20164 3449 1 0 7019544 0 [pid=11999/tid=12000] ppid=11997 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7 /proc/11999/task/12000/stat : 12000 (java) R 11997 11997 11952 0 -1 4202560 9233 0 0 0 63 5 0 0 20 0 20 0 419144213 28911378432 20164 33554432000 4194304 4196468 140729019918656 140127403037520 140127020088532 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12001] ppid=11997 vsize=28233768 memory=140413755499376 CPUtime=0 cores=0-7 /proc/11999/task/12001/stat : 12001 (java) S 11997 11997 11952 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419144214 28911378432 20164 33554432000 4194304 4196468 140729019918656 140127351421200 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12002] ppid=11997 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12002/stat : 12002 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144214 28911378432 20164 33554432000 4194304 4196468 140729019918656 140127350368656 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12003] ppid=11997 vsize=28233768 memory=1176 CPUtime=0 cores=0-7 /proc/11999/task/12003/stat : 12003 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419144214 28911378432 20164 33554432000 4194304 4196468 140729019918656 140127349316112 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 ################ # More data... # ################ [pid=11999/tid=12012] ppid=11997 vsize=28768328 memory=5980 CPUtime=0 cores=0-7 /proc/11999/task/12012/stat : 12012 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419144219 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126377138384 140127398819739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12013] ppid=11997 vsize=28768328 memory=248712 CPUtime=3.14 cores=0-7 /proc/11999/task/12013/stat : 12013 (java) S 11997 11997 11952 0 -1 1077944384 10373 0 0 0 311 3 0 0 20 0 28 0 419144219 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126376086000 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12014] ppid=11997 vsize=28768328 memory=0 CPUtime=3.3 cores=0-7 /proc/11999/task/12014/stat : 12014 (java) S 11997 11997 11952 0 -1 1077944384 7977 0 0 0 326 4 0 0 20 0 28 0 419144219 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126375033456 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12015] ppid=11997 vsize=28768328 memory=0 CPUtime=3.2 cores=0-7 /proc/11999/task/12015/stat : 12015 (java) S 11997 11997 11952 0 -1 1077944384 7946 0 0 0 318 2 0 0 20 0 28 0 419144219 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126373980912 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12016] ppid=11997 vsize=28768328 memory=0 CPUtime=1.17 cores=0-7 /proc/11999/task/12016/stat : 12016 (java) R 11997 11997 11952 0 -1 1077944384 5878 0 0 0 115 2 0 0 20 0 28 0 419144219 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126372928368 140127398812290 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12017] ppid=11997 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12017/stat : 12017 (java) S 11997 11997 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419144219 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126371875040 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12018] ppid=11997 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12018/stat : 12018 (java) S 11997 11997 11952 0 -1 1077944384 544 0 0 0 0 0 0 0 20 0 28 0 419144219 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126370822576 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12051] ppid=11997 vsize=28768328 memory=-7452473756319100199 CPUtime=3.22 cores=0-7 /proc/11999/task/12051/stat : 12051 (java) R 11997 11997 11952 0 -1 4202560 93 0 0 0 322 0 0 0 20 0 28 0 419144450 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126352383448 140127026220206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12052] ppid=11997 vsize=28768328 memory=-9174445032661854264 CPUtime=3.03 cores=0-7 /proc/11999/task/12052/stat : 12052 (java) R 11997 11997 11952 0 -1 4202560 69 0 0 0 303 0 0 0 20 0 28 0 419144451 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126357647896 140127025449627 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12053] ppid=11997 vsize=28768328 memory=1456 CPUtime=2.71 cores=0-7 /proc/11999/task/12053/stat : 12053 (java) R 11997 11997 11952 0 -1 4202560 743 0 0 0 270 1 0 0 20 0 28 0 419144451 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126358701720 140127025969415 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12054] ppid=11997 vsize=28768328 memory=264128 CPUtime=2.98 cores=0-7 /proc/11999/task/12054/stat : 12054 (java) R 11997 11997 11952 0 -1 4202560 146 0 0 0 298 0 0 0 20 0 28 0 419144451 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126359753560 140127024823004 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12055] ppid=11997 vsize=28768328 memory=2776 CPUtime=3 cores=0-7 /proc/11999/task/12055/stat : 12055 (java) R 11997 11997 11952 0 -1 4202560 126 0 0 0 300 0 0 0 20 0 28 0 419144451 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126354490552 140127026220206 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12056] ppid=11997 vsize=28768328 memory=924 CPUtime=3.11 cores=0-7 /proc/11999/task/12056/stat : 12056 (java) R 11997 11997 11952 0 -1 4202560 212 0 0 0 311 0 0 0 20 0 28 0 419144451 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126356597272 140127023039234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12057] ppid=11997 vsize=28768328 memory=1444 CPUtime=3.07 cores=0-7 /proc/11999/task/12057/stat : 12057 (java) R 11997 11997 11952 0 -1 4202560 327 0 0 0 307 0 0 0 20 0 28 0 419144451 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126355543208 140127024707692 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12058] ppid=11997 vsize=28768328 memory=1764 CPUtime=3.21 cores=0-7 /proc/11999/task/12058/stat : 12058 (java) R 11997 11997 11952 0 -1 4202560 222 0 0 0 321 0 0 0 20 0 28 0 419144452 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126353438120 140127025410853 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 Current children cumulated CPU time: 44.81 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 265772 KiB [startup+6.66652 s] # the end of solver process 11997 was just reported to runsolver # cumulated CPU time of all completed processes: user=46.833 s, system=0.304461 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40176 s] /proc/loadavg: 6.23 5.81 5.54 11/221 12059 /proc/meminfo: memFree=27999396/32770688 swapFree=66919992/67108860 [pid=11997] ppid=11994 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11997/stat : 11997 (xcsp3-exec) S 11994 11997 11952 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419144212 115843072 364 33554432000 4194304 5098028 140733838357888 140733838355992 140085605454460 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39440384 140733838361462 140733838361705 140733838361705 140733838364618 0 /proc/11997/statm: 28282 364 305 221 0 87 0 [pid=11999] ppid=11997 vsize=28768328 memory=264316 CPUtime=45.61 cores=0-7 /proc/11999/stat : 11999 (java) S 11997 11997 11952 0 -1 1077944320 48594 0 0 0 4533 28 0 0 20 0 28 0 419144213 29458767872 66079 33554432000 4194304 4196468 140729019918656 140729019901200 140127398801143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 /proc/11999/statm: 7192082 66079 3510 1 0 7153184 0 [pid=11999/tid=12000] ppid=11997 vsize=28768328 memory=4108 CPUtime=0.8 cores=0-7 /proc/11999/task/12000/stat : 12000 (java) S 11997 11997 11952 0 -1 1077944384 9431 0 0 0 75 5 0 0 20 0 28 0 419144213 29458767872 66079 33554432000 4194304 4196468 140729019918656 140127403041920 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12001] ppid=11997 vsize=28768328 memory=1804 CPUtime=0 cores=0-7 /proc/11999/task/12001/stat : 12001 (java) S 11997 11997 11952 0 -1 1077944384 947 0 0 0 0 0 0 0 20 0 28 0 419144214 29458767872 66079 33554432000 4194304 4196468 140729019918656 140127351421200 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12002] ppid=11997 vsize=28768328 memory=920 CPUtime=0.01 cores=0-7 /proc/11999/task/12002/stat : 12002 (java) S 11997 11997 11952 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 419144214 29458767872 66079 33554432000 4194304 4196468 140729019918656 140127350368656 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12003] ppid=11997 vsize=28768328 memory=3908 CPUtime=0 cores=0-7 /proc/11999/task/12003/stat : 12003 (java) S 11997 11997 11952 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 28 0 419144214 29458767872 66079 33554432000 4194304 4196468 140729019918656 140127349316112 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12004] ppid=11997 vsize=28768328 memory=280827511256000 CPUtime=0.01 cores=0-7 /proc/11999/task/12004/stat : 12004 (java) S 11997 11997 11952 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 28 0 419144214 29458767872 66079 33554432000 4194304 4196468 140729019918656 140127348263568 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12005] ppid=11997 vsize=28768328 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/11999/task/12005/stat : 12005 (java) S 11997 11997 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 419144214 29458767872 66079 33554432000 4194304 4196468 140729019918656 140127347211024 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12006] ppid=11997 vsize=28768328 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/11999/task/12006/stat : 12006 (java) S 11997 11997 11952 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 419144214 29458767872 66079 33554432000 4194304 4196468 140729019918656 140127346158480 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12007] ppid=11997 vsize=28768328 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/11999/task/12007/stat : 12007 (java) S 11997 11997 11952 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 419144214 29458767872 66079 33554432000 4194304 4196468 140729019918656 140127345105936 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12008] ppid=11997 vsize=28768328 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/11999/task/12008/stat : 12008 (java) S 11997 11997 11952 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 419144214 29458767872 66079 33554432000 4194304 4196468 140729019918656 140127344053392 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12009] ppid=11997 vsize=28768328 memory=6656426216303648864 CPUtime=0.01 cores=0-7 /proc/11999/task/12009/stat : 12009 (java) S 11997 11997 11952 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 28 0 419144215 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126380296176 140127398812290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12010] ppid=11997 vsize=28768328 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/11999/task/12010/stat : 12010 (java) S 11997 11997 11952 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 419144216 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126379242464 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12011] ppid=11997 vsize=28768328 memory=7162531440177276259 CPUtime=0 cores=0-7 /proc/11999/task/12011/stat : 12011 (java) S 11997 11997 11952 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 419144216 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126378189824 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12012] ppid=11997 vsize=28768328 memory=7162531440177276259 CPUtime=0 cores=0-7 /proc/11999/task/12012/stat : 12012 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419144219 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126377138384 140127398819739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12013] ppid=11997 vsize=28768328 memory=7162531440177276259 CPUtime=3.15 cores=0-7 /proc/11999/task/12013/stat : 12013 (java) S 11997 11997 11952 0 -1 1077944384 10377 0 0 0 312 3 0 0 20 0 28 0 419144219 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126376086000 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12014] ppid=11997 vsize=28768328 memory=7162531440177276259 CPUtime=3.32 cores=0-7 /proc/11999/task/12014/stat : 12014 (java) S 11997 11997 11952 0 -1 1077944384 7978 0 0 0 328 4 0 0 20 0 28 0 419144219 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126375033456 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12015] ppid=11997 vsize=28768328 memory=7162531440177276259 CPUtime=3.22 cores=0-7 /proc/11999/task/12015/stat : 12015 (java) S 11997 11997 11952 0 -1 1077944384 7961 0 0 0 320 2 0 0 20 0 28 0 419144219 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126373980912 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12016] ppid=11997 vsize=28768328 memory=7162531440177276259 CPUtime=1.17 cores=0-7 /proc/11999/task/12016/stat : 12016 (java) S 11997 11997 11952 0 -1 1077944384 5878 0 0 0 115 2 0 0 20 0 28 0 419144219 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126372928368 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12017] ppid=11997 vsize=28768328 memory=7380385388137112419 CPUtime=0 cores=0-7 /proc/11999/task/12017/stat : 12017 (java) S 11997 11997 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419144219 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126371875040 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12018] ppid=11997 vsize=28768328 memory=57 CPUtime=0 cores=0-7 /proc/11999/task/12018/stat : 12018 (java) S 11997 11997 11952 0 -1 1077944384 544 0 0 0 0 0 0 0 20 0 28 0 419144219 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126370822576 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12051] ppid=11997 vsize=28768328 memory=0 CPUtime=3.32 cores=0-7 /proc/11999/task/12051/stat : 12051 (java) R 11997 11997 11952 0 -1 4202560 93 0 0 0 332 0 0 0 20 0 28 0 419144450 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126352383448 140127025448957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12052] ppid=11997 vsize=28768328 memory=0 CPUtime=3.11 cores=0-7 /proc/11999/task/12052/stat : 12052 (java) R 11997 11997 11952 0 -1 4202560 69 0 0 0 311 0 0 0 20 0 28 0 419144451 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126357647896 140127025448553 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12053] ppid=11997 vsize=28768328 memory=0 CPUtime=2.81 cores=0-7 /proc/11999/task/12053/stat : 12053 (java) R 11997 11997 11952 0 -1 4202560 743 0 0 0 280 1 0 0 20 0 28 0 419144451 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126358701720 140127027470505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12054] ppid=11997 vsize=28768328 memory=0 CPUtime=3.08 cores=0-7 /proc/11999/task/12054/stat : 12054 (java) R 11997 11997 11952 0 -1 4202560 146 0 0 0 308 0 0 0 20 0 28 0 419144451 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126359753560 140127024715376 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12055] ppid=11997 vsize=28768328 memory=0 CPUtime=3.09 cores=0-7 /proc/11999/task/12055/stat : 12055 (java) R 11997 11997 11952 0 -1 4202560 126 0 0 0 309 0 0 0 20 0 28 0 419144451 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126354490552 140127024860251 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12056] ppid=11997 vsize=28768328 memory=0 CPUtime=3.21 cores=0-7 /proc/11999/task/12056/stat : 12056 (java) R 11997 11997 11952 0 -1 4202560 212 0 0 0 321 0 0 0 20 0 28 0 419144451 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126356597272 140127021629275 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12057] ppid=11997 vsize=28768328 memory=0 CPUtime=3.17 cores=0-7 /proc/11999/task/12057/stat : 12057 (java) R 11997 11997 11952 0 -1 4202560 328 0 0 0 317 0 0 0 20 0 28 0 419144451 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126355543208 140127023038987 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12058] ppid=11997 vsize=28768328 memory=0 CPUtime=3.31 cores=0-7 /proc/11999/task/12058/stat : 12058 (java) R 11997 11997 11952 0 -1 4202560 222 0 0 0 331 0 0 0 20 0 28 0 419144452 29458767872 66079 33554432000 4194304 4196468 140729019918656 140126353438120 140127025410864 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 Current children cumulated CPU time: 45.61 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 265772 KiB [startup+6.60103 s] /proc/loadavg: 6.23 5.81 5.54 11/221 12059 /proc/meminfo: memFree=27999396/32770688 swapFree=66919992/67108860 [pid=11997] ppid=11994 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/11997/stat : 11997 (xcsp3-exec) S 11994 11997 11952 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 419144212 115843072 364 33554432000 4194304 5098028 140733838357888 140733838355992 140085605454460 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 39440384 140733838361462 140733838361705 140733838361705 140733838364618 0 /proc/11997/statm: 28282 364 305 221 0 87 0 [pid=11999] ppid=11997 vsize=28834892 memory=264044 CPUtime=47.05 cores=0-7 /proc/11999/stat : 11999 (java) S 11997 11997 11952 0 -1 1077944320 49028 0 0 0 4677 28 0 0 20 0 28 0 419144213 29526929408 66011 33554432000 4194304 4196468 140729019918656 140729019901200 140127398801143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 /proc/11999/statm: 7208723 66011 3511 1 0 7169825 0 [pid=11999/tid=12000] ppid=11997 vsize=28834892 memory=0 CPUtime=0.8 cores=0-7 /proc/11999/task/12000/stat : 12000 (java) S 11997 11997 11952 0 -1 1077944384 9591 0 0 0 75 5 0 0 20 0 28 0 419144213 29526929408 66011 33554432000 4194304 4196468 140729019918656 140127403041920 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12001] ppid=11997 vsize=28834892 memory=0 CPUtime=0 cores=0-7 /proc/11999/task/12001/stat : 12001 (java) S 11997 11997 11952 0 -1 1077944384 947 0 0 0 0 0 0 0 20 0 28 0 419144214 29526929408 66011 33554432000 4194304 4196468 140729019918656 140127351421200 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12002] ppid=11997 vsize=28834892 memory=-7452473756319100199 CPUtime=0.01 cores=0-7 /proc/11999/task/12002/stat : 12002 (java) S 11997 11997 11952 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 419144214 29526929408 66011 33554432000 4194304 4196468 140729019918656 140127350368656 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12003] ppid=11997 vsize=28834892 memory=-9174445032661854264 CPUtime=0 cores=0-7 /proc/11999/task/12003/stat : 12003 (java) S 11997 11997 11952 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 28 0 419144214 29526929408 66011 33554432000 4194304 4196468 140729019918656 140127349316112 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12004] ppid=11997 vsize=28834892 memory=47876 CPUtime=0.01 cores=0-7 /proc/11999/task/12004/stat : 12004 (java) S 11997 11997 11952 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 28 0 419144214 29526929408 66011 33554432000 4194304 4196468 140729019918656 140127348263568 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12005] ppid=11997 vsize=28834892 memory=984 CPUtime=0 cores=0-7 /proc/11999/task/12005/stat : 12005 (java) S 11997 11997 11952 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 419144214 29526929408 66011 33554432000 4194304 4196468 140729019918656 140127347211024 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12006] ppid=11997 vsize=28834892 memory=2020 CPUtime=0 cores=0-7 /proc/11999/task/12006/stat : 12006 (java) S 11997 11997 11952 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 419144214 29526929408 66011 33554432000 4194304 4196468 140729019918656 140127346158480 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12007] ppid=11997 vsize=28834892 memory=1432 CPUtime=0 cores=0-7 /proc/11999/task/12007/stat : 12007 (java) S 11997 11997 11952 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 419144214 29526929408 66011 33554432000 4194304 4196468 140729019918656 140127345105936 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12008] ppid=11997 vsize=28834892 memory=776 CPUtime=0 cores=0-7 /proc/11999/task/12008/stat : 12008 (java) S 11997 11997 11952 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 419144214 29526929408 66011 33554432000 4194304 4196468 140729019918656 140127344053392 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12009] ppid=11997 vsize=28834892 memory=660 CPUtime=0.01 cores=0-7 /proc/11999/task/12009/stat : 12009 (java) S 11997 11997 11952 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 28 0 419144215 29526929408 66011 33554432000 4194304 4196468 140729019918656 140126380296176 140127398812290 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12010] ppid=11997 vsize=28834892 memory=1556 CPUtime=0 cores=0-7 /proc/11999/task/12010/stat : 12010 (java) S 11997 11997 11952 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 419144216 29526929408 66011 33554432000 4194304 4196468 140729019918656 140126379242464 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12011] ppid=11997 vsize=28834892 memory=9588 CPUtime=0 cores=0-7 /proc/11999/task/12011/stat : 12011 (java) S 11997 11997 11952 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 419144216 29526929408 66011 33554432000 4194304 4196468 140729019918656 140126378189824 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12012] ppid=11997 vsize=28834892 memory=1712 CPUtime=0 cores=0-7 /proc/11999/task/12012/stat : 12012 (java) S 11997 11997 11952 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419144219 29526929408 66011 33554432000 4194304 4196468 140729019918656 140126377138384 140127398819739 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12013] ppid=11997 vsize=28834892 memory=5980 CPUtime=3.17 cores=0-7 /proc/11999/task/12013/stat : 12013 (java) S 11997 11997 11952 0 -1 1077944384 10384 0 0 0 314 3 0 0 20 0 28 0 419144219 29526929408 66011 33554432000 4194304 4196468 140729019918656 140126376086000 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12014] ppid=11997 vsize=28834892 memory=4164 CPUtime=3.35 cores=0-7 /proc/11999/task/12014/stat : 12014 (java) S 11997 11997 11952 0 -1 1077944384 7990 0 0 0 331 4 0 0 20 0 28 0 419144219 29526929408 66011 33554432000 4194304 4196468 140729019918656 140126375033456 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12015] ppid=11997 vsize=28834892 memory=1056 CPUtime=3.27 cores=0-7 /proc/11999/task/12015/stat : 12015 (java) S 11997 11997 11952 0 -1 1077944384 7972 0 0 0 325 2 0 0 20 0 28 0 419144219 29526929408 66011 33554432000 4194304 4196468 140729019918656 140126373980912 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12016] ppid=11997 vsize=28834892 memory=2828 CPUtime=1.19 cores=0-7 /proc/11999/task/12016/stat : 12016 (java) S 11997 11997 11952 0 -1 1077944384 5908 0 0 0 117 2 0 0 20 0 28 0 419144219 29526929408 66011 33554432000 4194304 4196468 140729019918656 140126372928368 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12017] ppid=11997 vsize=28834892 memory=1176 CPUtime=0 cores=0-7 /proc/11999/task/12017/stat : 12017 (java) S 11997 11997 11952 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419144219 29526929408 66011 33554432000 4194304 4196468 140729019918656 140126371875040 140127398811349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 [pid=11999/tid=12018] ppid=11997 vsize=28834892 memory=980 CPUtime=0 cores=0-7 /proc/11999/task/12018/stat : 12018 (java) S 11997 11997 11952 0 -1 1077944384 544 0 0 0 0 0 0 0 20 0 28 0 419144219 29526929408 66011 33554432000 4194304 4196468 140729019918656 140126370822576 140127398812290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30609408 140729019921386 140729019921558 140729019921558 140729019924431 0 Current children cumulated CPU time: 47.05 s Current children cumulated vsize: 28948020 KiB Current children cumulated memory: 265500 KiB Child status: 0 Real time (s): 6.66658 CPU time (s): 47.1374 CPU user time (s): 46.833 CPU system time (s): 0.304461 CPU usage (%): 707.07 Max. virtual memory (cumulated for all children) (KiB): 28948020 Max. memory (cumulated for all children) (KiB): 265772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 46.833 system time used= 0.304461 maximum resident set size= 264736 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49793 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6321 involuntary context switches= 1800 # summary of solver processes directly reported to runsolver: # pid: 11997 # total CPU time (s): 47.1374 # total CPU user time (s): 46.833 # total CPU system time (s): 0.304461 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.097544 second user time and 0.110517 second system time The end
Begin job on node120 at 2011-12-15 11:43:21 IDJOB=4393934 IDBENCH=129972 IDSOLVER=2841 FILE ID=node120/4393934-1568431379 RUNJOBID= node120-1323945801-11979 PBS_JOBID= 21702313 Free space on /tmp= 61648 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-45-01.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-4393934-1568431379/watcher-4393934-1568431379 -o /tmp/evaluation-result-4393934-1568431379/solver-4393934-1568431379 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323945801-11979 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 401254270 HOME/instance-4393934-1568431379.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1713c5d1d522f34d444b6ff7755d5ded RANDOM SEED=401254270 node120.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 28250608 kB MemAvailable: 31827272 kB Buffers: 197236 kB Cached: 3684388 kB SwapCached: 77548 kB Active: 1108912 kB Inactive: 2854496 kB Active(anon): 3528 kB Inactive(anon): 127876 kB Active(file): 1105384 kB Inactive(file): 2726620 kB Unevictable: 107828 kB Mlocked: 107828 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 26000 kB Writeback: 0 kB AnonPages: 113248 kB Mapped: 48344 kB Shmem: 41008 kB Slab: 150096 kB SReclaimable: 120992 kB SUnreclaim: 29104 kB KernelStack: 3312 kB PageTables: 5628 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 514404 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 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: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61624 MiB End job on node120 at 2011-12-15 11:43:28