Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 54 | 20.1651 | 3.39678 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-20-4-5-0.xml |
MD5SUM | 74d82578b46c9040964d6b10ded07847 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 54 |
Best CPU time to get the best result obtained on this benchmark | 6.10992 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 60 |
Number of constraints | 81 |
Number of domains | 21 |
Minimum domain size | 3 |
Maximum domain size | 21 |
Distribution of domain sizes | [{"size":3,"count":1},{"size":4,"count":6},{"size":5,"count":10},{"size":6,"count":3},{"size":21,"count":40}] |
Minimum variable degree | 2 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":2,"count":20},{"degree":21,"count":19},{"degree":22,"count":1},{"degree":23,"count":20}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 21 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":40},{"arity":20,"count":20},{"arity":21,"count":20}] |
Number of extensional constraints | 40 |
Number of intensional constraints | 21 |
Distribution of constraint types | [{"type":"extension","count":40},{"type":"intension","count":21},{"type":"count","count":20}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405018-1569004527.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4405018-1569004527.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 4.07/1.30 c solve instance... 4.72/1.48 o -1000 6.29/1.62 o -976 6.29/1.67 o 14 6.98/1.72 o 29 7.79/1.88 o 32 8.52/1.95 o 36 10.16/2.17 o 44 10.88/2.28 o 46 13.28/2.51 o 50 13.28/2.55 o 51 13.28/2.58 o 53 13.96/2.62 o 54 19.51/3.38 s OPTIMUM FOUND 19.51/3.38 v <instantiation> 19.51/3.38 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] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] </list> 19.51/3.38 v <values>1 2 7 -1 -1 0 11 6 -1 -1 5 12 13 14 19 10 15 16 17 18 0 1 2 -1 -1 15 4 3 -1 -1 14 5 6 7 8 13 12 11 10 9 4 8 0 0 0 7 2 7 0 0 1 5 -1 -5 5 6 3 -1 6 7 </values> 19.51/3.38 v </instantiation>
OK 54
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 (13263 MiB free) memory of node 1: 16384 MiB (11601 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405018-1569004527/watcher-4405018-1569004527 -o /tmp/evaluation-result-4405018-1569004527/solver-4405018-1569004527 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568994483-6691 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 571015654 HOME/instance-4405018-1569004527.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 solver pid=11307, runsolver pid=11304 Current StackSize limit: 8192 KiB [startup+0.100133 s]* /proc/loadavg: 8.07 7.85 7.88 2/209 11328 /proc/meminfo: memFree=25444372/32770624 swapFree=66939148/67108860 [pid=11307] ppid=11304 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/11307/stat : 11307 (xcsp3-exec) S 11304 11307 6664 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476722419 115843072 362 33554432000 4194304 5098028 140721207763696 140721207761800 140160530612860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20828160 140721207772028 140721207772270 140721207772270 140721207775178 0 /proc/11307/statm: 28282 362 304 221 0 87 0 [pid=11309] ppid=11307 vsize=28227396 memory=30184 CPUtime=0.12 cores=0-7 /proc/11309/stat : 11309 (java) S 11307 11307 6664 0 -1 1077944320 5519 0 0 0 10 2 0 0 20 0 20 0 476722419 28904853504 7546 33554432000 4194304 4196468 140737174012880 140737173995424 140318835113719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 /proc/11309/statm: 7056849 7546 3114 1 0 7019032 0 [pid=11309/tid=11310] ppid=11307 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/11309/task/11310/stat : 11310 (java) R 11307 11307 6664 0 -1 4202560 3422 0 0 0 7 1 0 0 20 0 20 0 476722420 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318839346992 140318835125654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11311] ppid=11307 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/11309/task/11311/stat : 11311 (java) S 11307 11307 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722421 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318798219792 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11312] ppid=11307 vsize=28227396 memory=140287428781696 CPUtime=0 cores=0-7 /proc/11309/task/11312/stat : 11312 (java) S 11307 11307 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722421 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318384970384 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11313] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11313/stat : 11313 (java) S 11307 11307 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722421 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318383917328 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11314] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11314/stat : 11314 (java) S 11307 11307 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722421 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318382864784 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11315] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11315/stat : 11315 (java) S 11307 11307 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722421 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318381812752 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11316] ppid=11307 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11309/task/11316/stat : 11316 (java) S 11307 11307 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722421 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318380760208 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11317] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11317/stat : 11317 (java) S 11307 11307 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722421 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318379707152 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11318] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11318/stat : 11318 (java) S 11307 11307 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722421 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318378654608 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11319] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11319/stat : 11319 (java) S 11307 11307 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722422 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318219852016 140318835124866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11320] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11320/stat : 11320 (java) S 11307 11307 6664 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476722423 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318218798240 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11321] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11321/stat : 11321 (java) S 11307 11307 6664 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476722423 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318217745136 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11322] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11322/stat : 11322 (java) S 11307 11307 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722425 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318216693712 140318835132315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11323] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11323/stat : 11323 (java) S 11307 11307 6664 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 20 0 476722425 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318215641840 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11324] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11324/stat : 11324 (java) S 11307 11307 6664 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476722425 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318214589296 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11325] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11325/stat : 11325 (java) S 11307 11307 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722425 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318213536240 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11326] ppid=11307 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/11309/task/11326/stat : 11326 (java) R 11307 11307 6664 0 -1 4202560 374 0 0 0 1 0 0 0 20 0 20 0 476722425 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318212483696 140318835125654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11327] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11327/stat : 11327 (java) S 11307 11307 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722426 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318211430880 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11328] ppid=11307 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11309/task/11328/stat : 11328 (java) S 11307 11307 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722426 28904853504 7546 33554432000 4194304 4196468 140737174012880 140318210378416 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31632 KiB [startup+0.210352 s]* /proc/loadavg: 8.07 7.85 7.88 3/209 11328 /proc/meminfo: memFree=25432360/32770624 swapFree=66939148/67108860 [pid=11307] ppid=11304 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/11307/stat : 11307 (xcsp3-exec) S 11304 11307 6664 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476722419 115843072 362 33554432000 4194304 5098028 140721207763696 140721207761800 140160530612860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20828160 140721207772028 140721207772270 140721207772270 140721207775178 0 /proc/11307/statm: 28282 362 304 221 0 87 0 [pid=11309] ppid=11307 vsize=28227396 memory=40288 CPUtime=0.33 cores=0-7 /proc/11309/stat : 11309 (java) S 11307 11307 6664 0 -1 1077944320 8922 0 0 0 30 3 0 0 20 0 20 0 476722419 28904853504 10072 33554432000 4194304 4196468 140737174012880 140737173995424 140318835113719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 /proc/11309/statm: 7056849 10072 3228 1 0 7019032 0 [pid=11309/tid=11310] ppid=11307 vsize=28227396 memory=29681743523217448 CPUtime=0.19 cores=0-7 /proc/11309/task/11310/stat : 11310 (java) R 11307 11307 6664 0 -1 4202560 6177 0 0 0 16 3 0 0 20 0 20 0 476722420 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318839344048 140318819194206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11311] ppid=11307 vsize=28227396 memory=288230587528118625 CPUtime=0 cores=0-7 /proc/11309/task/11311/stat : 11311 (java) S 11307 11307 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722421 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318798219792 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11312] ppid=11307 vsize=28227396 memory=140287428793257 CPUtime=0 cores=0-7 /proc/11309/task/11312/stat : 11312 (java) S 11307 11307 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722421 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318384970384 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11313] ppid=11307 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11309/task/11313/stat : 11313 (java) S 11307 11307 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722421 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318383917328 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11314] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11314/stat : 11314 (java) S 11307 11307 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722421 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318382864784 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11315] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11315/stat : 11315 (java) S 11307 11307 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722421 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318381812752 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11316] ppid=11307 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11309/task/11316/stat : 11316 (java) S 11307 11307 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722421 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318380760208 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11317] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11317/stat : 11317 (java) S 11307 11307 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722421 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318379707152 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11318] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11318/stat : 11318 (java) S 11307 11307 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722421 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318378654608 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11319] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11319/stat : 11319 (java) S 11307 11307 6664 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476722422 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318219852016 140318835124866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11320] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11320/stat : 11320 (java) S 11307 11307 6664 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476722423 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318218798240 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11321] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11321/stat : 11321 (java) S 11307 11307 6664 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476722423 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318217745136 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11322] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11322/stat : 11322 (java) S 11307 11307 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722425 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318216693712 140318835132315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11323] ppid=11307 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/11309/task/11323/stat : 11323 (java) S 11307 11307 6664 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 20 0 476722425 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318215641840 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11324] ppid=11307 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/11309/task/11324/stat : 11324 (java) S 11307 11307 6664 0 -1 1077944384 193 0 0 0 1 0 0 0 20 0 20 0 476722425 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318214589296 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11325] ppid=11307 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/11309/task/11325/stat : 11325 (java) S 11307 11307 6664 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 20 0 476722425 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318213536240 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11326] ppid=11307 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/11309/task/11326/stat : 11326 (java) S 11307 11307 6664 0 -1 1077944384 789 0 0 0 8 0 0 0 20 0 20 0 476722425 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318212483696 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11327] ppid=11307 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11327/stat : 11327 (java) S 11307 11307 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722426 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318211430880 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11328] ppid=11307 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/11309/task/11328/stat : 11328 (java) S 11307 11307 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722426 28904853504 10072 33554432000 4194304 4196468 140737174012880 140318210378416 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41736 KiB [startup+0.310246 s]* /proc/loadavg: 8.07 7.85 7.88 4/209 11328 /proc/meminfo: memFree=25427136/32770624 swapFree=66939148/67108860 [pid=11307] ppid=11304 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/11307/stat : 11307 (xcsp3-exec) S 11304 11307 6664 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476722419 115843072 362 33554432000 4194304 5098028 140721207763696 140721207761800 140160530612860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20828160 140721207772028 140721207772270 140721207772270 140721207775178 0 /proc/11307/statm: 28282 362 304 221 0 87 0 [pid=11309] ppid=11307 vsize=28231652 memory=49676 CPUtime=0.52 cores=0-7 /proc/11309/stat : 11309 (java) S 11307 11307 6664 0 -1 1077944320 10245 0 0 0 47 5 0 0 20 0 20 0 476722419 28909211648 12419 33554432000 4194304 4196468 140737174012880 140737173995424 140318835113719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 /proc/11309/statm: 7057913 12419 3365 1 0 7019032 0 [pid=11309/tid=11310] ppid=11307 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/11309/task/11310/stat : 11310 (java) R 11307 11307 6664 0 -1 4202560 7225 0 0 0 26 3 0 0 20 0 20 0 476722420 28909211648 12419 33554432000 4194304 4196468 140737174012880 140318839344832 140318819194206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11311] ppid=11307 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11311/stat : 11311 (java) S 11307 11307 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722421 28909211648 12419 33554432000 4194304 4196468 140737174012880 140318798219792 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11312] ppid=11307 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11312/stat : 11312 (java) S 11307 11307 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722421 28909211648 12419 33554432000 4194304 4196468 140737174012880 140318384970384 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11313] ppid=11307 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11313/stat : 11313 (java) S 11307 11307 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722421 28909211648 12419 33554432000 4194304 4196468 140737174012880 140318383917328 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11314] ppid=11307 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11314/stat : 11314 (java) S 11307 11307 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722421 28909211648 12419 33554432000 4194304 4196468 140737174012880 140318382864784 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11315] ppid=11307 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11315/stat : 11315 (java) S 11307 11307 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722421 28909211648 12419 33554432000 4194304 4196468 140737174012880 140318381812752 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11316] ppid=11307 vsize=28231652 memory=140287322188463 CPUtime=0 cores=0-7 /proc/11309/task/11316/stat : 11316 (java) S 11307 11307 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722421 28909211648 12419 33554432000 4194304 4196468 140737174012880 140318380760208 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11317] ppid=11307 vsize=28231652 memory=140287322190768 CPUtime=0 cores=0-7 /proc/11309/task/11317/stat : 11317 (java) S 11307 11307 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722421 28909211648 12419 33554432000 4194304 4196468 140737174012880 140318379707152 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11318] ppid=11307 vsize=28231652 memory=140287322193072 CPUtime=0 cores=0-7 /proc/11309/task/11318/stat : 11318 (java) S 11307 11307 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722421 28909211648 12419 33554432000 4194304 4196468 140737174012880 140318378654608 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11319] ppid=11307 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11319/stat : 11319 (java) S 11307 11307 6664 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476722422 28909211648 12419 33554432000 4194304 4196468 140737174012880 140318219852016 140318835124866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11320] ppid=11307 vsize=28231652 memory=280574644400016 CPUtime=0 cores=0-7 /proc/11309/task/11320/stat : 11320 (java) S 11307 11307 6664 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476722423 28909211648 12419 33554432000 4194304 4196468 140737174012880 140318218798240 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11321] ppid=11307 vsize=28231652 memory=280574644397712 CPUtime=0 cores=0-7 /proc/11309/task/11321/stat : 11321 (java) S 11307 11307 6664 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476722423 28909211648 12419 33554432000 4194304 4196468 140737174012880 140318217745136 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11322] ppid=11307 vsize=28231652 memory=280574644404624 CPUtime=0 cores=0-7 /proc/11309/task/11322/stat : 11322 (java) S 11307 11307 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722425 28909211648 12419 33554432000 4194304 4196468 140737174012880 140318216693712 140318835132315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11323] ppid=11307 vsize=28231652 memory=280574644345904 CPUtime=0.02 cores=0-7 /proc/11309/task/11323/stat : 11323 (java) S 11307 11307 6664 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 20 0 476722425 28909211648 12419 33554432000 4194304 4196468 140737174012880 140318215641840 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11324] ppid=11307 vsize=28231652 memory=280574644418448 CPUtime=0.02 cores=0-7 /proc/11309/task/11324/stat : 11324 (java) R 11307 11307 6664 0 -1 4202560 322 0 0 0 2 0 0 0 20 0 20 0 476722425 28909211648 12419 33554432000 4194304 4196468 140737174012880 140318214579680 140318816643232 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11325] ppid=11307 vsize=28231652 memory=280574644425360 CPUtime=0.03 cores=0-7 /proc/11309/task/11325/stat : 11325 (java) S 11307 11307 6664 0 -1 1077944384 136 0 0 0 3 0 0 0 20 0 20 0 476722425 28909211648 12479 33554432000 4194304 4196468 140737174012880 140318213536240 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11326] ppid=11307 vsize=28231652 memory=280574644423056 CPUtime=0.12 cores=0-7 /proc/11309/task/11326/stat : 11326 (java) S 11307 11307 6664 0 -1 1077944384 933 0 0 0 12 0 0 0 20 0 20 0 476722425 28909211648 12479 33554432000 4194304 4196468 140737174012880 140318212483696 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11327] ppid=11307 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11327/stat : 11327 (java) S 11307 11307 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722426 28909211648 12479 33554432000 4194304 4196468 140737174012880 140318211430880 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11328] ppid=11307 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/11309/task/11328/stat : 11328 (java) S 11307 11307 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722426 28909211648 12479 33554432000 4194304 4196468 140737174012880 140318210378416 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51124 KiB [startup+0.700959 s] /proc/loadavg: 8.07 7.85 7.88 5/209 11328 /proc/meminfo: memFree=25394820/32770624 swapFree=66939148/67108860 [pid=11307] ppid=11304 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/11307/stat : 11307 (xcsp3-exec) S 11304 11307 6664 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476722419 115843072 362 33554432000 4194304 5098028 140721207763696 140721207761800 140160530612860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20828160 140721207772028 140721207772270 140721207772270 140721207775178 0 /proc/11307/statm: 28282 362 304 221 0 87 0 [pid=11309] ppid=11307 vsize=28233776 memory=104400 CPUtime=1.92 cores=0-7 /proc/11309/stat : 11309 (java) S 11307 11307 6664 0 -1 1077944320 16234 0 0 0 185 7 0 0 20 0 20 0 476722419 28911386624 26100 33554432000 4194304 4196468 140737174012880 140737173995424 140318835113719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 /proc/11309/statm: 7058444 26100 3449 1 0 7019544 0 [pid=11309/tid=11310] ppid=11307 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/11309/task/11310/stat : 11310 (java) R 11307 11307 6664 0 -1 4202560 8808 0 0 0 62 5 0 0 20 0 20 0 476722420 28911386624 26100 33554432000 4194304 4196468 140737174012880 140318839352128 140318475101453 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11311] ppid=11307 vsize=28233776 memory=2353 CPUtime=0 cores=0-7 /proc/11309/task/11311/stat : 11311 (java) S 11307 11307 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476722421 28911386624 26100 33554432000 4194304 4196468 140737174012880 140318798219792 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11312] ppid=11307 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11312/stat : 11312 (java) S 11307 11307 6664 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476722421 28911386624 26100 33554432000 4194304 4196468 140737174012880 140318384970384 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11313] ppid=11307 vsize=28233776 memory=1416 CPUtime=0 cores=0-7 /proc/11309/task/11313/stat : 11313 (java) S 11307 11307 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476722421 28911386624 26100 33554432000 4194304 4196468 140737174012880 140318383917328 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 ################ # More data... # ################ [pid=11309/tid=11426] ppid=11307 vsize=28835928 memory=-2026666227646606628 CPUtime=0.32 cores=0-7 /proc/11309/task/11426/stat : 11426 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 32 0 0 0 20 0 28 0 476722682 29527990272 98796 33554432000 4194304 4196468 140737174012880 140318199064464 140318478074897 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11427] ppid=11307 vsize=28835928 memory=286727056 CPUtime=0.33 cores=0-7 /proc/11309/task/11427/stat : 11427 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 33 0 0 0 20 0 28 0 476722682 29527990272 98796 33554432000 4194304 4196468 140737174012880 140318198012104 140318478074810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11428] ppid=11307 vsize=28835928 memory=0 CPUtime=0.38 cores=0-7 /proc/11309/task/11428/stat : 11428 (java) R 11307 11307 6664 0 -1 4202560 33 0 0 0 38 0 0 0 20 0 28 0 476722682 29527990272 98796 33554432000 4194304 4196468 140737174012880 140318125051680 140318480375393 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11429] ppid=11307 vsize=28835928 memory=0 CPUtime=0.4 cores=0-7 /proc/11309/task/11429/stat : 11429 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 40 0 0 0 20 0 28 0 476722682 29527990272 98796 33554432000 4194304 4196468 140737174012880 140318123999288 140318478074451 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11430] ppid=11307 vsize=28835928 memory=55 CPUtime=0.41 cores=0-7 /proc/11309/task/11430/stat : 11430 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 41 0 0 0 20 0 28 0 476722682 29527990272 98796 33554432000 4194304 4196468 140737174012880 140318195904696 140318478074884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11431] ppid=11307 vsize=28835928 memory=0 CPUtime=0.36 cores=0-7 /proc/11309/task/11431/stat : 11431 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 36 0 0 0 20 0 28 0 476722682 29527990272 98796 33554432000 4194304 4196468 140737174012880 140318193798352 140318480808587 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11432] ppid=11307 vsize=28835928 memory=0 CPUtime=0.29 cores=0-7 /proc/11309/task/11432/stat : 11432 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 29 0 0 0 20 0 28 0 476722683 29527990272 98796 33554432000 4194304 4196468 140737174012880 140318196957024 140318478074714 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 Current children cumulated CPU time: 17.98 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 396632 KiB [startup+3.39672 s] # the end of solver process 11307 was just reported to runsolver # cumulated CPU time of all completed processes: user=19.8 s, system=0.365107 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20175 s] /proc/loadavg: 8.07 7.85 7.88 9/217 11432 /proc/meminfo: memFree=25081156/32770624 swapFree=66939148/67108860 [pid=11307] ppid=11304 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/11307/stat : 11307 (xcsp3-exec) S 11304 11307 6664 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476722419 115843072 362 33554432000 4194304 5098028 140721207763696 140721207761800 140160530612860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20828160 140721207772028 140721207772270 140721207772270 140721207775178 0 /proc/11307/statm: 28282 362 304 221 0 87 0 [pid=11309] ppid=11307 vsize=28835928 memory=395232 CPUtime=18.71 cores=0-7 /proc/11309/stat : 11309 (java) S 11307 11307 6664 0 -1 1077944320 26750 0 0 0 1836 35 0 0 20 0 28 0 476722419 29527990272 98808 33554432000 4194304 4196468 140737174012880 140737173995424 140318835113719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 /proc/11309/statm: 7208982 98808 3520 1 0 7170082 0 [pid=11309/tid=11310] ppid=11307 vsize=28835928 memory=6791534058613427641 CPUtime=1.25 cores=0-7 /proc/11309/task/11310/stat : 11310 (java) S 11307 11307 6664 0 -1 1077944384 9119 0 0 0 118 7 0 0 20 0 28 0 476722420 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318839354496 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11311] ppid=11307 vsize=28835928 memory=784 CPUtime=0.05 cores=0-7 /proc/11309/task/11311/stat : 11311 (java) S 11307 11307 6664 0 -1 1077944384 83 0 0 0 3 2 0 0 20 0 28 0 476722421 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318798219792 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11312] ppid=11307 vsize=28835928 memory=1060 CPUtime=0.04 cores=0-7 /proc/11309/task/11312/stat : 11312 (java) S 11307 11307 6664 0 -1 1077944384 71 0 0 0 2 2 0 0 20 0 28 0 476722421 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318384970384 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11313] ppid=11307 vsize=28835928 memory=1720 CPUtime=0.03 cores=0-7 /proc/11309/task/11313/stat : 11313 (java) S 11307 11307 6664 0 -1 1077944384 59 0 0 0 2 1 0 0 20 0 28 0 476722421 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318383917328 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11314] ppid=11307 vsize=28835928 memory=1096 CPUtime=0.04 cores=0-7 /proc/11309/task/11314/stat : 11314 (java) S 11307 11307 6664 0 -1 1077944384 65 0 0 0 2 2 0 0 20 0 28 0 476722421 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318382864784 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11315] ppid=11307 vsize=28835928 memory=1188 CPUtime=0.05 cores=0-7 /proc/11309/task/11315/stat : 11315 (java) S 11307 11307 6664 0 -1 1077944384 67 0 0 0 3 2 0 0 20 0 28 0 476722421 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318381812752 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11316] ppid=11307 vsize=28835928 memory=5860 CPUtime=0.05 cores=0-7 /proc/11309/task/11316/stat : 11316 (java) S 11307 11307 6664 0 -1 1077944384 90 0 0 0 2 3 0 0 20 0 28 0 476722421 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318380760208 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11317] ppid=11307 vsize=28835928 memory=780 CPUtime=0.05 cores=0-7 /proc/11309/task/11317/stat : 11317 (java) S 11307 11307 6664 0 -1 1077944384 85 0 0 0 3 2 0 0 20 0 28 0 476722421 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318379707152 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11318] ppid=11307 vsize=28835928 memory=13924 CPUtime=0.04 cores=0-7 /proc/11309/task/11318/stat : 11318 (java) S 11307 11307 6664 0 -1 1077944384 84 0 0 0 2 2 0 0 20 0 28 0 476722421 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318378654608 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11319] ppid=11307 vsize=28835928 memory=28296 CPUtime=0 cores=0-7 /proc/11309/task/11319/stat : 11319 (java) S 11307 11307 6664 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 476722422 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318219852016 140318835124866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11320] ppid=11307 vsize=28835928 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/11309/task/11320/stat : 11320 (java) S 11307 11307 6664 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 476722423 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318218798304 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11321] ppid=11307 vsize=28835928 memory=255296 CPUtime=0 cores=0-7 /proc/11309/task/11321/stat : 11321 (java) S 11307 11307 6664 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 476722423 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318217745152 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11322] ppid=11307 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11322/stat : 11322 (java) S 11307 11307 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476722425 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318216693712 140318835132315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11323] ppid=11307 vsize=28835928 memory=0 CPUtime=1.62 cores=0-7 /proc/11309/task/11323/stat : 11323 (java) S 11307 11307 6664 0 -1 1077944384 3077 0 0 0 161 1 0 0 20 0 28 0 476722425 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318215641840 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11324] ppid=11307 vsize=28835928 memory=0 CPUtime=1.81 cores=0-7 /proc/11309/task/11324/stat : 11324 (java) S 11307 11307 6664 0 -1 1077944384 3510 0 0 0 180 1 0 0 20 0 28 0 476722425 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318214589296 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11325] ppid=11307 vsize=28835928 memory=0 CPUtime=1.92 cores=0-7 /proc/11309/task/11325/stat : 11325 (java) S 11307 11307 6664 0 -1 1077944384 3176 0 0 0 192 0 0 0 20 0 28 0 476722425 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318213536240 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11326] ppid=11307 vsize=28835928 memory=0 CPUtime=0.86 cores=0-7 /proc/11309/task/11326/stat : 11326 (java) R 11307 11307 6664 0 -1 1077944384 3614 0 0 0 86 0 0 0 20 0 28 0 476722425 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318212483696 140318835124866 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11327] ppid=11307 vsize=28835928 memory=7669177640701683031 CPUtime=0 cores=0-7 /proc/11309/task/11327/stat : 11327 (java) S 11307 11307 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476722426 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318211430880 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11328] ppid=11307 vsize=28835928 memory=4639948313719891052 CPUtime=0 cores=0-7 /proc/11309/task/11328/stat : 11328 (java) S 11307 11307 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476722426 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318210378416 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11425] ppid=11307 vsize=28835928 memory=7810487918915055718 CPUtime=0.38 cores=0-7 /proc/11309/task/11425/stat : 11425 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 38 0 0 0 20 0 28 0 476722682 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318194850232 140318478074636 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11426] ppid=11307 vsize=28835928 memory=0 CPUtime=0.41 cores=0-7 /proc/11309/task/11426/stat : 11426 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 41 0 0 0 20 0 28 0 476722682 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318199064464 140318478075053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11427] ppid=11307 vsize=28835928 memory=280574644539904 CPUtime=0.4 cores=0-7 /proc/11309/task/11427/stat : 11427 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 40 0 0 0 20 0 28 0 476722682 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318198011368 140318477367977 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11428] ppid=11307 vsize=28835928 memory=288230574492221466 CPUtime=0.46 cores=0-7 /proc/11309/task/11428/stat : 11428 (java) R 11307 11307 6664 0 -1 4202560 33 0 0 0 46 0 0 0 20 0 28 0 476722682 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318125052920 140318835125654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11429] ppid=11307 vsize=28835928 memory=0 CPUtime=0.49 cores=0-7 /proc/11309/task/11429/stat : 11429 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 49 0 0 0 20 0 28 0 476722682 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318124000728 140318478074746 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11430] ppid=11307 vsize=28835928 memory=0 CPUtime=0.47 cores=0-7 /proc/11309/task/11430/stat : 11430 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 47 0 0 0 20 0 28 0 476722682 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318195904696 140318478386352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11431] ppid=11307 vsize=28835928 memory=0 CPUtime=0.45 cores=0-7 /proc/11309/task/11431/stat : 11431 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 45 0 0 0 20 0 28 0 476722682 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318193798352 140318478074714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11432] ppid=11307 vsize=28835928 memory=0 CPUtime=0.38 cores=0-7 /proc/11309/task/11432/stat : 11432 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 38 0 0 0 20 0 28 0 476722683 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318196957024 140318478184247 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 Current children cumulated CPU time: 18.71 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 396680 KiB [startup+3.30176 s] /proc/loadavg: 8.07 7.85 7.88 9/217 11432 /proc/meminfo: memFree=25081156/32770624 swapFree=66939148/67108860 [pid=11307] ppid=11304 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/11307/stat : 11307 (xcsp3-exec) S 11304 11307 6664 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476722419 115843072 362 33554432000 4194304 5098028 140721207763696 140721207761800 140160530612860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20828160 140721207772028 140721207772270 140721207772270 140721207775178 0 /proc/11307/statm: 28282 362 304 221 0 87 0 [pid=11309] ppid=11307 vsize=28835928 memory=395232 CPUtime=19.51 cores=0-7 /proc/11309/stat : 11309 (java) S 11307 11307 6664 0 -1 1077944320 26751 0 0 0 1916 35 0 0 20 0 28 0 476722419 29527990272 98808 33554432000 4194304 4196468 140737174012880 140737173995424 140318835113719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 /proc/11309/statm: 7208982 98808 3520 1 0 7170082 0 [pid=11309/tid=11310] ppid=11307 vsize=28835928 memory=0 CPUtime=1.25 cores=0-7 /proc/11309/task/11310/stat : 11310 (java) S 11307 11307 6664 0 -1 1077944384 9119 0 0 0 118 7 0 0 20 0 28 0 476722420 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318839354496 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11311] ppid=11307 vsize=28835928 memory=45796 CPUtime=0.05 cores=0-7 /proc/11309/task/11311/stat : 11311 (java) S 11307 11307 6664 0 -1 1077944384 83 0 0 0 3 2 0 0 20 0 28 0 476722421 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318798219792 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11312] ppid=11307 vsize=28835928 memory=0 CPUtime=0.04 cores=0-7 /proc/11309/task/11312/stat : 11312 (java) S 11307 11307 6664 0 -1 1077944384 71 0 0 0 2 2 0 0 20 0 28 0 476722421 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318384970384 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11313] ppid=11307 vsize=28835928 memory=251460 CPUtime=0.03 cores=0-7 /proc/11309/task/11313/stat : 11313 (java) S 11307 11307 6664 0 -1 1077944384 59 0 0 0 2 1 0 0 20 0 28 0 476722421 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318383917328 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11314] ppid=11307 vsize=28835928 memory=0 CPUtime=0.04 cores=0-7 /proc/11309/task/11314/stat : 11314 (java) S 11307 11307 6664 0 -1 1077944384 65 0 0 0 2 2 0 0 20 0 28 0 476722421 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318382864784 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11315] ppid=11307 vsize=28835928 memory=0 CPUtime=0.05 cores=0-7 /proc/11309/task/11315/stat : 11315 (java) S 11307 11307 6664 0 -1 1077944384 67 0 0 0 3 2 0 0 20 0 28 0 476722421 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318381812752 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11316] ppid=11307 vsize=28835928 memory=2353 CPUtime=0.05 cores=0-7 /proc/11309/task/11316/stat : 11316 (java) S 11307 11307 6664 0 -1 1077944384 90 0 0 0 2 3 0 0 20 0 28 0 476722421 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318380760208 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11317] ppid=11307 vsize=28835928 memory=0 CPUtime=0.05 cores=0-7 /proc/11309/task/11317/stat : 11317 (java) S 11307 11307 6664 0 -1 1077944384 85 0 0 0 3 2 0 0 20 0 28 0 476722421 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318379707152 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11318] ppid=11307 vsize=28835928 memory=286727056 CPUtime=0.04 cores=0-7 /proc/11309/task/11318/stat : 11318 (java) S 11307 11307 6664 0 -1 1077944384 84 0 0 0 2 2 0 0 20 0 28 0 476722421 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318378654608 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11319] ppid=11307 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11319/stat : 11319 (java) S 11307 11307 6664 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 476722422 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318219852016 140318835124866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11320] ppid=11307 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11320/stat : 11320 (java) S 11307 11307 6664 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 476722423 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318218798304 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11321] ppid=11307 vsize=28835928 memory=55 CPUtime=0 cores=0-7 /proc/11309/task/11321/stat : 11321 (java) S 11307 11307 6664 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 476722423 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318217745152 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11322] ppid=11307 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/11309/task/11322/stat : 11322 (java) S 11307 11307 6664 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476722425 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318216693712 140318835132315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11323] ppid=11307 vsize=28835928 memory=0 CPUtime=1.63 cores=0-7 /proc/11309/task/11323/stat : 11323 (java) S 11307 11307 6664 0 -1 1077944384 3078 0 0 0 162 1 0 0 20 0 28 0 476722425 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318215641840 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11324] ppid=11307 vsize=28835928 memory=280574644519936 CPUtime=1.81 cores=0-7 /proc/11309/task/11324/stat : 11324 (java) S 11307 11307 6664 0 -1 1077944384 3510 0 0 0 180 1 0 0 20 0 28 0 476722425 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318214589296 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11325] ppid=11307 vsize=28835928 memory=50745843911146 CPUtime=1.96 cores=0-7 /proc/11309/task/11325/stat : 11325 (java) R 11307 11307 6664 0 -1 4202560 3176 0 0 0 196 0 0 0 20 0 28 0 476722425 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318213522784 140318816657492 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11326] ppid=11307 vsize=28835928 memory=50745843910890 CPUtime=0.86 cores=0-7 /proc/11309/task/11326/stat : 11326 (java) S 11307 11307 6664 0 -1 1077944384 3614 0 0 0 86 0 0 0 20 0 28 0 476722425 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318212483696 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11327] ppid=11307 vsize=28835928 memory=50737253976554 CPUtime=0 cores=0-7 /proc/11309/task/11327/stat : 11327 (java) S 11307 11307 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476722426 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318211430880 140318835123925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11328] ppid=11307 vsize=28835928 memory=50745843911146 CPUtime=0 cores=0-7 /proc/11309/task/11328/stat : 11328 (java) S 11307 11307 6664 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476722426 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318210378416 140318835124866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11425] ppid=11307 vsize=28835928 memory=50745843910890 CPUtime=0.47 cores=0-7 /proc/11309/task/11425/stat : 11425 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 47 0 0 0 20 0 28 0 476722682 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318194850232 140318478074846 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11426] ppid=11307 vsize=28835928 memory=0 CPUtime=0.51 cores=0-7 /proc/11309/task/11426/stat : 11426 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 51 0 0 0 20 0 28 0 476722682 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318199064464 140318478074645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11427] ppid=11307 vsize=28835928 memory=8740 CPUtime=0.46 cores=0-7 /proc/11309/task/11427/stat : 11427 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 46 0 0 0 20 0 28 0 476722682 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318198011368 140318478074650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11428] ppid=11307 vsize=28835928 memory=0 CPUtime=0.55 cores=0-7 /proc/11309/task/11428/stat : 11428 (java) R 11307 11307 6664 0 -1 4202560 33 0 0 0 55 0 0 0 20 0 28 0 476722682 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318125052344 140318478074673 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11429] ppid=11307 vsize=28835928 memory=22532 CPUtime=0.59 cores=0-7 /proc/11309/task/11429/stat : 11429 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 59 0 0 0 20 0 28 0 476722682 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318124000728 140318835125654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11430] ppid=11307 vsize=28835928 memory=6656426216303648864 CPUtime=0.57 cores=0-7 /proc/11309/task/11430/stat : 11430 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 57 0 0 0 20 0 28 0 476722682 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318195904696 140318478074737 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11431] ppid=11307 vsize=28835928 memory=6944652177228980320 CPUtime=0.55 cores=0-7 /proc/11309/task/11431/stat : 11431 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 55 0 0 0 20 0 28 0 476722682 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318193798352 140318478074918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 [pid=11309/tid=11432] ppid=11307 vsize=28835928 memory=-2026666227646606628 CPUtime=0.48 cores=0-7 /proc/11309/task/11432/stat : 11432 (java) R 11307 11307 6664 0 -1 4202560 17 0 0 0 48 0 0 0 20 0 28 0 476722683 29527990272 98808 33554432000 4194304 4196468 140737174012880 140318196957024 140318478074627 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11513856 140737174017008 140737174017179 140737174017179 140737174020047 0 Current children cumulated CPU time: 19.51 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 396680 KiB Child status: 0 Real time (s): 3.39678 CPU time (s): 20.1651 CPU user time (s): 19.8 CPU system time (s): 0.365107 CPU usage (%): 593.654 Max. virtual memory (cumulated for all children) (KiB): 29014592 Max. memory (cumulated for all children) (KiB): 396680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19.8 system time used= 0.365107 maximum resident set size= 396668 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27378 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= 4732 involuntary context switches= 618 # summary of solver processes directly reported to runsolver: # pid: 11307 # total CPU time (s): 20.1651 # total CPU user time (s): 19.8 # total CPU system time (s): 0.365107 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.046037 second user time and 0.080754 second system time The end
Begin job on node139 at 2019-09-20 20:37:29 IDJOB=4405018 IDBENCH=128043 IDSOLVER=2866 FILE ID=node139/4405018-1569004527 RUNJOBID= node139-1568994483-6691 PBS_JOBID= 21704720 Free space on /tmp= 5144 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-20-4-5-0.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-4405018-1569004527/watcher-4405018-1569004527 -o /tmp/evaluation-result-4405018-1569004527/solver-4405018-1569004527 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568994483-6691 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 571015654 HOME/instance-4405018-1569004527.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 74d82578b46c9040964d6b10ded07847 RANDOM SEED=571015654 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 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: 25463544 kB MemAvailable: 31793140 kB Buffers: 50508 kB Cached: 6366440 kB SwapCached: 65228 kB Active: 3194364 kB Inactive: 3293392 kB Active(anon): 4608 kB Inactive(anon): 111872 kB Active(file): 3189756 kB Inactive(file): 3181520 kB Unevictable: 107320 kB Mlocked: 107320 kB SwapTotal: 67108860 kB SwapFree: 66939148 kB Dirty: 26532 kB Writeback: 0 kB AnonPages: 256392 kB Mapped: 51380 kB Shmem: 37512 kB Slab: 416176 kB SReclaimable: 386780 kB SUnreclaim: 29396 kB KernelStack: 3680 kB PageTables: 5884 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 496888 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 210944 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 5116 MiB End job on node139 at 2019-09-20 20:37:33