Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | SAT | 4.4373598 | 1.71506 |
Name | Sat/Sat-m1-jnh/ jnh-012.xml |
MD5SUM | 3c5fe328a8db4231af8c88bf9e66d100 |
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.033411998 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 848 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":100}] |
Minimum variable degree | 29 |
Maximum variable degree | 60 |
Distribution of variable degrees | [{"degree":29,"count":1},{"degree":30,"count":3},{"degree":31,"count":2},{"degree":32,"count":2},{"degree":33,"count":1},{"degree":34,"count":3},{"degree":35,"count":4},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":38,"count":4},{"degree":39,"count":12},{"degree":40,"count":3},{"degree":41,"count":6},{"degree":42,"count":4},{"degree":43,"count":8},{"degree":44,"count":6},{"degree":45,"count":7},{"degree":46,"count":9},{"degree":47,"count":7},{"degree":48,"count":6},{"degree":50,"count":2},{"degree":52,"count":2},{"degree":56,"count":1},{"degree":60,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 11 |
Distribution of constraint arities | [{"arity":2,"count":74},{"arity":3,"count":161},{"arity":4,"count":152},{"arity":5,"count":165},{"arity":6,"count":118},{"arity":7,"count":85},{"arity":8,"count":50},{"arity":9,"count":32},{"arity":10,"count":9},{"arity":11,"count":2}] |
Number of extensional constraints | 848 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":848}] |
Optimization problem | NO |
Type of objective |
0.29/0.25 c version: 2017-08-22 0.29/0.25 c seed: 1387710570 0.29/0.25 c timeout: 20160 0.29/0.25 c memlimit: 22000 0.29/0.25 c nbcore: 8 0.29/0.28 c Parsing instance... 1.59/0.72 c Parsing done, starting search... 3.87/1.69 s SATISFIABLE 3.87/1.69 v <instantiation> 3.87/1.69 v <list> 3.87/1.69 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] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] 3.87/1.69 v </list> 3.87/1.69 v <values> 3.87/1.69 v 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 1 0 1 1 1 0 1 0 0 1 0 1 0 1 1 1 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 1 0 1 0 0 1 1 1 0 1 3.87/1.69 v </values> 3.87/1.69 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 (11271 MiB free) memory of node 1: 16384 MiB (9788 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285454-1503424013/watcher-4285454-1503424013 -o /tmp/evaluation-result-4285454-1503424013/solver-4285454-1503424013 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503415160-5437 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1387710570 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285454-1503424013.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=7320, runsolver pid=7317 [startup+0.100061 s]* /proc/loadavg: 3.44 4.05 6.48 2/199 7340 /proc/meminfo: memFree=21548672/32770624 swapFree=67108860/67108860 [pid=7320] ppid=7317 vsize=26000852 memory=31496 CPUtime=0.12 cores=0-7 /proc/7320/stat : 7320 (java) S 7317 7320 5410 0 -1 1077944320 8300 0 0 0 11 1 0 0 20 0 20 0 175489128 26624872448 7874 33554432000 4194304 4196468 140731877093488 140731877076032 140401184808695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 /proc/7320/statm: 6500213 7874 3412 1 0 6487932 0 [pid=7320/tid=7322] ppid=7317 vsize=26000852 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/7320/task/7322/stat : 7322 (java) R 7317 7320 5410 0 -1 4202560 6223 0 0 0 8 1 0 0 20 0 20 0 175489129 26624872448 7874 33554432000 4194304 4196468 140731877093488 140401189025376 140401168889182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7323] ppid=7317 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/7320/task/7323/stat : 7323 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624872448 7874 33554432000 4194304 4196468 140731877093488 140401141361808 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7324] ppid=7317 vsize=26000852 memory=140389365200512 CPUtime=0 cores=0-7 /proc/7320/task/7324/stat : 7324 (java) S 7317 7320 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175489130 26624872448 7874 33554432000 4194304 4196468 140731877093488 140401140309008 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7325] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7325/stat : 7325 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624872448 7874 33554432000 4194304 4196468 140731877093488 140400740924304 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7326] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7326/stat : 7326 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624872448 7874 33554432000 4194304 4196468 140731877093488 140400739871504 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7327] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7327/stat : 7327 (java) S 7317 7320 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175489130 26624872448 7874 33554432000 4194304 4196468 140731877093488 140400738818704 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7328] ppid=7317 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/7320/task/7328/stat : 7328 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624872448 7874 33554432000 4194304 4196468 140731877093488 140400737765904 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7329] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7329/stat : 7329 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624872448 7874 33554432000 4194304 4196468 140731877093488 140400736713104 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7330] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7330/stat : 7330 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624872448 7874 33554432000 4194304 4196468 140731877093488 140400735660304 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7331] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7331/stat : 7331 (java) S 7317 7320 5410 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 175489131 26624872448 7874 33554432000 4194304 4196468 140731877093488 140400581852016 140401184819842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7332] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7332/stat : 7332 (java) S 7317 7320 5410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175489132 26624872448 7874 33554432000 4194304 4196468 140731877093488 140400580797984 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7333] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7333/stat : 7333 (java) S 7317 7320 5410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175489132 26624872448 7874 33554432000 4194304 4196468 140731877093488 140400579745136 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7334] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7334/stat : 7334 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489134 26624872448 7874 33554432000 4194304 4196468 140731877093488 140400578693456 140401184827291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7335] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7335/stat : 7335 (java) S 7317 7320 5410 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 175489134 26624872448 7874 33554432000 4194304 4196468 140731877093488 140400577640816 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7336] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7336/stat : 7336 (java) S 7317 7320 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175489134 26624872448 7874 33554432000 4194304 4196468 140731877093488 140400576588016 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7337] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7337/stat : 7337 (java) S 7317 7320 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175489134 26624872448 7874 33554432000 4194304 4196468 140731877093488 140400575535216 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7338] ppid=7317 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7 /proc/7320/task/7338/stat : 7338 (java) S 7317 7320 5410 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 20 0 175489134 26624872448 7874 33554432000 4194304 4196468 140731877093488 140400574482416 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7339] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7339/stat : 7339 (java) S 7317 7320 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175489134 26624872448 7874 33554432000 4194304 4196468 140731877093488 140400573430880 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7340] ppid=7317 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/7320/task/7340/stat : 7340 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489135 26624872448 7874 33554432000 4194304 4196468 140731877093488 140400572378160 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 31496 KiB [startup+0.209621 s]* /proc/loadavg: 3.44 4.05 6.48 3/199 7340 /proc/meminfo: memFree=21537940/32770624 swapFree=67108860/67108860 [pid=7320] ppid=7317 vsize=26000852 memory=40824 CPUtime=0.29 cores=0-7 /proc/7320/stat : 7320 (java) S 7317 7320 5410 0 -1 1077944320 9373 0 0 0 27 2 0 0 20 0 20 0 175489128 26624872448 10206 33554432000 4194304 4196468 140731877093488 140731877076032 140401184808695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 /proc/7320/statm: 6500213 10206 3594 1 0 6487932 0 [pid=7320/tid=7322] ppid=7317 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/7320/task/7322/stat : 7322 (java) R 7317 7320 5410 0 -1 4202560 6897 0 0 0 18 1 0 0 20 0 20 0 175489129 26624872448 10206 33554432000 4194304 4196468 140731877093488 140401189014000 140401168889182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7323] ppid=7317 vsize=26000852 memory=12768 CPUtime=0 cores=0-7 /proc/7320/task/7323/stat : 7323 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624872448 10206 33554432000 4194304 4196468 140731877093488 140401141361808 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7324] ppid=7317 vsize=26000852 memory=140389365206544 CPUtime=0 cores=0-7 /proc/7320/task/7324/stat : 7324 (java) S 7317 7320 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175489130 26624872448 10206 33554432000 4194304 4196468 140731877093488 140401140309008 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7325] ppid=7317 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/7320/task/7325/stat : 7325 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624872448 10206 33554432000 4194304 4196468 140731877093488 140400740924304 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7326] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7326/stat : 7326 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624872448 10206 33554432000 4194304 4196468 140731877093488 140400739871504 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7327] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7327/stat : 7327 (java) S 7317 7320 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175489130 26624872448 10206 33554432000 4194304 4196468 140731877093488 140400738818704 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7328] ppid=7317 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/7320/task/7328/stat : 7328 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624872448 10206 33554432000 4194304 4196468 140731877093488 140400737765904 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7329] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7329/stat : 7329 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624872448 10206 33554432000 4194304 4196468 140731877093488 140400736713104 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7330] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7330/stat : 7330 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624872448 10206 33554432000 4194304 4196468 140731877093488 140400735660304 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7331] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7331/stat : 7331 (java) S 7317 7320 5410 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 175489131 26624872448 10206 33554432000 4194304 4196468 140731877093488 140400581852016 140401184819842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7332] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7332/stat : 7332 (java) S 7317 7320 5410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175489132 26624872448 10206 33554432000 4194304 4196468 140731877093488 140400580797984 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7333] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7333/stat : 7333 (java) S 7317 7320 5410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175489132 26624872448 10206 33554432000 4194304 4196468 140731877093488 140400579745136 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7334] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7334/stat : 7334 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489134 26624872448 10206 33554432000 4194304 4196468 140731877093488 140400578693456 140401184827291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7335] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7335/stat : 7335 (java) S 7317 7320 5410 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 20 0 175489134 26624872448 10206 33554432000 4194304 4196468 140731877093488 140400577640816 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7336] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7336/stat : 7336 (java) S 7317 7320 5410 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 20 0 175489134 26624872448 10206 33554432000 4194304 4196468 140731877093488 140400576588016 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7337] ppid=7317 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/7320/task/7337/stat : 7337 (java) S 7317 7320 5410 0 -1 1077944384 130 0 0 0 1 0 0 0 20 0 20 0 175489134 26624872448 10206 33554432000 4194304 4196468 140731877093488 140400575535216 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7338] ppid=7317 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7 /proc/7320/task/7338/stat : 7338 (java) S 7317 7320 5410 0 -1 1077944384 441 0 0 0 5 0 0 0 20 0 20 0 175489134 26624872448 10206 33554432000 4194304 4196468 140731877093488 140400574482416 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7339] ppid=7317 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7339/stat : 7339 (java) S 7317 7320 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175489134 26624872448 10206 33554432000 4194304 4196468 140731877093488 140400573430880 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7340] ppid=7317 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/7320/task/7340/stat : 7340 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489135 26624872448 10206 33554432000 4194304 4196468 140731877093488 140400572378160 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 40824 KiB [startup+0.309363 s]* /proc/loadavg: 3.44 4.05 6.48 3/199 7340 /proc/meminfo: memFree=21530384/32770624 swapFree=67108860/67108860 [pid=7320] ppid=7317 vsize=26000872 memory=49136 CPUtime=0.48 cores=0-7 /proc/7320/stat : 7320 (java) S 7317 7320 5410 0 -1 1077944320 10581 0 0 0 45 3 0 0 20 0 20 0 175489128 26624892928 12284 33554432000 4194304 4196468 140731877093488 140731877076032 140401184808695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 /proc/7320/statm: 6500218 12284 3722 1 0 6487932 0 [pid=7320/tid=7322] ppid=7317 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/7320/task/7322/stat : 7322 (java) R 7317 7320 5410 0 -1 4202560 7665 0 0 0 27 2 0 0 20 0 20 0 175489129 26624892928 12284 33554432000 4194304 4196468 140731877093488 140401189032752 140401168889182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7323] ppid=7317 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7323/stat : 7323 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624892928 12284 33554432000 4194304 4196468 140731877093488 140401141361808 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7324] ppid=7317 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7324/stat : 7324 (java) S 7317 7320 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175489130 26624892928 12284 33554432000 4194304 4196468 140731877093488 140401140309008 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7325] ppid=7317 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7325/stat : 7325 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624892928 12284 33554432000 4194304 4196468 140731877093488 140400740924304 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7326] ppid=7317 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7326/stat : 7326 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624892928 12284 33554432000 4194304 4196468 140731877093488 140400739871504 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7327] ppid=7317 vsize=26000872 memory=2244 CPUtime=0 cores=0-7 /proc/7320/task/7327/stat : 7327 (java) S 7317 7320 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175489130 26624892928 12284 33554432000 4194304 4196468 140731877093488 140400738818704 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7328] ppid=7317 vsize=26000872 memory=140389260555183 CPUtime=0 cores=0-7 /proc/7320/task/7328/stat : 7328 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624892928 12284 33554432000 4194304 4196468 140731877093488 140400737765904 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7329] ppid=7317 vsize=26000872 memory=140389260557488 CPUtime=0 cores=0-7 /proc/7320/task/7329/stat : 7329 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624892928 12284 33554432000 4194304 4196468 140731877093488 140400736713104 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7330] ppid=7317 vsize=26000872 memory=140389260559792 CPUtime=0 cores=0-7 /proc/7320/task/7330/stat : 7330 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26624892928 12284 33554432000 4194304 4196468 140731877093488 140400735660304 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7331] ppid=7317 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7331/stat : 7331 (java) S 7317 7320 5410 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 175489131 26624892928 12284 33554432000 4194304 4196468 140731877093488 140400581852016 140401184819842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7332] ppid=7317 vsize=26000872 memory=280778521126544 CPUtime=0 cores=0-7 /proc/7320/task/7332/stat : 7332 (java) S 7317 7320 5410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175489132 26624892928 12284 33554432000 4194304 4196468 140731877093488 140400580797984 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7333] ppid=7317 vsize=26000872 memory=280778521133456 CPUtime=0 cores=0-7 /proc/7320/task/7333/stat : 7333 (java) S 7317 7320 5410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175489132 26624892928 12284 33554432000 4194304 4196468 140731877093488 140400579745136 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7334] ppid=7317 vsize=26000872 memory=280778521074736 CPUtime=0 cores=0-7 /proc/7320/task/7334/stat : 7334 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489134 26624892928 12284 33554432000 4194304 4196468 140731877093488 140400578693456 140401184827291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7335] ppid=7317 vsize=26000872 memory=280778521147280 CPUtime=0.02 cores=0-7 /proc/7320/task/7335/stat : 7335 (java) S 7317 7320 5410 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 20 0 175489134 26624892928 12284 33554432000 4194304 4196468 140731877093488 140400577640816 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7336] ppid=7317 vsize=26000872 memory=280778521154192 CPUtime=0.02 cores=0-7 /proc/7320/task/7336/stat : 7336 (java) S 7317 7320 5410 0 -1 1077944384 285 0 0 0 2 0 0 0 20 0 20 0 175489134 26624892928 12284 33554432000 4194304 4196468 140731877093488 140400576588016 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7337] ppid=7317 vsize=26000872 memory=280778521151888 CPUtime=0.04 cores=0-7 /proc/7320/task/7337/stat : 7337 (java) S 7317 7320 5410 0 -1 1077944384 245 0 0 0 4 0 0 0 20 0 20 0 175489134 26624892928 12284 33554432000 4194304 4196468 140731877093488 140400575535216 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7338] ppid=7317 vsize=26000872 memory=280778521168496 CPUtime=0.08 cores=0-7 /proc/7320/task/7338/stat : 7338 (java) S 7317 7320 5410 0 -1 1077944384 504 0 0 0 8 0 0 0 20 0 20 0 175489134 26624892928 12284 33554432000 4194304 4196468 140731877093488 140400574482416 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7339] ppid=7317 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7339/stat : 7339 (java) S 7317 7320 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175489134 26624892928 12284 33554432000 4194304 4196468 140731877093488 140400573430880 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7340] ppid=7317 vsize=26000872 memory=-1 CPUtime=0 cores=0-7 /proc/7320/task/7340/stat : 7340 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489135 26624892928 12284 33554432000 4194304 4196468 140731877093488 140400572378160 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26000872 KiB Current children cumulated memory: 49136 KiB [startup+0.700817 s] /proc/loadavg: 3.44 4.05 6.48 3/199 7340 /proc/meminfo: memFree=21517272/32770624 swapFree=67108860/67108860 [pid=7320] ppid=7317 vsize=26002920 memory=83540 CPUtime=1.59 cores=0-7 /proc/7320/stat : 7320 (java) S 7317 7320 5410 0 -1 1077944320 14500 0 0 0 153 6 0 0 20 0 20 0 175489128 26626990080 20885 33554432000 4194304 4196468 140731877093488 140731877076032 140401184808695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 /proc/7320/statm: 6500730 20885 3772 1 0 6488444 0 [pid=7320/tid=7322] ppid=7317 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7 /proc/7320/task/7322/stat : 7322 (java) R 7317 7320 5410 0 -1 4202560 8630 0 0 0 64 3 0 0 20 0 20 0 175489129 26626990080 20885 33554432000 4194304 4196468 140731877093488 140401189041216 140401166677077 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7323] ppid=7317 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7323/stat : 7323 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26626990080 20885 33554432000 4194304 4196468 140731877093488 140401141361808 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7324] ppid=7317 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7324/stat : 7324 (java) S 7317 7320 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175489130 26626990080 20885 33554432000 4194304 4196468 140731877093488 140401140309008 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7325] ppid=7317 vsize=26002920 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7325/stat : 7325 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26626990080 20885 33554432000 4194304 4196468 140731877093488 140400740924304 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7326] ppid=7317 vsize=26002920 memory=1004 CPUtime=0 cores=0-7 /proc/7320/task/7326/stat : 7326 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26626990080 20885 33554432000 4194304 4196468 140731877093488 140400739871504 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7327] ppid=7317 vsize=26002920 memory=5788 CPUtime=0 cores=0-7 /proc/7320/task/7327/stat : 7327 (java) S 7317 7320 5410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175489130 26626990080 20885 33554432000 4194304 4196468 140731877093488 140400738818704 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7328] ppid=7317 vsize=26002920 memory=1196 CPUtime=0 cores=0-7 /proc/7320/task/7328/stat : 7328 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26626990080 20885 33554432000 4194304 4196468 140731877093488 140400737765904 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7329] ppid=7317 vsize=26002920 memory=4612 CPUtime=0 cores=0-7 /proc/7320/task/7329/stat : 7329 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26626990080 20885 33554432000 4194304 4196468 140731877093488 140400736713104 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7330] ppid=7317 vsize=26002920 memory=15876 CPUtime=0 cores=0-7 /proc/7320/task/7330/stat : 7330 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489130 26626990080 20885 33554432000 4194304 4196468 140731877093488 140400735660304 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7331] ppid=7317 vsize=26002920 memory=18448 CPUtime=0 cores=0-7 /proc/7320/task/7331/stat : 7331 (java) S 7317 7320 5410 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 175489131 26626990080 20885 33554432000 4194304 4196468 140731877093488 140400581852016 140401184819842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 ################ # More data... # ################ [pid=7320/tid=7338] ppid=7317 vsize=26002920 memory=1712 CPUtime=0.33 cores=0-7 /proc/7320/task/7338/stat : 7338 (java) S 7317 7320 5410 0 -1 1077944384 1330 0 0 0 33 0 0 0 20 0 20 0 175489134 26626990080 20885 33554432000 4194304 4196468 140731877093488 140400574482416 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7339] ppid=7317 vsize=26002920 memory=1952 CPUtime=0 cores=0-7 /proc/7320/task/7339/stat : 7339 (java) S 7317 7320 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175489134 26626990080 20885 33554432000 4194304 4196468 140731877093488 140400573430880 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7340] ppid=7317 vsize=26002920 memory=8624 CPUtime=0 cores=0-7 /proc/7320/task/7340/stat : 7340 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175489135 26626990080 20885 33554432000 4194304 4196468 140731877093488 140400572378160 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 Current children cumulated CPU time: 1.59 s Current children cumulated vsize: 26002920 KiB Current children cumulated memory: 83540 KiB [startup+1.50096 s] /proc/loadavg: 3.44 4.05 6.48 6/199 7340 /proc/meminfo: memFree=21450584/32770624 swapFree=67108860/67108860 [pid=7320] ppid=7317 vsize=26142192 memory=229928 CPUtime=3.52 cores=0-7 /proc/7320/stat : 7320 (java) S 7317 7320 5410 0 -1 1077944320 29096 0 0 0 339 13 0 0 20 0 22 0 175489128 26769604608 57482 33554432000 4194304 4196468 140731877093488 140731877076032 140401184808695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 /proc/7320/statm: 6535548 57482 3811 1 0 6523262 0 [pid=7320/tid=7322] ppid=7317 vsize=26142192 memory=0 CPUtime=1.45 cores=0-7 /proc/7320/task/7322/stat : 7322 (java) R 7317 7320 5410 0 -1 4202560 12655 0 0 0 139 6 0 0 20 0 22 0 175489129 26769604608 57482 33554432000 4194304 4196468 140731877093488 140401189033136 140401170488817 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7323] ppid=7317 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7323/stat : 7323 (java) S 7317 7320 5410 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 22 0 175489130 26769604608 57482 33554432000 4194304 4196468 140731877093488 140401141361808 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7324] ppid=7317 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7324/stat : 7324 (java) S 7317 7320 5410 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 22 0 175489130 26769604608 57482 33554432000 4194304 4196468 140731877093488 140401140309008 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7325] ppid=7317 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7325/stat : 7325 (java) S 7317 7320 5410 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 22 0 175489130 26769604608 57482 33554432000 4194304 4196468 140731877093488 140400740924304 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7326] ppid=7317 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7326/stat : 7326 (java) S 7317 7320 5410 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 22 0 175489130 26769604608 57482 33554432000 4194304 4196468 140731877093488 140400739871504 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7327] ppid=7317 vsize=26142192 memory=280778521608560 CPUtime=0 cores=0-7 /proc/7320/task/7327/stat : 7327 (java) S 7317 7320 5410 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 22 0 175489130 26769604608 57482 33554432000 4194304 4196468 140731877093488 140400738818704 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7328] ppid=7317 vsize=26142192 memory=33612414059498 CPUtime=0 cores=0-7 /proc/7320/task/7328/stat : 7328 (java) S 7317 7320 5410 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 22 0 175489130 26769604608 57482 33554432000 4194304 4196468 140731877093488 140400737765904 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7329] ppid=7317 vsize=26142192 memory=33612414059498 CPUtime=0 cores=0-7 /proc/7320/task/7329/stat : 7329 (java) S 7317 7320 5410 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 22 0 175489130 26769604608 57482 33554432000 4194304 4196468 140731877093488 140400736713104 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7330] ppid=7317 vsize=26142192 memory=2110739867916180 CPUtime=0 cores=0-7 /proc/7320/task/7330/stat : 7330 (java) S 7317 7320 5410 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 22 0 175489130 26769604608 57482 33554432000 4194304 4196468 140731877093488 140400735660304 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7331] ppid=7317 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7331/stat : 7331 (java) S 7317 7320 5410 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 22 0 175489131 26769604608 57482 33554432000 4194304 4196468 140731877093488 140400581852016 140401184819842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7332] ppid=7317 vsize=26142192 memory=1004 CPUtime=0 cores=0-7 /proc/7320/task/7332/stat : 7332 (java) S 7317 7320 5410 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 22 0 175489132 26769604608 57482 33554432000 4194304 4196468 140731877093488 140400580798048 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7333] ppid=7317 vsize=26142192 memory=5788 CPUtime=0 cores=0-7 /proc/7320/task/7333/stat : 7333 (java) S 7317 7320 5410 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 22 0 175489132 26769604608 57482 33554432000 4194304 4196468 140731877093488 140400579745152 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7334] ppid=7317 vsize=26142192 memory=1196 CPUtime=0 cores=0-7 /proc/7320/task/7334/stat : 7334 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 175489134 26769604608 57482 33554432000 4194304 4196468 140731877093488 140400578693456 140401184827291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7335] ppid=7317 vsize=26142192 memory=4612 CPUtime=0.44 cores=0-7 /proc/7320/task/7335/stat : 7335 (java) R 7317 7320 5410 0 -1 1077944384 2981 0 0 0 42 2 0 0 20 0 22 0 175489134 26769604608 57482 33554432000 4194304 4196468 140731877093488 140400577640816 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7336] ppid=7317 vsize=26142192 memory=15876 CPUtime=0.52 cores=0-7 /proc/7320/task/7336/stat : 7336 (java) S 7317 7320 5410 0 -1 1077944384 4024 0 0 0 51 1 0 0 20 0 22 0 175489134 26769604608 57482 33554432000 4194304 4196468 140731877093488 140400576588016 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7337] ppid=7317 vsize=26142192 memory=18448 CPUtime=0.39 cores=0-7 /proc/7320/task/7337/stat : 7337 (java) R 7317 7320 5410 0 -1 4202560 1544 0 0 0 39 0 0 0 20 0 22 0 175489134 26769604608 57482 33554432000 4194304 4196468 140731877093488 140400575535216 140401184820630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7338] ppid=7317 vsize=26142192 memory=26828 CPUtime=0.62 cores=0-7 /proc/7320/task/7338/stat : 7338 (java) S 7317 7320 5410 0 -1 1077944384 5803 0 0 0 61 1 0 0 20 0 22 0 175489134 26769604608 57482 33554432000 4194304 4196468 140731877093488 140400574482416 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7339] ppid=7317 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7339/stat : 7339 (java) S 7317 7320 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 175489134 26769604608 57482 33554432000 4194304 4196468 140731877093488 140400573430880 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7340] ppid=7317 vsize=26142192 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7340/stat : 7340 (java) S 7317 7320 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 175489135 26769604608 57482 33554432000 4194304 4196468 140731877093488 140400572378160 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 Current children cumulated CPU time: 3.52 s Current children cumulated vsize: 26142192 KiB Current children cumulated memory: 229928 KiB [startup+1.71502 s] # the end of solver process 7320 was just reported to runsolver # cumulated CPU time of all completed processes: user=4.27467 s, system=0.162689 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.61103 s] /proc/loadavg: 3.44 4.05 6.48 6/199 7340 /proc/meminfo: memFree=21450584/32770624 swapFree=67108860/67108860 [pid=7320] ppid=7317 vsize=26876444 memory=232460 CPUtime=3.87 cores=0-7 /proc/7320/stat : 7320 (java) S 7317 7320 5410 0 -1 1077944320 30114 0 0 0 373 14 0 0 20 0 33 0 175489128 27521478656 58115 33554432000 4194304 4196468 140731877093488 140731877076032 140401184808695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 /proc/7320/statm: 6719111 58115 3811 1 0 6706825 0 [pid=7320/tid=7322] ppid=7317 vsize=26876444 memory=0 CPUtime=1.53 cores=0-7 /proc/7320/task/7322/stat : 7322 (java) S 7317 7320 5410 0 -1 1077944384 13100 0 0 0 147 6 0 0 20 0 33 0 175489129 27521478656 58115 33554432000 4194304 4196468 140731877093488 140401189046080 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7323] ppid=7317 vsize=26876444 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7323/stat : 7323 (java) S 7317 7320 5410 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 33 0 175489130 27521478656 58115 33554432000 4194304 4196468 140731877093488 140401141361808 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7324] ppid=7317 vsize=26876444 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7324/stat : 7324 (java) S 7317 7320 5410 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 33 0 175489130 27521478656 58115 33554432000 4194304 4196468 140731877093488 140401140309008 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7325] ppid=7317 vsize=26876444 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7325/stat : 7325 (java) S 7317 7320 5410 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 33 0 175489130 27521478656 58115 33554432000 4194304 4196468 140731877093488 140400740924304 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7326] ppid=7317 vsize=26876444 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7326/stat : 7326 (java) S 7317 7320 5410 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 33 0 175489130 27521478656 58115 33554432000 4194304 4196468 140731877093488 140400739871504 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7327] ppid=7317 vsize=26876444 memory=4140 CPUtime=0 cores=0-7 /proc/7320/task/7327/stat : 7327 (java) S 7317 7320 5410 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 33 0 175489130 27521478656 58115 33554432000 4194304 4196468 140731877093488 140400738818704 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7328] ppid=7317 vsize=26876444 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7328/stat : 7328 (java) S 7317 7320 5410 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 33 0 175489130 27521478656 58115 33554432000 4194304 4196468 140731877093488 140400737765904 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7329] ppid=7317 vsize=26876444 memory=140389260768704 CPUtime=0 cores=0-7 /proc/7320/task/7329/stat : 7329 (java) S 7317 7320 5410 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 33 0 175489130 27521478656 58115 33554432000 4194304 4196468 140731877093488 140400736713104 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7330] ppid=7317 vsize=26876444 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7330/stat : 7330 (java) S 7317 7320 5410 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 33 0 175489130 27521478656 58115 33554432000 4194304 4196468 140731877093488 140400735660304 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7331] ppid=7317 vsize=26876444 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7331/stat : 7331 (java) S 7317 7320 5410 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 33 0 175489131 27521478656 58115 33554432000 4194304 4196468 140731877093488 140400581852016 140401184819842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7332] ppid=7317 vsize=26876444 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7332/stat : 7332 (java) S 7317 7320 5410 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 33 0 175489132 27521478656 58115 33554432000 4194304 4196468 140731877093488 140400580798048 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7333] ppid=7317 vsize=26876444 memory=15826954488778 CPUtime=0 cores=0-7 /proc/7320/task/7333/stat : 7333 (java) S 7317 7320 5410 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 33 0 175489132 27521478656 58115 33554432000 4194304 4196468 140731877093488 140400579745152 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7334] ppid=7317 vsize=26876444 memory=288230621803970871 CPUtime=0 cores=0-7 /proc/7320/task/7334/stat : 7334 (java) S 7317 7320 5410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 175489134 27521478656 58115 33554432000 4194304 4196468 140731877093488 140400578693456 140401184827291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7335] ppid=7317 vsize=26876444 memory=15260333174426010 CPUtime=0.46 cores=0-7 /proc/7320/task/7335/stat : 7335 (java) R 7317 7320 5410 0 -1 4202560 2988 0 0 0 44 2 0 0 20 0 33 0 175489134 27521478656 58115 33554432000 4194304 4196468 140731877093488 140400577626256 140401162975176 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7336] ppid=7317 vsize=26876444 memory=0 CPUtime=0.55 cores=0-7 /proc/7320/task/7336/stat : 7336 (java) R 7317 7320 5410 0 -1 4202560 4046 0 0 0 54 1 0 0 20 0 33 0 175489134 27521478656 58115 33554432000 4194304 4196468 140731877093488 140400576574480 140401169925852 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7337] ppid=7317 vsize=26876444 memory=0 CPUtime=0.41 cores=0-7 /proc/7320/task/7337/stat : 7337 (java) R 7317 7320 5410 0 -1 4202560 1583 0 0 0 41 0 0 0 20 0 33 0 175489134 27521478656 58115 33554432000 4194304 4196468 140731877093488 140400575521760 140401166331302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7338] ppid=7317 vsize=26876444 memory=0 CPUtime=0.64 cores=0-7 /proc/7320/task/7338/stat : 7338 (java) R 7317 7320 5410 0 -1 4202560 5832 0 0 0 63 1 0 0 20 0 33 0 175489134 27521478656 58115 33554432000 4194304 4196468 140731877093488 140400574480208 140401177905436 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7339] ppid=7317 vsize=26876444 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7339/stat : 7339 (java) S 7317 7320 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 175489134 27521478656 58115 33554432000 4194304 4196468 140731877093488 140400573430880 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7340] ppid=7317 vsize=26876444 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7340/stat : 7340 (java) S 7317 7320 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 175489135 27521478656 58115 33554432000 4194304 4196468 140731877093488 140400572378160 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 Current children cumulated CPU time: 3.87 s Current children cumulated vsize: 26876444 KiB Current children cumulated memory: 232460 KiB [startup+1.70082 s] /proc/loadavg: 3.44 4.05 6.48 6/199 7340 /proc/meminfo: memFree=21450584/32770624 swapFree=67108860/67108860 [pid=7320] ppid=7317 vsize=27277912 memory=235700 CPUtime=4.42 cores=0-7 /proc/7320/stat : 7320 (java) S 7317 7320 5410 0 -1 1077944320 31468 0 0 0 427 15 0 0 20 0 19 0 175489128 27932581888 58925 33554432000 4194304 4196468 140731877093488 140731877076032 140401184808695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 /proc/7320/statm: 6819478 58925 3822 1 0 6806671 0 [pid=7320/tid=7322] ppid=7317 vsize=27277912 memory=229928 CPUtime=1.54 cores=0-7 /proc/7320/task/7322/stat : 7322 (java) S 7317 7320 5410 0 -1 1077944384 13113 0 0 0 148 6 0 0 20 0 19 0 175489129 27932581888 58925 33554432000 4194304 4196468 140731877093488 140401189051536 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7323] ppid=7317 vsize=27277912 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7323/stat : 7323 (java) S 7317 7320 5410 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 175489130 27932581888 58925 33554432000 4194304 4196468 140731877093488 140401141361808 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7324] ppid=7317 vsize=27277912 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7324/stat : 7324 (java) S 7317 7320 5410 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 175489130 27932581888 58925 33554432000 4194304 4196468 140731877093488 140401140309008 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7325] ppid=7317 vsize=27277912 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7325/stat : 7325 (java) S 7317 7320 5410 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 175489130 27932581888 58925 33554432000 4194304 4196468 140731877093488 140400740924304 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7326] ppid=7317 vsize=27277912 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7326/stat : 7326 (java) S 7317 7320 5410 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 19 0 175489130 27932581888 58925 33554432000 4194304 4196468 140731877093488 140400739871504 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7327] ppid=7317 vsize=27277912 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7327/stat : 7327 (java) S 7317 7320 5410 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 175489130 27932581888 58925 33554432000 4194304 4196468 140731877093488 140400738818704 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7328] ppid=7317 vsize=27277912 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7328/stat : 7328 (java) S 7317 7320 5410 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 175489130 27932581888 58925 33554432000 4194304 4196468 140731877093488 140400737765904 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7329] ppid=7317 vsize=27277912 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7329/stat : 7329 (java) S 7317 7320 5410 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 175489130 27932581888 58925 33554432000 4194304 4196468 140731877093488 140400736713104 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7330] ppid=7317 vsize=27277912 memory=280778521608560 CPUtime=0 cores=0-7 /proc/7320/task/7330/stat : 7330 (java) S 7317 7320 5410 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 175489130 27932581888 58925 33554432000 4194304 4196468 140731877093488 140400735660304 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7331] ppid=7317 vsize=27277912 memory=33612414059498 CPUtime=0 cores=0-7 /proc/7320/task/7331/stat : 7331 (java) S 7317 7320 5410 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 175489131 27932581888 58925 33554432000 4194304 4196468 140731877093488 140400581852224 140401184819842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7332] ppid=7317 vsize=27277912 memory=33612414059498 CPUtime=0 cores=0-7 /proc/7320/task/7332/stat : 7332 (java) S 7317 7320 5410 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 175489132 27932581888 58925 33554432000 4194304 4196468 140731877093488 140400580798048 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7333] ppid=7317 vsize=27277912 memory=2110739867916180 CPUtime=0 cores=0-7 /proc/7320/task/7333/stat : 7333 (java) S 7317 7320 5410 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 175489132 27932581888 58925 33554432000 4194304 4196468 140731877093488 140400579745152 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7334] ppid=7317 vsize=27277912 memory=0 CPUtime=0 cores=0-7 /proc/7320/task/7334/stat : 7334 (java) S 7317 7320 5410 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 175489134 27932581888 58925 33554432000 4194304 4196468 140731877093488 140400578693168 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7335] ppid=7317 vsize=27277912 memory=1004 CPUtime=0.54 cores=0-7 /proc/7320/task/7335/stat : 7335 (java) S 7317 7320 5410 0 -1 1077944384 3070 0 0 0 52 2 0 0 20 0 19 0 175489134 27932581888 58925 33554432000 4194304 4196468 140731877093488 140400577625776 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7336] ppid=7317 vsize=27277912 memory=5788 CPUtime=0.63 cores=0-7 /proc/7320/task/7336/stat : 7336 (java) S 7317 7320 5410 0 -1 1077944384 4241 0 0 0 62 1 0 0 20 0 19 0 175489134 27932581888 58925 33554432000 4194304 4196468 140731877093488 140400576568496 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7337] ppid=7317 vsize=27277912 memory=1196 CPUtime=0.5 cores=0-7 /proc/7320/task/7337/stat : 7337 (java) S 7317 7320 5410 0 -1 1077944384 1986 0 0 0 50 0 0 0 20 0 19 0 175489134 27932581888 58925 33554432000 4194304 4196468 140731877093488 140400575515696 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7338] ppid=7317 vsize=27277912 memory=4612 CPUtime=0.66 cores=0-7 /proc/7320/task/7338/stat : 7338 (java) S 7317 7320 5410 0 -1 1077944384 5904 0 0 0 65 1 0 0 20 0 19 0 175489134 27932581888 58925 33554432000 4194304 4196468 140731877093488 140400574482416 140401184819842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 [pid=7320/tid=7339] ppid=7317 vsize=27277912 memory=15876 CPUtime=0 cores=0-7 /proc/7320/task/7339/stat : 7339 (java) S 7317 7320 5410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 175489134 27932581888 58925 33554432000 4194304 4196468 140731877093488 140400573430880 140401184818901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731877098593 140731877098779 140731877098779 140731877101519 0 Current children cumulated CPU time: 4.42 s Current children cumulated vsize: 27277912 KiB Current children cumulated memory: 235700 KiB Child status: 0 Real time (s): 1.71506 CPU time (s): 4.43736 CPU user time (s): 4.27467 CPU system time (s): 0.162689 CPU usage (%): 258.728 Max. virtual memory (cumulated for all children) (KiB): 27277912 Max. memory (cumulated for all children) (KiB): 235700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.27467 system time used= 0.162689 maximum resident set size= 236768 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31472 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= 4660 involuntary context switches= 10 # summary of solver processes directly reported to runsolver: # pid: 7320 # total CPU time (s): 4.43736 # total CPU user time (s): 4.27467 # total CPU system time (s): 0.162689 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.027083 second user time and 0.059003 second system time The end
Begin job on node107 at 2017-08-22 19:32:32 IDJOB=4285454 IDBENCH=123396 IDSOLVER=2681 FILE ID=node107/4285454-1503424013 RUNJOBID= node107-1503415160-5437 PBS_JOBID= 20632126 Free space on /tmp= 61252 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/Sat/Sat-m1-jnh/jnh-012.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-4285454-1503424013/watcher-4285454-1503424013 -o /tmp/evaluation-result-4285454-1503424013/solver-4285454-1503424013 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1503415160-5437 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1387710570 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285454-1503424013.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3c5fe328a8db4231af8c88bf9e66d100 RANDOM SEED=1387710570 node107.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.84 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.84 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.84 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.84 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: 21565484 kB MemAvailable: 31947164 kB Buffers: 281772 kB Cached: 10385592 kB SwapCached: 0 kB Active: 1789972 kB Inactive: 8934128 kB Active(anon): 59356 kB Inactive(anon): 41324 kB Active(file): 1730616 kB Inactive(file): 8892804 kB Unevictable: 7640 kB Mlocked: 7640 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42424 kB Writeback: 48 kB AnonPages: 63112 kB Mapped: 55076 kB Shmem: 41612 kB Slab: 175464 kB SReclaimable: 148188 kB SUnreclaim: 27276 kB KernelStack: 3520 kB PageTables: 5920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 344832 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61212 MiB End job on node107 at 2017-08-22 19:32:34