Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 10 | 1123.97 | 142.713 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-david.xml |
MD5SUM | 8881d200d983e9a0f6a660f33978a65e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 8.31459 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 87 |
Number of constraints | 406 |
Number of domains | 1 |
Minimum domain size | 87 |
Maximum domain size | 87 |
Distribution of domain sizes | [{"size":87,"count":87}] |
Minimum variable degree | 2 |
Maximum variable degree | 83 |
Distribution of variable degrees | [{"degree":2,"count":10},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":5},{"degree":6,"count":6},{"degree":7,"count":10},{"degree":8,"count":4},{"degree":9,"count":5},{"degree":10,"count":9},{"degree":11,"count":1},{"degree":12,"count":4},{"degree":13,"count":2},{"degree":15,"count":3},{"degree":16,"count":2},{"degree":17,"count":4},{"degree":18,"count":2},{"degree":19,"count":1},{"degree":20,"count":1},{"degree":22,"count":1},{"degree":29,"count":1},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":83,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":406}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 406 |
Distribution of constraint types | [{"type":"intension","count":406}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404851-1569003446.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404851-1569003446.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.33/0.96 c solve instance... 2.80/1.01 o 11 2.80/1.03 o 10 1123.28/142.68 s OPTIMUM FOUND 1123.28/142.68 v <instantiation> 1123.28/142.68 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] </list> 1123.28/142.68 v <values>0 1 1 2 2 0 4 2 4 1 2 3 0 1 1 2 2 4 10 6 7 3 3 0 0 0 4 3 6 1 1 4 2 0 2 0 8 0 0 3 0 0 2 2 0 9 1 0 0 1 0 4 4 3 6 0 0 3 3 1 2 0 1 0 0 3 4 1 2 1 1 0 6 8 0 0 4 0 4 2 6 0 5 4 3 0 7 </values> 1123.28/142.68 v </instantiation>
OK 10
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (9726 MiB free) memory of node 1: 16384 MiB (8265 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404851-1569003446/watcher-4404851-1569003446 -o /tmp/evaluation-result-4404851-1569003446/solver-4404851-1569003446 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 336942697 HOME/instance-4404851-1569003446.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=22111, runsolver pid=22108 [startup+0.100154 s]* /proc/loadavg: 6.89 7.75 7.96 2/210 22132 /proc/meminfo: memFree=18405336/32770624 swapFree=66986244/67108860 [pid=22111] ppid=22108 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22111/stat : 22111 (xcsp3-exec) S 22108 22111 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476601420 115843072 363 33554432000 4194304 5098028 140730844833696 140730844831800 140598273602172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12783616 140730844836732 140730844836974 140730844836974 140730844839882 0 /proc/22111/statm: 28282 363 304 221 0 87 0 [pid=22113] ppid=22111 vsize=28227396 memory=30196 CPUtime=0.12 cores=0-7 /proc/22113/stat : 22113 (java) S 22111 22111 14667 0 -1 1077944320 5511 0 0 0 11 1 0 0 20 0 20 0 476601420 28904853504 7549 33554432000 4194304 4196468 140724332389888 140724332372432 140709881044727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 /proc/22113/statm: 7056849 7549 3123 1 0 7019032 0 [pid=22113/tid=22114] ppid=22111 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/22113/task/22114/stat : 22114 (java) R 22111 22111 14667 0 -1 4202560 3431 0 0 0 8 1 0 0 20 0 20 0 476601420 28904853504 7549 33554432000 4194304 4196468 140724332389888 140709885279008 140709881066074 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22115] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22115/stat : 22115 (java) S 22111 22111 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476601421 28904853504 7549 33554432000 4194304 4196468 140724332389888 140709432667152 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22116] ppid=22111 vsize=28227396 memory=139992371730971 CPUtime=0 cores=0-7 /proc/22113/task/22116/stat : 22116 (java) S 22111 22111 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476601421 28904853504 7549 33554432000 4194304 4196468 140724332389888 140709431614608 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22117] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22117/stat : 22117 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601421 28904853504 7549 33554432000 4194304 4196468 140724332389888 140709430561552 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22118] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22118/stat : 22118 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601421 28904853504 7549 33554432000 4194304 4196468 140724332389888 140709429509008 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22119] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22119/stat : 22119 (java) S 22111 22111 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476601421 28904853504 7549 33554432000 4194304 4196468 140724332389888 140709428455952 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22120] ppid=22111 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22113/task/22120/stat : 22120 (java) S 22111 22111 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476601421 28904853504 7549 33554432000 4194304 4196468 140724332389888 140709427403408 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22121] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22121/stat : 22121 (java) S 22111 22111 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476601421 28904853504 7549 33554432000 4194304 4196468 140724332389888 140709426350352 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22122] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22122/stat : 22122 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601421 28904853504 7549 33554432000 4194304 4196468 140724332389888 140709425297808 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22123] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22123/stat : 22123 (java) S 22111 22111 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476601423 28904853504 7549 33554432000 4194304 4196468 140724332389888 140708142828272 140709881055874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22124] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22124/stat : 22124 (java) S 22111 22111 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476601423 28904853504 7549 33554432000 4194304 4196468 140724332389888 140708141774496 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22125] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22125/stat : 22125 (java) S 22111 22111 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476601423 28904853504 7549 33554432000 4194304 4196468 140724332389888 140708140721392 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22126] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22126/stat : 22126 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601426 28904853504 7549 33554432000 4194304 4196468 140724332389888 140708139669968 140709881063323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22127] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22127/stat : 22127 (java) S 22111 22111 14667 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 476601426 28904853504 7549 33554432000 4194304 4196468 140724332389888 140708138617072 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22128] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22128/stat : 22128 (java) R 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601426 28904853504 7549 33554432000 4194304 4196468 140724332389888 140708137564528 140709881055874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22129] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22129/stat : 22129 (java) S 22111 22111 14667 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 476601426 28904853504 7549 33554432000 4194304 4196468 140724332389888 140708136511472 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22130] ppid=22111 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/22113/task/22130/stat : 22130 (java) R 22111 22111 14667 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 20 0 476601426 28904853504 7549 33554432000 4194304 4196468 140724332389888 140708135458928 140709881055874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22131] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22131/stat : 22131 (java) S 22111 22111 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476601426 28904853504 7549 33554432000 4194304 4196468 140724332389888 140708134407136 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22132] ppid=22111 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22113/task/22132/stat : 22132 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601426 28904853504 7549 33554432000 4194304 4196468 140724332389888 140708133354672 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31648 KiB [startup+0.210332 s]* /proc/loadavg: 6.89 7.75 7.96 3/210 22132 /proc/meminfo: memFree=18392280/32770624 swapFree=66986244/67108860 [pid=22111] ppid=22108 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22111/stat : 22111 (xcsp3-exec) S 22108 22111 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476601420 115843072 363 33554432000 4194304 5098028 140730844833696 140730844831800 140598273602172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12783616 140730844836732 140730844836974 140730844836974 140730844839882 0 /proc/22111/statm: 28282 363 304 221 0 87 0 [pid=22113] ppid=22111 vsize=28227396 memory=41348 CPUtime=0.34 cores=0-7 /proc/22113/stat : 22113 (java) S 22111 22111 14667 0 -1 1077944320 9072 0 0 0 30 4 0 0 20 0 20 0 476601420 28904853504 10337 33554432000 4194304 4196468 140724332389888 140724332372432 140709881044727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 /proc/22113/statm: 7056849 10337 3299 1 0 7019032 0 [pid=22113/tid=22114] ppid=22111 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/22113/task/22114/stat : 22114 (java) R 22111 22111 14667 0 -1 4202560 6236 0 0 0 17 3 0 0 20 0 20 0 476601420 28904853504 10337 33554432000 4194304 4196468 140724332389888 140709885279424 140709863190586 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22115] ppid=22111 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/22113/task/22115/stat : 22115 (java) S 22111 22111 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476601421 28904853504 10337 33554432000 4194304 4196468 140724332389888 140709432667152 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22116] ppid=22111 vsize=28227396 memory=288370368523425408 CPUtime=0 cores=0-7 /proc/22113/task/22116/stat : 22116 (java) S 22111 22111 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476601421 28904853504 10337 33554432000 4194304 4196468 140724332389888 140709431614608 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22117] ppid=22111 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22113/task/22117/stat : 22117 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601421 28904853504 10337 33554432000 4194304 4196468 140724332389888 140709430561552 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22118] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22118/stat : 22118 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601421 28904853504 10337 33554432000 4194304 4196468 140724332389888 140709429509008 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22119] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22119/stat : 22119 (java) S 22111 22111 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476601421 28904853504 10337 33554432000 4194304 4196468 140724332389888 140709428455952 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22120] ppid=22111 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22113/task/22120/stat : 22120 (java) S 22111 22111 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476601421 28904853504 10337 33554432000 4194304 4196468 140724332389888 140709427403408 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22121] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22121/stat : 22121 (java) S 22111 22111 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476601421 28904853504 10337 33554432000 4194304 4196468 140724332389888 140709426350352 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22122] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22122/stat : 22122 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601421 28904853504 10337 33554432000 4194304 4196468 140724332389888 140709425297808 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22123] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22123/stat : 22123 (java) S 22111 22111 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476601423 28904853504 10337 33554432000 4194304 4196468 140724332389888 140708142828272 140709881055874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22124] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22124/stat : 22124 (java) S 22111 22111 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476601423 28904853504 10337 33554432000 4194304 4196468 140724332389888 140708141774496 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22125] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22125/stat : 22125 (java) S 22111 22111 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476601423 28904853504 10337 33554432000 4194304 4196468 140724332389888 140708140721392 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22126] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22126/stat : 22126 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601426 28904853504 10337 33554432000 4194304 4196468 140724332389888 140708139669968 140709881063323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22127] ppid=22111 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/22113/task/22127/stat : 22127 (java) S 22111 22111 14667 0 -1 1077944384 528 0 0 0 1 0 0 0 20 0 20 0 476601426 28904853504 10337 33554432000 4194304 4196468 140724332389888 140708138617072 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22128] ppid=22111 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/22113/task/22128/stat : 22128 (java) S 22111 22111 14667 0 -1 1077944384 98 0 0 0 2 0 0 0 20 0 20 0 476601426 28904853504 10337 33554432000 4194304 4196468 140724332389888 140708137564528 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22129] ppid=22111 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/22113/task/22129/stat : 22129 (java) S 22111 22111 14667 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 20 0 476601426 28904853504 10337 33554432000 4194304 4196468 140724332389888 140708136511472 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22130] ppid=22111 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/22113/task/22130/stat : 22130 (java) R 22111 22111 14667 0 -1 4202560 746 0 0 0 7 0 0 0 20 0 20 0 476601426 28904853504 10337 33554432000 4194304 4196468 140724332389888 140708135458928 140709860506612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22131] ppid=22111 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22131/stat : 22131 (java) S 22111 22111 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476601426 28904853504 10337 33554432000 4194304 4196468 140724332389888 140708134407136 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22132] ppid=22111 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/22113/task/22132/stat : 22132 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601426 28904853504 10337 33554432000 4194304 4196468 140724332389888 140708133354672 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42800 KiB [startup+0.309725 s]* /proc/loadavg: 6.89 7.75 7.96 5/210 22132 /proc/meminfo: memFree=18385568/32770624 swapFree=66986244/67108860 [pid=22111] ppid=22108 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22111/stat : 22111 (xcsp3-exec) S 22108 22111 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476601420 115843072 363 33554432000 4194304 5098028 140730844833696 140730844831800 140598273602172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12783616 140730844836732 140730844836974 140730844836974 140730844839882 0 /proc/22111/statm: 28282 363 304 221 0 87 0 [pid=22113] ppid=22111 vsize=28231652 memory=50252 CPUtime=0.52 cores=0-7 /proc/22113/stat : 22113 (java) S 22111 22111 14667 0 -1 1077944320 10392 0 0 0 47 5 0 0 20 0 20 0 476601420 28909211648 12563 33554432000 4194304 4196468 140724332389888 140724332372432 140709881044727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 /proc/22113/statm: 7057913 12563 3344 1 0 7019032 0 [pid=22113/tid=22114] ppid=22111 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/22113/task/22114/stat : 22114 (java) R 22111 22111 14667 0 -1 4202560 7312 0 0 0 26 3 0 0 20 0 20 0 476601420 28909211648 12563 33554432000 4194304 4196468 140724332389888 140709885275840 140709881066653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22115] ppid=22111 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22115/stat : 22115 (java) S 22111 22111 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476601421 28909211648 12563 33554432000 4194304 4196468 140724332389888 140709432667152 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22116] ppid=22111 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22116/stat : 22116 (java) S 22111 22111 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476601421 28909211648 12563 33554432000 4194304 4196468 140724332389888 140709431614608 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22117] ppid=22111 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22117/stat : 22117 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601421 28909211648 12563 33554432000 4194304 4196468 140724332389888 140709430561552 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22118] ppid=22111 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22118/stat : 22118 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601421 28909211648 12563 33554432000 4194304 4196468 140724332389888 140709429509008 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22119] ppid=22111 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22119/stat : 22119 (java) S 22111 22111 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476601421 28909211648 12563 33554432000 4194304 4196468 140724332389888 140709428455952 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22120] ppid=22111 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22120/stat : 22120 (java) S 22111 22111 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476601421 28909211648 12563 33554432000 4194304 4196468 140724332389888 140709427403408 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22121] ppid=22111 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22121/stat : 22121 (java) S 22111 22111 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476601421 28909211648 12563 33554432000 4194304 4196468 140724332389888 140709426350352 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22122] ppid=22111 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22122/stat : 22122 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601421 28909211648 12563 33554432000 4194304 4196468 140724332389888 140709425297808 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22123] ppid=22111 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22123/stat : 22123 (java) S 22111 22111 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476601423 28909211648 12563 33554432000 4194304 4196468 140724332389888 140708142828272 140709881055874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22124] ppid=22111 vsize=28231652 memory=279984489045376 CPUtime=0 cores=0-7 /proc/22113/task/22124/stat : 22124 (java) S 22111 22111 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476601423 28909211648 12563 33554432000 4194304 4196468 140724332389888 140708141774496 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22125] ppid=22111 vsize=28231652 memory=279984489049984 CPUtime=0 cores=0-7 /proc/22113/task/22125/stat : 22125 (java) S 22111 22111 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476601423 28909211648 12563 33554432000 4194304 4196468 140724332389888 140708140721392 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22126] ppid=22111 vsize=28231652 memory=279984489054592 CPUtime=0 cores=0-7 /proc/22113/task/22126/stat : 22126 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601426 28909211648 12563 33554432000 4194304 4196468 140724332389888 140708139669968 140709881063323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22127] ppid=22111 vsize=28231652 memory=279984489059200 CPUtime=0.02 cores=0-7 /proc/22113/task/22127/stat : 22127 (java) R 22111 22111 14667 0 -1 4202560 639 0 0 0 2 0 0 0 20 0 20 0 476601426 28909211648 12563 33554432000 4194304 4196468 140724332389888 140708138598088 140709860737827 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22128] ppid=22111 vsize=28231652 memory=279984489063808 CPUtime=0.03 cores=0-7 /proc/22113/task/22128/stat : 22128 (java) S 22111 22111 14667 0 -1 1077944384 107 0 0 0 3 0 0 0 20 0 20 0 476601426 28909211648 12563 33554432000 4194304 4196468 140724332389888 140708137564528 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22129] ppid=22111 vsize=28231652 memory=279984489068416 CPUtime=0.02 cores=0-7 /proc/22113/task/22129/stat : 22129 (java) S 22111 22111 14667 0 -1 1077944384 173 0 0 0 2 0 0 0 20 0 20 0 476601426 28909211648 12563 33554432000 4194304 4196468 140724332389888 140708136511472 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22130] ppid=22111 vsize=28231652 memory=279984489073024 CPUtime=0.12 cores=0-7 /proc/22113/task/22130/stat : 22130 (java) S 22111 22111 14667 0 -1 1077944384 849 0 0 0 12 0 0 0 20 0 20 0 476601426 28909211648 12563 33554432000 4194304 4196468 140724332389888 140708135458928 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22131] ppid=22111 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22131/stat : 22131 (java) S 22111 22111 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476601426 28909211648 12563 33554432000 4194304 4196468 140724332389888 140708134407136 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22132] ppid=22111 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/22113/task/22132/stat : 22132 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601426 28909211648 12563 33554432000 4194304 4196468 140724332389888 140708133354672 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51704 KiB [startup+0.700965 s] /proc/loadavg: 6.89 7.75 7.96 2/210 22132 /proc/meminfo: memFree=18375720/32770624 swapFree=66986244/67108860 [pid=22111] ppid=22108 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22111/stat : 22111 (xcsp3-exec) S 22108 22111 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476601420 115843072 363 33554432000 4194304 5098028 140730844833696 140730844831800 140598273602172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12783616 140730844836732 140730844836974 140730844836974 140730844839882 0 /proc/22111/statm: 28282 363 304 221 0 87 0 [pid=22113] ppid=22111 vsize=28233776 memory=85040 CPUtime=1.54 cores=0-7 /proc/22113/stat : 22113 (java) S 22111 22111 14667 0 -1 1077944320 14450 0 0 0 147 7 0 0 20 0 20 0 476601420 28911386624 21260 33554432000 4194304 4196468 140724332389888 140724332372432 140709881044727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 /proc/22113/statm: 7058444 21260 3452 1 0 7019544 0 [pid=22113/tid=22114] ppid=22111 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7 /proc/22113/task/22114/stat : 22114 (java) R 22111 22111 14667 0 -1 4202560 8753 0 0 0 63 4 0 0 20 0 20 0 476601420 28911386624 21260 33554432000 4194304 4196468 140724332389888 140709885278672 140709521543871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22115] ppid=22111 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22115/stat : 22115 (java) S 22111 22111 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476601421 28911386624 21260 33554432000 4194304 4196468 140724332389888 140709432667152 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22116] ppid=22111 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/22113/task/22116/stat : 22116 (java) S 22111 22111 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476601421 28911386624 21260 33554432000 4194304 4196468 140724332389888 140709431614608 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22117] ppid=22111 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/22113/task/22117/stat : 22117 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476601421 28911386624 21260 33554432000 4194304 4196468 140724332389888 140709430561552 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 ################ # More data... # ################ [pid=22113/tid=22151] ppid=22111 vsize=28768336 memory=1984 CPUtime=138.07 cores=0-7 /proc/22113/task/22151/stat : 22151 (java) R 22111 22111 14667 0 -1 4202560 4729 0 0 0 13803 4 0 0 20 0 28 0 476601524 29458776064 211252 33554432000 4194304 4196468 140724332389888 140708120162656 140709525197414 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22152] ppid=22111 vsize=28768336 memory=2480 CPUtime=137.65 cores=0-7 /proc/22113/task/22152/stat : 22152 (java) R 22111 22111 14667 0 -1 4202560 10377 0 0 0 13756 9 0 0 20 0 28 0 476601524 29458776064 211252 33554432000 4194304 4196468 140724332389888 140708118059920 140709526399878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22153] ppid=22111 vsize=28768336 memory=1768 CPUtime=138.17 cores=0-7 /proc/22113/task/22153/stat : 22153 (java) R 22111 22111 14667 0 -1 4202560 990 0 0 0 13812 5 0 0 20 0 28 0 476601524 29458776064 211252 33554432000 4194304 4196468 140724332389888 140708123320552 140709519681584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22154] ppid=22111 vsize=28768336 memory=111632 CPUtime=137.89 cores=0-7 /proc/22113/task/22154/stat : 22154 (java) R 22111 22111 14667 0 -1 4202560 6660 0 0 0 13784 5 0 0 20 0 28 0 476601524 29458776064 211252 33554432000 4194304 4196468 140724332389888 140708117004712 140709526887899 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22155] ppid=22111 vsize=28768336 memory=796 CPUtime=137.96 cores=0-7 /proc/22113/task/22155/stat : 22155 (java) R 22111 22111 14667 0 -1 4202560 1081 0 0 0 13792 4 0 0 20 0 28 0 476601525 29458776064 211252 33554432000 4194304 4196468 140724332389888 140708119110632 140709525984798 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22156] ppid=22111 vsize=28768336 memory=1804 CPUtime=138.12 cores=0-7 /proc/22113/task/22156/stat : 22156 (java) R 22111 22111 14667 0 -1 4202560 3372 0 0 0 13808 4 0 0 20 0 28 0 476601525 29458776064 211252 33554432000 4194304 4196468 140724332389888 140708121214896 140709527044717 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 Current children cumulated CPU time: 1115.32 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 846460 KiB [startup+142.402 s] /proc/loadavg: 8.33 8.09 8.06 9/218 22165 /proc/meminfo: memFree=17592968/32770624 swapFree=66986244/67108860 [pid=22111] ppid=22108 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22111/stat : 22111 (xcsp3-exec) S 22108 22111 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476601420 115843072 363 33554432000 4194304 5098028 140730844833696 140730844831800 140598273602172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12783616 140730844836732 140730844836974 140730844836974 140730844839882 0 /proc/22111/statm: 28282 363 304 221 0 87 0 [pid=22113] ppid=22111 vsize=28768336 memory=844496 CPUtime=1121.68 cores=0-7 /proc/22113/stat : 22113 (java) S 22111 22111 14667 0 -1 1077944320 87082 0 0 0 112045 123 0 0 20 0 28 0 476601420 29458776064 211124 33554432000 4194304 4196468 140724332389888 140724332372432 140709881044727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 /proc/22113/statm: 7192084 211124 3543 1 0 7153184 0 [pid=22113/tid=22114] ppid=22111 vsize=28768336 memory=55608 CPUtime=0.96 cores=0-7 /proc/22113/task/22114/stat : 22114 (java) S 22111 22111 14667 0 -1 1077944384 8861 0 0 0 91 5 0 0 20 0 28 0 476601420 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709885285504 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22115] ppid=22111 vsize=28768336 memory=6791534058613427641 CPUtime=0.52 cores=0-7 /proc/22113/task/22115/stat : 22115 (java) S 22111 22111 14667 0 -1 1077944384 1141 0 0 0 45 7 0 0 20 0 28 0 476601421 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709432667152 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22116] ppid=22111 vsize=28768336 memory=55608 CPUtime=0.53 cores=0-7 /proc/22113/task/22116/stat : 22116 (java) S 22111 22111 14667 0 -1 1077944384 1638 0 0 0 45 8 0 0 20 0 28 0 476601421 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709431614608 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22117] ppid=22111 vsize=28768336 memory=988 CPUtime=0.53 cores=0-7 /proc/22113/task/22117/stat : 22117 (java) S 22111 22111 14667 0 -1 1077944384 2675 0 0 0 45 8 0 0 20 0 28 0 476601421 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709430561552 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22118] ppid=22111 vsize=28768336 memory=2004 CPUtime=0.53 cores=0-7 /proc/22113/task/22118/stat : 22118 (java) S 22111 22111 14667 0 -1 1077944384 1373 0 0 0 45 8 0 0 20 0 28 0 476601421 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709429509008 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22119] ppid=22111 vsize=28768336 memory=1416 CPUtime=0.52 cores=0-7 /proc/22113/task/22119/stat : 22119 (java) S 22111 22111 14667 0 -1 1077944384 1124 0 0 0 45 7 0 0 20 0 28 0 476601421 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709428455952 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22120] ppid=22111 vsize=28768336 memory=6791534058613427641 CPUtime=0.52 cores=0-7 /proc/22113/task/22120/stat : 22120 (java) S 22111 22111 14667 0 -1 1077944384 1156 0 0 0 45 7 0 0 20 0 28 0 476601421 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709427403408 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22121] ppid=22111 vsize=28768336 memory=14012 CPUtime=0.53 cores=0-7 /proc/22113/task/22121/stat : 22121 (java) S 22111 22111 14667 0 -1 1077944384 1358 0 0 0 46 7 0 0 20 0 28 0 476601421 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709426350352 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22122] ppid=22111 vsize=28768336 memory=1712 CPUtime=0.52 cores=0-7 /proc/22113/task/22122/stat : 22122 (java) S 22111 22111 14667 0 -1 1077944384 1630 0 0 0 44 8 0 0 20 0 28 0 476601421 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709425297808 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22123] ppid=22111 vsize=28768336 memory=692 CPUtime=0.41 cores=0-7 /proc/22113/task/22123/stat : 22123 (java) S 22111 22111 14667 0 -1 1077944384 7285 0 0 0 35 6 0 0 20 0 28 0 476601423 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708142828272 140709881055874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22124] ppid=22111 vsize=28768336 memory=1056 CPUtime=0 cores=0-7 /proc/22113/task/22124/stat : 22124 (java) S 22111 22111 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476601423 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708141774560 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22125] ppid=22111 vsize=28768336 memory=1556 CPUtime=0 cores=0-7 /proc/22113/task/22125/stat : 22125 (java) S 22111 22111 14667 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 476601423 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708140721408 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22126] ppid=22111 vsize=28768336 memory=780 CPUtime=0 cores=0-7 /proc/22113/task/22126/stat : 22126 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476601426 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708139669968 140709881063323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22127] ppid=22111 vsize=28768336 memory=3616 CPUtime=1.52 cores=0-7 /proc/22113/task/22127/stat : 22127 (java) S 22111 22111 14667 0 -1 1077944384 7849 0 0 0 150 2 0 0 20 0 28 0 476601426 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708138617072 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22128] ppid=22111 vsize=28768336 memory=1112 CPUtime=1.35 cores=0-7 /proc/22113/task/22128/stat : 22128 (java) S 22111 22111 14667 0 -1 1077944384 5616 0 0 0 133 2 0 0 20 0 28 0 476601426 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708137564528 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22129] ppid=22111 vsize=28768336 memory=6048 CPUtime=1.36 cores=0-7 /proc/22113/task/22129/stat : 22129 (java) S 22111 22111 14667 0 -1 1077944384 6824 0 0 0 135 1 0 0 20 0 28 0 476601426 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708136511472 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22130] ppid=22111 vsize=28768336 memory=7552 CPUtime=0.74 cores=0-7 /proc/22113/task/22130/stat : 22130 (java) S 22111 22111 14667 0 -1 1077944384 6162 0 0 0 72 2 0 0 20 0 28 0 476601426 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708135458928 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22131] ppid=22111 vsize=28768336 memory=1712 CPUtime=0 cores=0-7 /proc/22113/task/22131/stat : 22131 (java) S 22111 22111 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476601426 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708134407136 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22132] ppid=22111 vsize=28768336 memory=692 CPUtime=0.02 cores=0-7 /proc/22113/task/22132/stat : 22132 (java) S 22111 22111 14667 0 -1 1077944384 1081 0 0 0 0 2 0 0 20 0 28 0 476601426 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708133354672 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22149] ppid=22111 vsize=28768336 memory=1056 CPUtime=139.22 cores=0-7 /proc/22113/task/22149/stat : 22149 (java) R 22111 22111 14667 0 -1 4202560 1160 0 0 0 13917 5 0 0 20 0 28 0 476601523 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708124376080 140709525844059 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22150] ppid=22111 vsize=28768336 memory=1556 CPUtime=138.9 cores=0-7 /proc/22113/task/22150/stat : 22150 (java) R 22111 22111 14667 0 -1 4202560 1167 0 0 0 13886 4 0 0 20 0 28 0 476601524 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708122271968 140709526399926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22151] ppid=22111 vsize=28768336 memory=780 CPUtime=138.87 cores=0-7 /proc/22113/task/22151/stat : 22151 (java) R 22111 22111 14667 0 -1 4202560 4729 0 0 0 13883 4 0 0 20 0 28 0 476601524 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708120166336 140709867112852 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22152] ppid=22111 vsize=28768336 memory=3616 CPUtime=138.45 cores=0-7 /proc/22113/task/22152/stat : 22152 (java) R 22111 22111 14667 0 -1 4202560 10377 0 0 0 13836 9 0 0 20 0 28 0 476601524 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708118060944 140709526888630 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22153] ppid=22111 vsize=28768336 memory=1112 CPUtime=138.96 cores=0-7 /proc/22113/task/22153/stat : 22153 (java) R 22111 22111 14667 0 -1 4202560 991 0 0 0 13891 5 0 0 20 0 28 0 476601524 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708123324000 140709526399963 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22154] ppid=22111 vsize=28768336 memory=6048 CPUtime=138.68 cores=0-7 /proc/22113/task/22154/stat : 22154 (java) R 22111 22111 14667 0 -1 4202560 6660 0 0 0 13863 5 0 0 20 0 28 0 476601524 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708117008096 140709525196232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22155] ppid=22111 vsize=28768336 memory=7552 CPUtime=138.74 cores=0-7 /proc/22113/task/22155/stat : 22155 (java) R 22111 22111 14667 0 -1 4202560 1081 0 0 0 13870 4 0 0 20 0 28 0 476601525 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708119114176 140709526399723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22156] ppid=22111 vsize=28768336 memory=2832 CPUtime=138.92 cores=0-7 /proc/22113/task/22156/stat : 22156 (java) R 22111 22111 14667 0 -1 4202560 3375 0 0 0 13888 4 0 0 20 0 28 0 476601525 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708121220040 140709525703184 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 Current children cumulated CPU time: 1121.68 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 845948 KiB [startup+142.602 s] /proc/loadavg: 8.33 8.09 8.06 9/218 22165 /proc/meminfo: memFree=17592968/32770624 swapFree=66986244/67108860 [pid=22111] ppid=22108 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22111/stat : 22111 (xcsp3-exec) S 22108 22111 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476601420 115843072 363 33554432000 4194304 5098028 140730844833696 140730844831800 140598273602172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12783616 140730844836732 140730844836974 140730844836974 140730844839882 0 /proc/22111/statm: 28282 363 304 221 0 87 0 [pid=22113] ppid=22111 vsize=28768336 memory=844496 CPUtime=1123.28 cores=0-7 /proc/22113/stat : 22113 (java) S 22111 22111 14667 0 -1 1077944320 87082 0 0 0 112205 123 0 0 20 0 28 0 476601420 29458776064 211124 33554432000 4194304 4196468 140724332389888 140724332372432 140709881044727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 /proc/22113/statm: 7192084 211124 3543 1 0 7153184 0 [pid=22113/tid=22114] ppid=22111 vsize=28768336 memory=6791534058613427641 CPUtime=0.96 cores=0-7 /proc/22113/task/22114/stat : 22114 (java) S 22111 22111 14667 0 -1 1077944384 8861 0 0 0 91 5 0 0 20 0 28 0 476601420 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709885285504 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22115] ppid=22111 vsize=28768336 memory=845008 CPUtime=0.52 cores=0-7 /proc/22113/task/22115/stat : 22115 (java) S 22111 22111 14667 0 -1 1077944384 1141 0 0 0 45 7 0 0 20 0 28 0 476601421 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709432667152 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22116] ppid=22111 vsize=28768336 memory=6926605841192216896 CPUtime=0.53 cores=0-7 /proc/22113/task/22116/stat : 22116 (java) S 22111 22111 14667 0 -1 1077944384 1638 0 0 0 45 8 0 0 20 0 28 0 476601421 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709431614608 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22117] ppid=22111 vsize=28768336 memory=3053811428158493008 CPUtime=0.53 cores=0-7 /proc/22113/task/22117/stat : 22117 (java) S 22111 22111 14667 0 -1 1077944384 2675 0 0 0 45 8 0 0 20 0 28 0 476601421 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709430561552 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22118] ppid=22111 vsize=28768336 memory=4279353494052299584 CPUtime=0.53 cores=0-7 /proc/22113/task/22118/stat : 22118 (java) S 22111 22111 14667 0 -1 1077944384 1373 0 0 0 45 8 0 0 20 0 28 0 476601421 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709429509008 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22119] ppid=22111 vsize=28768336 memory=6940425714476859492 CPUtime=0.52 cores=0-7 /proc/22113/task/22119/stat : 22119 (java) S 22111 22111 14667 0 -1 1077944384 1124 0 0 0 45 7 0 0 20 0 28 0 476601421 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709428455952 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22120] ppid=22111 vsize=28768336 memory=843340 CPUtime=0.52 cores=0-7 /proc/22113/task/22120/stat : 22120 (java) S 22111 22111 14667 0 -1 1077944384 1156 0 0 0 45 7 0 0 20 0 28 0 476601421 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709427403408 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22121] ppid=22111 vsize=28768336 memory=1164 CPUtime=0.53 cores=0-7 /proc/22113/task/22121/stat : 22121 (java) S 22111 22111 14667 0 -1 1077944384 1358 0 0 0 46 7 0 0 20 0 28 0 476601421 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709426350352 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22122] ppid=22111 vsize=28768336 memory=8317482817917895235 CPUtime=0.52 cores=0-7 /proc/22113/task/22122/stat : 22122 (java) S 22111 22111 14667 0 -1 1077944384 1630 0 0 0 44 8 0 0 20 0 28 0 476601421 29458776064 211124 33554432000 4194304 4196468 140724332389888 140709425297808 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22123] ppid=22111 vsize=28768336 memory=14012 CPUtime=0.41 cores=0-7 /proc/22113/task/22123/stat : 22123 (java) S 22111 22111 14667 0 -1 1077944384 7285 0 0 0 35 6 0 0 20 0 28 0 476601423 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708142828272 140709881055874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22124] ppid=22111 vsize=28768336 memory=14048 CPUtime=0 cores=0-7 /proc/22113/task/22124/stat : 22124 (java) S 22111 22111 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 476601423 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708141774560 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22125] ppid=22111 vsize=28768336 memory=29620 CPUtime=0 cores=0-7 /proc/22113/task/22125/stat : 22125 (java) S 22111 22111 14667 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 476601423 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708140721408 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22126] ppid=22111 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/22113/task/22126/stat : 22126 (java) S 22111 22111 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476601426 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708139669968 140709881063323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22127] ppid=22111 vsize=28768336 memory=844572 CPUtime=1.52 cores=0-7 /proc/22113/task/22127/stat : 22127 (java) S 22111 22111 14667 0 -1 1077944384 7849 0 0 0 150 2 0 0 20 0 28 0 476601426 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708138617072 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22128] ppid=22111 vsize=28768336 memory=796 CPUtime=1.35 cores=0-7 /proc/22113/task/22128/stat : 22128 (java) S 22111 22111 14667 0 -1 1077944384 5616 0 0 0 133 2 0 0 20 0 28 0 476601426 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708137564528 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22129] ppid=22111 vsize=28768336 memory=1804 CPUtime=1.36 cores=0-7 /proc/22113/task/22129/stat : 22129 (java) S 22111 22111 14667 0 -1 1077944384 6824 0 0 0 135 1 0 0 20 0 28 0 476601426 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708136511472 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22130] ppid=22111 vsize=28768336 memory=916 CPUtime=0.74 cores=0-7 /proc/22113/task/22130/stat : 22130 (java) S 22111 22111 14667 0 -1 1077944384 6162 0 0 0 72 2 0 0 20 0 28 0 476601426 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708135458928 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22131] ppid=22111 vsize=28768336 memory=4480 CPUtime=0 cores=0-7 /proc/22113/task/22131/stat : 22131 (java) S 22111 22111 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476601426 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708134407136 140709881054933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22132] ppid=22111 vsize=28768336 memory=4100 CPUtime=0.02 cores=0-7 /proc/22113/task/22132/stat : 22132 (java) S 22111 22111 14667 0 -1 1077944384 1081 0 0 0 0 2 0 0 20 0 28 0 476601426 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708133354672 140709881055874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22149] ppid=22111 vsize=28768336 memory=912 CPUtime=139.42 cores=0-7 /proc/22113/task/22149/stat : 22149 (java) R 22111 22111 14667 0 -1 4202560 1160 0 0 0 13937 5 0 0 20 0 28 0 476601523 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708124376448 140709526506213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22150] ppid=22111 vsize=28768336 memory=1984 CPUtime=139.1 cores=0-7 /proc/22113/task/22150/stat : 22150 (java) R 22111 22111 14667 0 -1 4202560 1167 0 0 0 13906 4 0 0 20 0 28 0 476601524 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708122271968 140709526888420 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22151] ppid=22111 vsize=28768336 memory=1452 CPUtime=139.07 cores=0-7 /proc/22113/task/22151/stat : 22151 (java) R 22111 22111 14667 0 -1 4202560 4729 0 0 0 13903 4 0 0 20 0 28 0 476601524 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708120166240 140709525848388 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22152] ppid=22111 vsize=28768336 memory=3616 CPUtime=138.64 cores=0-7 /proc/22113/task/22152/stat : 22152 (java) R 22111 22111 14667 0 -1 4202560 10377 0 0 0 13855 9 0 0 20 0 28 0 476601524 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708118061008 140709525198279 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22153] ppid=22111 vsize=28768336 memory=55608 CPUtime=139.16 cores=0-7 /proc/22113/task/22153/stat : 22153 (java) R 22111 22111 14667 0 -1 4202560 991 0 0 0 13911 5 0 0 20 0 28 0 476601524 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708123324000 140709524879612 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22154] ppid=22111 vsize=28768336 memory=988 CPUtime=138.88 cores=0-7 /proc/22113/task/22154/stat : 22154 (java) R 22111 22111 14667 0 -1 4202560 6660 0 0 0 13883 5 0 0 20 0 28 0 476601524 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708117008192 140709526888420 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22155] ppid=22111 vsize=28768336 memory=1452 CPUtime=138.94 cores=0-7 /proc/22113/task/22155/stat : 22155 (java) R 22111 22111 14667 0 -1 4202560 1081 0 0 0 13890 4 0 0 20 0 28 0 476601525 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708119114176 140709527179695 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 [pid=22113/tid=22156] ppid=22111 vsize=28768336 memory=6791534058613427641 CPUtime=139.12 cores=0-7 /proc/22113/task/22156/stat : 22156 (java) R 22111 22111 14667 0 -1 4202560 3375 0 0 0 13908 4 0 0 20 0 28 0 476601525 29458776064 211124 33554432000 4194304 4196468 140724332389888 140708121220040 140709526888554 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9760768 140724332393456 140724332393627 140724332393627 140724332396495 0 Current children cumulated CPU time: 1123.28 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 845948 KiB [startup+142.701 s] /proc/loadavg: 8.33 8.09 8.06 9/218 22165 /proc/meminfo: memFree=17592968/32770624 swapFree=66986244/67108860 [pid=22111] ppid=22108 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/22111/stat : 22111 (xcsp3-exec) S 22108 22111 14667 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476601420 115843072 363 33554432000 4194304 5098028 140730844833696 140730844831800 140598273602172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12783616 140730844836732 140730844836974 140730844836974 140730844839882 0 /proc/22111/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): 142.713 CPU time (s): 1123.97 CPU user time (s): 1122.72 CPU system time (s): 1.25094 CPU usage (%): 787.576 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 965972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1122.72 system time used= 1.25094 maximum resident set size= 1001828 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88378 page faults= 0 swaps= 0 block input operations= 0 block output operations= 336 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 66325 involuntary context switches= 12433 # summary of solver processes directly reported to runsolver: # pid: 22111 # total CPU time (s): 1123.97 # total CPU user time (s): 1122.72 # total CPU system time (s): 1.25094 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.32656 second user time and 1.63723 second system time The end
Begin job on node104 at 2019-09-20 19:07:04 IDJOB=4404851 IDBENCH=120637 IDSOLVER=2866 FILE ID=node104/4404851-1569003446 RUNJOBID= node104-1568989783-14694 PBS_JOBID= 21704713 Free space on /tmp= 9832 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-david.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-4404851-1569003446/watcher-4404851-1569003446 -o /tmp/evaluation-result-4404851-1569003446/solver-4404851-1569003446 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 336942697 HOME/instance-4404851-1569003446.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8881d200d983e9a0f6a660f33978a65e RANDOM SEED=336942697 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 18422584 kB MemAvailable: 31826112 kB Buffers: 94932 kB Cached: 13232920 kB SwapCached: 22652 kB Active: 6646584 kB Inactive: 6708512 kB Active(anon): 3176 kB Inactive(anon): 73004 kB Active(file): 6643408 kB Inactive(file): 6635508 kB Unevictable: 109708 kB Mlocked: 109708 kB SwapTotal: 67108860 kB SwapFree: 66986244 kB Dirty: 26376 kB Writeback: 0 kB AnonPages: 258024 kB Mapped: 52532 kB Shmem: 40708 kB Slab: 583176 kB SReclaimable: 553072 kB SUnreclaim: 30104 kB KernelStack: 3696 kB PageTables: 5520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498016 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9804 MiB End job on node104 at 2019-09-20 19:09:27