Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 44 | 20.2958 | 3.12165 |
Name | GolombRuler/ GolombRuler-a3v18-nodv-09_c18.xml |
MD5SUM | 5099229ea21e0b755c9ada14ed0c0ccc |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 8.57589 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 37 |
Number of domains | 2 |
Minimum domain size | 81 |
Maximum domain size | 82 |
Distribution of domain sizes | [{"size":81,"count":36},{"size":82,"count":9}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":45},{"degree":2,"count":36},{"degree":8,"count":8},{"degree":9,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":3,"count":36},{"arity":36,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 36 |
Distribution of constraint types | [{"type":"intension","count":36},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404958-1569014358.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4404958-1569014358.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.28/0.65 c solve instance... 1.67/0.73 o 65 1.67/0.74 o 61 1.67/0.75 o 59 1.67/0.77 o 57 1.67/0.80 o 53 1.67/0.80 o 52 2.35/0.81 o 51 2.35/0.86 o 50 3.00/0.97 o 49 3.00/1.00 o 47 3.81/1.10 o 45 4.60/1.15 o 44 19.66/3.09 s OPTIMUM FOUND 19.66/3.09 v <instantiation> 19.66/3.09 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[4][5] y[4][6] y[4][7] y[4][8] y[5][6] y[5][7] y[5][8] y[6][7] y[6][8] y[7][8] </list> 19.66/3.09 v <values>0 1 5 12 25 27 35 41 44 1 5 12 25 27 35 41 44 4 11 24 26 34 40 43 7 20 22 30 36 39 13 15 23 29 32 2 10 16 19 8 14 17 6 9 3 </values> 19.66/3.09 v </instantiation>
OK 44
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 (13267 MiB free) memory of node 1: 16384 MiB (11785 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404958-1569014358/watcher-4404958-1569014358 -o /tmp/evaluation-result-4404958-1569014358/solver-4404958-1569014358 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569000410-26068 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2143167004 HOME/instance-4404958-1569014358.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=7964, runsolver pid=7961 [startup+0.100139 s]* /proc/loadavg: 6.99 6.91 7.60 2/210 7985 /proc/meminfo: memFree=25636128/32770624 swapFree=66986244/67108860 [pid=7964] ppid=7961 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/7964/stat : 7964 (xcsp3-exec) S 7961 7964 26041 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477692630 115843072 362 33554432000 4194304 5098028 140735423430864 140735423428968 140299323044476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20713472 140735423435643 140735423435886 140735423435886 140735423438794 0 /proc/7964/statm: 28282 362 304 221 0 87 0 [pid=7966] ppid=7964 vsize=28227396 memory=30436 CPUtime=0.12 cores=0-7 /proc/7966/stat : 7966 (java) S 7964 7964 26041 0 -1 1077944320 5500 0 0 0 11 1 0 0 20 0 20 0 477692630 28904853504 7609 33554432000 4194304 4196468 140720345405008 140720345387552 140523452620535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 /proc/7966/statm: 7056849 7609 3152 1 0 7019032 0 [pid=7966/tid=7967] ppid=7964 vsize=28227396 memory=288230380178243832 CPUtime=0.09 cores=0-7 /proc/7966/task/7967/stat : 7967 (java) R 7964 7964 26041 0 -1 4202560 3421 0 0 0 8 1 0 0 20 0 20 0 477692630 28904853504 7609 33554432000 4194304 4196468 140720345405008 140523456846784 140523452632470 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7968] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7968/stat : 7968 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692631 28904853504 7609 33554432000 4194304 4196468 140720345405008 140523004242320 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7969] ppid=7964 vsize=28227396 memory=4049356396561716252 CPUtime=0 cores=0-7 /proc/7966/task/7969/stat : 7969 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692631 28904853504 7609 33554432000 4194304 4196468 140720345405008 140523003189520 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7970] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7970/stat : 7970 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692631 28904853504 7609 33554432000 4194304 4196468 140720345405008 140523002137232 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7971] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7971/stat : 7971 (java) S 7964 7964 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477692631 28904853504 7609 33554432000 4194304 4196468 140720345405008 140523001084432 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7972] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7972/stat : 7972 (java) S 7964 7964 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477692631 28904853504 7609 33554432000 4194304 4196468 140720345405008 140523000032144 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7973] ppid=7964 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7966/task/7973/stat : 7973 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692631 28904853504 7609 33554432000 4194304 4196468 140720345405008 140522998979344 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7974] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7974/stat : 7974 (java) S 7964 7964 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477692631 28904853504 7609 33554432000 4194304 4196468 140720345405008 140522997927056 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7975] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7975/stat : 7975 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692631 28904853504 7609 33554432000 4194304 4196468 140720345405008 140522996874256 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7976] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7976/stat : 7976 (java) S 7964 7964 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477692633 28904853504 7609 33554432000 4194304 4196468 140720345405008 140522703173744 140523452631682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7977] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7977/stat : 7977 (java) S 7964 7964 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477692633 28904853504 7609 33554432000 4194304 4196468 140720345405008 140522702119712 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7978] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7978/stat : 7978 (java) S 7964 7964 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477692633 28904853504 7609 33554432000 4194304 4196468 140720345405008 140522701067376 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7979] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7979/stat : 7979 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692636 28904853504 7609 33554432000 4194304 4196468 140720345405008 140522700015696 140523452639131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7980] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7980/stat : 7980 (java) S 7964 7964 26041 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 20 0 477692636 28904853504 7609 33554432000 4194304 4196468 140720345405008 140522698963568 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7981] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7981/stat : 7981 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692636 28904853504 7609 33554432000 4194304 4196468 140720345405008 140522697910768 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7982] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7982/stat : 7982 (java) R 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692636 28904853504 7609 33554432000 4194304 4196468 140720345405008 140522696858480 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7983] ppid=7964 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/7966/task/7983/stat : 7983 (java) S 7964 7964 26041 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 20 0 477692636 28904853504 7609 33554432000 4194304 4196468 140720345405008 140522695805680 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7984] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7984/stat : 7984 (java) S 7964 7964 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477692636 28904853504 7609 33554432000 4194304 4196468 140720345405008 140522694752608 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7985] ppid=7964 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7966/task/7985/stat : 7985 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692636 28904853504 7609 33554432000 4194304 4196468 140720345405008 140522693699888 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31884 KiB [startup+0.210253 s]* /proc/loadavg: 6.99 6.91 7.60 2/210 7985 /proc/meminfo: memFree=25623180/32770624 swapFree=66986244/67108860 [pid=7964] ppid=7961 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/7964/stat : 7964 (xcsp3-exec) S 7961 7964 26041 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477692630 115843072 362 33554432000 4194304 5098028 140735423430864 140735423428968 140299323044476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20713472 140735423435643 140735423435886 140735423435886 140735423438794 0 /proc/7964/statm: 28282 362 304 221 0 87 0 [pid=7966] ppid=7964 vsize=28227396 memory=41460 CPUtime=0.33 cores=0-7 /proc/7966/stat : 7966 (java) S 7964 7964 26041 0 -1 1077944320 9048 0 0 0 30 3 0 0 20 0 20 0 477692630 28904853504 10365 33554432000 4194304 4196468 140720345405008 140720345387552 140523452620535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 /proc/7966/statm: 7056849 10365 3303 1 0 7019032 0 [pid=7966/tid=7967] ppid=7964 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7 /proc/7966/task/7967/stat : 7967 (java) R 7964 7964 26041 0 -1 4202560 6236 0 0 0 17 2 0 0 20 0 20 0 477692630 28904853504 10365 33554432000 4194304 4196468 140720345405008 140523456854240 140523452632470 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7968] ppid=7964 vsize=28227396 memory=288230604707987479 CPUtime=0 cores=0-7 /proc/7966/task/7968/stat : 7968 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692631 28904853504 10365 33554432000 4194304 4196468 140720345405008 140523004242320 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7969] ppid=7964 vsize=28227396 memory=288370450797983360 CPUtime=0 cores=0-7 /proc/7966/task/7969/stat : 7969 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692631 28904853504 10365 33554432000 4194304 4196468 140720345405008 140523003189520 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7970] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7970/stat : 7970 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692631 28904853504 10365 33554432000 4194304 4196468 140720345405008 140523002137232 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7971] ppid=7964 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7966/task/7971/stat : 7971 (java) S 7964 7964 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477692631 28904853504 10365 33554432000 4194304 4196468 140720345405008 140523001084432 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7972] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7972/stat : 7972 (java) S 7964 7964 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477692631 28904853504 10365 33554432000 4194304 4196468 140720345405008 140523000032144 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7973] ppid=7964 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7966/task/7973/stat : 7973 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692631 28904853504 10365 33554432000 4194304 4196468 140720345405008 140522998979344 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7974] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7974/stat : 7974 (java) S 7964 7964 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477692631 28904853504 10365 33554432000 4194304 4196468 140720345405008 140522997927056 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7975] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7975/stat : 7975 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692631 28904853504 10365 33554432000 4194304 4196468 140720345405008 140522996874256 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7976] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7976/stat : 7976 (java) S 7964 7964 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477692633 28904853504 10365 33554432000 4194304 4196468 140720345405008 140522703173744 140523452631682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7977] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7977/stat : 7977 (java) S 7964 7964 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477692633 28904853504 10365 33554432000 4194304 4196468 140720345405008 140522702119712 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7978] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7978/stat : 7978 (java) S 7964 7964 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477692633 28904853504 10365 33554432000 4194304 4196468 140720345405008 140522701067376 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7979] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7979/stat : 7979 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692636 28904853504 10365 33554432000 4194304 4196468 140720345405008 140522700015696 140523452639131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7980] ppid=7964 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/7966/task/7980/stat : 7980 (java) S 7964 7964 26041 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 20 0 477692636 28904853504 10365 33554432000 4194304 4196468 140720345405008 140522698963568 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7981] ppid=7964 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/7966/task/7981/stat : 7981 (java) S 7964 7964 26041 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 20 0 477692636 28904853504 10365 33554432000 4194304 4196468 140720345405008 140522697910768 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7982] ppid=7964 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/7966/task/7982/stat : 7982 (java) S 7964 7964 26041 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 20 0 477692636 28904853504 10365 33554432000 4194304 4196468 140720345405008 140522696858480 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7983] ppid=7964 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/7966/task/7983/stat : 7983 (java) R 7964 7964 26041 0 -1 4202560 744 0 0 0 7 0 0 0 20 0 20 0 477692636 28904853504 10365 33554432000 4194304 4196468 140720345405008 140522695805680 140523431914638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7984] ppid=7964 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7984/stat : 7984 (java) S 7964 7964 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477692636 28904853504 10365 33554432000 4194304 4196468 140720345405008 140522694752608 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7985] ppid=7964 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/7966/task/7985/stat : 7985 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692636 28904853504 10365 33554432000 4194304 4196468 140720345405008 140522693699888 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42908 KiB [startup+0.309521 s]* /proc/loadavg: 6.99 6.91 7.60 4/210 7985 /proc/meminfo: memFree=25615824/32770624 swapFree=66986244/67108860 [pid=7964] ppid=7961 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/7964/stat : 7964 (xcsp3-exec) S 7961 7964 26041 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477692630 115843072 362 33554432000 4194304 5098028 140735423430864 140735423428968 140299323044476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20713472 140735423435643 140735423435886 140735423435886 140735423438794 0 /proc/7964/statm: 28282 362 304 221 0 87 0 [pid=7966] ppid=7964 vsize=28231652 memory=49892 CPUtime=0.51 cores=0-7 /proc/7966/stat : 7966 (java) S 7964 7964 26041 0 -1 1077944320 10361 0 0 0 47 4 0 0 20 0 20 0 477692630 28909211648 12473 33554432000 4194304 4196468 140720345405008 140720345387552 140523452620535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 /proc/7966/statm: 7057913 12473 3346 1 0 7019032 0 [pid=7966/tid=7967] ppid=7964 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/7966/task/7967/stat : 7967 (java) R 7964 7964 26041 0 -1 4202560 7295 0 0 0 27 2 0 0 20 0 20 0 477692630 28909211648 12542 33554432000 4194304 4196468 140720345405008 140523456851648 140523452642461 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7968] ppid=7964 vsize=28231652 memory=14012 CPUtime=0 cores=0-7 /proc/7966/task/7968/stat : 7968 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692631 28909211648 12542 33554432000 4194304 4196468 140720345405008 140523004242320 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7969] ppid=7964 vsize=28231652 memory=14048 CPUtime=0 cores=0-7 /proc/7966/task/7969/stat : 7969 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692631 28909211648 12542 33554432000 4194304 4196468 140720345405008 140523003189520 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7970] ppid=7964 vsize=28231652 memory=29764 CPUtime=0 cores=0-7 /proc/7966/task/7970/stat : 7970 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692631 28909211648 12542 33554432000 4194304 4196468 140720345405008 140523002137232 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7971] ppid=7964 vsize=28231652 memory=2120 CPUtime=0 cores=0-7 /proc/7966/task/7971/stat : 7971 (java) S 7964 7964 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477692631 28909211648 12542 33554432000 4194304 4196468 140720345405008 140523001084432 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7972] ppid=7964 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7972/stat : 7972 (java) S 7964 7964 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477692631 28909211648 12542 33554432000 4194304 4196468 140720345405008 140523000032144 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7973] ppid=7964 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7973/stat : 7973 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692631 28909211648 12542 33554432000 4194304 4196468 140720345405008 140522998979344 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7974] ppid=7964 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7974/stat : 7974 (java) S 7964 7964 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477692631 28909211648 12542 33554432000 4194304 4196468 140720345405008 140522997927056 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7975] ppid=7964 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7975/stat : 7975 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692631 28909211648 12542 33554432000 4194304 4196468 140720345405008 140522996874256 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7976] ppid=7964 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7976/stat : 7976 (java) S 7964 7964 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477692633 28909211648 12542 33554432000 4194304 4196468 140720345405008 140522703173744 140523452631682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7977] ppid=7964 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/7966/task/7977/stat : 7977 (java) S 7964 7964 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477692633 28909211648 12542 33554432000 4194304 4196468 140720345405008 140522702119712 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7978] ppid=7964 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/7966/task/7978/stat : 7978 (java) S 7964 7964 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477692633 28909211648 12542 33554432000 4194304 4196468 140720345405008 140522701067376 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7979] ppid=7964 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/7966/task/7979/stat : 7979 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692636 28909211648 12542 33554432000 4194304 4196468 140720345405008 140522700015696 140523452639131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7980] ppid=7964 vsize=28231652 memory=2244 CPUtime=0.02 cores=0-7 /proc/7966/task/7980/stat : 7980 (java) R 7964 7964 26041 0 -1 4202560 596 0 0 0 2 0 0 0 20 0 20 0 477692636 28909211648 12542 33554432000 4194304 4196468 140720345405008 140522698953952 140523433256468 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7981] ppid=7964 vsize=28231652 memory=2244 CPUtime=0.02 cores=0-7 /proc/7966/task/7981/stat : 7981 (java) S 7964 7964 26041 0 -1 1077944384 52 0 0 0 2 0 0 0 20 0 20 0 477692636 28909211648 12542 33554432000 4194304 4196468 140720345405008 140522697910768 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7982] ppid=7964 vsize=28231652 memory=2244 CPUtime=0.03 cores=0-7 /proc/7966/task/7982/stat : 7982 (java) S 7964 7964 26041 0 -1 1077944384 293 0 0 0 3 0 0 0 20 0 20 0 477692636 28909211648 12542 33554432000 4194304 4196468 140720345405008 140522696858480 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7983] ppid=7964 vsize=28231652 memory=2244 CPUtime=0.12 cores=0-7 /proc/7966/task/7983/stat : 7983 (java) S 7964 7964 26041 0 -1 1077944384 838 0 0 0 12 0 0 0 20 0 20 0 477692636 28909211648 12542 33554432000 4194304 4196468 140720345405008 140522695805680 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7984] ppid=7964 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7984/stat : 7984 (java) S 7964 7964 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477692636 28909211648 12542 33554432000 4194304 4196468 140720345405008 140522694752608 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7985] ppid=7964 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7985/stat : 7985 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477692636 28909211648 12542 33554432000 4194304 4196468 140720345405008 140522693699888 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51340 KiB [startup+0.701087 s] /proc/loadavg: 6.99 6.91 7.60 4/210 7985 /proc/meminfo: memFree=25599320/32770624 swapFree=66986244/67108860 [pid=7964] ppid=7961 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/7964/stat : 7964 (xcsp3-exec) S 7961 7964 26041 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477692630 115843072 362 33554432000 4194304 5098028 140735423430864 140735423428968 140299323044476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20713472 140735423435643 140735423435886 140735423435886 140735423438794 0 /proc/7964/statm: 28282 362 304 221 0 87 0 [pid=7966] ppid=7964 vsize=28766288 memory=100348 CPUtime=1.67 cores=0-7 /proc/7966/stat : 7966 (java) S 7964 7964 26041 0 -1 1077944320 14986 0 0 0 161 6 0 0 20 0 28 0 477692630 29456678912 25087 33554432000 4194304 4196468 140720345405008 140720345387552 140523452620535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 /proc/7966/statm: 7191572 25087 3450 1 0 7152672 0 [pid=7966/tid=7967] ppid=7964 vsize=28766288 memory=7450473666955995753 CPUtime=0.64 cores=0-7 /proc/7966/task/7967/stat : 7967 (java) S 7964 7964 26041 0 -1 1077944384 8969 0 0 0 60 4 0 0 20 0 28 0 477692630 29456678912 25087 33554432000 4194304 4196468 140720345405008 140523456861312 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7968] ppid=7964 vsize=28766288 memory=140074646271616 CPUtime=0 cores=0-7 /proc/7966/task/7968/stat : 7968 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477692631 29456678912 25087 33554432000 4194304 4196468 140720345405008 140523004242320 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7969] ppid=7964 vsize=28766288 memory=140074520200128 CPUtime=0 cores=0-7 /proc/7966/task/7969/stat : 7969 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477692631 29456678912 25087 33554432000 4194304 4196468 140720345405008 140523003189520 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7970] ppid=7964 vsize=28766288 memory=1112 CPUtime=0 cores=0-7 /proc/7966/task/7970/stat : 7970 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477692631 29456678912 25087 33554432000 4194304 4196468 140720345405008 140523002137232 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 ################ # More data... # ################ /proc/7966/task/7984/stat : 7984 (java) S 7964 7964 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477692636 29456678912 25087 33554432000 4194304 4196468 140720345405008 140522694752608 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7985] ppid=7964 vsize=28766288 memory=1984 CPUtime=0 cores=0-7 /proc/7966/task/7985/stat : 7985 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477692636 29456678912 25087 33554432000 4194304 4196468 140720345405008 140522693699888 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 Current children cumulated CPU time: 1.67 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 101796 KiB [startup+1.50108 s] /proc/loadavg: 6.99 6.91 7.60 5/218 8065 /proc/meminfo: memFree=25480728/32770624 swapFree=66986244/67108860 [pid=7964] ppid=7961 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/7964/stat : 7964 (xcsp3-exec) S 7961 7964 26041 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477692630 115843072 362 33554432000 4194304 5098028 140735423430864 140735423428968 140299323044476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20713472 140735423435643 140735423435886 140735423435886 140735423438794 0 /proc/7964/statm: 28282 362 304 221 0 87 0 [pid=7966] ppid=7964 vsize=28769364 memory=201052 CPUtime=7.6 cores=0-7 /proc/7966/stat : 7966 (java) S 7964 7964 26041 0 -1 1077944320 24009 0 0 0 750 10 0 0 20 0 28 0 477692630 29459828736 50263 33554432000 4194304 4196468 140720345405008 140720345387552 140523452620535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 /proc/7966/statm: 7192341 50263 3468 1 0 7153441 0 [pid=7966/tid=7967] ppid=7964 vsize=28769364 memory=188852 CPUtime=0.65 cores=0-7 /proc/7966/task/7967/stat : 7967 (java) S 7964 7964 26041 0 -1 1077944384 8973 0 0 0 61 4 0 0 20 0 28 0 477692630 29459828736 50263 33554432000 4194304 4196468 140720345405008 140523456861312 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7968] ppid=7964 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7968/stat : 7968 (java) S 7964 7964 26041 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 477692631 29459828736 50263 33554432000 4194304 4196468 140720345405008 140523004242320 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7969] ppid=7964 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7969/stat : 7969 (java) S 7964 7964 26041 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 477692631 29459828736 50263 33554432000 4194304 4196468 140720345405008 140523003189520 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7970] ppid=7964 vsize=28769364 memory=26 CPUtime=0 cores=0-7 /proc/7966/task/7970/stat : 7970 (java) S 7964 7964 26041 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 477692631 29459828736 50263 33554432000 4194304 4196468 140720345405008 140523002137232 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7971] ppid=7964 vsize=28769364 memory=48 CPUtime=0 cores=0-7 /proc/7966/task/7971/stat : 7971 (java) S 7964 7964 26041 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 477692631 29459828736 50263 33554432000 4194304 4196468 140720345405008 140523001084432 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7972] ppid=7964 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7972/stat : 7972 (java) S 7964 7964 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 477692631 29459828736 50263 33554432000 4194304 4196468 140720345405008 140523000032144 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7973] ppid=7964 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7973/stat : 7973 (java) S 7964 7964 26041 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 477692631 29459828736 50263 33554432000 4194304 4196468 140720345405008 140522998979344 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7974] ppid=7964 vsize=28769364 memory=3616 CPUtime=0 cores=0-7 /proc/7966/task/7974/stat : 7974 (java) S 7964 7964 26041 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 477692631 29459828736 50263 33554432000 4194304 4196468 140720345405008 140522997927056 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7975] ppid=7964 vsize=28769364 memory=55808 CPUtime=0 cores=0-7 /proc/7966/task/7975/stat : 7975 (java) S 7964 7964 26041 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 477692631 29459828736 50263 33554432000 4194304 4196468 140720345405008 140522996874256 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7976] ppid=7964 vsize=28769364 memory=988 CPUtime=0 cores=0-7 /proc/7966/task/7976/stat : 7976 (java) S 7964 7964 26041 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 477692633 29459828736 50263 33554432000 4194304 4196468 140720345405008 140522703173744 140523452631682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7977] ppid=7964 vsize=28769364 memory=2004 CPUtime=0 cores=0-7 /proc/7966/task/7977/stat : 7977 (java) S 7964 7964 26041 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 477692633 29459828736 50263 33554432000 4194304 4196468 140720345405008 140522702119712 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7978] ppid=7964 vsize=28769364 memory=65 CPUtime=0 cores=0-7 /proc/7966/task/7978/stat : 7978 (java) S 7964 7964 26041 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477692633 29459828736 50263 33554432000 4194304 4196468 140720345405008 140522701067376 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7979] ppid=7964 vsize=28769364 memory=140074520086527 CPUtime=0 cores=0-7 /proc/7966/task/7979/stat : 7979 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477692636 29459828736 50263 33554432000 4194304 4196468 140720345405008 140522700015696 140523452639131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7980] ppid=7964 vsize=28769364 memory=280149040166176 CPUtime=0.62 cores=0-7 /proc/7966/task/7980/stat : 7980 (java) D 7964 7964 26041 0 -1 4202560 2464 0 0 0 62 0 0 0 20 0 28 0 477692636 29459828736 50263 33554432000 4194304 4196468 140720345405008 140522698949792 140523444909917 0 4 0 16800975 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7981] ppid=7964 vsize=28769364 memory=4639939496134862184 CPUtime=0.68 cores=0-7 /proc/7966/task/7981/stat : 7981 (java) R 7964 7964 26041 0 -1 4202560 3296 0 0 0 68 0 0 0 20 0 28 0 477692636 29459828736 50263 33554432000 4194304 4196468 140720345405008 140522697895096 140523437738391 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7982] ppid=7964 vsize=28769364 memory=6443338852643476908 CPUtime=0.61 cores=0-7 /proc/7966/task/7982/stat : 7982 (java) D 7964 7964 26041 0 -1 4202560 2880 0 0 0 60 1 0 0 20 0 28 0 477692636 29459828736 50263 33554432000 4194304 4196468 140720345405008 140522696844504 140523444909917 0 4 0 16800975 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7983] ppid=7964 vsize=28769364 memory=29382546135 CPUtime=0.58 cores=0-7 /proc/7966/task/7983/stat : 7983 (java) D 7964 7964 26041 0 -1 4202560 2864 0 0 0 58 0 0 0 20 0 28 0 477692636 29459828736 50263 33554432000 4194304 4196468 140720345405008 140522695801624 140523445337687 0 4 0 16800975 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7984] ppid=7964 vsize=28769364 memory=140074520097541 CPUtime=0 cores=0-7 /proc/7966/task/7984/stat : 7984 (java) S 7964 7964 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477692636 29459828736 50263 33554432000 4194304 4196468 140720345405008 140522694752608 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7985] ppid=7964 vsize=28769364 memory=3616 CPUtime=0 cores=0-7 /proc/7966/task/7985/stat : 7985 (java) S 7964 7964 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477692636 29459828736 50263 33554432000 4194304 4196468 140720345405008 140522693699888 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 Current children cumulated CPU time: 7.6 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 202500 KiB [startup+3.11074 s] /proc/loadavg: 6.99 6.91 7.60 12/218 8089 /proc/meminfo: memFree=25452240/32770624 swapFree=66986244/67108860 [pid=7964] ppid=7961 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/7964/stat : 7964 (xcsp3-exec) S 7961 7964 26041 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477692630 115843072 362 33554432000 4194304 5098028 140735423430864 140735423428968 140299323044476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20713472 140735423435643 140735423435886 140735423435886 140735423438794 0 /proc/7964/statm: 28282 362 304 221 0 87 0 [pid=7966] ppid=7964 vsize=28769364 memory=217128 CPUtime=20.27 cores=0-7 /proc/7966/stat : 7966 (java) S 7964 7964 26041 0 -1 1077944320 25810 0 0 0 2016 11 0 0 20 0 18 0 477692630 29459828736 54282 33554432000 4194304 4196468 140720345405008 140720345387552 140523452620535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 /proc/7966/statm: 7192341 54282 3491 1 0 7153441 0 [pid=7966/tid=7967] ppid=7964 vsize=28769364 memory=1448 CPUtime=0.65 cores=0-7 /proc/7966/task/7967/stat : 7967 (java) S 7964 7964 26041 0 -1 1077944384 8975 0 0 0 61 4 0 0 20 0 18 0 477692630 29459828736 54282 33554432000 4194304 4196468 140720345405008 140523456863376 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7968] ppid=7964 vsize=28769364 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/7966/task/7968/stat : 7968 (java) S 7964 7964 26041 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 18 0 477692631 29459828736 54282 33554432000 4194304 4196468 140720345405008 140523004242320 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7969] ppid=7964 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7969/stat : 7969 (java) S 7964 7964 26041 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 18 0 477692631 29459828736 54282 33554432000 4194304 4196468 140720345405008 140523003189520 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7970] ppid=7964 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7970/stat : 7970 (java) S 7964 7964 26041 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 18 0 477692631 29459828736 54282 33554432000 4194304 4196468 140720345405008 140523002137232 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7971] ppid=7964 vsize=28769364 memory=3616 CPUtime=0 cores=0-7 /proc/7966/task/7971/stat : 7971 (java) S 7964 7964 26041 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 18 0 477692631 29459828736 54282 33554432000 4194304 4196468 140720345405008 140523001084432 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7972] ppid=7964 vsize=28769364 memory=55808 CPUtime=0 cores=0-7 /proc/7966/task/7972/stat : 7972 (java) S 7964 7964 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 18 0 477692631 29459828736 54282 33554432000 4194304 4196468 140720345405008 140523000032144 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7973] ppid=7964 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7973/stat : 7973 (java) S 7964 7964 26041 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 18 0 477692631 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522998979344 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7974] ppid=7964 vsize=28769364 memory=280149040165232 CPUtime=0 cores=0-7 /proc/7966/task/7974/stat : 7974 (java) S 7964 7964 26041 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 18 0 477692631 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522997927056 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7975] ppid=7964 vsize=28769364 memory=280149040165088 CPUtime=0 cores=0-7 /proc/7966/task/7975/stat : 7975 (java) S 7964 7964 26041 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 18 0 477692631 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522996874256 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7976] ppid=7964 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7976/stat : 7976 (java) S 7964 7964 26041 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 18 0 477692633 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522703173952 140523452631682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7977] ppid=7964 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7977/stat : 7977 (java) S 7964 7964 26041 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 18 0 477692633 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522702119712 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7978] ppid=7964 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7978/stat : 7978 (java) S 7964 7964 26041 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 18 0 477692633 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522701067376 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7980] ppid=7964 vsize=28769364 memory=211264 CPUtime=1.6 cores=0-7 /proc/7966/task/7980/stat : 7980 (java) S 7964 7964 26041 0 -1 1077944384 3341 0 0 0 160 0 0 0 20 0 18 0 477692636 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522698948080 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7981] ppid=7964 vsize=28769364 memory=8536313005988881035 CPUtime=1.77 cores=0-7 /proc/7966/task/7981/stat : 7981 (java) S 7964 7964 26041 0 -1 1077944384 3934 0 0 0 176 1 0 0 20 0 18 0 477692636 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522697895280 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7982] ppid=7964 vsize=28769364 memory=0 CPUtime=1.6 cores=0-7 /proc/7966/task/7982/stat : 7982 (java) S 7964 7964 26041 0 -1 1077944384 3017 0 0 0 159 1 0 0 20 0 18 0 477692636 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522696843024 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7983] ppid=7964 vsize=28769364 memory=6944652177228980320 CPUtime=0.65 cores=0-7 /proc/7966/task/7983/stat : 7983 (java) S 7964 7964 26041 0 -1 1077944384 2972 0 0 0 65 0 0 0 20 0 18 0 477692636 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522695805680 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7984] ppid=7964 vsize=28769364 memory=7309167735469665129 CPUtime=0 cores=0-7 /proc/7966/task/7984/stat : 7984 (java) S 7964 7964 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 477692636 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522694752608 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 Current children cumulated CPU time: 20.27 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 218576 KiB [startup+3.12159 s] # the end of solver process 7964 was just reported to runsolver # cumulated CPU time of all completed processes: user=20.1693 s, system=0.126493 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.11074 s] /proc/loadavg: 6.99 6.91 7.60 12/218 8089 /proc/meminfo: memFree=25452240/32770624 swapFree=66986244/67108860 [pid=7964] ppid=7961 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/7964/stat : 7964 (xcsp3-exec) S 7961 7964 26041 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 477692630 115843072 362 33554432000 4194304 5098028 140735423430864 140735423428968 140299323044476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20713472 140735423435643 140735423435886 140735423435886 140735423438794 0 /proc/7964/statm: 28282 362 304 221 0 87 0 [pid=7966] ppid=7964 vsize=28769364 memory=217128 CPUtime=20.27 cores=0-7 /proc/7966/stat : 7966 (java) S 7964 7964 26041 0 -1 1077944320 25810 0 0 0 2016 11 0 0 20 0 18 0 477692630 29459828736 54282 33554432000 4194304 4196468 140720345405008 140720345387552 140523452620535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 /proc/7966/statm: 7192341 54282 3491 1 0 7153441 0 [pid=7966/tid=7967] ppid=7964 vsize=28769364 memory=1448 CPUtime=0.65 cores=0-7 /proc/7966/task/7967/stat : 7967 (java) S 7964 7964 26041 0 -1 1077944384 8975 0 0 0 61 4 0 0 20 0 18 0 477692630 29459828736 54282 33554432000 4194304 4196468 140720345405008 140523456863376 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7968] ppid=7964 vsize=28769364 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/7966/task/7968/stat : 7968 (java) S 7964 7964 26041 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 18 0 477692631 29459828736 54282 33554432000 4194304 4196468 140720345405008 140523004242320 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7969] ppid=7964 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7969/stat : 7969 (java) S 7964 7964 26041 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 18 0 477692631 29459828736 54282 33554432000 4194304 4196468 140720345405008 140523003189520 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7970] ppid=7964 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7970/stat : 7970 (java) S 7964 7964 26041 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 18 0 477692631 29459828736 54282 33554432000 4194304 4196468 140720345405008 140523002137232 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7971] ppid=7964 vsize=28769364 memory=3616 CPUtime=0 cores=0-7 /proc/7966/task/7971/stat : 7971 (java) S 7964 7964 26041 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 18 0 477692631 29459828736 54282 33554432000 4194304 4196468 140720345405008 140523001084432 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7972] ppid=7964 vsize=28769364 memory=55808 CPUtime=0 cores=0-7 /proc/7966/task/7972/stat : 7972 (java) S 7964 7964 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 18 0 477692631 29459828736 54282 33554432000 4194304 4196468 140720345405008 140523000032144 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7973] ppid=7964 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7973/stat : 7973 (java) S 7964 7964 26041 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 18 0 477692631 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522998979344 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7974] ppid=7964 vsize=28769364 memory=280149040165232 CPUtime=0 cores=0-7 /proc/7966/task/7974/stat : 7974 (java) S 7964 7964 26041 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 18 0 477692631 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522997927056 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7975] ppid=7964 vsize=28769364 memory=280149040165088 CPUtime=0 cores=0-7 /proc/7966/task/7975/stat : 7975 (java) S 7964 7964 26041 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 18 0 477692631 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522996874256 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7976] ppid=7964 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7976/stat : 7976 (java) S 7964 7964 26041 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 18 0 477692633 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522703173952 140523452631682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7977] ppid=7964 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7977/stat : 7977 (java) S 7964 7964 26041 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 18 0 477692633 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522702119712 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7978] ppid=7964 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/7966/task/7978/stat : 7978 (java) S 7964 7964 26041 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 18 0 477692633 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522701067376 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7980] ppid=7964 vsize=28769364 memory=211264 CPUtime=1.6 cores=0-7 /proc/7966/task/7980/stat : 7980 (java) S 7964 7964 26041 0 -1 1077944384 3341 0 0 0 160 0 0 0 20 0 18 0 477692636 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522698948080 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7981] ppid=7964 vsize=28769364 memory=8536313005988881035 CPUtime=1.77 cores=0-7 /proc/7966/task/7981/stat : 7981 (java) S 7964 7964 26041 0 -1 1077944384 3934 0 0 0 176 1 0 0 20 0 18 0 477692636 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522697895280 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7982] ppid=7964 vsize=28769364 memory=0 CPUtime=1.6 cores=0-7 /proc/7966/task/7982/stat : 7982 (java) S 7964 7964 26041 0 -1 1077944384 3017 0 0 0 159 1 0 0 20 0 18 0 477692636 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522696843024 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7983] ppid=7964 vsize=28769364 memory=6944652177228980320 CPUtime=0.65 cores=0-7 /proc/7966/task/7983/stat : 7983 (java) S 7964 7964 26041 0 -1 1077944384 2972 0 0 0 65 0 0 0 20 0 18 0 477692636 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522695805680 140523452631682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 [pid=7966/tid=7984] ppid=7964 vsize=28769364 memory=7309167735469665129 CPUtime=0 cores=0-7 /proc/7966/task/7984/stat : 7984 (java) S 7964 7964 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 477692636 29459828736 54282 33554432000 4194304 4196468 140720345405008 140522694752608 140523452630741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20979712 140720345408496 140720345408667 140720345408667 140720345411535 0 Current children cumulated CPU time: 20.27 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 218576 KiB Child status: 0 Real time (s): 3.12165 CPU time (s): 20.2958 CPU user time (s): 20.1693 CPU system time (s): 0.126493 CPU usage (%): 650.162 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 218576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20.1693 system time used= 0.126493 maximum resident set size= 217872 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26372 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4591 involuntary context switches= 683 # summary of solver processes directly reported to runsolver: # pid: 7964 # total CPU time (s): 20.2958 # total CPU user time (s): 20.1693 # total CPU system time (s): 0.126493 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.052308 second user time and 0.070834 second system time The end
Begin job on node104 at 2019-09-20 22:08:57 IDJOB=4404958 IDBENCH=141374 IDSOLVER=2866 FILE ID=node104/4404958-1569014358 RUNJOBID= node104-1569000410-26068 PBS_JOBID= 21704740 Free space on /tmp= 9832 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-nodv-09_c18.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-4404958-1569014358/watcher-4404958-1569014358 -o /tmp/evaluation-result-4404958-1569014358/solver-4404958-1569014358 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569000410-26068 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2143167004 HOME/instance-4404958-1569014358.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5099229ea21e0b755c9ada14ed0c0ccc RANDOM SEED=2143167004 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: 25653640 kB MemAvailable: 31828264 kB Buffers: 46740 kB Cached: 6202304 kB SwapCached: 22652 kB Active: 3123712 kB Inactive: 3152152 kB Active(anon): 3004 kB Inactive(anon): 73140 kB Active(file): 3120708 kB Inactive(file): 3079012 kB Unevictable: 109708 kB Mlocked: 109708 kB SwapTotal: 67108860 kB SwapFree: 66986244 kB Dirty: 26072 kB Writeback: 0 kB AnonPages: 157548 kB Mapped: 52376 kB Shmem: 40708 kB Slab: 433272 kB SReclaimable: 403364 kB SUnreclaim: 29908 kB KernelStack: 3696 kB PageTables: 5324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498164 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 112640 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= 9808 MiB End job on node104 at 2019-09-20 22:09:00