Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | SAT | 5.3627501 | 1.9198 |
Name | Driver/ Driver-m1-s1/driverlogw-01c.xml |
MD5SUM | 91a89527f75c87fa26db92386f49e27c |
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.0038620001 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 71 |
Number of constraints | 217 |
Number of domains | 3 |
Minimum domain size | 2 |
Maximum domain size | 4 |
Distribution of domain sizes | [{"size":2,"count":32},{"size":3,"count":25},{"size":4,"count":14}] |
Minimum variable degree | 1 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":5},{"degree":3,"count":3},{"degree":4,"count":7},{"degree":5,"count":5},{"degree":6,"count":14},{"degree":7,"count":20},{"degree":8,"count":6},{"degree":9,"count":2},{"degree":10,"count":7}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":217}] |
Number of extensional constraints | 217 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":217}] |
Optimization problem | NO |
Type of objective |
0.23/0.40 c version: 2017-08-22 0.23/0.40 c seed: 352832786 0.23/0.41 c timeout: 20160 0.23/0.41 c memlimit: 22000 0.23/0.41 c nbcore: 8 0.40/0.43 c Parsing instance... 0.93/0.73 c Parsing done, starting search... 4.74/1.89 s SATISFIABLE 4.74/1.89 v <instantiation> 4.74/1.89 v <list> 4.74/1.89 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] 4.74/1.89 v </list> 4.74/1.89 v <values> 4.74/1.89 v 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 2 0 1 0 0 1 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 3 0 0 3 0 0 0 0 0 0 2 1 0 3 4.74/1.89 v </values> 4.74/1.89 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 (15022 MiB free) memory of node 1: 16384 MiB (15451 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285137-1503435477/watcher-4285137-1503435477 -o /tmp/evaluation-result-4285137-1503435477/solver-4285137-1503435477 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1503398584-12989 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 352832786 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285137-1503435477.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=18387, runsolver pid=18384 [startup+0.100157 s]* /proc/loadavg: 5.34 7.91 8.44 1/175 18389 /proc/meminfo: memFree=31201684/32770624 swapFree=67108860/67108860 [pid=18387] ppid=18384 vsize=25300336 memory=14196 CPUtime=0 cores=0-7 /proc/18387/stat : 18387 (java) S 18384 18387 12932 0 -1 1077944320 3373 0 0 0 0 0 0 0 20 0 10 0 131888329 25907544064 3549 18446744073709551615 4194304 4196468 140728004809328 140728004791872 140467221348087 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 /proc/18387/statm: 6325084 3549 1900 1 0 6314581 0 [pid=18387/tid=18389] ppid=18384 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18389/stat : 18389 (java) R 18384 18387 12932 0 -1 4202560 2065 0 0 0 0 0 0 0 20 0 10 0 131888339 25907544064 3549 18446744073709551615 4194304 4196468 140728004809328 140467225584208 140467221370013 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18390] ppid=18384 vsize=25300336 memory=139931590903424 CPUtime=0 cores=0-7 /proc/18387/task/18390/stat : 18390 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 131888339 25907544064 3549 18446744073709551615 4194304 4196468 140728004809328 140467178314512 140467221358293 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18391] ppid=18384 vsize=25300336 memory=139931590903424 CPUtime=0 cores=0-7 /proc/18387/task/18391/stat : 18391 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 131888339 25907544064 3549 18446744073709551615 4194304 4196468 140728004809328 140467177261968 140467221358293 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18392] ppid=18384 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18392/stat : 18392 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 131888339 25907544064 3549 18446744073709551615 4194304 4196468 140728004809328 140467176209424 140467221358293 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18393] ppid=18384 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18393/stat : 18393 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 131888339 25907544064 3549 18446744073709551615 4194304 4196468 140728004809328 140467175156880 140467221358293 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18394] ppid=18384 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18394/stat : 18394 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 131888339 25907544064 3549 18446744073709551615 4194304 4196468 140728004809328 140466779978000 140467221358293 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18395] ppid=18384 vsize=25300336 memory=-1 CPUtime=0 cores=0-7 /proc/18387/task/18395/stat : 18395 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 131888339 25907544064 3549 18446744073709551615 4194304 4196468 140728004809328 140466778925456 140467221358293 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18396] ppid=18384 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18396/stat : 18396 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 131888339 25907544064 3549 18446744073709551615 4194304 4196468 140728004809328 140466777872912 140467221358293 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18397] ppid=18384 vsize=25300336 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18397/stat : 18397 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 131888339 25907544064 3549 18446744073709551615 4194304 4196468 140728004809328 140466776820368 140467221358293 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 25300336 KiB Current children cumulated memory: 14196 KiB [startup+0.209407 s]* /proc/loadavg: 5.34 7.91 8.44 2/193 18407 /proc/meminfo: memFree=31193252/32770624 swapFree=67108860/67108860 [pid=18387] ppid=18384 vsize=25997076 memory=25244 CPUtime=0.06 cores=0-7 /proc/18387/stat : 18387 (java) S 18384 18387 12932 0 -1 1077944320 5824 0 0 0 5 1 0 0 20 0 20 0 131888329 26621005824 6311 18446744073709551615 4194304 4196468 140728004809328 140728004791872 140467221348087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 /proc/18387/statm: 6499269 6311 3282 1 0 6488047 0 [pid=18387/tid=18389] ppid=18384 vsize=25993732 memory=-8774313645642428999 CPUtime=0.05 cores=0-7 /proc/18387/task/18389/stat : 18389 (java) R 18384 18387 12932 0 -1 4202560 3911 0 0 0 4 1 0 0 20 0 20 0 131888339 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140467225590368 140467221370013 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18390] ppid=18384 vsize=25993732 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18390/stat : 18390 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 131888339 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140467178314512 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18391] ppid=18384 vsize=25993732 memory=-1 CPUtime=0 cores=0-7 /proc/18387/task/18391/stat : 18391 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 131888339 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140467177261968 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18392] ppid=18384 vsize=25993732 memory=-1 CPUtime=0 cores=0-7 /proc/18387/task/18392/stat : 18392 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 131888339 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140467176209424 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18393] ppid=18384 vsize=25993732 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18393/stat : 18393 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 131888339 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140467175156880 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18394] ppid=18384 vsize=25993732 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18394/stat : 18394 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 131888339 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140466779978000 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18395] ppid=18384 vsize=25993732 memory=-1 CPUtime=0 cores=0-7 /proc/18387/task/18395/stat : 18395 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 131888339 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140466778925456 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18396] ppid=18384 vsize=25993732 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18396/stat : 18396 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 131888339 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140466777872912 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18397] ppid=18384 vsize=25993732 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18397/stat : 18397 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 131888339 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140466776820368 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18398] ppid=18384 vsize=25993732 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18398/stat : 18398 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 131888341 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140466419857904 140467221359234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18399] ppid=18384 vsize=25993732 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18399/stat : 18399 (java) S 18384 18387 12932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 131888341 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140466418804128 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18400] ppid=18384 vsize=25993732 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18400/stat : 18400 (java) S 18384 18387 12932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 131888341 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140466417751536 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18401] ppid=18384 vsize=25993732 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18401/stat : 18401 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 131888344 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140466416700112 140467221366683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18402] ppid=18384 vsize=25993732 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18402/stat : 18402 (java) S 18384 18387 12932 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 20 0 131888344 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140466415646704 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18403] ppid=18384 vsize=25993732 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18403/stat : 18403 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 131888344 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140466414594160 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18404] ppid=18384 vsize=25993732 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18404/stat : 18404 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 131888344 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140466413541616 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18405] ppid=18384 vsize=25993732 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18405/stat : 18405 (java) R 18384 18387 12932 0 -1 4202560 244 0 0 0 0 0 0 0 20 0 20 0 131888344 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140466412489072 140467202932591 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18406] ppid=18384 vsize=25993732 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18406/stat : 18406 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 131888344 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140466411436768 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18407] ppid=18384 vsize=25993732 memory=-1 CPUtime=0 cores=0-7 /proc/18387/task/18407/stat : 18407 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 131888350 26617581568 5528 18446744073709551615 4194304 4196468 140728004809328 140466410384304 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 Current children cumulated CPU time: 0.06 s Current children cumulated vsize: 25997076 KiB Current children cumulated memory: 25244 KiB [startup+0.309088 s]* /proc/loadavg: 5.34 7.91 8.44 2/193 18407 /proc/meminfo: memFree=31181180/32770624 swapFree=67108860/67108860 [pid=18387] ppid=18384 vsize=25996608 memory=35396 CPUtime=0.23 cores=0-7 /proc/18387/stat : 18387 (java) S 18384 18387 12932 0 -1 1077944320 10188 0 0 0 20 3 0 0 20 0 20 0 131888329 26620526592 8849 18446744073709551615 4194304 4196468 140728004809328 140728004791872 140467221348087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 /proc/18387/statm: 6499152 8849 3508 1 0 6487930 0 [pid=18387/tid=18389] ppid=18384 vsize=25996608 memory=-8774313645642428999 CPUtime=0.15 cores=0-7 /proc/18387/task/18389/stat : 18389 (java) R 18384 18387 12932 0 -1 4202560 7909 0 0 0 13 2 0 0 20 0 20 0 131888339 26620526592 8849 18446744073709551615 4194304 4196468 140728004809328 140467225553536 140467205428574 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18390] ppid=18384 vsize=25996608 memory=-7003737579269690708 CPUtime=0 cores=0-7 /proc/18387/task/18390/stat : 18390 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 131888339 26620526592 8849 18446744073709551615 4194304 4196468 140728004809328 140467178314512 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18391] ppid=18384 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18391/stat : 18391 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 131888339 26620526592 8849 18446744073709551615 4194304 4196468 140728004809328 140467177261968 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18392] ppid=18384 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18392/stat : 18392 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 131888339 26620526592 8849 18446744073709551615 4194304 4196468 140728004809328 140467176209424 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18393] ppid=18384 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18393/stat : 18393 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 131888339 26620526592 8849 18446744073709551615 4194304 4196468 140728004809328 140467175156880 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18394] ppid=18384 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18394/stat : 18394 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 131888339 26620526592 8849 18446744073709551615 4194304 4196468 140728004809328 140466779978000 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18395] ppid=18384 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18395/stat : 18395 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 131888339 26620526592 8849 18446744073709551615 4194304 4196468 140728004809328 140466778925456 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18396] ppid=18384 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18396/stat : 18396 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 131888339 26620526592 8849 18446744073709551615 4194304 4196468 140728004809328 140466777872912 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18397] ppid=18384 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18397/stat : 18397 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 131888339 26620526592 8849 18446744073709551615 4194304 4196468 140728004809328 140466776820368 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18398] ppid=18384 vsize=25996608 memory=139931444052400 CPUtime=0 cores=0-7 /proc/18387/task/18398/stat : 18398 (java) S 18384 18387 12932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 131888341 26620526592 8849 18446744073709551615 4194304 4196468 140728004809328 140466419857904 140467221359234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18399] ppid=18384 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/18387/task/18399/stat : 18399 (java) S 18384 18387 12932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 131888341 26620526592 8849 18446744073709551615 4194304 4196468 140728004809328 140466418804128 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18400] ppid=18384 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18400/stat : 18400 (java) S 18384 18387 12932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 131888341 26620526592 8849 18446744073709551615 4194304 4196468 140728004809328 140466417751536 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18401] ppid=18384 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18401/stat : 18401 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 131888344 26620526592 9361 18446744073709551615 4194304 4196468 140728004809328 140466416700112 140467221366683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18402] ppid=18384 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18402/stat : 18402 (java) S 18384 18387 12932 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 20 0 131888344 26620526592 9361 18446744073709551615 4194304 4196468 140728004809328 140466415646704 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18403] ppid=18384 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18403/stat : 18403 (java) S 18384 18387 12932 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 131888344 26620526592 9361 18446744073709551615 4194304 4196468 140728004809328 140466414594160 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18404] ppid=18384 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18404/stat : 18404 (java) S 18384 18387 12932 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 131888344 26620526592 9361 18446744073709551615 4194304 4196468 140728004809328 140466413541616 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18405] ppid=18384 vsize=25996608 memory=0 CPUtime=0.04 cores=0-7 /proc/18387/task/18405/stat : 18405 (java) S 18384 18387 12932 0 -1 1077944384 394 0 0 0 4 0 0 0 20 0 20 0 131888344 26620526592 9361 18446744073709551615 4194304 4196468 140728004809328 140466412489072 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18406] ppid=18384 vsize=25996608 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18406/stat : 18406 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 131888344 26620526592 9361 18446744073709551615 4194304 4196468 140728004809328 140466411436768 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18407] ppid=18384 vsize=25996608 memory=-1 CPUtime=0 cores=0-7 /proc/18387/task/18407/stat : 18407 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 131888350 26620526592 9361 18446744073709551615 4194304 4196468 140728004809328 140466410384304 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 Current children cumulated CPU time: 0.23 s Current children cumulated vsize: 25996608 KiB Current children cumulated memory: 35396 KiB [startup+0.70078 s] /proc/loadavg: 4.99 7.79 8.40 2/193 18407 /proc/meminfo: memFree=31168924/32770624 swapFree=67108860/67108860 [pid=18387] ppid=18384 vsize=25998676 memory=63708 CPUtime=0.93 cores=0-7 /proc/18387/stat : 18387 (java) S 18384 18387 12932 0 -1 1077944320 14199 0 0 0 87 6 0 0 20 0 20 0 131888329 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140728004791872 140467221348087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 /proc/18387/statm: 6499669 15927 3713 1 0 6488442 0 [pid=18387/tid=18389] ppid=18384 vsize=25998676 memory=139935885870719 CPUtime=0.53 cores=0-7 /proc/18387/task/18389/stat : 18389 (java) R 18384 18387 12932 0 -1 4202560 10596 0 0 0 49 4 0 0 20 0 20 0 131888339 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140467225585376 140467205428574 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18390] ppid=18384 vsize=25998676 memory=7013350810638904428 CPUtime=0 cores=0-7 /proc/18387/task/18390/stat : 18390 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 131888339 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140467178314512 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18391] ppid=18384 vsize=25998676 memory=6224372056898695021 CPUtime=0 cores=0-7 /proc/18387/task/18391/stat : 18391 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 131888339 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140467177261968 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18392] ppid=18384 vsize=25998676 memory=1996 CPUtime=0 cores=0-7 /proc/18387/task/18392/stat : 18392 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 131888339 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140467176209424 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18393] ppid=18384 vsize=25998676 memory=796 CPUtime=0 cores=0-7 /proc/18387/task/18393/stat : 18393 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 131888339 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140467175156880 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18394] ppid=18384 vsize=25998676 memory=10096 CPUtime=0 cores=0-7 /proc/18387/task/18394/stat : 18394 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 131888339 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140466779978000 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18395] ppid=18384 vsize=25998676 memory=1716 CPUtime=0 cores=0-7 /proc/18387/task/18395/stat : 18395 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 131888339 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140466778925456 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18396] ppid=18384 vsize=25998676 memory=1008 CPUtime=0 cores=0-7 /proc/18387/task/18396/stat : 18396 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 131888339 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140466777872912 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18397] ppid=18384 vsize=25998676 memory=1232 CPUtime=0 cores=0-7 /proc/18387/task/18397/stat : 18397 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 131888339 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140466776820368 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18398] ppid=18384 vsize=25998676 memory=9064 CPUtime=0 cores=0-7 /proc/18387/task/18398/stat : 18398 (java) S 18384 18387 12932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 131888341 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140466419857904 140467221359234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18399] ppid=18384 vsize=25998676 memory=4616 CPUtime=0 cores=0-7 /proc/18387/task/18399/stat : 18399 (java) S 18384 18387 12932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 131888341 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140466418804128 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18400] ppid=18384 vsize=25998676 memory=1440 CPUtime=0 cores=0-7 /proc/18387/task/18400/stat : 18400 (java) S 18384 18387 12932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 131888341 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140466417751536 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18401] ppid=18384 vsize=25998676 memory=1204 CPUtime=0 cores=0-7 /proc/18387/task/18401/stat : 18401 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 131888344 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140466416700112 140467221366683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18402] ppid=18384 vsize=25998676 memory=15884 CPUtime=0.06 cores=0-7 /proc/18387/task/18402/stat : 18402 (java) S 18384 18387 12932 0 -1 1077944384 856 0 0 0 6 0 0 0 20 0 20 0 131888344 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140466415646704 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18403] ppid=18384 vsize=25998676 memory=16240 CPUtime=0.07 cores=0-7 /proc/18387/task/18403/stat : 18403 (java) S 18384 18387 12932 0 -1 1077944384 274 0 0 0 7 0 0 0 20 0 20 0 131888344 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140466414594160 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18404] ppid=18384 vsize=25998676 memory=40376 CPUtime=0.04 cores=0-7 /proc/18387/task/18404/stat : 18404 (java) S 18384 18387 12932 0 -1 1077944384 166 0 0 0 4 0 0 0 20 0 20 0 131888344 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140466413541616 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18405] ppid=18384 vsize=25998676 memory=4048 CPUtime=0.19 cores=0-7 /proc/18387/task/18405/stat : 18405 (java) S 18384 18387 12932 0 -1 1077944384 921 0 0 0 19 0 0 0 20 0 20 0 131888344 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140466412489072 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18406] ppid=18384 vsize=25998676 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18406/stat : 18406 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 131888344 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140466411436768 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18407] ppid=18384 vsize=25998676 memory=2241 CPUtime=0 cores=0-7 /proc/18387/task/18407/stat : 18407 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 131888350 26622644224 15927 18446744073709551615 4194304 4196468 140728004809328 140466410384304 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 Current children cumulated CPU time: 0.93 s Current children cumulated vsize: 25998676 KiB ################ # More data... # ################ [pid=18387/tid=18405] ppid=18384 vsize=26002772 memory=1008 CPUtime=0.49 cores=0-7 /proc/18387/task/18405/stat : 18405 (java) R 18384 18387 12932 0 -1 4202560 5204 0 0 0 48 1 0 0 20 0 20 0 131888344 26626838528 50945 18446744073709551615 4194304 4196468 140728004809328 140466412489072 140467201062884 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18406] ppid=18384 vsize=26002772 memory=1232 CPUtime=0 cores=0-7 /proc/18387/task/18406/stat : 18406 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 131888344 26626838528 50945 18446744073709551615 4194304 4196468 140728004809328 140466411436768 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18407] ppid=18384 vsize=26002772 memory=9064 CPUtime=0 cores=0-7 /proc/18387/task/18407/stat : 18407 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 131888350 26626838528 50945 18446744073709551615 4194304 4196468 140728004809328 140466410384304 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 Current children cumulated CPU time: 3.63 s Current children cumulated vsize: 26002772 KiB Current children cumulated memory: 203780 KiB [startup+1.91976 s] # the end of solver process 18387 was just reported to runsolver # cumulated CPU time of all completed processes: user=5.17954 s, system=0.183212 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.601 s] /proc/loadavg: 4.99 7.79 8.40 6/193 18407 /proc/meminfo: memFree=31120200/32770624 swapFree=67108860/67108860 [pid=18387] ppid=18384 vsize=26069336 memory=216032 CPUtime=4.09 cores=0-7 /proc/18387/stat : 18387 (java) S 18384 18387 12932 0 -1 1077944320 37940 0 0 0 395 14 0 0 20 0 21 0 131888329 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140728004791872 140467221348087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 /proc/18387/statm: 6517334 54008 3766 1 0 6506107 0 [pid=18387/tid=18389] ppid=18384 vsize=26069336 memory=1440 CPUtime=1.43 cores=0-7 /proc/18387/task/18389/stat : 18389 (java) R 18384 18387 12932 0 -1 4202560 14877 0 0 0 136 7 0 0 20 0 21 0 131888339 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140467225576752 140467205428574 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18390] ppid=18384 vsize=26069336 memory=1204 CPUtime=0 cores=0-7 /proc/18387/task/18390/stat : 18390 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 131888339 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140467178314512 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18391] ppid=18384 vsize=26069336 memory=15884 CPUtime=0 cores=0-7 /proc/18387/task/18391/stat : 18391 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 131888339 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140467177261968 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18392] ppid=18384 vsize=26069336 memory=16240 CPUtime=0 cores=0-7 /proc/18387/task/18392/stat : 18392 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 131888339 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140467176209424 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18393] ppid=18384 vsize=26069336 memory=70792 CPUtime=0 cores=0-7 /proc/18387/task/18393/stat : 18393 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 131888339 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140467175156880 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18394] ppid=18384 vsize=26069336 memory=2384 CPUtime=0 cores=0-7 /proc/18387/task/18394/stat : 18394 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 131888339 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140466779978000 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18395] ppid=18384 vsize=26069336 memory=56 CPUtime=0 cores=0-7 /proc/18387/task/18395/stat : 18395 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 131888339 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140466778925456 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18396] ppid=18384 vsize=26069336 memory=288230621803970871 CPUtime=0 cores=0-7 /proc/18387/task/18396/stat : 18396 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 131888339 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140466777872912 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18397] ppid=18384 vsize=26069336 memory=13568184779278711 CPUtime=0 cores=0-7 /proc/18387/task/18397/stat : 18397 (java) S 18384 18387 12932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 131888339 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140466776820368 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18398] ppid=18384 vsize=26069336 memory=1996 CPUtime=0 cores=0-7 /proc/18387/task/18398/stat : 18398 (java) S 18384 18387 12932 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 21 0 131888341 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140466419857904 140467221359234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18399] ppid=18384 vsize=26069336 memory=796 CPUtime=0 cores=0-7 /proc/18387/task/18399/stat : 18399 (java) S 18384 18387 12932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 131888341 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140466418804128 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18400] ppid=18384 vsize=26069336 memory=10096 CPUtime=0 cores=0-7 /proc/18387/task/18400/stat : 18400 (java) S 18384 18387 12932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 131888341 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140466417751536 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18401] ppid=18384 vsize=26069336 memory=1716 CPUtime=0 cores=0-7 /proc/18387/task/18401/stat : 18401 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 131888344 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140466416700112 140467221366683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18402] ppid=18384 vsize=26069336 memory=1008 CPUtime=0.7 cores=0-7 /proc/18387/task/18402/stat : 18402 (java) R 18384 18387 12932 0 -1 4202560 5003 0 0 0 68 2 0 0 20 0 21 0 131888344 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140466415635264 140467204844857 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18403] ppid=18384 vsize=26069336 memory=1232 CPUtime=0.69 cores=0-7 /proc/18387/task/18403/stat : 18403 (java) R 18384 18387 12932 0 -1 4202560 5190 0 0 0 69 0 0 0 20 0 21 0 131888344 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140466414575600 140467213589068 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18404] ppid=18384 vsize=26069336 memory=9064 CPUtime=0.67 cores=0-7 /proc/18387/task/18404/stat : 18404 (java) R 18384 18387 12932 0 -1 4202560 5871 0 0 0 66 1 0 0 20 0 21 0 131888344 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140466413521488 140467199175325 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18405] ppid=18384 vsize=26069336 memory=4616 CPUtime=0.55 cores=0-7 /proc/18387/task/18405/stat : 18405 (java) S 18384 18387 12932 0 -1 1077944384 5575 0 0 0 54 1 0 0 20 0 21 0 131888344 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140466412489072 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18406] ppid=18384 vsize=26069336 memory=1440 CPUtime=0 cores=0-7 /proc/18387/task/18406/stat : 18406 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 131888344 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140466411436768 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18407] ppid=18384 vsize=26069336 memory=1204 CPUtime=0 cores=0-7 /proc/18387/task/18407/stat : 18407 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 131888350 26695000064 54008 18446744073709551615 4194304 4196468 140728004809328 140466410384304 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 Current children cumulated CPU time: 4.09 s Current children cumulated vsize: 26069336 KiB Current children cumulated memory: 216032 KiB [startup+1.80499 s] /proc/loadavg: 4.99 7.79 8.40 6/193 18407 /proc/meminfo: memFree=31120200/32770624 swapFree=67108860/67108860 [pid=18387] ppid=18384 vsize=26872200 memory=245100 CPUtime=4.74 cores=0-7 /proc/18387/stat : 18387 (java) S 18384 18387 12932 0 -1 1077944320 40475 0 0 0 459 15 0 0 20 0 33 0 131888329 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140728004791872 140467221348087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 /proc/18387/statm: 6718050 61275 3787 1 0 6706823 0 [pid=18387/tid=18389] ppid=18384 vsize=26872200 memory=-8774313645642428999 CPUtime=1.59 cores=0-7 /proc/18387/task/18389/stat : 18389 (java) S 18384 18387 12932 0 -1 1077944384 15700 0 0 0 151 8 0 0 20 0 33 0 131888339 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140467225585472 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18390] ppid=18384 vsize=26872200 memory=1728 CPUtime=0 cores=0-7 /proc/18387/task/18390/stat : 18390 (java) S 18384 18387 12932 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 33 0 131888339 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140467178314512 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18391] ppid=18384 vsize=26872200 memory=5788 CPUtime=0 cores=0-7 /proc/18387/task/18391/stat : 18391 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 131888339 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140467177261968 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18392] ppid=18384 vsize=26872200 memory=1996 CPUtime=0 cores=0-7 /proc/18387/task/18392/stat : 18392 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 131888339 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140467176209424 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18393] ppid=18384 vsize=26872200 memory=796 CPUtime=0 cores=0-7 /proc/18387/task/18393/stat : 18393 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 131888339 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140467175156880 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18394] ppid=18384 vsize=26872200 memory=10096 CPUtime=0 cores=0-7 /proc/18387/task/18394/stat : 18394 (java) S 18384 18387 12932 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 33 0 131888339 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140466779978000 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18395] ppid=18384 vsize=26872200 memory=1716 CPUtime=0 cores=0-7 /proc/18387/task/18395/stat : 18395 (java) S 18384 18387 12932 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 33 0 131888339 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140466778925456 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18396] ppid=18384 vsize=26872200 memory=1008 CPUtime=0 cores=0-7 /proc/18387/task/18396/stat : 18396 (java) S 18384 18387 12932 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 33 0 131888339 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140466777872912 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18397] ppid=18384 vsize=26872200 memory=1232 CPUtime=0 cores=0-7 /proc/18387/task/18397/stat : 18397 (java) S 18384 18387 12932 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 33 0 131888339 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140466776820368 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18398] ppid=18384 vsize=26872200 memory=9064 CPUtime=0 cores=0-7 /proc/18387/task/18398/stat : 18398 (java) S 18384 18387 12932 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 33 0 131888341 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140466419857904 140467221359234 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18399] ppid=18384 vsize=26872200 memory=4616 CPUtime=0 cores=0-7 /proc/18387/task/18399/stat : 18399 (java) S 18384 18387 12932 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 33 0 131888341 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140466418804192 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18400] ppid=18384 vsize=26872200 memory=1440 CPUtime=0 cores=0-7 /proc/18387/task/18400/stat : 18400 (java) S 18384 18387 12932 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 33 0 131888341 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140466417751552 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18401] ppid=18384 vsize=26872200 memory=1204 CPUtime=0 cores=0-7 /proc/18387/task/18401/stat : 18401 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 131888344 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140466416700112 140467221366683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18402] ppid=18384 vsize=26872200 memory=15884 CPUtime=0.82 cores=0-7 /proc/18387/task/18402/stat : 18402 (java) R 18384 18387 12932 0 -1 4202560 5501 0 0 0 80 2 0 0 20 0 33 0 131888344 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140466415628272 140467201696552 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18403] ppid=18384 vsize=26872200 memory=16240 CPUtime=0.74 cores=0-7 /proc/18387/task/18403/stat : 18403 (java) R 18384 18387 12932 0 -1 1077944384 5249 0 0 0 74 0 0 0 20 0 33 0 131888344 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140466414582720 140467221358293 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18404] ppid=18384 vsize=26872200 memory=40376 CPUtime=0.72 cores=0-7 /proc/18387/task/18404/stat : 18404 (java) S 18384 18387 12932 0 -1 1077944384 5901 0 0 0 71 1 0 0 20 0 33 0 131888344 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140466413534640 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18405] ppid=18384 vsize=26872200 memory=7518590701213671769 CPUtime=0.57 cores=0-7 /proc/18387/task/18405/stat : 18405 (java) R 18384 18387 12932 0 -1 1077944384 5845 0 0 0 56 1 0 0 20 0 33 0 131888344 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140466412485440 140467221358293 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18406] ppid=18384 vsize=26872200 memory=139935885870719 CPUtime=0 cores=0-7 /proc/18387/task/18406/stat : 18406 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 131888344 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140466411436768 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18407] ppid=18384 vsize=26872200 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18407/stat : 18407 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 131888350 27517132800 61275 18446744073709551615 4194304 4196468 140728004809328 140466410384304 140467221359234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 Current children cumulated CPU time: 4.74 s Current children cumulated vsize: 26872200 KiB Current children cumulated memory: 245100 KiB [startup+1.90083 s] /proc/loadavg: 4.99 7.79 8.40 6/193 18407 /proc/meminfo: memFree=31120200/32770624 swapFree=67108860/67108860 [pid=18387] ppid=18384 vsize=27473360 memory=247664 CPUtime=5.34 cores=0-7 /proc/18387/stat : 18387 (java) S 18384 18387 12932 0 -1 1077944320 42912 0 0 0 517 17 0 0 20 0 19 0 131888329 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140728004791872 140467221348087 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 /proc/18387/statm: 6868340 61916 3800 1 0 6856592 0 [pid=18387/tid=18389] ppid=18384 vsize=27473360 memory=203780 CPUtime=1.59 cores=0-7 /proc/18387/task/18389/stat : 18389 (java) S 18384 18387 12932 0 -1 1077944384 15711 0 0 0 151 8 0 0 20 0 19 0 131888339 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140467225590928 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18390] ppid=18384 vsize=27473360 memory=113 CPUtime=0 cores=0-7 /proc/18387/task/18390/stat : 18390 (java) S 18384 18387 12932 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 19 0 131888339 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140467178314512 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18391] ppid=18384 vsize=27473360 memory=6673 CPUtime=0 cores=0-7 /proc/18387/task/18391/stat : 18391 (java) S 18384 18387 12932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 131888339 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140467177261968 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18392] ppid=18384 vsize=27473360 memory=4420 CPUtime=0 cores=0-7 /proc/18387/task/18392/stat : 18392 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 131888339 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140467176209424 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18393] ppid=18384 vsize=27473360 memory=6628 CPUtime=0 cores=0-7 /proc/18387/task/18393/stat : 18393 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 131888339 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140467175156880 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18394] ppid=18384 vsize=27473360 memory=1792 CPUtime=0 cores=0-7 /proc/18387/task/18394/stat : 18394 (java) S 18384 18387 12932 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 131888339 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140466779978000 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18395] ppid=18384 vsize=27473360 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18395/stat : 18395 (java) S 18384 18387 12932 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 131888339 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140466778925456 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18396] ppid=18384 vsize=27473360 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18396/stat : 18396 (java) S 18384 18387 12932 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 131888339 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140466777872912 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18397] ppid=18384 vsize=27473360 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18397/stat : 18397 (java) S 18384 18387 12932 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 131888339 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140466776820368 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18398] ppid=18384 vsize=27473360 memory=4120 CPUtime=0.01 cores=0-7 /proc/18387/task/18398/stat : 18398 (java) S 18384 18387 12932 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 19 0 131888341 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140466419858112 140467221359234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18399] ppid=18384 vsize=27473360 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18399/stat : 18399 (java) S 18384 18387 12932 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 131888341 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140466418804192 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18400] ppid=18384 vsize=27473360 memory=139931444079872 CPUtime=0 cores=0-7 /proc/18387/task/18400/stat : 18400 (java) S 18384 18387 12932 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 131888341 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140466417751552 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18401] ppid=18384 vsize=27473360 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18401/stat : 18401 (java) S 18384 18387 12932 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 131888344 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140466416699760 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18402] ppid=18384 vsize=27473360 memory=0 CPUtime=0.91 cores=0-7 /proc/18387/task/18402/stat : 18402 (java) S 18384 18387 12932 0 -1 1077944384 5836 0 0 0 89 2 0 0 20 0 19 0 131888344 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140466415637984 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18403] ppid=18384 vsize=27473360 memory=0 CPUtime=0.82 cores=0-7 /proc/18387/task/18403/stat : 18403 (java) S 18384 18387 12932 0 -1 1077944384 5450 0 0 0 81 1 0 0 20 0 19 0 131888344 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140466414585440 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18404] ppid=18384 vsize=27473360 memory=0 CPUtime=0.8 cores=0-7 /proc/18387/task/18404/stat : 18404 (java) R 18384 18387 12932 0 -1 4202560 6230 0 0 0 79 1 0 0 20 0 19 0 131888344 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140466413528144 140467206463305 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18405] ppid=18384 vsize=27473360 memory=0 CPUtime=0.64 cores=0-7 /proc/18387/task/18405/stat : 18405 (java) R 18384 18387 12932 0 -1 4202560 6779 0 0 0 63 1 0 0 20 0 19 0 131888344 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140466412485920 140467204744302 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 [pid=18387/tid=18406] ppid=18384 vsize=27473360 memory=0 CPUtime=0 cores=0-7 /proc/18387/task/18406/stat : 18406 (java) S 18384 18387 12932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 131888344 28132720640 61916 18446744073709551615 4194304 4196468 140728004809328 140466411436768 140467221358293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17915904 140728004817260 140728004817445 140728004817445 140728004820943 0 Current children cumulated CPU time: 5.34 s Current children cumulated vsize: 27473360 KiB Current children cumulated memory: 247664 KiB Child status: 0 Real time (s): 1.9198 CPU time (s): 5.36275 CPU user time (s): 5.17954 CPU system time (s): 0.183212 CPU usage (%): 279.339 Max. virtual memory (cumulated for all children) (KiB): 27473360 Max. memory (cumulated for all children) (KiB): 247664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.17954 system time used= 0.183212 maximum resident set size= 248756 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43154 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4367 involuntary context switches= 17 # summary of solver processes directly reported to runsolver: # pid: 18387 # total CPU time (s): 5.36275 # total CPU user time (s): 5.17954 # total CPU system time (s): 0.183212 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.035054 second user time and 0.051079 second system time The end
Begin job on node124 at 2017-08-22 22:43:40 IDJOB=4285137 IDBENCH=126981 IDSOLVER=2681 FILE ID=node124/4285137-1503435477 RUNJOBID= node124-1503398584-12989 PBS_JOBID= Free space on /tmp= 62032 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/Driver/Driver-m1-s1/driverlogw-01c.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-4285137-1503435477/watcher-4285137-1503435477 -o /tmp/evaluation-result-4285137-1503435477/solver-4285137-1503435477 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1503398584-12989 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 352832786 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285137-1503435477.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 91a89527f75c87fa26db92386f49e27c RANDOM SEED=352832786 node124.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.51 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.51 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.51 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.51 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: 31205916 kB MemAvailable: 31959036 kB Buffers: 311616 kB Cached: 741376 kB SwapCached: 0 kB Active: 700152 kB Inactive: 406468 kB Active(anon): 6072 kB Inactive(anon): 97324 kB Active(file): 694080 kB Inactive(file): 309144 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42596 kB Writeback: 0 kB AnonPages: 52880 kB Mapped: 65076 kB Shmem: 49896 kB Slab: 158096 kB SReclaimable: 131464 kB SUnreclaim: 26632 kB KernelStack: 3136 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 320956 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61988 MiB End job on node124 at 2017-08-22 22:43:43