Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | SAT | 3.71123 | 1.84109 |
Name | CarSequencing/ CarSequencing-dingbas_c18.xml |
MD5SUM | f25e9b6e669dc8bf92e23091ea1c77d3 |
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 | 1.48586 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 60 |
Number of constraints | 63 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 6 |
Distribution of domain sizes | [{"size":2,"count":50},{"size":6,"count":10}] |
Minimum variable degree | 2 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":2,"count":10},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":10},{"degree":6,"count":14},{"degree":7,"count":11},{"degree":8,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":2,"count":10},{"arity":3,"count":16},{"arity":4,"count":3},{"arity":5,"count":14},{"arity":6,"count":11},{"arity":7,"count":2},{"arity":8,"count":1},{"arity":10,"count":6}] |
Number of extensional constraints | 10 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":10},{"type":"sum","count":52},{"type":"cardinality","count":1}] |
Optimization problem | NO |
Type of objective |
0.67/0.55 c version: 2018-08-14 0.67/0.55 c seed: 1856647560 0.67/0.55 c timeout: 20160 0.67/0.55 c memlimit: 22000 0.67/0.55 c nbcore: 8 0.67/0.58 c Parsing instance... 1.19/0.86 c Parsing done, starting search... 3.61/1.81 s SATISFIABLE 3.61/1.81 v <instantiation> 3.61/1.81 v <list> 3.61/1.81 v cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] 3.61/1.81 v </list> 3.61/1.81 v <values> 3.61/1.81 v 5 3 4 2 3 4 1 5 2 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 1 1 0 3.61/1.81 v </values> 3.61/1.81 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 (12888 MiB free) memory of node 1: 16384 MiB (10344 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309002-1534384699/watcher-4309002-1534384699 -o /tmp/evaluation-result-4309002-1534384699/solver-4309002-1534384699 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1534382151-26058 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1856647560 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309002-1534384699.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=26488, runsolver pid=26485 [startup+0.100121 s]* /proc/loadavg: 8.65 8.82 8.82 2/198 26508 /proc/meminfo: memFree=23774320/32770624 swapFree=67108368/67108860 [pid=26488] ppid=26485 vsize=26103420 memory=31152 CPUtime=0.12 cores=0-7 /proc/26488/stat : 26488 (java) S 26485 26488 26031 0 -1 1077944320 7227 0 0 0 10 2 0 0 20 0 20 0 256033111 26729902080 7788 33554432000 4194304 4196468 140723507686928 140723507669472 140002836811511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 /proc/26488/statm: 6525855 7788 3137 1 0 6487932 0 [pid=26488/tid=26490] ppid=26485 vsize=26103420 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/26488/task/26490/stat : 26490 (java) R 26485 26488 26031 0 -1 4202560 5325 0 0 0 7 1 0 0 20 0 20 0 256033112 26729902080 7788 33554432000 4194304 4196468 140723507686928 140002841042704 140002817087260 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26491] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26491/stat : 26491 (java) S 26485 26488 26031 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 7788 33554432000 4194304 4196468 140723507686928 140002789432464 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26492] ppid=26485 vsize=26103420 memory=140434303309440 CPUtime=0 cores=0-7 /proc/26488/task/26492/stat : 26492 (java) S 26485 26488 26031 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 7788 33554432000 4194304 4196468 140723507686928 140002788379664 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26493] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26493/stat : 26493 (java) S 26485 26488 26031 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 7854 33554432000 4194304 4196468 140723507686928 140002787326864 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26494] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26494/stat : 26494 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 7854 33554432000 4194304 4196468 140723507686928 140002786274064 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26495] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26495/stat : 26495 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 7854 33554432000 4194304 4196468 140723507686928 140002785221264 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26496] ppid=26485 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/26488/task/26496/stat : 26496 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 7854 33554432000 4194304 4196468 140723507686928 140002784168464 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26497] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26497/stat : 26497 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 7854 33554432000 4194304 4196468 140723507686928 140002783115664 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26498] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26498/stat : 26498 (java) S 26485 26488 26031 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 7854 33554432000 4194304 4196468 140723507686928 140002782062864 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26499] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26499/stat : 26499 (java) S 26485 26488 26031 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256033114 26729902080 7854 33554432000 4194304 4196468 140723507686928 140001829403504 140002836822658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26500] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26500/stat : 26500 (java) S 26485 26488 26031 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 256033115 26729902080 7854 33554432000 4194304 4196468 140723507686928 140001828349472 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26501] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26501/stat : 26501 (java) S 26485 26488 26031 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 256033115 26729902080 7854 33554432000 4194304 4196468 140723507686928 140001827296624 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26502] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26502/stat : 26502 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033117 26729902080 7854 33554432000 4194304 4196468 140723507686928 140001826244944 140002836830107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26503] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26503/stat : 26503 (java) S 26485 26488 26031 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 256033117 26729902080 7854 33554432000 4194304 4196468 140723507686928 140001825192304 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26504] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26504/stat : 26504 (java) S 26485 26488 26031 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256033117 26729902080 7920 33554432000 4194304 4196468 140723507686928 140001824139504 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26505] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26505/stat : 26505 (java) S 26485 26488 26031 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256033117 26729902080 7920 33554432000 4194304 4196468 140723507686928 140001823086704 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26506] ppid=26485 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/26488/task/26506/stat : 26506 (java) S 26485 26488 26031 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 20 0 256033117 26729902080 7920 33554432000 4194304 4196468 140723507686928 140001822033904 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26507] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26507/stat : 26507 (java) S 26485 26488 26031 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256033117 26729902080 7920 33554432000 4194304 4196468 140723507686928 140001820982368 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26508] ppid=26485 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/26488/task/26508/stat : 26508 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033118 26729902080 7920 33554432000 4194304 4196468 140723507686928 140001819929648 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 31152 KiB [startup+0.210156 s]* /proc/loadavg: 8.65 8.82 8.82 4/198 26508 /proc/meminfo: memFree=23760616/32770624 swapFree=67108368/67108860 [pid=26488] ppid=26485 vsize=26103420 memory=43040 CPUtime=0.3 cores=0-7 /proc/26488/stat : 26488 (java) S 26485 26488 26031 0 -1 1077944320 10429 0 0 0 27 3 0 0 20 0 20 0 256033111 26729902080 10760 33554432000 4194304 4196468 140723507686928 140723507669472 140002836811511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 /proc/26488/statm: 6525855 10760 3361 1 0 6487932 0 [pid=26488/tid=26490] ppid=26485 vsize=26103420 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/26488/task/26490/stat : 26490 (java) R 26485 26488 26031 0 -1 4202560 8187 0 0 0 18 2 0 0 20 0 20 0 256033112 26729902080 10760 33554432000 4194304 4196468 140723507686928 140002841037408 140002820891998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26491] ppid=26485 vsize=26103420 memory=9340 CPUtime=0 cores=0-7 /proc/26488/task/26491/stat : 26491 (java) S 26485 26488 26031 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 10760 33554432000 4194304 4196468 140723507686928 140002789432464 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26492] ppid=26485 vsize=26103420 memory=288370810455021184 CPUtime=0 cores=0-7 /proc/26488/task/26492/stat : 26492 (java) S 26485 26488 26031 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 10760 33554432000 4194304 4196468 140723507686928 140002788379664 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26493] ppid=26485 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/26488/task/26493/stat : 26493 (java) S 26485 26488 26031 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 10760 33554432000 4194304 4196468 140723507686928 140002787326864 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26494] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26494/stat : 26494 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 10760 33554432000 4194304 4196468 140723507686928 140002786274064 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26495] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26495/stat : 26495 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 10760 33554432000 4194304 4196468 140723507686928 140002785221264 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26496] ppid=26485 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/26488/task/26496/stat : 26496 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 10760 33554432000 4194304 4196468 140723507686928 140002784168464 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26497] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26497/stat : 26497 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 10760 33554432000 4194304 4196468 140723507686928 140002783115664 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26498] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26498/stat : 26498 (java) S 26485 26488 26031 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 10760 33554432000 4194304 4196468 140723507686928 140002782062864 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26499] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26499/stat : 26499 (java) S 26485 26488 26031 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 256033114 26729902080 10760 33554432000 4194304 4196468 140723507686928 140001829403504 140002836822658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26500] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26500/stat : 26500 (java) S 26485 26488 26031 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 256033115 26729902080 10760 33554432000 4194304 4196468 140723507686928 140001828349472 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26501] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26501/stat : 26501 (java) S 26485 26488 26031 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 256033115 26729902080 10760 33554432000 4194304 4196468 140723507686928 140001827296624 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26502] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26502/stat : 26502 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033117 26729902080 10760 33554432000 4194304 4196468 140723507686928 140001826244944 140002836830107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26503] ppid=26485 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/26488/task/26503/stat : 26503 (java) S 26485 26488 26031 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 256033117 26729902080 10760 33554432000 4194304 4196468 140723507686928 140001825192304 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26504] ppid=26485 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/26488/task/26504/stat : 26504 (java) S 26485 26488 26031 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 256033117 26729902080 10760 33554432000 4194304 4196468 140723507686928 140001824139504 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26505] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26505/stat : 26505 (java) S 26485 26488 26031 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 256033117 26729902080 10760 33554432000 4194304 4196468 140723507686928 140001823086704 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26506] ppid=26485 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7 /proc/26488/task/26506/stat : 26506 (java) R 26485 26488 26031 0 -1 4202560 305 0 0 0 6 0 0 0 20 0 20 0 256033117 26729902080 10760 33554432000 4194304 4196468 140723507686928 140001822028944 140002815351555 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26507] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26507/stat : 26507 (java) S 26485 26488 26031 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256033117 26729902080 10760 33554432000 4194304 4196468 140723507686928 140001820982368 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26508] ppid=26485 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/26488/task/26508/stat : 26508 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033118 26729902080 10760 33554432000 4194304 4196468 140723507686928 140001819929648 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 43040 KiB [startup+0.310385 s]* /proc/loadavg: 8.65 8.82 8.82 3/198 26508 /proc/meminfo: memFree=23757328/32770624 swapFree=67108368/67108860 [pid=26488] ppid=26485 vsize=26103420 memory=46560 CPUtime=0.43 cores=0-7 /proc/26488/stat : 26488 (java) S 26485 26488 26031 0 -1 1077944320 10866 0 0 0 40 3 0 0 20 0 20 0 256033111 26729902080 11640 33554432000 4194304 4196468 140723507686928 140723507669472 140002836811511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 /proc/26488/statm: 6525855 11640 3373 1 0 6487932 0 [pid=26488/tid=26490] ppid=26485 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/26488/task/26490/stat : 26490 (java) R 26485 26488 26031 0 -1 4202560 8530 0 0 0 27 2 0 0 20 0 20 0 256033112 26729902080 11640 33554432000 4194304 4196468 140723507686928 140002840973248 140002820891998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26491] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26491/stat : 26491 (java) S 26485 26488 26031 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 11640 33554432000 4194304 4196468 140723507686928 140002789432464 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26492] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26492/stat : 26492 (java) S 26485 26488 26031 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 11640 33554432000 4194304 4196468 140723507686928 140002788379664 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26493] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26493/stat : 26493 (java) S 26485 26488 26031 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 11640 33554432000 4194304 4196468 140723507686928 140002787326864 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26494] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26494/stat : 26494 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 11640 33554432000 4194304 4196468 140723507686928 140002786274064 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26495] ppid=26485 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/26488/task/26495/stat : 26495 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 11640 33554432000 4194304 4196468 140723507686928 140002785221264 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26496] ppid=26485 vsize=26103420 memory=140434156385199 CPUtime=0 cores=0-7 /proc/26488/task/26496/stat : 26496 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 11640 33554432000 4194304 4196468 140723507686928 140002784168464 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26497] ppid=26485 vsize=26103420 memory=140434156387504 CPUtime=0 cores=0-7 /proc/26488/task/26497/stat : 26497 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 11640 33554432000 4194304 4196468 140723507686928 140002783115664 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26498] ppid=26485 vsize=26103420 memory=140434156389808 CPUtime=0 cores=0-7 /proc/26488/task/26498/stat : 26498 (java) S 26485 26488 26031 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256033113 26729902080 11640 33554432000 4194304 4196468 140723507686928 140002782062864 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26499] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26499/stat : 26499 (java) S 26485 26488 26031 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 256033114 26729902080 11640 33554432000 4194304 4196468 140723507686928 140001829403504 140002836822658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26500] ppid=26485 vsize=26103420 memory=280868312786576 CPUtime=0 cores=0-7 /proc/26488/task/26500/stat : 26500 (java) S 26485 26488 26031 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 256033115 26729902080 11640 33554432000 4194304 4196468 140723507686928 140001828349472 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26501] ppid=26485 vsize=26103420 memory=280868312793488 CPUtime=0 cores=0-7 /proc/26488/task/26501/stat : 26501 (java) S 26485 26488 26031 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 256033115 26729902080 11640 33554432000 4194304 4196468 140723507686928 140001827296624 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26502] ppid=26485 vsize=26103420 memory=280868312734768 CPUtime=0 cores=0-7 /proc/26488/task/26502/stat : 26502 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033117 26729902080 11640 33554432000 4194304 4196468 140723507686928 140001826244944 140002836830107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26503] ppid=26485 vsize=26103420 memory=280868312807312 CPUtime=0.01 cores=0-7 /proc/26488/task/26503/stat : 26503 (java) S 26485 26488 26031 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 20 0 256033117 26729902080 11640 33554432000 4194304 4196468 140723507686928 140001825192304 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26504] ppid=26485 vsize=26103420 memory=280868312814224 CPUtime=0.01 cores=0-7 /proc/26488/task/26504/stat : 26504 (java) S 26485 26488 26031 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 256033117 26729902080 11640 33554432000 4194304 4196468 140723507686928 140001824139504 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26505] ppid=26485 vsize=26103420 memory=280868312811920 CPUtime=0 cores=0-7 /proc/26488/task/26505/stat : 26505 (java) S 26485 26488 26031 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 256033117 26729902080 11640 33554432000 4194304 4196468 140723507686928 140001823086704 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26506] ppid=26485 vsize=26103420 memory=280868312828528 CPUtime=0.08 cores=0-7 /proc/26488/task/26506/stat : 26506 (java) S 26485 26488 26031 0 -1 1077944384 323 0 0 0 8 0 0 0 20 0 20 0 256033117 26729902080 11640 33554432000 4194304 4196468 140723507686928 140001822033904 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26507] ppid=26485 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26507/stat : 26507 (java) S 26485 26488 26031 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256033117 26729902080 11640 33554432000 4194304 4196468 140723507686928 140001820982368 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26508] ppid=26485 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/26488/task/26508/stat : 26508 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033118 26729902080 11640 33554432000 4194304 4196468 140723507686928 140001819929648 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 46560 KiB [startup+0.701184 s] /proc/loadavg: 8.65 8.82 8.82 3/198 26508 /proc/meminfo: memFree=23733020/32770624 swapFree=67108368/67108860 [pid=26488] ppid=26485 vsize=26105488 memory=85716 CPUtime=0.99 cores=0-7 /proc/26488/stat : 26488 (java) S 26485 26488 26031 0 -1 1077944320 17825 0 0 0 94 5 0 0 20 0 20 0 256033111 26732019712 21429 33554432000 4194304 4196468 140723507686928 140723507669472 140002836811511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 /proc/26488/statm: 6526372 21429 3498 1 0 6488444 0 [pid=26488/tid=26490] ppid=26485 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7 /proc/26488/task/26490/stat : 26490 (java) R 26485 26488 26031 0 -1 4202560 15029 0 0 0 63 4 0 0 20 0 20 0 256033112 26732019712 21429 33554432000 4194304 4196468 140723507686928 140002841027232 140002821248366 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26491] ppid=26485 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26491/stat : 26491 (java) S 26485 26488 26031 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256033113 26732019712 21429 33554432000 4194304 4196468 140723507686928 140002789432464 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26492] ppid=26485 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26492/stat : 26492 (java) S 26485 26488 26031 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256033113 26732019712 21429 33554432000 4194304 4196468 140723507686928 140002788379664 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26493] ppid=26485 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26493/stat : 26493 (java) S 26485 26488 26031 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256033113 26732019712 21429 33554432000 4194304 4196468 140723507686928 140002787326864 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26494] ppid=26485 vsize=26105488 memory=3920 CPUtime=0 cores=0-7 /proc/26488/task/26494/stat : 26494 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033113 26732019712 21429 33554432000 4194304 4196468 140723507686928 140002786274064 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26495] ppid=26485 vsize=26105488 memory=1288 CPUtime=0 cores=0-7 /proc/26488/task/26495/stat : 26495 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033113 26732019712 21429 33554432000 4194304 4196468 140723507686928 140002785221264 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26496] ppid=26485 vsize=26105488 memory=3460 CPUtime=0 cores=0-7 /proc/26488/task/26496/stat : 26496 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033113 26732019712 21429 33554432000 4194304 4196468 140723507686928 140002784168464 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26497] ppid=26485 vsize=26105488 memory=1104 CPUtime=0 cores=0-7 /proc/26488/task/26497/stat : 26497 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033113 26732019712 21429 33554432000 4194304 4196468 140723507686928 140002783115664 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26498] ppid=26485 vsize=26105488 memory=14912 CPUtime=0 cores=0-7 /proc/26488/task/26498/stat : 26498 (java) S 26485 26488 26031 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 256033113 26732019712 21429 33554432000 4194304 4196468 140723507686928 140002782062864 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26499] ppid=26485 vsize=26105488 memory=3364 CPUtime=0 cores=0-7 /proc/26488/task/26499/stat : 26499 (java) S 26485 26488 26031 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 256033114 26732019712 21429 33554432000 4194304 4196468 140723507686928 140001829403504 140002836822658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 ################ # More data... # ################ [pid=26488/tid=26507] ppid=26485 vsize=26105488 memory=872 CPUtime=0 cores=0-7 /proc/26488/task/26507/stat : 26507 (java) S 26485 26488 26031 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 256033117 26732019712 21429 33554432000 4194304 4196468 140723507686928 140001820982368 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26508] ppid=26485 vsize=26105488 memory=1920 CPUtime=0 cores=0-7 /proc/26488/task/26508/stat : 26508 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 256033118 26732019712 21429 33554432000 4194304 4196468 140723507686928 140001819929648 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 Current children cumulated CPU time: 0.99 s Current children cumulated vsize: 26105488 KiB Current children cumulated memory: 85716 KiB [startup+1.50095 s] /proc/loadavg: 8.03 8.69 8.78 4/198 26508 /proc/meminfo: memFree=23697940/32770624 swapFree=67108368/67108860 [pid=26488] ppid=26485 vsize=26246808 memory=182444 CPUtime=2.81 cores=0-7 /proc/26488/stat : 26488 (java) S 26485 26488 26031 0 -1 1077944320 29343 0 0 0 270 11 0 0 20 0 22 0 256033111 26876731392 45611 33554432000 4194304 4196468 140723507686928 140723507669472 140002836811511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 /proc/26488/statm: 6561702 45611 3573 1 0 6523774 0 [pid=26488/tid=26490] ppid=26485 vsize=26246808 memory=0 CPUtime=1.42 cores=0-7 /proc/26488/task/26490/stat : 26490 (java) R 26485 26488 26031 0 -1 4202560 20738 0 0 0 136 6 0 0 20 0 22 0 256033112 26876731392 45611 33554432000 4194304 4196468 140723507686928 140002841029936 140002818375067 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26491] ppid=26485 vsize=26246808 memory=0 CPUtime=0.01 cores=0-7 /proc/26488/task/26491/stat : 26491 (java) S 26485 26488 26031 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 22 0 256033113 26876731392 45611 33554432000 4194304 4196468 140723507686928 140002789432464 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26492] ppid=26485 vsize=26246808 memory=0 CPUtime=0.01 cores=0-7 /proc/26488/task/26492/stat : 26492 (java) S 26485 26488 26031 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 22 0 256033113 26876731392 45611 33554432000 4194304 4196468 140723507686928 140002788379664 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26493] ppid=26485 vsize=26246808 memory=0 CPUtime=0.01 cores=0-7 /proc/26488/task/26493/stat : 26493 (java) S 26485 26488 26031 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 22 0 256033113 26876731392 45611 33554432000 4194304 4196468 140723507686928 140002787326864 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26494] ppid=26485 vsize=26246808 memory=0 CPUtime=0.01 cores=0-7 /proc/26488/task/26494/stat : 26494 (java) S 26485 26488 26031 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 22 0 256033113 26876731392 45611 33554432000 4194304 4196468 140723507686928 140002786274064 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26495] ppid=26485 vsize=26246808 memory=280868313343152 CPUtime=0.01 cores=0-7 /proc/26488/task/26495/stat : 26495 (java) S 26485 26488 26031 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 22 0 256033113 26876731392 45611 33554432000 4194304 4196468 140723507686928 140002785221264 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26496] ppid=26485 vsize=26246808 memory=115938347189226 CPUtime=0.01 cores=0-7 /proc/26488/task/26496/stat : 26496 (java) S 26485 26488 26031 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 22 0 256033113 26876731392 45611 33554432000 4194304 4196468 140723507686928 140002784168464 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26497] ppid=26485 vsize=26246808 memory=115938347189226 CPUtime=0.01 cores=0-7 /proc/26488/task/26497/stat : 26497 (java) S 26485 26488 26031 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 22 0 256033113 26876731392 45611 33554432000 4194304 4196468 140723507686928 140002783115664 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26498] ppid=26485 vsize=26246808 memory=280868313366336 CPUtime=0.01 cores=0-7 /proc/26488/task/26498/stat : 26498 (java) S 26485 26488 26031 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 22 0 256033113 26876731392 45611 33554432000 4194304 4196468 140723507686928 140002782062864 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26499] ppid=26485 vsize=26246808 memory=0 CPUtime=0.01 cores=0-7 /proc/26488/task/26499/stat : 26499 (java) S 26485 26488 26031 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 22 0 256033114 26876731392 45611 33554432000 4194304 4196468 140723507686928 140001829403504 140002836822658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26500] ppid=26485 vsize=26246808 memory=3920 CPUtime=0 cores=0-7 /proc/26488/task/26500/stat : 26500 (java) S 26485 26488 26031 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 22 0 256033115 26876731392 45611 33554432000 4194304 4196468 140723507686928 140001828349536 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26501] ppid=26485 vsize=26246808 memory=1288 CPUtime=0 cores=0-7 /proc/26488/task/26501/stat : 26501 (java) S 26485 26488 26031 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 22 0 256033115 26876731392 45611 33554432000 4194304 4196468 140723507686928 140001827296640 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26502] ppid=26485 vsize=26246808 memory=3460 CPUtime=0 cores=0-7 /proc/26488/task/26502/stat : 26502 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 256033117 26876731392 45611 33554432000 4194304 4196468 140723507686928 140001826244944 140002836830107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26503] ppid=26485 vsize=26246808 memory=1104 CPUtime=0.23 cores=0-7 /proc/26488/task/26503/stat : 26503 (java) S 26485 26488 26031 0 -1 1077944384 952 0 0 0 23 0 0 0 20 0 22 0 256033117 26876731392 45611 33554432000 4194304 4196468 140723507686928 140001825192304 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26504] ppid=26485 vsize=26246808 memory=14912 CPUtime=0.2 cores=0-7 /proc/26488/task/26504/stat : 26504 (java) S 26485 26488 26031 0 -1 1077944384 703 0 0 0 20 0 0 0 20 0 22 0 256033117 26876731392 45611 33554432000 4194304 4196468 140723507686928 140001824139504 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26505] ppid=26485 vsize=26246808 memory=3364 CPUtime=0.24 cores=0-7 /proc/26488/task/26505/stat : 26505 (java) S 26485 26488 26031 0 -1 1077944384 1073 0 0 0 24 0 0 0 20 0 22 0 256033117 26876731392 45611 33554432000 4194304 4196468 140723507686928 140001823086704 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26506] ppid=26485 vsize=26246808 memory=38528 CPUtime=0.54 cores=0-7 /proc/26488/task/26506/stat : 26506 (java) S 26485 26488 26031 0 -1 1077944384 2962 0 0 0 54 0 0 0 20 0 22 0 256033117 26876731392 45611 33554432000 4194304 4196468 140723507686928 140001822033904 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26507] ppid=26485 vsize=26246808 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26507/stat : 26507 (java) S 26485 26488 26031 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 256033117 26876731392 45611 33554432000 4194304 4196468 140723507686928 140001820982368 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26508] ppid=26485 vsize=26246808 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26508/stat : 26508 (java) S 26485 26488 26031 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 256033118 26876731392 45611 33554432000 4194304 4196468 140723507686928 140001819929648 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 Current children cumulated CPU time: 2.81 s Current children cumulated vsize: 26246808 KiB Current children cumulated memory: 182444 KiB [startup+1.84104 s] # the end of solver process 26488 was just reported to runsolver # cumulated CPU time of all completed processes: user=3.56607 s, system=0.14516 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60109 s] /proc/loadavg: 8.03 8.69 8.78 4/198 26508 /proc/meminfo: memFree=23697940/32770624 swapFree=67108368/67108860 [pid=26488] ppid=26485 vsize=26248856 memory=183864 CPUtime=2.93 cores=0-7 /proc/26488/stat : 26488 (java) S 26485 26488 26031 0 -1 1077944320 29723 0 0 0 282 11 0 0 20 0 22 0 256033111 26878828544 45966 33554432000 4194304 4196468 140723507686928 140723507669472 140002836811511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 /proc/26488/statm: 6562214 45966 3573 1 0 6524286 0 [pid=26488/tid=26490] ppid=26485 vsize=26248856 memory=0 CPUtime=1.52 cores=0-7 /proc/26488/task/26490/stat : 26490 (java) R 26485 26488 26031 0 -1 4202560 21085 0 0 0 146 6 0 0 20 0 22 0 256033112 26878828544 45966 33554432000 4194304 4196468 140723507686928 140002841045168 140002818375055 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26491] ppid=26485 vsize=26248856 memory=0 CPUtime=0.01 cores=0-7 /proc/26488/task/26491/stat : 26491 (java) S 26485 26488 26031 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 22 0 256033113 26878828544 45966 33554432000 4194304 4196468 140723507686928 140002789432464 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26492] ppid=26485 vsize=26248856 memory=0 CPUtime=0.01 cores=0-7 /proc/26488/task/26492/stat : 26492 (java) S 26485 26488 26031 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 22 0 256033113 26878828544 45966 33554432000 4194304 4196468 140723507686928 140002788379664 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26493] ppid=26485 vsize=26248856 memory=0 CPUtime=0.01 cores=0-7 /proc/26488/task/26493/stat : 26493 (java) S 26485 26488 26031 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 22 0 256033113 26878828544 45966 33554432000 4194304 4196468 140723507686928 140002787326864 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26494] ppid=26485 vsize=26248856 memory=0 CPUtime=0.01 cores=0-7 /proc/26488/task/26494/stat : 26494 (java) S 26485 26488 26031 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 22 0 256033113 26878828544 45966 33554432000 4194304 4196468 140723507686928 140002786274064 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26495] ppid=26485 vsize=26248856 memory=3684 CPUtime=0.01 cores=0-7 /proc/26488/task/26495/stat : 26495 (java) S 26485 26488 26031 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 22 0 256033113 26878828544 45966 33554432000 4194304 4196468 140723507686928 140002785221264 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26496] ppid=26485 vsize=26248856 memory=0 CPUtime=0.01 cores=0-7 /proc/26488/task/26496/stat : 26496 (java) S 26485 26488 26031 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 22 0 256033113 26878828544 45966 33554432000 4194304 4196468 140723507686928 140002784168464 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26497] ppid=26485 vsize=26248856 memory=140434156598720 CPUtime=0.01 cores=0-7 /proc/26488/task/26497/stat : 26497 (java) S 26485 26488 26031 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 22 0 256033113 26878828544 45966 33554432000 4194304 4196468 140723507686928 140002783115664 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26498] ppid=26485 vsize=26248856 memory=0 CPUtime=0.01 cores=0-7 /proc/26488/task/26498/stat : 26498 (java) S 26485 26488 26031 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 22 0 256033113 26878828544 45966 33554432000 4194304 4196468 140723507686928 140002782062864 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26499] ppid=26485 vsize=26248856 memory=0 CPUtime=0.01 cores=0-7 /proc/26488/task/26499/stat : 26499 (java) S 26485 26488 26031 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 22 0 256033114 26878828544 45966 33554432000 4194304 4196468 140723507686928 140001829403504 140002836822658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26500] ppid=26485 vsize=26248856 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26500/stat : 26500 (java) S 26485 26488 26031 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 22 0 256033115 26878828544 45966 33554432000 4194304 4196468 140723507686928 140001828349536 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26501] ppid=26485 vsize=26248856 memory=12966506269086 CPUtime=0 cores=0-7 /proc/26488/task/26501/stat : 26501 (java) S 26485 26488 26031 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 22 0 256033115 26878828544 45966 33554432000 4194304 4196468 140723507686928 140001827296640 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26502] ppid=26485 vsize=26248856 memory=288230596050944315 CPUtime=0 cores=0-7 /proc/26488/task/26502/stat : 26502 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 256033117 26878828544 45966 33554432000 4194304 4196468 140723507686928 140001826244944 140002836830107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26503] ppid=26485 vsize=26248856 memory=13850767857556514 CPUtime=0.23 cores=0-7 /proc/26488/task/26503/stat : 26503 (java) S 26485 26488 26031 0 -1 1077944384 959 0 0 0 23 0 0 0 20 0 22 0 256033117 26878828544 45966 33554432000 4194304 4196468 140723507686928 140001825192304 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26504] ppid=26485 vsize=26248856 memory=0 CPUtime=0.2 cores=0-7 /proc/26488/task/26504/stat : 26504 (java) S 26485 26488 26031 0 -1 1077944384 705 0 0 0 20 0 0 0 20 0 22 0 256033117 26878828544 45966 33554432000 4194304 4196468 140723507686928 140001824139504 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26505] ppid=26485 vsize=26248856 memory=0 CPUtime=0.25 cores=0-7 /proc/26488/task/26505/stat : 26505 (java) S 26485 26488 26031 0 -1 1077944384 1076 0 0 0 25 0 0 0 20 0 22 0 256033117 26878828544 45966 33554432000 4194304 4196468 140723507686928 140001823086704 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26506] ppid=26485 vsize=26248856 memory=0 CPUtime=0.55 cores=0-7 /proc/26488/task/26506/stat : 26506 (java) S 26485 26488 26031 0 -1 1077944384 2983 0 0 0 55 0 0 0 20 0 22 0 256033117 26878828544 45966 33554432000 4194304 4196468 140723507686928 140001822033904 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26507] ppid=26485 vsize=26248856 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26507/stat : 26507 (java) S 26485 26488 26031 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 256033117 26878828544 45966 33554432000 4194304 4196468 140723507686928 140001820982368 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26508] ppid=26485 vsize=26248856 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26508/stat : 26508 (java) S 26485 26488 26031 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 256033118 26878828544 45966 33554432000 4194304 4196468 140723507686928 140001819929648 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 Current children cumulated CPU time: 2.93 s Current children cumulated vsize: 26248856 KiB Current children cumulated memory: 183864 KiB [startup+1.80115 s] /proc/loadavg: 8.03 8.69 8.78 4/198 26508 /proc/meminfo: memFree=23697940/32770624 swapFree=67108368/67108860 [pid=26488] ppid=26485 vsize=27318012 memory=188840 CPUtime=3.61 cores=0-7 /proc/26488/stat : 26488 (java) S 26485 26488 26031 0 -1 1077944320 31456 0 0 0 348 13 0 0 20 0 38 0 256033111 27973644288 47210 33554432000 4194304 4196468 140723507686928 140723507669472 140002836811511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 /proc/26488/statm: 6829503 47210 3588 1 0 6791054 0 [pid=26488/tid=26490] ppid=26485 vsize=27318012 memory=6791534058613427641 CPUtime=1.65 cores=0-7 /proc/26488/task/26490/stat : 26490 (java) S 26485 26488 26031 0 -1 1077944384 21520 0 0 0 159 6 0 0 20 0 38 0 256033112 27973644288 47210 33554432000 4194304 4196468 140723507686928 140002841048976 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26491] ppid=26485 vsize=27318012 memory=1198 CPUtime=0.01 cores=0-7 /proc/26488/task/26491/stat : 26491 (java) S 26485 26488 26031 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 38 0 256033113 27973644288 47210 33554432000 4194304 4196468 140723507686928 140002789432464 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26492] ppid=26485 vsize=27318012 memory=280868312923824 CPUtime=0.01 cores=0-7 /proc/26488/task/26492/stat : 26492 (java) S 26485 26488 26031 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 38 0 256033113 27973644288 47210 33554432000 4194304 4196468 140723507686928 140002788379664 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26493] ppid=26485 vsize=27318012 memory=288230621803970871 CPUtime=0.01 cores=0-7 /proc/26488/task/26493/stat : 26493 (java) S 26485 26488 26031 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 38 0 256033113 27973644288 47210 33554432000 4194304 4196468 140723507686928 140002787326864 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26494] ppid=26485 vsize=27318012 memory=1262324 CPUtime=0.01 cores=0-7 /proc/26488/task/26494/stat : 26494 (java) S 26485 26488 26031 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 38 0 256033113 27973644288 47210 33554432000 4194304 4196468 140723507686928 140002786274064 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26495] ppid=26485 vsize=27318012 memory=4638778398332834916 CPUtime=0.01 cores=0-7 /proc/26488/task/26495/stat : 26495 (java) S 26485 26488 26031 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 38 0 256033113 27973644288 47210 33554432000 4194304 4196468 140723507686928 140002785221264 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26496] ppid=26485 vsize=27318012 memory=7372786582024121444 CPUtime=0.01 cores=0-7 /proc/26488/task/26496/stat : 26496 (java) S 26485 26488 26031 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 38 0 256033113 27973644288 47210 33554432000 4194304 4196468 140723507686928 140002784168464 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26497] ppid=26485 vsize=27318012 memory=5859271421084194152 CPUtime=0.01 cores=0-7 /proc/26488/task/26497/stat : 26497 (java) S 26485 26488 26031 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 38 0 256033113 27973644288 47210 33554432000 4194304 4196468 140723507686928 140002783115664 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26498] ppid=26485 vsize=27318012 memory=0 CPUtime=0.01 cores=0-7 /proc/26488/task/26498/stat : 26498 (java) S 26485 26488 26031 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 38 0 256033113 27973644288 47210 33554432000 4194304 4196468 140723507686928 140002782062864 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26499] ppid=26485 vsize=27318012 memory=280868313097408 CPUtime=0.01 cores=0-7 /proc/26488/task/26499/stat : 26499 (java) S 26485 26488 26031 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 38 0 256033114 27973644288 47210 33554432000 4194304 4196468 140723507686928 140001829403504 140002836822658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26500] ppid=26485 vsize=27318012 memory=25 CPUtime=0 cores=0-7 /proc/26488/task/26500/stat : 26500 (java) S 26485 26488 26031 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 38 0 256033115 27973644288 47210 33554432000 4194304 4196468 140723507686928 140001828349536 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26501] ppid=26485 vsize=27318012 memory=0 CPUtime=0 cores=0-7 /proc/26488/task/26501/stat : 26501 (java) S 26485 26488 26031 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 38 0 256033115 27973644288 47210 33554432000 4194304 4196468 140723507686928 140001827296640 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26502] ppid=26485 vsize=27318012 memory=7230638415855315031 CPUtime=0 cores=0-7 /proc/26488/task/26502/stat : 26502 (java) S 26485 26488 26031 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 38 0 256033117 27973644288 47210 33554432000 4194304 4196468 140723507686928 140001826244944 140002836830107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26503] ppid=26485 vsize=27318012 memory=7305792226048107881 CPUtime=0.29 cores=0-7 /proc/26488/task/26503/stat : 26503 (java) R 26485 26488 26031 0 -1 4202560 989 0 0 0 29 0 0 0 20 0 38 0 256033117 27973644288 47210 33554432000 4194304 4196468 140723507686928 140001825178816 140002818335229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26504] ppid=26485 vsize=27318012 memory=6368180515893764457 CPUtime=0.26 cores=0-7 /proc/26488/task/26504/stat : 26504 (java) R 26485 26488 26031 0 -1 4202560 724 0 0 0 26 0 0 0 20 0 38 0 256033117 27973644288 47210 33554432000 4194304 4196468 140723507686928 140001824125600 140002814828499 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26505] ppid=26485 vsize=27318012 memory=2148 CPUtime=0.3 cores=0-7 /proc/26488/task/26505/stat : 26505 (java) R 26485 26488 26031 0 -1 4202560 1107 0 0 0 30 0 0 0 20 0 38 0 256033117 27973644288 47275 33554432000 4194304 4196468 140723507686928 140001823074848 140002820343039 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26506] ppid=26485 vsize=27318012 memory=1160 CPUtime=0.63 cores=0-7 /proc/26488/task/26506/stat : 26506 (java) R 26485 26488 26031 0 -1 4202560 3145 0 0 0 63 0 0 0 20 0 38 0 256033117 27973644288 47275 33554432000 4194304 4196468 140723507686928 140001822028944 140002815457089 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26507] ppid=26485 vsize=27318012 memory=1764 CPUtime=0 cores=0-7 /proc/26488/task/26507/stat : 26507 (java) S 26485 26488 26031 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 38 0 256033117 27973644288 47275 33554432000 4194304 4196468 140723507686928 140001820982368 140002836821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 [pid=26488/tid=26508] ppid=26485 vsize=27318012 memory=1616 CPUtime=0 cores=0-7 /proc/26488/task/26508/stat : 26508 (java) S 26485 26488 26031 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 38 0 256033118 27973644288 47275 33554432000 4194304 4196468 140723507686928 140001819929648 140002836822658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36106240 140723507692621 140723507692805 140723507692805 140723507695567 0 Current children cumulated CPU time: 3.61 s Current children cumulated vsize: 27318012 KiB Current children cumulated memory: 188840 KiB Child status: 0 Real time (s): 1.84109 CPU time (s): 3.71123 CPU user time (s): 3.56607 CPU system time (s): 0.14516 CPU usage (%): 201.578 Max. virtual memory (cumulated for all children) (KiB): 27318012 Max. memory (cumulated for all children) (KiB): 188840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.56607 system time used= 0.14516 maximum resident set size= 191012 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31697 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= 5046 involuntary context switches= 28 # summary of solver processes directly reported to runsolver: # pid: 26488 # total CPU time (s): 3.71123 # total CPU user time (s): 3.56607 # total CPU system time (s): 0.14516 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.033886 second user time and 0.05681 second system time The end
Begin job on node148 at 2018-08-16 03:58:20 IDJOB=4309002 IDBENCH=141456 IDSOLVER=2793 FILE ID=node148/4309002-1534384699 RUNJOBID= node148-1534382151-26058 PBS_JOBID= 21038300 Free space on /tmp= 44896 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/CarSequencing/CarSequencing-dingbas_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309002-1534384699/watcher-4309002-1534384699 -o /tmp/evaluation-result-4309002-1534384699/solver-4309002-1534384699 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1534382151-26058 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1856647560 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309002-1534384699.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f25e9b6e669dc8bf92e23091ea1c77d3 RANDOM SEED=1856647560 node148.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.50 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.50 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.50 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.50 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: 23791444 kB MemAvailable: 31897320 kB Buffers: 195244 kB Cached: 8138188 kB SwapCached: 4 kB Active: 4466764 kB Inactive: 3918376 kB Active(anon): 5760 kB Inactive(anon): 106424 kB Active(file): 4461004 kB Inactive(file): 3811952 kB Unevictable: 7348 kB Mlocked: 7348 kB SwapTotal: 67108860 kB SwapFree: 67108368 kB Dirty: 36140 kB Writeback: 0 kB AnonPages: 54116 kB Mapped: 56104 kB Shmem: 57780 kB Slab: 290000 kB SReclaimable: 261380 kB SUnreclaim: 28620 kB KernelStack: 3632 kB PageTables: 5252 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 357316 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 44860 MiB End job on node148 at 2018-08-16 03:58:22