Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | SAT | 11.4367 | 4.0133901 |
Name | Renault/Renault-m1-s1/ Renault-mgd.xml |
MD5SUM | e938dbb865153b6f638b91b21d0a191f |
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 | 0.46457699 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 101 |
Number of constraints | 113 |
Number of domains | 14 |
Minimum domain size | 2 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":2,"count":58},{"size":3,"count":16},{"size":4,"count":4},{"size":5,"count":8},{"size":6,"count":3},{"size":7,"count":1},{"size":9,"count":1},{"size":10,"count":2},{"size":11,"count":1},{"size":12,"count":1},{"size":13,"count":1},{"size":25,"count":1},{"size":29,"count":1},{"size":42,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 80 |
Distribution of variable degrees | [{"degree":0,"count":2},{"degree":1,"count":58},{"degree":2,"count":17},{"degree":3,"count":8},{"degree":4,"count":5},{"degree":5,"count":1},{"degree":7,"count":1},{"degree":10,"count":1},{"degree":18,"count":1},{"degree":28,"count":1},{"degree":31,"count":1},{"degree":55,"count":2},{"degree":58,"count":1},{"degree":72,"count":1},{"degree":80,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":2,"count":21},{"arity":3,"count":13},{"arity":4,"count":11},{"arity":5,"count":9},{"arity":6,"count":38},{"arity":7,"count":14},{"arity":8,"count":5},{"arity":9,"count":1},{"arity":10,"count":1}] |
Number of extensional constraints | 113 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":113}] |
Optimization problem | NO |
Type of objective |
0.25/0.39 c version: 2017-08-22 0.25/0.39 c seed: 1884938765 0.25/0.39 c timeout: 20160 0.25/0.39 c memlimit: 22000 0.25/0.39 c nbcore: 8 0.44/0.42 c Parsing instance... 2.33/1.17 c Parsing done, starting search... 10.92/3.99 s SATISFIABLE 10.92/3.99 v <instantiation> 10.92/3.99 v <list> 10.92/3.99 v x0 x2 x10 x11 x12 x13 x14 x1[0] x1[1] x1[2] x1[3] x1[4] x1[5] x1[6] x1[7] x1[8] x1[9] x1[10] x1[11] x1[12] x1[13] x1[14] x1[15] x1[16] x1[17] x1[18] x1[19] x1[20] x1[21] x1[22] x1[23] x1[24] x1[25] x1[26] x1[27] x1[28] x1[29] x1[30] x1[31] x1[32] x1[33] x1[34] x1[35] x1[36] x1[37] x1[38] x1[39] x1[40] x1[41] x1[42] x1[43] x1[44] x1[45] x1[46] x1[47] x1[48] x1[49] x1[50] x1[51] x1[52] x1[53] x1[54] x1[55] x1[56] x1[57] x3[0] x3[1] x4[0] x4[1] x4[2] x5[0] x5[1] x5[2] x5[3] x5[4] x5[5] x5[6] x5[7] x6[0] x6[1] x6[2] x6[3] x6[4] x6[5] x6[6] x6[7] x6[8] x6[9] x6[10] x6[11] x6[12] x6[13] x6[14] x6[15] x7[0] x9[0] x9[1] x9[2] x9[3] 10.92/3.99 v </list> 10.92/3.99 v <values> 10.92/3.99 v 1 6 28 12 1 3 6 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 1 1 1 0 1 0 0 1 1 1 0 1 0 0 1 1 1 1 0 1 1 1 1 0 0 0 0 1 9 4 4 3 0 2 2 2 2 2 0 2 0 1 2 2 1 2 2 2 0 2 2 1 0 2 0 2 0 10 3 3 0 3 10.92/3.99 v </values> 10.92/3.99 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 (15508 MiB free) memory of node 1: 16384 MiB (15798 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285423-1503421340/watcher-4285423-1503421340 -o /tmp/evaluation-result-4285423-1503421340/solver-4285423-1503421340 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node129-1503420419-2425 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1884938765 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285423-1503421340.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 solver pid=3363, runsolver pid=3360 Current StackSize limit: 8192 KiB [startup+0.100114 s]* /proc/loadavg: 3.45 1.40 0.52 2/191 3365 /proc/meminfo: memFree=32057584/32770624 swapFree=67108860/67108860 [pid=3363] ppid=3360 vsize=25298128 memory=11296 CPUtime=0 cores=0-7 /proc/3363/stat : 3363 (java) S 3360 3363 2337 0 -1 1077944320 2668 0 0 0 0 0 0 0 20 0 10 0 17974 25905283072 2824 18446744073709551615 4194304 4196468 140725933261552 140725933244096 139641055854327 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 /proc/3363/statm: 6324532 2824 1317 1 0 6314502 0 [pid=3363/tid=3365] ppid=3360 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3365/stat : 3365 (java) R 3360 3363 2337 0 -1 4202560 1368 0 0 0 0 0 0 0 20 0 10 0 17984 25907544064 2824 18446744073709551615 4194304 4196468 140725933261552 139641060090448 139641016835045 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3366] ppid=3360 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3366/stat : 3366 (java) S 3360 3363 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 17985 25907544064 2824 18446744073709551615 4194304 4196468 140725933261552 139641012820752 139641055864533 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3367] ppid=3360 vsize=25300336 memory=140270060500608 CPUtime=0 cores=0-7 /proc/3363/task/3367/stat : 3367 (java) S 3360 3363 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 17985 25907544064 2889 18446744073709551615 4194304 4196468 140725933261552 139641011768208 139641055864533 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3368] ppid=3360 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3368/stat : 3368 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 17985 25907544064 2889 18446744073709551615 4194304 4196468 140725933261552 139641010715664 139641055864533 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3369] ppid=3360 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3369/stat : 3369 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 17985 25907544064 2889 18446744073709551615 4194304 4196468 140725933261552 139641009663120 139641055864533 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3370] ppid=3360 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3370/stat : 3370 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 17985 25907544064 2889 18446744073709551615 4194304 4196468 140725933261552 139641008609552 139641055864533 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3371] ppid=3360 vsize=25300336 memory=-1 CPUtime=0 cores=0-7 /proc/3363/task/3371/stat : 3371 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 17985 25907544064 2889 18446744073709551615 4194304 4196468 140725933261552 139641007557008 139641055864533 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3372] ppid=3360 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3372/stat : 3372 (java) S 3360 3363 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 17985 25907544064 2889 18446744073709551615 4194304 4196468 140725933261552 139641006504464 139641055864533 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3373] ppid=3360 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3373/stat : 3373 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 17985 25907544064 2889 18446744073709551615 4194304 4196468 140725933261552 139641005451920 139641055864533 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 25298128 KiB Current children cumulated memory: 11296 KiB [startup+0.210405 s]* /proc/loadavg: 3.45 1.40 0.52 2/209 3383 /proc/meminfo: memFree=32044192/32770624 swapFree=67108860/67108860 [pid=3363] ppid=3360 vsize=25996608 memory=28968 CPUtime=0.08 cores=0-7 /proc/3363/stat : 3363 (java) S 3360 3363 2337 0 -1 1077944320 7051 0 0 0 7 1 0 0 20 0 20 0 17974 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 140725933244096 139641055854327 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 /proc/3363/statm: 6499152 7242 3366 1 0 6487930 0 [pid=3363/tid=3365] ppid=3360 vsize=25996608 memory=4026532046 CPUtime=0.07 cores=0-7 /proc/3363/task/3365/stat : 3365 (java) R 3360 3363 2337 0 -1 4202560 5075 0 0 0 6 1 0 0 20 0 20 0 17984 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139641060081216 139640678964503 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3366] ppid=3360 vsize=25996608 memory=11838 CPUtime=0 cores=0-7 /proc/3363/task/3366/stat : 3366 (java) S 3360 3363 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 17985 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139641012820752 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3367] ppid=3360 vsize=25996608 memory=140270060501786 CPUtime=0 cores=0-7 /proc/3363/task/3367/stat : 3367 (java) S 3360 3363 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 17985 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139641011768208 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3368] ppid=3360 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/3363/task/3368/stat : 3368 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17985 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139641010715664 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3369] ppid=3360 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3369/stat : 3369 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17985 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139641009663120 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3370] ppid=3360 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3370/stat : 3370 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17985 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139641008609552 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3371] ppid=3360 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/3363/task/3371/stat : 3371 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17985 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139641007557008 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3372] ppid=3360 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3372/stat : 3372 (java) S 3360 3363 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17985 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139641006504464 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3373] ppid=3360 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3373/stat : 3373 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17985 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139641005451920 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3374] ppid=3360 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3374/stat : 3374 (java) S 3360 3363 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 17986 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139639332989424 139641055865474 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3375] ppid=3360 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3375/stat : 3375 (java) S 3360 3363 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 17987 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139639331935648 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3376] ppid=3360 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3376/stat : 3376 (java) S 3360 3363 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 17987 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139639330883056 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3377] ppid=3360 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3377/stat : 3377 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17989 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139639329831632 139641055872923 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3378] ppid=3360 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3378/stat : 3378 (java) S 3360 3363 2337 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 17989 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139639328778224 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3379] ppid=3360 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3379/stat : 3379 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17989 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139639327725680 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3380] ppid=3360 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3380/stat : 3380 (java) S 3360 3363 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17989 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139639326673136 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3381] ppid=3360 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/3363/task/3381/stat : 3381 (java) R 3360 3363 2337 0 -1 4202560 289 0 0 0 0 0 0 0 20 0 20 0 17989 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139639325620592 139641055875674 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3382] ppid=3360 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3382/stat : 3382 (java) S 3360 3363 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17989 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139639324568288 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3383] ppid=3360 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/3363/task/3383/stat : 3383 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17994 26620526592 7242 18446744073709551615 4194304 4196468 140725933261552 139639323515824 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 Current children cumulated CPU time: 0.08 s Current children cumulated vsize: 25996608 KiB Current children cumulated memory: 28968 KiB [startup+0.310793 s]* /proc/loadavg: 3.25 1.39 0.52 2/209 3383 /proc/meminfo: memFree=32032976/32770624 swapFree=67108860/67108860 [pid=3363] ppid=3360 vsize=25996608 memory=38688 CPUtime=0.25 cores=0-7 /proc/3363/stat : 3363 (java) S 3360 3363 2337 0 -1 1077944320 10439 0 0 0 22 3 0 0 20 0 20 0 17974 26620526592 9672 18446744073709551615 4194304 4196468 140725933261552 140725933244096 139641055854327 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 /proc/3363/statm: 6499152 9672 3552 1 0 6487930 0 [pid=3363/tid=3365] ppid=3360 vsize=25996608 memory=7680170660397595203 CPUtime=0.16 cores=0-7 /proc/3363/task/3365/stat : 3365 (java) R 3360 3363 2337 0 -1 1077944384 8150 0 0 0 14 2 0 0 20 0 20 0 17984 26620526592 9672 18446744073709551615 4194304 4196468 140725933261552 139641060059632 139641048533549 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3366] ppid=3360 vsize=25996608 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/3363/task/3366/stat : 3366 (java) S 3360 3363 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 17985 26620526592 9672 18446744073709551615 4194304 4196468 140725933261552 139641012820752 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3367] ppid=3360 vsize=25997632 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/3363/task/3367/stat : 3367 (java) S 3360 3363 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 17985 26621575168 9672 18446744073709551615 4194304 4196468 140725933261552 139641011768208 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3368] ppid=3360 vsize=25997632 memory=-7814691523512926820 CPUtime=0 cores=0-7 /proc/3363/task/3368/stat : 3368 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17985 26621575168 9737 18446744073709551615 4194304 4196468 140725933261552 139641010715664 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3369] ppid=3360 vsize=25997632 memory=8332364631144490854 CPUtime=0 cores=0-7 /proc/3363/task/3369/stat : 3369 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17985 26621575168 9737 18446744073709551615 4194304 4196468 140725933261552 139641009663120 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3370] ppid=3360 vsize=25996608 memory=4206468019014099040 CPUtime=0 cores=0-7 /proc/3363/task/3370/stat : 3370 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17985 26620526592 9709 18446744073709551615 4194304 4196468 140725933261552 139641008609552 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3371] ppid=3360 vsize=25996608 memory=4498404016631593313 CPUtime=0 cores=0-7 /proc/3363/task/3371/stat : 3371 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17985 26620526592 9709 18446744073709551615 4194304 4196468 140725933261552 139641007557008 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3372] ppid=3360 vsize=25996608 memory=3047711566422646390 CPUtime=0 cores=0-7 /proc/3363/task/3372/stat : 3372 (java) S 3360 3363 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17985 26620526592 9709 18446744073709551615 4194304 4196468 140725933261552 139641006504464 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3373] ppid=3360 vsize=25997632 memory=-1 CPUtime=0 cores=0-7 /proc/3363/task/3373/stat : 3373 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17985 26621575168 9709 18446744073709551615 4194304 4196468 140725933261552 139641005451920 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3374] ppid=3360 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3374/stat : 3374 (java) S 3360 3363 2337 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 17986 26621575168 9709 18446744073709551615 4194304 4196468 140725933261552 139639332989424 139641055865474 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3375] ppid=3360 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3375/stat : 3375 (java) S 3360 3363 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 17987 26621575168 9709 18446744073709551615 4194304 4196468 140725933261552 139639331935648 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3376] ppid=3360 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3376/stat : 3376 (java) S 3360 3363 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 17987 26620526592 9709 18446744073709551615 4194304 4196468 140725933261552 139639330883056 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3377] ppid=3360 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3377/stat : 3377 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17989 26620526592 9709 18446744073709551615 4194304 4196468 140725933261552 139639329831632 139641055872923 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3378] ppid=3360 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3378/stat : 3378 (java) S 3360 3363 2337 0 -1 1077944384 484 0 0 0 0 0 0 0 20 0 20 0 17989 26620526592 9709 18446744073709551615 4194304 4196468 140725933261552 139639328778224 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3379] ppid=3360 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3379/stat : 3379 (java) S 3360 3363 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 17989 26621575168 9709 18446744073709551615 4194304 4196468 140725933261552 139639327725680 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3380] ppid=3360 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3380/stat : 3380 (java) S 3360 3363 2337 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 17989 26621575168 9709 18446744073709551615 4194304 4196468 140725933261552 139639326673136 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3381] ppid=3360 vsize=25997632 memory=0 CPUtime=0.04 cores=0-7 /proc/3363/task/3381/stat : 3381 (java) R 3360 3363 2337 0 -1 4202560 384 0 0 0 4 0 0 0 20 0 20 0 17989 26621575168 9709 18446744073709551615 4194304 4196468 140725933261552 139639325620592 139641034812128 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3382] ppid=3360 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3382/stat : 3382 (java) S 3360 3363 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17989 26620526592 9709 18446744073709551615 4194304 4196468 140725933261552 139639324568288 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3383] ppid=3360 vsize=25997632 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3383/stat : 3383 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17994 26621575168 9709 18446744073709551615 4194304 4196468 140725933261552 139639323515824 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 25996608 KiB Current children cumulated memory: 38688 KiB [startup+0.700913 s] /proc/loadavg: 3.25 1.39 0.52 2/209 3383 /proc/meminfo: memFree=32020928/32770624 swapFree=67108860/67108860 [pid=3363] ppid=3360 vsize=25998676 memory=75976 CPUtime=1.04 cores=0-7 /proc/3363/stat : 3363 (java) S 3360 3363 2337 0 -1 1077944320 15281 0 0 0 98 6 0 0 20 0 20 0 17974 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 140725933244096 139641055854327 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 /proc/3363/statm: 6499669 18994 3731 1 0 6488442 0 [pid=3363/tid=3365] ppid=3360 vsize=25998676 memory=164 CPUtime=0.55 cores=0-7 /proc/3363/task/3365/stat : 3365 (java) R 3360 3363 2337 0 -1 4202560 10567 0 0 0 51 4 0 0 20 0 20 0 17984 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139641060089776 139641040377671 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3366] ppid=3360 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3366/stat : 3366 (java) S 3360 3363 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 17985 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139641012820752 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3367] ppid=3360 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3367/stat : 3367 (java) S 3360 3363 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 17985 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139641011768208 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3368] ppid=3360 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3368/stat : 3368 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17985 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139641010715664 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3369] ppid=3360 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3369/stat : 3369 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17985 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139641009663120 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3370] ppid=3360 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3370/stat : 3370 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17985 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139641008609552 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3371] ppid=3360 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3371/stat : 3371 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17985 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139641007557008 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3372] ppid=3360 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3372/stat : 3372 (java) S 3360 3363 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17985 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139641006504464 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3373] ppid=3360 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3373/stat : 3373 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17985 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139641005451920 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3374] ppid=3360 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3374/stat : 3374 (java) S 3360 3363 2337 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 17986 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139639332989424 139641055865474 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3375] ppid=3360 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3375/stat : 3375 (java) S 3360 3363 2337 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 17987 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139639331935648 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3376] ppid=3360 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3376/stat : 3376 (java) S 3360 3363 2337 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 17987 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139639330883056 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3377] ppid=3360 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3377/stat : 3377 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17989 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139639329831632 139641055872923 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3378] ppid=3360 vsize=25998676 memory=0 CPUtime=0.07 cores=0-7 /proc/3363/task/3378/stat : 3378 (java) R 3360 3363 2337 0 -1 4202560 980 0 0 0 7 0 0 0 20 0 20 0 17989 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139639328763128 139641039353490 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3379] ppid=3360 vsize=25998676 memory=0 CPUtime=0.09 cores=0-7 /proc/3363/task/3379/stat : 3379 (java) R 3360 3363 2337 0 -1 4202560 599 0 0 0 9 0 0 0 20 0 20 0 17989 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139639327711704 139641035109564 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3380] ppid=3360 vsize=25998676 memory=0 CPUtime=0.08 cores=0-7 /proc/3363/task/3380/stat : 3380 (java) R 3360 3363 2337 0 -1 4202560 737 0 0 0 8 0 0 0 20 0 20 0 17989 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139639326665768 139641039385806 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3381] ppid=3360 vsize=25998676 memory=7739276948478127446 CPUtime=0.21 cores=0-7 /proc/3363/task/3381/stat : 3381 (java) R 3360 3363 2337 0 -1 4202560 1021 0 0 0 21 0 0 0 20 0 20 0 17989 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139639325614968 139641034795878 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3382] ppid=3360 vsize=25998676 memory=4638778428766896230 CPUtime=0 cores=0-7 /proc/3363/task/3382/stat : 3382 (java) S 3360 3363 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17989 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139639324568288 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3383] ppid=3360 vsize=25998676 memory=45212522 CPUtime=0 cores=0-7 /proc/3363/task/3383/stat : 3383 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 17994 26622644224 18994 18446744073709551615 4194304 4196468 140725933261552 139639323515824 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 Current children cumulated CPU time: 1.04 s Current children cumulated vsize: 25998676 KiB ################ # More data... # ################ [pid=3363/tid=3381] ppid=3360 vsize=26002772 memory=18786790935284 CPUtime=0.62 cores=0-7 /proc/3363/task/3381/stat : 3381 (java) S 3360 3363 2337 0 -1 1077944384 4984 0 0 0 61 1 0 0 20 0 20 0 17989 26626838528 103364 18446744073709551615 4194304 4196468 140725933261552 139639325620592 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3382] ppid=3360 vsize=26002772 memory=18786790935284 CPUtime=0 cores=0-7 /proc/3363/task/3382/stat : 3382 (java) S 3360 3363 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 17989 26626838528 103364 18446744073709551615 4194304 4196468 140725933261552 139639324568288 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3383] ppid=3360 vsize=26002772 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3383/stat : 3383 (java) S 3360 3363 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 17994 26626838528 103364 18446744073709551615 4194304 4196468 140725933261552 139639323515824 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 Current children cumulated CPU time: 7.43 s Current children cumulated vsize: 26002772 KiB Current children cumulated memory: 413456 KiB [startup+4.01334 s] # the end of solver process 3363 was just reported to runsolver # cumulated CPU time of all completed processes: user=10.6617 s, system=0.775065 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.40194 s] /proc/loadavg: 3.25 1.39 0.52 2/209 3383 /proc/meminfo: memFree=31658884/32770624 swapFree=67108860/67108860 [pid=3363] ppid=3360 vsize=26069336 memory=414540 CPUtime=8.11 cores=0-7 /proc/3363/stat : 3363 (java) S 3360 3363 2337 0 -1 1077944320 32328 0 0 0 780 31 0 0 20 0 21 0 17974 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 140725933244096 139641055854327 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 /proc/3363/statm: 6517334 103635 3794 1 0 6506107 0 [pid=3363/tid=3365] ppid=3360 vsize=26069336 memory=7680170660397595203 CPUtime=3.18 cores=0-7 /proc/3363/task/3365/stat : 3365 (java) R 3360 3363 2337 0 -1 4202560 13878 0 0 0 309 9 0 0 20 0 21 0 17984 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139641060078112 139641039934814 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3366] ppid=3360 vsize=26069336 memory=280539881827808 CPUtime=0.03 cores=0-7 /proc/3363/task/3366/stat : 3366 (java) S 3360 3363 2337 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 21 0 17985 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139641012820752 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3367] ppid=3360 vsize=26069336 memory=6943526294502006880 CPUtime=0.02 cores=0-7 /proc/3363/task/3367/stat : 3367 (java) S 3360 3363 2337 0 -1 1077944384 37 0 0 0 1 1 0 0 20 0 21 0 17985 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139641011768208 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3368] ppid=3360 vsize=26069336 memory=6944656592387989600 CPUtime=0.04 cores=0-7 /proc/3363/task/3368/stat : 3368 (java) S 3360 3363 2337 0 -1 1077944384 299 0 0 0 2 2 0 0 20 0 21 0 17985 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139641010715664 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3369] ppid=3360 vsize=26069336 memory=6944656592455360604 CPUtime=0.04 cores=0-7 /proc/3363/task/3369/stat : 3369 (java) S 3360 3363 2337 0 -1 1077944384 40 0 0 0 2 2 0 0 20 0 21 0 17985 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139641009663120 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3370] ppid=3360 vsize=26069336 memory=0 CPUtime=0.04 cores=0-7 /proc/3363/task/3370/stat : 3370 (java) S 3360 3363 2337 0 -1 1077944384 50 0 0 0 2 2 0 0 20 0 21 0 17985 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139641008609552 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3371] ppid=3360 vsize=26069336 memory=0 CPUtime=0.03 cores=0-7 /proc/3363/task/3371/stat : 3371 (java) S 3360 3363 2337 0 -1 1077944384 49 0 0 0 2 1 0 0 20 0 21 0 17985 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139641007557008 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3372] ppid=3360 vsize=26069336 memory=0 CPUtime=0.04 cores=0-7 /proc/3363/task/3372/stat : 3372 (java) S 3360 3363 2337 0 -1 1077944384 45 0 0 0 2 2 0 0 20 0 21 0 17985 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139641006504464 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3373] ppid=3360 vsize=26069336 memory=0 CPUtime=0.04 cores=0-7 /proc/3363/task/3373/stat : 3373 (java) S 3360 3363 2337 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 21 0 17985 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139641005451920 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3374] ppid=3360 vsize=26069336 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3374/stat : 3374 (java) S 3360 3363 2337 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 21 0 17986 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139639332989424 139641055865474 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3375] ppid=3360 vsize=26069336 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3375/stat : 3375 (java) S 3360 3363 2337 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 17987 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139639331935712 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3376] ppid=3360 vsize=26069336 memory=6364242070025506948 CPUtime=0 cores=0-7 /proc/3363/task/3376/stat : 3376 (java) S 3360 3363 2337 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 17987 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139639330883072 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3377] ppid=3360 vsize=26069336 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3377/stat : 3377 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 17989 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139639329831632 139641055872923 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3378] ppid=3360 vsize=26069336 memory=413416 CPUtime=1.24 cores=0-7 /proc/3363/task/3378/stat : 3378 (java) R 3360 3363 2337 0 -1 4202560 4466 0 0 0 123 1 0 0 20 0 21 0 17989 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139639328756752 139641037374839 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3379] ppid=3360 vsize=26069336 memory=288230574492221466 CPUtime=1.28 cores=0-7 /proc/3363/task/3379/stat : 3379 (java) R 3360 3363 2337 0 -1 4202560 3696 0 0 0 128 0 0 0 20 0 21 0 17989 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139639327707216 139641040733884 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3380] ppid=3360 vsize=26069336 memory=288230617492237591 CPUtime=1.31 cores=0-7 /proc/3363/task/3380/stat : 3380 (java) R 3360 3363 2337 0 -1 4202560 2977 0 0 0 131 0 0 0 20 0 21 0 17989 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139639326673264 139641036047236 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3381] ppid=3360 vsize=26069336 memory=288293272525484443 CPUtime=0.69 cores=0-7 /proc/3363/task/3381/stat : 3381 (java) S 3360 3363 2337 0 -1 1077944384 5097 0 0 0 68 1 0 0 20 0 21 0 17989 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139639325620592 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3382] ppid=3360 vsize=26069336 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3382/stat : 3382 (java) S 3360 3363 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 17989 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139639324568288 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3383] ppid=3360 vsize=26069336 memory=0 CPUtime=0 cores=0-7 /proc/3363/task/3383/stat : 3383 (java) S 3360 3363 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 17994 26695000064 103635 18446744073709551615 4194304 4196468 140725933261552 139639323515824 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 Current children cumulated CPU time: 8.11 s Current children cumulated vsize: 26069336 KiB Current children cumulated memory: 414540 KiB [startup+3.80124 s] /proc/loadavg: 3.25 1.39 0.52 2/209 3383 /proc/meminfo: memFree=31658884/32770624 swapFree=67108860/67108860 [pid=3363] ppid=3360 vsize=26872200 memory=640084 CPUtime=10.14 cores=0-7 /proc/3363/stat : 3363 (java) S 3360 3363 2337 0 -1 1077944320 34575 0 0 0 966 48 0 0 20 0 33 0 17974 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 140725933244096 139641055854327 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 /proc/3363/statm: 6718050 160021 3802 1 0 6706823 0 [pid=3363/tid=3365] ppid=3360 vsize=26872200 memory=7680170660397595203 CPUtime=3.37 cores=0-7 /proc/3363/task/3365/stat : 3365 (java) S 3360 3363 2337 0 -1 1077944384 14958 0 0 0 328 9 0 0 20 0 33 0 17984 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139641060091712 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3366] ppid=3360 vsize=26872200 memory=0 CPUtime=0.05 cores=0-7 /proc/3363/task/3366/stat : 3366 (java) S 3360 3363 2337 0 -1 1077944384 63 0 0 0 3 2 0 0 20 0 33 0 17985 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139641012820752 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3367] ppid=3360 vsize=26872200 memory=0 CPUtime=0.05 cores=0-7 /proc/3363/task/3367/stat : 3367 (java) S 3360 3363 2337 0 -1 1077944384 59 0 0 0 3 2 0 0 20 0 33 0 17985 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139641011768208 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3368] ppid=3360 vsize=26872200 memory=0 CPUtime=0.06 cores=0-7 /proc/3363/task/3368/stat : 3368 (java) S 3360 3363 2337 0 -1 1077944384 318 0 0 0 3 3 0 0 20 0 33 0 17985 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139641010715664 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3369] ppid=3360 vsize=26872200 memory=0 CPUtime=0.05 cores=0-7 /proc/3363/task/3369/stat : 3369 (java) S 3360 3363 2337 0 -1 1077944384 119 0 0 0 2 3 0 0 20 0 33 0 17985 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139641009663120 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3370] ppid=3360 vsize=26872200 memory=0 CPUtime=0.06 cores=0-7 /proc/3363/task/3370/stat : 3370 (java) S 3360 3363 2337 0 -1 1077944384 83 0 0 0 3 3 0 0 20 0 33 0 17985 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139641008609552 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3371] ppid=3360 vsize=26872200 memory=0 CPUtime=0.06 cores=0-7 /proc/3363/task/3371/stat : 3371 (java) S 3360 3363 2337 0 -1 1077944384 69 0 0 0 3 3 0 0 20 0 33 0 17985 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139641007557008 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3372] ppid=3360 vsize=26872200 memory=0 CPUtime=0.04 cores=0-7 /proc/3363/task/3372/stat : 3372 (java) S 3360 3363 2337 0 -1 1077944384 71 0 0 0 2 2 0 0 20 0 33 0 17985 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139641006504464 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3373] ppid=3360 vsize=26872200 memory=0 CPUtime=0.07 cores=0-7 /proc/3363/task/3373/stat : 3373 (java) S 3360 3363 2337 0 -1 1077944384 81 0 0 0 3 4 0 0 20 0 33 0 17985 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139641005451920 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3374] ppid=3360 vsize=26872200 memory=2408 CPUtime=0.01 cores=0-7 /proc/3363/task/3374/stat : 3374 (java) S 3360 3363 2337 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 33 0 17986 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139639332989424 139641055865474 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3375] ppid=3360 vsize=26872200 memory=1728 CPUtime=0 cores=0-7 /proc/3363/task/3375/stat : 3375 (java) S 3360 3363 2337 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 33 0 17987 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139639331935712 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3376] ppid=3360 vsize=26872200 memory=1684 CPUtime=0 cores=0-7 /proc/3363/task/3376/stat : 3376 (java) S 3360 3363 2337 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 33 0 17987 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139639330883072 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3377] ppid=3360 vsize=26872200 memory=5376 CPUtime=0 cores=0-7 /proc/3363/task/3377/stat : 3377 (java) S 3360 3363 2337 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 17989 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139639329831632 139641055872923 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3378] ppid=3360 vsize=26872200 memory=4612 CPUtime=1.36 cores=0-7 /proc/3363/task/3378/stat : 3378 (java) S 3360 3363 2337 0 -1 1077944384 4509 0 0 0 135 1 0 0 20 0 33 0 17989 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139639328778224 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3379] ppid=3360 vsize=26872200 memory=792 CPUtime=1.44 cores=0-7 /proc/3363/task/3379/stat : 3379 (java) S 3360 3363 2337 0 -1 1077944384 3733 0 0 0 144 0 0 0 20 0 33 0 17989 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139639327725680 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3380] ppid=3360 vsize=26872200 memory=1012 CPUtime=1.45 cores=0-7 /proc/3363/task/3380/stat : 3380 (java) R 3360 3363 2337 0 -1 1077944384 2997 0 0 0 145 0 0 0 20 0 33 0 17989 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139639326673136 139641055865474 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3381] ppid=3360 vsize=26872200 memory=10936 CPUtime=0.79 cores=0-7 /proc/3363/task/3381/stat : 3381 (java) S 3360 3363 2337 0 -1 1077944384 5319 0 0 0 78 1 0 0 20 0 33 0 17989 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139639325620592 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3382] ppid=3360 vsize=26872200 memory=2012 CPUtime=0 cores=0-7 /proc/3363/task/3382/stat : 3382 (java) S 3360 3363 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 17989 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139639324568288 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3383] ppid=3360 vsize=26872200 memory=8652 CPUtime=0 cores=0-7 /proc/3363/task/3383/stat : 3383 (java) S 3360 3363 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 33 0 17994 27517132800 160021 18446744073709551615 4194304 4196468 140725933261552 139639323515824 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 Current children cumulated CPU time: 10.14 s Current children cumulated vsize: 26872200 KiB Current children cumulated memory: 640084 KiB [startup+4.00095 s] /proc/loadavg: 3.25 1.39 0.52 2/209 3383 /proc/meminfo: memFree=31658884/32770624 swapFree=67108860/67108860 [pid=3363] ppid=3360 vsize=27473360 memory=771144 CPUtime=11.42 cores=0-7 /proc/3363/stat : 3363 (java) S 3360 3363 2337 0 -1 1077944320 36083 0 0 0 1066 76 0 0 20 0 19 0 17974 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 140725933244096 139641055854327 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 /proc/3363/statm: 6868340 192786 3819 1 0 6856592 0 [pid=3363/tid=3365] ppid=3360 vsize=27473360 memory=1196 CPUtime=3.38 cores=0-7 /proc/3363/task/3365/stat : 3365 (java) S 3360 3363 2337 0 -1 1077944384 14964 0 0 0 328 10 0 0 20 0 19 0 17984 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139641060097168 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3366] ppid=3360 vsize=27473360 memory=1444 CPUtime=0.13 cores=0-7 /proc/3363/task/3366/stat : 3366 (java) S 3360 3363 2337 0 -1 1077944384 165 0 0 0 8 5 0 0 20 0 19 0 17985 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139641012820752 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3367] ppid=3360 vsize=27473360 memory=15872 CPUtime=0.13 cores=0-7 /proc/3363/task/3367/stat : 3367 (java) S 3360 3363 2337 0 -1 1077944384 101 0 0 0 7 6 0 0 20 0 19 0 17985 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139641011768208 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3368] ppid=3360 vsize=27473360 memory=3440 CPUtime=0.14 cores=0-7 /proc/3363/task/3368/stat : 3368 (java) S 3360 3363 2337 0 -1 1077944384 385 0 0 0 7 7 0 0 20 0 19 0 17985 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139641010715664 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3369] ppid=3360 vsize=27473360 memory=0 CPUtime=0.12 cores=0-7 /proc/3363/task/3369/stat : 3369 (java) S 3360 3363 2337 0 -1 1077944384 160 0 0 0 6 6 0 0 20 0 19 0 17985 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139641009663120 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3370] ppid=3360 vsize=27473360 memory=413416 CPUtime=0.14 cores=0-7 /proc/3363/task/3370/stat : 3370 (java) S 3360 3363 2337 0 -1 1077944384 125 0 0 0 8 6 0 0 20 0 19 0 17985 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139641008609552 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3371] ppid=3360 vsize=27473360 memory=0 CPUtime=0.14 cores=0-7 /proc/3363/task/3371/stat : 3371 (java) S 3360 3363 2337 0 -1 1077944384 113 0 0 0 8 6 0 0 20 0 19 0 17985 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139641007557008 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3372] ppid=3360 vsize=27473360 memory=0 CPUtime=0.13 cores=0-7 /proc/3363/task/3372/stat : 3372 (java) S 3360 3363 2337 0 -1 1077944384 115 0 0 0 7 6 0 0 20 0 19 0 17985 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139641006504464 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3373] ppid=3360 vsize=27473360 memory=0 CPUtime=0.14 cores=0-7 /proc/3363/task/3373/stat : 3373 (java) S 3360 3363 2337 0 -1 1077944384 123 0 0 0 7 7 0 0 20 0 19 0 17985 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139641005451920 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3374] ppid=3360 vsize=27473360 memory=0 CPUtime=0.01 cores=0-7 /proc/3363/task/3374/stat : 3374 (java) S 3360 3363 2337 0 -1 1077944384 527 0 0 0 1 0 0 0 20 0 19 0 17986 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139639332989632 139641055865474 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3375] ppid=3360 vsize=27473360 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/3363/task/3375/stat : 3375 (java) S 3360 3363 2337 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 17987 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139639331935712 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3376] ppid=3360 vsize=27473360 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/3363/task/3376/stat : 3376 (java) S 3360 3363 2337 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 17987 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139639330883072 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3377] ppid=3360 vsize=27473360 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/3363/task/3377/stat : 3377 (java) S 3360 3363 2337 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 17989 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139639329831280 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3378] ppid=3360 vsize=27473360 memory=6944656592455360604 CPUtime=1.4 cores=0-7 /proc/3363/task/3378/stat : 3378 (java) S 3360 3363 2337 0 -1 1077944384 4533 0 0 0 139 1 0 0 20 0 19 0 17989 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139639328778224 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3379] ppid=3360 vsize=27473360 memory=6944656592455097440 CPUtime=1.46 cores=0-7 /proc/3363/task/3379/stat : 3379 (java) S 3360 3363 2337 0 -1 1077944384 3743 0 0 0 146 0 0 0 20 0 19 0 17989 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139639327725680 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3380] ppid=3360 vsize=27473360 memory=6944656592455097440 CPUtime=1.5 cores=0-7 /proc/3363/task/3380/stat : 3380 (java) S 3360 3363 2337 0 -1 1077944384 3012 0 0 0 150 0 0 0 20 0 19 0 17989 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139639326673136 139641055865474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3381] ppid=3360 vsize=27473360 memory=6655300316396806240 CPUtime=0.85 cores=0-7 /proc/3363/task/3381/stat : 3381 (java) S 3360 3363 2337 0 -1 1077944384 5437 0 0 0 84 1 0 0 20 0 19 0 17989 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139639325616464 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 [pid=3363/tid=3382] ppid=3360 vsize=27473360 memory=8547712850019655617 CPUtime=0 cores=0-7 /proc/3363/task/3382/stat : 3382 (java) S 3360 3363 2337 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 17989 28132720640 192786 18446744073709551615 4194304 4196468 140725933261552 139639324568288 139641055864533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16162816 140725933265262 140725933265448 140725933265448 140725933268943 0 Current children cumulated CPU time: 11.42 s Current children cumulated vsize: 27473360 KiB Current children cumulated memory: 771144 KiB Child status: 0 Real time (s): 4.01339 CPU time (s): 11.4367 CPU user time (s): 10.6617 CPU system time (s): 0.775065 CPU usage (%): 284.965 Max. virtual memory (cumulated for all children) (KiB): 27473360 Max. memory (cumulated for all children) (KiB): 771144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.6617 system time used= 0.775065 maximum resident set size= 772460 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36087 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4971 involuntary context switches= 79 # summary of solver processes directly reported to runsolver: # pid: 3363 # total CPU time (s): 11.4367 # total CPU user time (s): 10.6617 # total CPU system time (s): 0.775065 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.05033 second user time and 0.081816 second system time The end
Begin job on node129 at 2017-08-22 18:48:23 IDJOB=4285423 IDBENCH=123015 IDSOLVER=2681 FILE ID=node129/4285423-1503421340 RUNJOBID= node129-1503420419-2425 PBS_JOBID= Free space on /tmp= 62012 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/Renault/Renault-m1-s1/Renault-mgd.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285423-1503421340/watcher-4285423-1503421340 -o /tmp/evaluation-result-4285423-1503421340/solver-4285423-1503421340 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node129-1503420419-2425 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1884938765 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285423-1503421340.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e938dbb865153b6f638b91b21d0a191f RANDOM SEED=1884938765 node129.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.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 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: 32058252 kB MemAvailable: 32059004 kB Buffers: 23784 kB Cached: 288916 kB SwapCached: 0 kB Active: 208624 kB Inactive: 158468 kB Active(anon): 54552 kB Inactive(anon): 8556 kB Active(file): 154072 kB Inactive(file): 149912 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 45408 kB Writeback: 0 kB AnonPages: 80476 kB Mapped: 26704 kB Shmem: 8868 kB Slab: 48316 kB SReclaimable: 25204 kB SUnreclaim: 23112 kB KernelStack: 3488 kB PageTables: 4776 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 305152 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 30720 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /tmp at the end= 61972 MiB End job on node129 at 2017-08-22 18:48:27