Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 2019-06-14 parallel | SAT | 12.6589 | 3.13655 |
Name | Primes/ Primes-m1-p25/Primes-25-40-2-7.xml |
MD5SUM | b42e085ff70e4cc43f0ee5aad126ad84 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 4.6192 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 40 |
Number of domains | 1 |
Minimum domain size | 96 |
Maximum domain size | 96 |
Distribution of domain sizes | [{"size":96,"count":88}] |
Minimum variable degree | 0 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":0,"count":12},{"degree":1,"count":20},{"degree":2,"count":25},{"degree":3,"count":20},{"degree":4,"count":12},{"degree":5,"count":5},{"degree":6,"count":3},{"degree":7,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":2},{"arity":6,"count":7},{"arity":7,"count":4},{"arity":8,"count":9},{"arity":9,"count":6}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":40}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393701-1568432890.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393701-1568432890.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 2.09/1.23 c solve instance... 12.61/2.61 s SATISFIABLE 12.61/2.61 v <instantiation> 12.61/2.61 v <list>x[0] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[17] x[18] x[19] x[20] x[21] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[53] x[54] x[55] x[56] x[57] x[59] x[60] x[61] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[71] x[72] x[73] x[74] x[75] x[79] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[97] x[98] x[99] </list> 12.61/2.61 v <values>4 52 44 65 31 41 52 29 70 35 3 75 49 38 9 2 91 93 58 46 37 54 2 16 2 42 97 3 22 92 60 62 84 83 35 37 66 25 93 63 32 6 32 73 14 51 73 51 92 4 88 93 53 30 17 74 2 24 37 33 5 86 71 21 73 32 28 57 64 84 25 6 16 95 26 8 13 85 87 43 58 3 43 45 2 56 71 2 </values> 12.61/2.61 v </instantiation>
OK
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 (12349 MiB free) memory of node 1: 16384 MiB (12120 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393701-1568432890/watcher-4393701-1568432890 -o /tmp/evaluation-result-4393701-1568432890/solver-4393701-1568432890 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568432852-5030 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 440194586 HOME/instance-4393701-1568432890.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=5047, runsolver pid=5044 [startup+0.100154 s]* /proc/loadavg: 8.18 8.19 8.18 3/211 5068 /proc/meminfo: memFree=25040336/32770624 swapFree=67004764/67108860 [pid=5047] ppid=5044 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5047/stat : 5047 (xcsp3-exec) S 5044 5047 5003 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419556785 115843072 363 33554432000 4194304 5098028 140730779590992 140730779589096 140399579406972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27086848 140730779595638 140730779595881 140730779595881 140730779598794 0 /proc/5047/statm: 28282 363 304 221 0 87 0 [pid=5049] ppid=5047 vsize=28227388 memory=28944 CPUtime=0.12 cores=0-7 /proc/5049/stat : 5049 (java) S 5047 5047 5003 0 -1 1077944320 5708 0 0 0 11 1 0 0 20 0 20 0 419556785 28904845312 7236 33554432000 4194304 4196468 140720352387840 140720352370384 139953178672887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 /proc/5049/statm: 7056847 7236 3120 1 0 7019032 0 [pid=5049/tid=5050] ppid=5047 vsize=28227388 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/5049/task/5050/stat : 5050 (java) R 5047 5047 5003 0 -1 4202560 3625 0 0 0 8 1 0 0 20 0 20 0 419556786 28904845312 7236 33554432000 4194304 4196468 140720352387840 139953182902064 139953178684822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5051] ppid=5047 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/5049/task/5051/stat : 5051 (java) S 5047 5047 5003 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419556787 28904845312 7236 33554432000 4194304 4196468 140720352387840 139953131293712 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5052] ppid=5047 vsize=28227388 memory=139865996015232 CPUtime=0 cores=0-7 /proc/5049/task/5052/stat : 5052 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28904845312 7236 33554432000 4194304 4196468 140720352387840 139953130241168 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5053] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5053/stat : 5053 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28904845312 7236 33554432000 4194304 4196468 140720352387840 139953129188112 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5054] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5054/stat : 5054 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28904845312 7236 33554432000 4194304 4196468 140720352387840 139953128135568 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5055] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5055/stat : 5055 (java) S 5047 5047 5003 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419556787 28904845312 7236 33554432000 4194304 4196468 140720352387840 139953127082512 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5056] ppid=5047 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5049/task/5056/stat : 5056 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28904845312 7236 33554432000 4194304 4196468 140720352387840 139953126029968 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5057] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5057/stat : 5057 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28904845312 7236 33554432000 4194304 4196468 140720352387840 139953124976912 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5058] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5058/stat : 5058 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28904845312 7236 33554432000 4194304 4196468 140720352387840 139953123924368 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5059] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5059/stat : 5059 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556788 28904845312 7236 33554432000 4194304 4196468 140720352387840 139952496208624 139953178684034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5060] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5060/stat : 5060 (java) S 5047 5047 5003 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419556789 28904845312 7236 33554432000 4194304 4196468 140720352387840 139952495154848 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5061] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5061/stat : 5061 (java) S 5047 5047 5003 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419556789 28904845312 7236 33554432000 4194304 4196468 140720352387840 139952494101744 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5062] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5062/stat : 5062 (java) S 5047 5047 5003 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419556791 28904845312 7236 33554432000 4194304 4196468 140720352387840 139952493050320 139953178691483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5063] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5063/stat : 5063 (java) S 5047 5047 5003 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 419556791 28904845312 7236 33554432000 4194304 4196468 140720352387840 139952491997424 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5064] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5064/stat : 5064 (java) S 5047 5047 5003 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419556791 28904845312 7236 33554432000 4194304 4196468 140720352387840 139952490944880 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5065] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5065/stat : 5065 (java) S 5047 5047 5003 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 419556791 28904845312 7236 33554432000 4194304 4196468 140720352387840 139952489891824 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5066] ppid=5047 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/5049/task/5066/stat : 5066 (java) S 5047 5047 5003 0 -1 1077944384 348 0 0 0 2 0 0 0 20 0 20 0 419556791 28904845312 7236 33554432000 4194304 4196468 140720352387840 139952488839280 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5067] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5067/stat : 5067 (java) S 5047 5047 5003 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419556791 28904845312 7236 33554432000 4194304 4196468 140720352387840 139952487787488 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5068] ppid=5047 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5049/task/5068/stat : 5068 (java) S 5047 5047 5003 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419556792 28904845312 7236 33554432000 4194304 4196468 140720352387840 139952486735024 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30396 KiB [startup+0.210216 s]* /proc/loadavg: 8.18 8.19 8.18 2/211 5068 /proc/meminfo: memFree=25027948/32770624 swapFree=67004764/67108860 [pid=5047] ppid=5044 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5047/stat : 5047 (xcsp3-exec) S 5044 5047 5003 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419556785 115843072 363 33554432000 4194304 5098028 140730779590992 140730779589096 140399579406972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27086848 140730779595638 140730779595881 140730779595881 140730779598794 0 /proc/5047/statm: 28282 363 304 221 0 87 0 [pid=5049] ppid=5047 vsize=28227388 memory=40464 CPUtime=0.33 cores=0-7 /proc/5049/stat : 5049 (java) S 5047 5047 5003 0 -1 1077944320 9382 0 0 0 30 3 0 0 20 0 20 0 419556785 28904845312 10116 33554432000 4194304 4196468 140720352387840 140720352370384 139953178672887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 /proc/5049/statm: 7056847 10116 3296 1 0 7019032 0 [pid=5049/tid=5050] ppid=5047 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/5049/task/5050/stat : 5050 (java) R 5047 5047 5003 0 -1 4202560 6639 0 0 0 17 2 0 0 20 0 20 0 419556786 28904845312 10116 33554432000 4194304 4196468 140720352387840 139953182902608 139953162753374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5051] ppid=5047 vsize=28227388 memory=328 CPUtime=0 cores=0-7 /proc/5049/task/5051/stat : 5051 (java) S 5047 5047 5003 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419556787 28904845312 10116 33554432000 4194304 4196468 140720352387840 139953131293712 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5052] ppid=5047 vsize=28227388 memory=139865996024953 CPUtime=0 cores=0-7 /proc/5049/task/5052/stat : 5052 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28904845312 10116 33554432000 4194304 4196468 140720352387840 139953130241168 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5053] ppid=5047 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5049/task/5053/stat : 5053 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28904845312 10116 33554432000 4194304 4196468 140720352387840 139953129188112 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5054] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5054/stat : 5054 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28904845312 10116 33554432000 4194304 4196468 140720352387840 139953128135568 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5055] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5055/stat : 5055 (java) S 5047 5047 5003 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419556787 28904845312 10116 33554432000 4194304 4196468 140720352387840 139953127082512 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5056] ppid=5047 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5049/task/5056/stat : 5056 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28904845312 10116 33554432000 4194304 4196468 140720352387840 139953126029968 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5057] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5057/stat : 5057 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28904845312 10116 33554432000 4194304 4196468 140720352387840 139953124976912 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5058] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5058/stat : 5058 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28904845312 10116 33554432000 4194304 4196468 140720352387840 139953123924368 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5059] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5059/stat : 5059 (java) S 5047 5047 5003 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419556788 28904845312 10116 33554432000 4194304 4196468 140720352387840 139952496208624 139953178684034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5060] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5060/stat : 5060 (java) S 5047 5047 5003 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419556789 28904845312 10116 33554432000 4194304 4196468 140720352387840 139952495154848 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5061] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5061/stat : 5061 (java) S 5047 5047 5003 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419556789 28904845312 10116 33554432000 4194304 4196468 140720352387840 139952494101744 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5062] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5062/stat : 5062 (java) S 5047 5047 5003 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419556791 28904845312 10116 33554432000 4194304 4196468 140720352387840 139952493050320 139953178691483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5063] ppid=5047 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/5049/task/5063/stat : 5063 (java) R 5047 5047 5003 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 20 0 419556791 28904845312 10116 33554432000 4194304 4196468 140720352387840 139952491997424 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5064] ppid=5047 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/5049/task/5064/stat : 5064 (java) R 5047 5047 5003 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 419556791 28904845312 10116 33554432000 4194304 4196468 140720352387840 139952490944880 139953178684034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5065] ppid=5047 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/5049/task/5065/stat : 5065 (java) S 5047 5047 5003 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 20 0 419556791 28904845312 10116 33554432000 4194304 4196468 140720352387840 139952489891824 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5066] ppid=5047 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/5049/task/5066/stat : 5066 (java) R 5047 5047 5003 0 -1 4202560 784 0 0 0 7 0 0 0 20 0 20 0 419556791 28904845312 10116 33554432000 4194304 4196468 140720352387840 139952488839280 139953157657063 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5067] ppid=5047 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5067/stat : 5067 (java) S 5047 5047 5003 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419556791 28904845312 10116 33554432000 4194304 4196468 140720352387840 139952487787488 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5068] ppid=5047 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/5049/task/5068/stat : 5068 (java) S 5047 5047 5003 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419556792 28904845312 10116 33554432000 4194304 4196468 140720352387840 139952486735024 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41916 KiB [startup+0.309533 s]* /proc/loadavg: 8.18 8.19 8.18 3/211 5068 /proc/meminfo: memFree=25022972/32770624 swapFree=67004764/67108860 [pid=5047] ppid=5044 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5047/stat : 5047 (xcsp3-exec) S 5044 5047 5003 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419556785 115843072 363 33554432000 4194304 5098028 140730779590992 140730779589096 140399579406972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27086848 140730779595638 140730779595881 140730779595881 140730779598794 0 /proc/5047/statm: 28282 363 304 221 0 87 0 [pid=5049] ppid=5047 vsize=28231644 memory=49424 CPUtime=0.52 cores=0-7 /proc/5049/stat : 5049 (java) S 5047 5047 5003 0 -1 1077944320 10780 0 0 0 48 4 0 0 20 0 20 0 419556785 28909203456 12356 33554432000 4194304 4196468 140720352387840 140720352370384 139953178672887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 /proc/5049/statm: 7057911 12356 3343 1 0 7019032 0 [pid=5049/tid=5050] ppid=5047 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/5049/task/5050/stat : 5050 (java) R 5047 5047 5003 0 -1 4202560 7749 0 0 0 26 3 0 0 20 0 20 0 419556786 28909203456 12399 33554432000 4194304 4196468 140720352387840 139953182906752 139953162753374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5051] ppid=5047 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5051/stat : 5051 (java) S 5047 5047 5003 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419556787 28909203456 12399 33554432000 4194304 4196468 140720352387840 139953131293712 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5052] ppid=5047 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5052/stat : 5052 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28909203456 12399 33554432000 4194304 4196468 140720352387840 139953130241168 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5053] ppid=5047 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5053/stat : 5053 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28909203456 12399 33554432000 4194304 4196468 140720352387840 139953129188112 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5054] ppid=5047 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5054/stat : 5054 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28909203456 12399 33554432000 4194304 4196468 140720352387840 139953128135568 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5055] ppid=5047 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5055/stat : 5055 (java) S 5047 5047 5003 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419556787 28909203456 12399 33554432000 4194304 4196468 140720352387840 139953127082512 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5056] ppid=5047 vsize=28231644 memory=139865878522543 CPUtime=0 cores=0-7 /proc/5049/task/5056/stat : 5056 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28909203456 12399 33554432000 4194304 4196468 140720352387840 139953126029968 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5057] ppid=5047 vsize=28231644 memory=139865878524848 CPUtime=0 cores=0-7 /proc/5049/task/5057/stat : 5057 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28909203456 12399 33554432000 4194304 4196468 140720352387840 139953124976912 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5058] ppid=5047 vsize=28231644 memory=139865878527152 CPUtime=0 cores=0-7 /proc/5049/task/5058/stat : 5058 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28909203456 12399 33554432000 4194304 4196468 140720352387840 139953123924368 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5059] ppid=5047 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5059/stat : 5059 (java) S 5047 5047 5003 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419556788 28909203456 12399 33554432000 4194304 4196468 140720352387840 139952496208624 139953178684034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5060] ppid=5047 vsize=28231644 memory=279731757068176 CPUtime=0 cores=0-7 /proc/5049/task/5060/stat : 5060 (java) S 5047 5047 5003 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419556789 28909203456 12399 33554432000 4194304 4196468 140720352387840 139952495154848 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5061] ppid=5047 vsize=28231644 memory=279731757065872 CPUtime=0 cores=0-7 /proc/5049/task/5061/stat : 5061 (java) S 5047 5047 5003 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419556789 28909203456 12399 33554432000 4194304 4196468 140720352387840 139952494101744 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5062] ppid=5047 vsize=28231644 memory=279731757072784 CPUtime=0 cores=0-7 /proc/5049/task/5062/stat : 5062 (java) S 5047 5047 5003 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419556791 28909203456 12399 33554432000 4194304 4196468 140720352387840 139952493050320 139953178691483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5063] ppid=5047 vsize=28231644 memory=279731757014064 CPUtime=0.02 cores=0-7 /proc/5049/task/5063/stat : 5063 (java) R 5047 5047 5003 0 -1 4202560 450 0 0 0 2 0 0 0 20 0 20 0 419556791 28909203456 12399 33554432000 4194304 4196468 140720352387840 139952491996608 139953156324752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5064] ppid=5047 vsize=28231644 memory=279731757086608 CPUtime=0.03 cores=0-7 /proc/5049/task/5064/stat : 5064 (java) S 5047 5047 5003 0 -1 1077944384 61 0 0 0 3 0 0 0 20 0 20 0 419556791 28909203456 12399 33554432000 4194304 4196468 140720352387840 139952490944880 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5065] ppid=5047 vsize=28231644 memory=279731757093520 CPUtime=0.03 cores=0-7 /proc/5049/task/5065/stat : 5065 (java) S 5047 5047 5003 0 -1 1077944384 277 0 0 0 3 0 0 0 20 0 20 0 419556791 28909203456 12399 33554432000 4194304 4196468 140720352387840 139952489891824 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5066] ppid=5047 vsize=28231644 memory=279731757091216 CPUtime=0.12 cores=0-7 /proc/5049/task/5066/stat : 5066 (java) S 5047 5047 5003 0 -1 1077944384 948 0 0 0 12 0 0 0 20 0 20 0 419556791 28909203456 12399 33554432000 4194304 4196468 140720352387840 139952488839280 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5067] ppid=5047 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5067/stat : 5067 (java) S 5047 5047 5003 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419556791 28909203456 12399 33554432000 4194304 4196468 140720352387840 139952487787488 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5068] ppid=5047 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/5049/task/5068/stat : 5068 (java) S 5047 5047 5003 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419556792 28909203456 12399 33554432000 4194304 4196468 140720352387840 139952486735024 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 50876 KiB [startup+0.700987 s] /proc/loadavg: 8.18 8.19 8.18 3/211 5068 /proc/meminfo: memFree=25012636/32770624 swapFree=67004764/67108860 [pid=5047] ppid=5044 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5047/stat : 5047 (xcsp3-exec) S 5044 5047 5003 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419556785 115843072 363 33554432000 4194304 5098028 140730779590992 140730779589096 140399579406972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27086848 140730779595638 140730779595881 140730779595881 140730779598794 0 /proc/5047/statm: 28282 363 304 221 0 87 0 [pid=5049] ppid=5047 vsize=28233768 memory=65952 CPUtime=1.32 cores=0-7 /proc/5049/stat : 5049 (java) S 5047 5047 5003 0 -1 1077944320 13736 0 0 0 126 6 0 0 20 0 20 0 419556785 28911378432 16488 33554432000 4194304 4196468 140720352387840 140720352370384 139953178672887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 /proc/5049/statm: 7058442 16488 3449 1 0 7019544 0 [pid=5049/tid=5050] ppid=5047 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7 /proc/5049/task/5050/stat : 5050 (java) R 5047 5047 5003 0 -1 4202560 9165 0 0 0 64 4 0 0 20 0 20 0 419556786 28911378432 16488 33554432000 4194304 4196468 140720352387840 139953182909920 139952804180408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5051] ppid=5047 vsize=28233768 memory=139865878733680 CPUtime=0 cores=0-7 /proc/5049/task/5051/stat : 5051 (java) S 5047 5047 5003 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419556787 28911378432 16488 33554432000 4194304 4196468 140720352387840 139953131293712 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5052] ppid=5047 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5052/stat : 5052 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28911378432 16488 33554432000 4194304 4196468 140720352387840 139953130241168 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5053] ppid=5047 vsize=28233768 memory=772 CPUtime=0 cores=0-7 /proc/5049/task/5053/stat : 5053 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419556787 28911378432 16488 33554432000 4194304 4196468 140720352387840 139953129188112 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 ################ # More data... # ################ /proc/5049/task/5065/stat : 5065 (java) S 5047 5047 5003 0 -1 1077944384 454 0 0 0 9 0 0 0 20 0 20 0 419556791 28911378432 16488 33554432000 4194304 4196468 140720352387840 139952489891824 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5066] ppid=5047 vsize=28233768 memory=1228 CPUtime=0.27 cores=0-7 /proc/5049/task/5066/stat : 5066 (java) S 5047 5047 5003 0 -1 1077944384 1458 0 0 0 27 0 0 0 20 0 20 0 419556791 28911378432 16488 33554432000 4194304 4196468 140720352387840 139952488839280 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5067] ppid=5047 vsize=28233768 memory=9584 CPUtime=0 cores=0-7 /proc/5049/task/5067/stat : 5067 (java) S 5047 5047 5003 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419556791 28911378432 16488 33554432000 4194304 4196468 140720352387840 139952487787488 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5068] ppid=5047 vsize=28233768 memory=4140 CPUtime=0 cores=0-7 /proc/5049/task/5068/stat : 5068 (java) S 5047 5047 5003 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419556792 28911378432 16488 33554432000 4194304 4196468 140720352387840 139952486735024 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 Current children cumulated CPU time: 1.32 s Current children cumulated vsize: 28346896 KiB Current children cumulated memory: 67404 KiB [startup+1.50094 s] /proc/loadavg: 8.18 8.19 8.18 2/211 5068 /proc/meminfo: memFree=24997888/32770624 swapFree=67004764/67108860 [pid=5047] ppid=5044 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5047/stat : 5047 (xcsp3-exec) S 5044 5047 5003 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419556785 115843072 363 33554432000 4194304 5098028 140730779590992 140730779589096 140399579406972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27086848 140730779595638 140730779595881 140730779595881 140730779598794 0 /proc/5047/statm: 28282 363 304 221 0 87 0 [pid=5049] ppid=5047 vsize=28766280 memory=101552 CPUtime=3.9 cores=0-7 /proc/5049/stat : 5049 (java) S 5047 5047 5003 0 -1 1077944320 20789 0 0 0 382 8 0 0 20 0 28 0 419556785 29456670720 25388 33554432000 4194304 4196468 140720352387840 140720352370384 139953178672887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 /proc/5049/statm: 7191570 25388 3460 1 0 7152672 0 [pid=5049/tid=5050] ppid=5047 vsize=28766280 memory=288230617509003574 CPUtime=1.24 cores=0-7 /proc/5049/task/5050/stat : 5050 (java) S 5047 5047 5003 0 -1 1077944384 10820 0 0 0 119 5 0 0 20 0 28 0 419556786 29456670720 25388 33554432000 4194304 4196468 140720352387840 139953182913664 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5051] ppid=5047 vsize=28766280 memory=16104775267649398 CPUtime=0 cores=0-7 /proc/5049/task/5051/stat : 5051 (java) S 5047 5047 5003 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419556787 29456670720 25388 33554432000 4194304 4196468 140720352387840 139953131293712 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5052] ppid=5047 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5052/stat : 5052 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 419556787 29456670720 25388 33554432000 4194304 4196468 140720352387840 139953130241168 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5053] ppid=5047 vsize=28766280 memory=2257 CPUtime=0 cores=0-7 /proc/5049/task/5053/stat : 5053 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 419556787 29456670720 25388 33554432000 4194304 4196468 140720352387840 139953129188112 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5054] ppid=5047 vsize=28766280 memory=2372 CPUtime=0 cores=0-7 /proc/5049/task/5054/stat : 5054 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 419556787 29456670720 25388 33554432000 4194304 4196468 140720352387840 139953128135568 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5055] ppid=5047 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5055/stat : 5055 (java) S 5047 5047 5003 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419556787 29456670720 25388 33554432000 4194304 4196468 140720352387840 139953127082512 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5056] ppid=5047 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5056/stat : 5056 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 419556787 29456670720 25514 33554432000 4194304 4196468 140720352387840 139953126029968 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5057] ppid=5047 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5057/stat : 5057 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 419556787 29456670720 25514 33554432000 4194304 4196468 140720352387840 139953124976912 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5058] ppid=5047 vsize=28766280 memory=139870290982527 CPUtime=0 cores=0-7 /proc/5049/task/5058/stat : 5058 (java) S 5047 5047 5003 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 419556787 29456670720 25514 33554432000 4194304 4196468 140720352387840 139953123924368 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5059] ppid=5047 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5059/stat : 5059 (java) S 5047 5047 5003 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 419556788 29456670720 25514 33554432000 4194304 4196468 140720352387840 139952496208624 139953178684034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5060] ppid=5047 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5060/stat : 5060 (java) S 5047 5047 5003 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 419556789 29456670720 25580 33554432000 4194304 4196468 140720352387840 139952495154848 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5061] ppid=5047 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5061/stat : 5061 (java) S 5047 5047 5003 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 419556789 29456670720 25580 33554432000 4194304 4196468 140720352387840 139952494101744 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5062] ppid=5047 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5062/stat : 5062 (java) S 5047 5047 5003 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419556791 29456670720 25580 33554432000 4194304 4196468 140720352387840 139952493050320 139953178691483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5063] ppid=5047 vsize=28766280 memory=6944656575208382560 CPUtime=0.22 cores=0-7 /proc/5049/task/5063/stat : 5063 (java) R 5047 5047 5003 0 -1 4202560 2319 0 0 0 22 0 0 0 20 0 28 0 419556791 29456670720 25580 33554432000 4194304 4196468 140720352387840 139952491978440 139953159373184 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5064] ppid=5047 vsize=28766280 memory=6656426216303648864 CPUtime=0.32 cores=0-7 /proc/5049/task/5064/stat : 5064 (java) S 5047 5047 5003 0 -1 1077944384 1471 0 0 0 32 0 0 0 20 0 28 0 419556791 29456670720 25646 33554432000 4194304 4196468 140720352387840 139952490931664 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5065] ppid=5047 vsize=28766280 memory=8112282956445269571 CPUtime=0.19 cores=0-7 /proc/5049/task/5065/stat : 5065 (java) R 5047 5047 5003 0 -1 4202560 1570 0 0 0 19 0 0 0 20 0 28 0 419556791 29456670720 25646 33554432000 4194304 4196468 140720352387840 139952489872840 139953159372097 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5066] ppid=5047 vsize=28766280 memory=5787213827046729809 CPUtime=0.44 cores=0-7 /proc/5049/task/5066/stat : 5066 (java) R 5047 5047 5003 0 -1 4202560 2969 0 0 0 43 1 0 0 20 0 28 0 419556791 29456670720 25646 33554432000 4194304 4196468 140720352387840 139952488836960 139953160082895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5067] ppid=5047 vsize=28766280 memory=5859271421084063080 CPUtime=0 cores=0-7 /proc/5049/task/5067/stat : 5067 (java) S 5047 5047 5003 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419556791 29456670720 25646 33554432000 4194304 4196468 140720352387840 139952487787488 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5068] ppid=5047 vsize=28766280 memory=6075444203197845844 CPUtime=0 cores=0-7 /proc/5049/task/5068/stat : 5068 (java) S 5047 5047 5003 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419556792 29456670720 25712 33554432000 4194304 4196468 140720352387840 139952486735024 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 Current children cumulated CPU time: 3.9 s Current children cumulated vsize: 28879408 KiB Current children cumulated memory: 103004 KiB [startup+3.10992 s] /proc/loadavg: 7.61 8.07 8.14 1/208 5076 /proc/meminfo: memFree=24843860/32770624 swapFree=67004764/67108860 [pid=5047] ppid=5044 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5047/stat : 5047 (xcsp3-exec) S 5044 5047 5003 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419556785 115843072 363 33554432000 4194304 5098028 140730779590992 140730779589096 140399579406972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27086848 140730779595638 140730779595881 140730779595881 140730779598794 0 /proc/5047/statm: 28282 363 304 221 0 87 0 [pid=5049] ppid=5047 vsize=28768328 memory=223196 CPUtime=12.64 cores=0-7 /proc/5049/stat : 5049 (java) S 5047 5047 5003 0 -1 1077944320 29963 0 0 0 1251 13 0 0 20 0 17 0 419556785 29458767872 55799 33554432000 4194304 4196468 140720352387840 140720352370384 139953178672887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 /proc/5049/statm: 7192082 55799 3508 1 0 7153184 0 [pid=5049/tid=5050] ppid=5047 vsize=28768328 memory=0 CPUtime=1.24 cores=0-7 /proc/5049/task/5050/stat : 5050 (java) D 5047 5047 5003 0 -1 4202560 10962 0 0 0 119 5 0 0 20 0 17 0 419556786 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953182915896 139953171358519 0 0 0 16800975 18446744072100592773 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5051] ppid=5047 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5051/stat : 5051 (java) S 5047 5047 5003 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 419556787 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953131293712 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5052] ppid=5047 vsize=28768328 memory=55 CPUtime=0 cores=0-7 /proc/5049/task/5052/stat : 5052 (java) S 5047 5047 5003 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 17 0 419556787 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953130241168 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5053] ppid=5047 vsize=28768328 memory=9214 CPUtime=0 cores=0-7 /proc/5049/task/5053/stat : 5053 (java) S 5047 5047 5003 0 -1 1077944384 610 0 0 0 0 0 0 0 20 0 17 0 419556787 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953129188112 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5054] ppid=5047 vsize=28768328 memory=21811 CPUtime=0 cores=0-7 /proc/5049/task/5054/stat : 5054 (java) S 5047 5047 5003 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 17 0 419556787 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953128135568 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5055] ppid=5047 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5055/stat : 5055 (java) S 5047 5047 5003 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 17 0 419556787 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953127082512 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5056] ppid=5047 vsize=28768328 memory=-1189914978686163229 CPUtime=0 cores=0-7 /proc/5049/task/5056/stat : 5056 (java) S 5047 5047 5003 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 17 0 419556787 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953126029968 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5057] ppid=5047 vsize=28768328 memory=-2023959437020729679 CPUtime=0 cores=0-7 /proc/5049/task/5057/stat : 5057 (java) S 5047 5047 5003 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 17 0 419556787 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953124976912 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5058] ppid=5047 vsize=28768328 memory=4140 CPUtime=0 cores=0-7 /proc/5049/task/5058/stat : 5058 (java) S 5047 5047 5003 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 17 0 419556787 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953123924368 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5060] ppid=5047 vsize=28768328 memory=2832 CPUtime=0 cores=0-7 /proc/5049/task/5060/stat : 5060 (java) S 5047 5047 5003 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 17 0 419556789 29458767872 55799 33554432000 4194304 4196468 140720352387840 139952495154848 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5061] ppid=5047 vsize=28768328 memory=1540 CPUtime=0 cores=0-7 /proc/5049/task/5061/stat : 5061 (java) S 5047 5047 5003 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 17 0 419556789 29458767872 55799 33554432000 4194304 4196468 140720352387840 139952494101744 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5063] ppid=5047 vsize=28768328 memory=1720 CPUtime=0.7 cores=0-7 /proc/5049/task/5063/stat : 5063 (java) S 5047 5047 5003 0 -1 1077944384 4322 0 0 0 69 1 0 0 20 0 17 0 419556791 29458767872 55799 33554432000 4194304 4196468 140720352387840 139952491977904 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5064] ppid=5047 vsize=28768328 memory=5972 CPUtime=0.99 cores=0-7 /proc/5049/task/5064/stat : 5064 (java) S 5047 5047 5003 0 -1 1077944384 3335 0 0 0 98 1 0 0 20 0 17 0 419556791 29458767872 55799 33554432000 4194304 4196468 140720352387840 139952490924432 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5065] ppid=5047 vsize=28768328 memory=772 CPUtime=0.71 cores=0-7 /proc/5049/task/5065/stat : 5065 (java) S 5047 5047 5003 0 -1 1077944384 3212 0 0 0 71 0 0 0 20 0 17 0 419556791 29458767872 55799 33554432000 4194304 4196468 140720352387840 139952489876992 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5066] ppid=5047 vsize=28768328 memory=952 CPUtime=0.74 cores=0-7 /proc/5049/task/5066/stat : 5066 (java) S 5047 5047 5003 0 -1 1077944384 4422 0 0 0 73 1 0 0 20 0 17 0 419556791 29458767872 55799 33554432000 4194304 4196468 140720352387840 139952488839280 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5067] ppid=5047 vsize=28768328 memory=14008 CPUtime=0 cores=0-7 /proc/5049/task/5067/stat : 5067 (java) S 5047 5047 5003 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 419556791 29458767872 55799 33554432000 4194304 4196468 140720352387840 139952487787488 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 Current children cumulated CPU time: 12.64 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 224648 KiB [startup+3.1365 s] # the end of solver process 5047 was just reported to runsolver # cumulated CPU time of all completed processes: user=12.5182 s, system=0.140726 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.10992 s] /proc/loadavg: 7.61 8.07 8.14 1/208 5076 /proc/meminfo: memFree=24843860/32770624 swapFree=67004764/67108860 [pid=5047] ppid=5044 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5047/stat : 5047 (xcsp3-exec) S 5044 5047 5003 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419556785 115843072 363 33554432000 4194304 5098028 140730779590992 140730779589096 140399579406972 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27086848 140730779595638 140730779595881 140730779595881 140730779598794 0 /proc/5047/statm: 28282 363 304 221 0 87 0 [pid=5049] ppid=5047 vsize=28768328 memory=223196 CPUtime=12.64 cores=0-7 /proc/5049/stat : 5049 (java) S 5047 5047 5003 0 -1 1077944320 29963 0 0 0 1251 13 0 0 20 0 17 0 419556785 29458767872 55799 33554432000 4194304 4196468 140720352387840 140720352370384 139953178672887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 /proc/5049/statm: 7192082 55799 3508 1 0 7153184 0 [pid=5049/tid=5050] ppid=5047 vsize=28768328 memory=0 CPUtime=1.24 cores=0-7 /proc/5049/task/5050/stat : 5050 (java) D 5047 5047 5003 0 -1 4202560 10962 0 0 0 119 5 0 0 20 0 17 0 419556786 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953182915896 139953171358519 0 0 0 16800975 18446744072100592773 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5051] ppid=5047 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5051/stat : 5051 (java) S 5047 5047 5003 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 419556787 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953131293712 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5052] ppid=5047 vsize=28768328 memory=55 CPUtime=0 cores=0-7 /proc/5049/task/5052/stat : 5052 (java) S 5047 5047 5003 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 17 0 419556787 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953130241168 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5053] ppid=5047 vsize=28768328 memory=9214 CPUtime=0 cores=0-7 /proc/5049/task/5053/stat : 5053 (java) S 5047 5047 5003 0 -1 1077944384 610 0 0 0 0 0 0 0 20 0 17 0 419556787 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953129188112 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5054] ppid=5047 vsize=28768328 memory=21811 CPUtime=0 cores=0-7 /proc/5049/task/5054/stat : 5054 (java) S 5047 5047 5003 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 17 0 419556787 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953128135568 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5055] ppid=5047 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/5049/task/5055/stat : 5055 (java) S 5047 5047 5003 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 17 0 419556787 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953127082512 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5056] ppid=5047 vsize=28768328 memory=-1189914978686163229 CPUtime=0 cores=0-7 /proc/5049/task/5056/stat : 5056 (java) S 5047 5047 5003 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 17 0 419556787 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953126029968 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5057] ppid=5047 vsize=28768328 memory=-2023959437020729679 CPUtime=0 cores=0-7 /proc/5049/task/5057/stat : 5057 (java) S 5047 5047 5003 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 17 0 419556787 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953124976912 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5058] ppid=5047 vsize=28768328 memory=4140 CPUtime=0 cores=0-7 /proc/5049/task/5058/stat : 5058 (java) S 5047 5047 5003 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 17 0 419556787 29458767872 55799 33554432000 4194304 4196468 140720352387840 139953123924368 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5060] ppid=5047 vsize=28768328 memory=2832 CPUtime=0 cores=0-7 /proc/5049/task/5060/stat : 5060 (java) S 5047 5047 5003 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 17 0 419556789 29458767872 55799 33554432000 4194304 4196468 140720352387840 139952495154848 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5061] ppid=5047 vsize=28768328 memory=1540 CPUtime=0 cores=0-7 /proc/5049/task/5061/stat : 5061 (java) S 5047 5047 5003 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 17 0 419556789 29458767872 55799 33554432000 4194304 4196468 140720352387840 139952494101744 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5063] ppid=5047 vsize=28768328 memory=1720 CPUtime=0.7 cores=0-7 /proc/5049/task/5063/stat : 5063 (java) S 5047 5047 5003 0 -1 1077944384 4322 0 0 0 69 1 0 0 20 0 17 0 419556791 29458767872 55799 33554432000 4194304 4196468 140720352387840 139952491977904 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5064] ppid=5047 vsize=28768328 memory=5972 CPUtime=0.99 cores=0-7 /proc/5049/task/5064/stat : 5064 (java) S 5047 5047 5003 0 -1 1077944384 3335 0 0 0 98 1 0 0 20 0 17 0 419556791 29458767872 55799 33554432000 4194304 4196468 140720352387840 139952490924432 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5065] ppid=5047 vsize=28768328 memory=772 CPUtime=0.71 cores=0-7 /proc/5049/task/5065/stat : 5065 (java) S 5047 5047 5003 0 -1 1077944384 3212 0 0 0 71 0 0 0 20 0 17 0 419556791 29458767872 55799 33554432000 4194304 4196468 140720352387840 139952489876992 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5066] ppid=5047 vsize=28768328 memory=952 CPUtime=0.74 cores=0-7 /proc/5049/task/5066/stat : 5066 (java) S 5047 5047 5003 0 -1 1077944384 4422 0 0 0 73 1 0 0 20 0 17 0 419556791 29458767872 55799 33554432000 4194304 4196468 140720352387840 139952488839280 139953178684034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 [pid=5049/tid=5067] ppid=5047 vsize=28768328 memory=14008 CPUtime=0 cores=0-7 /proc/5049/task/5067/stat : 5067 (java) S 5047 5047 5003 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 419556791 29458767872 55799 33554432000 4194304 4196468 140720352387840 139952487787488 139953178683093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8224768 140720352396266 140720352396438 140720352396438 140720352399311 0 Current children cumulated CPU time: 12.64 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 224648 KiB Child status: 0 Real time (s): 3.13655 CPU time (s): 12.6589 CPU user time (s): 12.5182 CPU system time (s): 0.140726 CPU usage (%): 403.594 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 224956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.5182 system time used= 0.140726 maximum resident set size= 223732 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30550 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4437 involuntary context switches= 291 # summary of solver processes directly reported to runsolver: # pid: 5047 # total CPU time (s): 12.6589 # total CPU user time (s): 12.5182 # total CPU system time (s): 0.140726 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.033362 second user time and 0.087048 second system time The end
Begin job on node126 at 2019-09-14 05:47:32 IDJOB=4393701 IDBENCH=133304 IDSOLVER=2841 FILE ID=node126/4393701-1568432890 RUNJOBID= node126-1568432852-5030 PBS_JOBID= 21702315 Free space on /tmp= 55748 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Primes/Primes-m1-p25/Primes-25-40-2-7.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-4393701-1568432890/watcher-4393701-1568432890 -o /tmp/evaluation-result-4393701-1568432890/solver-4393701-1568432890 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568432852-5030 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 440194586 HOME/instance-4393701-1568432890.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b42e085ff70e4cc43f0ee5aad126ad84 RANDOM SEED=440194586 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25056760 kB MemAvailable: 31858044 kB Buffers: 182688 kB Cached: 6866940 kB SwapCached: 2908 kB Active: 2813576 kB Inactive: 4241452 kB Active(anon): 3132 kB Inactive(anon): 43916 kB Active(file): 2810444 kB Inactive(file): 4197536 kB Unevictable: 109080 kB Mlocked: 109080 kB SwapTotal: 67108860 kB SwapFree: 67004764 kB Dirty: 26140 kB Writeback: 0 kB AnonPages: 113036 kB Mapped: 44460 kB Shmem: 32816 kB Slab: 248104 kB SReclaimable: 218276 kB SUnreclaim: 29828 kB KernelStack: 3280 kB PageTables: 5244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497444 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 55724 MiB End job on node126 at 2019-09-14 05:47:35