Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 2 | 150.894 | 19.5222 |
Name | BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c1w4m.xml |
MD5SUM | 9af4c2349f4dbdb842cc927ab12812f8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 6.11337 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 130 |
Number of constraints | 89 |
Number of domains | 2 |
Minimum domain size | 35 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":35,"count":129},{"size":44,"count":1}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":86},{"degree":5,"count":43}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 129 |
Distribution of constraint arities | [{"arity":3,"count":86},{"arity":44,"count":1},{"arity":129,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":43},{"type":"lex","count":1},{"type":"sum","count":43},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393983-1568439738.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4393983-1568439738.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.35/0.64 c solve instance... 11.27/1.99 o 0 12.01/2.08 o 1 12.72/2.11 o 2 150.15/19.50 s OPTIMUM FOUND 150.15/19.50 v <instantiation> 150.15/19.50 v <list>x b[0][0] b[0][1] b[0][2] b[1][0] b[1][1] b[1][2] b[2][0] b[2][1] b[2][2] b[3][0] b[3][1] b[3][2] b[4][0] b[4][1] b[4][2] b[5][0] b[5][1] b[5][2] b[6][0] b[6][1] b[6][2] b[7][0] b[7][1] b[7][2] b[8][0] b[8][1] b[8][2] b[9][0] b[9][1] b[9][2] b[10][0] b[10][1] b[10][2] b[11][0] b[11][1] b[11][2] b[12][0] b[12][1] b[12][2] b[13][0] b[13][1] b[13][2] b[14][0] b[14][1] b[14][2] b[15][0] b[15][1] b[15][2] b[16][0] b[16][1] b[16][2] b[17][0] b[17][1] b[17][2] b[18][0] b[18][1] b[18][2] b[19][0] b[19][1] b[19][2] b[20][0] b[20][1] b[20][2] b[21][0] b[21][1] b[21][2] b[22][0] b[22][1] b[22][2] b[23][0] b[23][1] b[23][2] b[24][0] b[24][1] b[24][2] b[25][0] b[25][1] b[25][2] b[26][0] b[26][1] b[26][2] b[27][0] b[27][1] b[27][2] b[28][0] b[28][1] b[28][2] b[29][0] b[29][1] b[29][2] b[30][0] b[30][1] b[30][2] b[31][0] b[31][1] b[31][2] b[32][0] b[32][1] b[32][2] b[33][0] b[33][1] b[33][2] b[34][0] b[34][1] b[34][2] b[35][0] b[35][1] b[35][2] b[36][0] b[36][1] b[36][2] b[37][0] b[37][1] b[37][2] b[38][0] b[38][1] b[38][2] b[39][0] b[39][1] b[39][2] b[40][0] b[40][1] b[40][2] b[41][0] b[41][1] b[41][2] b[42][0] b[42][1] b[42][2] </list> 150.15/19.50 v <values>2 100 0 0 99 0 0 99 0 0 94 0 0 93 0 0 92 0 0 91 0 0 89 0 0 88 0 0 88 0 0 87 0 0 80 0 0 79 0 0 77 0 0 75 0 0 74 0 0 73 0 0 71 0 0 71 0 0 71 0 0 69 0 0 66 0 0 64 0 0 64 0 0 64 0 0 63 0 0 63 0 0 63 0 0 62 0 0 60 0 0 60 0 0 59 33 0 59 31 0 59 0 0 55 45 0 55 42 0 55 34 0 53 42 0 51 48 0 49 49 0 46 46 0 0 0 0 0 0 0 </values> 150.15/19.50 v </instantiation>
OK 2
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 (11781 MiB free) memory of node 1: 16384 MiB (14418 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393983-1568439738/watcher-4393983-1568439738 -o /tmp/evaluation-result-4393983-1568439738/solver-4393983-1568439738 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568439668-23122 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 894753716 HOME/instance-4393983-1568439738.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=23928, runsolver pid=23925 Current StackSize limit: 8192 KiB [startup+0.100137 s]* /proc/loadavg: 8.02 8.06 7.91 2/212 23949 /proc/meminfo: memFree=26812176/32770624 swapFree=66957016/67108860 [pid=23928] ppid=23925 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23928/stat : 23928 (xcsp3-exec) S 23925 23928 23095 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419887643 115843072 363 33554432000 4194304 5098028 140735553605872 140735553603976 140610668307068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34762752 140735553610614 140735553610857 140735553610857 140735553613770 0 /proc/23928/statm: 28282 363 304 221 0 87 0 [pid=23930] ppid=23928 vsize=28227388 memory=30328 CPUtime=0.13 cores=0-7 /proc/23930/stat : 23930 (java) S 23928 23928 23095 0 -1 1077944320 5486 0 0 0 11 2 0 0 20 0 20 0 419887643 28904845312 7582 33554432000 4194304 4196468 140733069160000 140733069142544 140714918133495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 /proc/23930/statm: 7056847 7582 3156 1 0 7019032 0 [pid=23930/tid=23931] ppid=23928 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/23930/task/23931/stat : 23931 (java) R 23928 23928 23095 0 -1 4202560 3381 0 0 0 8 1 0 0 20 0 20 0 419887644 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714922367776 140714918145430 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23932] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23932/stat : 23932 (java) S 23928 23928 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419887644 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714874686352 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23933] ppid=23928 vsize=28227388 memory=140216015877760 CPUtime=0 cores=0-7 /proc/23930/task/23933/stat : 23933 (java) S 23928 23928 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419887644 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714468039440 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23934] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23934/stat : 23934 (java) S 23928 23928 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419887644 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714466987152 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23935] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23935/stat : 23935 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419887644 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714465934352 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23936] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23936/stat : 23936 (java) S 23928 23928 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419887644 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714464881040 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23937] ppid=23928 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23930/task/23937/stat : 23937 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419887644 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714463828240 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23938] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23938/stat : 23938 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419887644 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714462775952 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23939] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23939/stat : 23939 (java) S 23928 23928 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419887644 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714461723152 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23940] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23940/stat : 23940 (java) S 23928 23928 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419887646 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714168703600 140714918144642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23941] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23941/stat : 23941 (java) S 23928 23928 23095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419887646 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714167649568 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23942] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23942/stat : 23942 (java) S 23928 23928 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419887647 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714166597232 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23943] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23943/stat : 23943 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419887649 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714165545552 140714918152091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23944] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23944/stat : 23944 (java) S 23928 23928 23095 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 419887649 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714164492400 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23945] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23945/stat : 23945 (java) S 23928 23928 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419887649 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714163439600 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23946] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23946/stat : 23946 (java) S 23928 23928 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419887649 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714162387312 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23947] ppid=23928 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/23930/task/23947/stat : 23947 (java) R 23928 23928 23095 0 -1 4202560 374 0 0 0 2 0 0 0 20 0 20 0 419887649 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714161334512 140714896299335 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23948] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23948/stat : 23948 (java) S 23928 23928 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419887649 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714160282464 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23949] ppid=23928 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23930/task/23949/stat : 23949 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419887649 28904845312 7582 33554432000 4194304 4196468 140733069160000 140714159229744 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31780 KiB [startup+0.210597 s]* /proc/loadavg: 8.02 8.06 7.91 3/212 23949 /proc/meminfo: memFree=26800464/32770624 swapFree=66957016/67108860 [pid=23928] ppid=23925 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23928/stat : 23928 (xcsp3-exec) S 23925 23928 23095 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419887643 115843072 363 33554432000 4194304 5098028 140735553605872 140735553603976 140610668307068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34762752 140735553610614 140735553610857 140735553610857 140735553613770 0 /proc/23928/statm: 28282 363 304 221 0 87 0 [pid=23930] ppid=23928 vsize=28227388 memory=41196 CPUtime=0.34 cores=0-7 /proc/23930/stat : 23930 (java) S 23928 23928 23095 0 -1 1077944320 9070 0 0 0 31 3 0 0 20 0 20 0 419887643 28904845312 10299 33554432000 4194304 4196468 140733069160000 140733069142544 140714918133495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 /proc/23930/statm: 7056847 10299 3284 1 0 7019032 0 [pid=23930/tid=23931] ppid=23928 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/23930/task/23931/stat : 23931 (java) R 23928 23928 23095 0 -1 4202560 6187 0 0 0 18 2 0 0 20 0 20 0 419887644 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714922367552 140714918145430 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23932] ppid=23928 vsize=28227388 memory=328 CPUtime=0 cores=0-7 /proc/23930/task/23932/stat : 23932 (java) S 23928 23928 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419887644 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714874686352 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23933] ppid=23928 vsize=28227388 memory=140216019036073 CPUtime=0 cores=0-7 /proc/23930/task/23933/stat : 23933 (java) S 23928 23928 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419887644 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714468039440 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23934] ppid=23928 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23930/task/23934/stat : 23934 (java) S 23928 23928 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419887644 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714466987152 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23935] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23935/stat : 23935 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419887644 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714465934352 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23936] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23936/stat : 23936 (java) S 23928 23928 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419887644 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714464881040 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23937] ppid=23928 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23930/task/23937/stat : 23937 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419887644 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714463828240 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23938] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23938/stat : 23938 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419887644 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714462775952 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23939] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23939/stat : 23939 (java) S 23928 23928 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419887644 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714461723152 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23940] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23940/stat : 23940 (java) S 23928 23928 23095 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419887646 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714168703600 140714918144642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23941] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23941/stat : 23941 (java) S 23928 23928 23095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419887646 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714167649568 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23942] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23942/stat : 23942 (java) S 23928 23928 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419887647 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714166597232 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23943] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23943/stat : 23943 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419887649 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714165545552 140714918152091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23944] ppid=23928 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/23930/task/23944/stat : 23944 (java) S 23928 23928 23095 0 -1 1077944384 433 0 0 0 1 0 0 0 20 0 20 0 419887649 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714164492400 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23945] ppid=23928 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/23930/task/23945/stat : 23945 (java) S 23928 23928 23095 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 20 0 419887649 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714163439600 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23946] ppid=23928 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7 /proc/23930/task/23946/stat : 23946 (java) S 23928 23928 23095 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 20 0 419887649 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714162387312 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23947] ppid=23928 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/23930/task/23947/stat : 23947 (java) R 23928 23928 23095 0 -1 4202560 706 0 0 0 7 0 0 0 20 0 20 0 419887649 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714161334512 140714918145430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23948] ppid=23928 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23948/stat : 23948 (java) S 23928 23928 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419887649 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714160282464 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23949] ppid=23928 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23930/task/23949/stat : 23949 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419887649 28904845312 10299 33554432000 4194304 4196468 140733069160000 140714159229744 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42648 KiB [startup+0.309727 s]* /proc/loadavg: 8.02 8.06 7.91 5/212 23949 /proc/meminfo: memFree=26793688/32770624 swapFree=66957016/67108860 [pid=23928] ppid=23925 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23928/stat : 23928 (xcsp3-exec) S 23925 23928 23095 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419887643 115843072 363 33554432000 4194304 5098028 140735553605872 140735553603976 140610668307068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34762752 140735553610614 140735553610857 140735553610857 140735553613770 0 /proc/23928/statm: 28282 363 304 221 0 87 0 [pid=23930] ppid=23928 vsize=28231644 memory=50084 CPUtime=0.53 cores=0-7 /proc/23930/stat : 23930 (java) S 23928 23928 23095 0 -1 1077944320 10414 0 0 0 49 4 0 0 20 0 20 0 419887643 28909203456 12521 33554432000 4194304 4196468 140733069160000 140733069142544 140714918133495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 /proc/23930/statm: 7057911 12521 3343 1 0 7019032 0 [pid=23930/tid=23931] ppid=23928 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/23930/task/23931/stat : 23931 (java) R 23928 23928 23095 0 -1 4202560 7295 0 0 0 27 3 0 0 20 0 20 0 419887644 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714922364608 140714902213982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23932] ppid=23928 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23932/stat : 23932 (java) S 23928 23928 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419887644 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714874686352 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23933] ppid=23928 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23933/stat : 23933 (java) S 23928 23928 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419887644 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714468039440 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23934] ppid=23928 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23934/stat : 23934 (java) S 23928 23928 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419887644 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714466987152 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23935] ppid=23928 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23935/stat : 23935 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419887644 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714465934352 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23936] ppid=23928 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/23930/task/23936/stat : 23936 (java) S 23928 23928 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419887644 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714464881040 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23937] ppid=23928 vsize=28231644 memory=140215918359471 CPUtime=0 cores=0-7 /proc/23930/task/23937/stat : 23937 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419887644 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714463828240 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23938] ppid=23928 vsize=28231644 memory=140215918361776 CPUtime=0 cores=0-7 /proc/23930/task/23938/stat : 23938 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419887644 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714462775952 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23939] ppid=23928 vsize=28231644 memory=140215918364080 CPUtime=0 cores=0-7 /proc/23930/task/23939/stat : 23939 (java) S 23928 23928 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419887644 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714461723152 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23940] ppid=23928 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23940/stat : 23940 (java) S 23928 23928 23095 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419887646 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714168703600 140714918144642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23941] ppid=23928 vsize=28231644 memory=280431836735120 CPUtime=0 cores=0-7 /proc/23930/task/23941/stat : 23941 (java) S 23928 23928 23095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419887646 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714167649568 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23942] ppid=23928 vsize=28231644 memory=280431836742032 CPUtime=0 cores=0-7 /proc/23930/task/23942/stat : 23942 (java) S 23928 23928 23095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419887647 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714166597232 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23943] ppid=23928 vsize=28231644 memory=280431836683312 CPUtime=0 cores=0-7 /proc/23930/task/23943/stat : 23943 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419887649 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714165545552 140714918152091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23944] ppid=23928 vsize=28231644 memory=280431836755856 CPUtime=0.03 cores=0-7 /proc/23930/task/23944/stat : 23944 (java) R 23928 23928 23095 0 -1 4202560 564 0 0 0 3 0 0 0 20 0 20 0 419887649 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714164482512 140714899677713 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23945] ppid=23928 vsize=28231644 memory=280431836762768 CPUtime=0.02 cores=0-7 /proc/23930/task/23945/stat : 23945 (java) S 23928 23928 23095 0 -1 1077944384 326 0 0 0 2 0 0 0 20 0 20 0 419887649 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714163439600 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23946] ppid=23928 vsize=28231644 memory=280431836760464 CPUtime=0.03 cores=0-7 /proc/23930/task/23946/stat : 23946 (java) S 23928 23928 23095 0 -1 1077944384 122 0 0 0 3 0 0 0 20 0 20 0 419887649 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714162387312 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23947] ppid=23928 vsize=28231644 memory=280431836776624 CPUtime=0.12 cores=0-7 /proc/23930/task/23947/stat : 23947 (java) S 23928 23928 23095 0 -1 1077944384 795 0 0 0 12 0 0 0 20 0 20 0 419887649 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714161334512 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23948] ppid=23928 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23948/stat : 23948 (java) S 23928 23928 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419887649 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714160282464 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23949] ppid=23928 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/23930/task/23949/stat : 23949 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419887649 28909203456 12521 33554432000 4194304 4196468 140733069160000 140714159229744 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51536 KiB [startup+0.70097 s] /proc/loadavg: 8.02 8.06 7.91 5/212 23949 /proc/meminfo: memFree=26780044/32770624 swapFree=66957016/67108860 [pid=23928] ppid=23925 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23928/stat : 23928 (xcsp3-exec) S 23925 23928 23095 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419887643 115843072 363 33554432000 4194304 5098028 140735553605872 140735553603976 140610668307068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34762752 140735553610614 140735553610857 140735553610857 140735553613770 0 /proc/23928/statm: 28282 363 304 221 0 87 0 [pid=23930] ppid=23928 vsize=28766280 memory=98424 CPUtime=1.75 cores=0-7 /proc/23930/stat : 23930 (java) S 23928 23928 23095 0 -1 1077944320 14963 0 0 0 168 7 0 0 20 0 28 0 419887643 29456670720 24606 33554432000 4194304 4196468 140733069160000 140733069142544 140714918133495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 /proc/23930/statm: 7191570 24606 3456 1 0 7152672 0 [pid=23930/tid=23931] ppid=23928 vsize=28766280 memory=280431837134512 CPUtime=0.65 cores=0-7 /proc/23930/task/23931/stat : 23931 (java) S 23928 23928 23095 0 -1 1077944384 8837 0 0 0 61 4 0 0 20 0 28 0 419887644 29456670720 24606 33554432000 4194304 4196468 140733069160000 140714922374272 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23932] ppid=23928 vsize=28766280 memory=140215918568304 CPUtime=0 cores=0-7 /proc/23930/task/23932/stat : 23932 (java) S 23928 23928 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 419887644 29456670720 24606 33554432000 4194304 4196468 140733069160000 140714874686352 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23933] ppid=23928 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23933/stat : 23933 (java) S 23928 23928 23095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 419887644 29456670720 24606 33554432000 4194304 4196468 140733069160000 140714468039440 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23934] ppid=23928 vsize=28766280 memory=1096 CPUtime=0 cores=0-7 /proc/23930/task/23934/stat : 23934 (java) S 23928 23928 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419887644 29456670720 24606 33554432000 4194304 4196468 140733069160000 140714466987152 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 ################ # More data... # ################ [pid=23930/tid=23978] ppid=23928 vsize=28768328 memory=7367995975065948240 CPUtime=15.54 cores=0-7 /proc/23930/task/23978/stat : 23978 (java) R 23928 23928 23095 0 -1 4202560 5130 0 0 0 1542 12 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714150019336 140714564282810 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23979] ppid=23928 vsize=28768328 memory=4639904302751567952 CPUtime=15.66 cores=0-7 /proc/23930/task/23979/stat : 23979 (java) R 23928 23928 23095 0 -1 4202560 777 0 0 0 1565 1 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714143705112 140714564713354 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23980] ppid=23928 vsize=28768328 memory=4639622827774857296 CPUtime=15.88 cores=0-7 /proc/23930/task/23980/stat : 23980 (java) R 23928 23928 23095 0 -1 4202560 601 0 0 0 1586 2 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714146861720 140714563767775 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23981] ppid=23928 vsize=28768328 memory=4640748727681699920 CPUtime=15.98 cores=0-7 /proc/23930/task/23981/stat : 23981 (java) R 23928 23928 23095 0 -1 4202560 331 0 0 0 1597 1 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714148966000 140714559235707 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23982] ppid=23928 vsize=28768328 memory=4640185777728278608 CPUtime=15.81 cores=0-7 /proc/23930/task/23982/stat : 23982 (java) R 23928 23928 23095 0 -1 4202560 382 0 0 0 1580 1 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714145809128 140714559195516 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23983] ppid=23928 vsize=28768328 memory=288230574492221466 CPUtime=15.7 cores=0-7 /proc/23930/task/23983/stat : 23983 (java) R 23928 23928 23095 0 -1 4202560 981 0 0 0 1570 0 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714147913112 140714560778783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 Current children cumulated CPU time: 145.3 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1204348 KiB [startup+19.202 s] /proc/loadavg: 8.33 8.14 7.94 9/220 23983 /proc/meminfo: memFree=25639680/32770624 swapFree=66957016/67108860 [pid=23928] ppid=23925 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23928/stat : 23928 (xcsp3-exec) S 23925 23928 23095 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419887643 115843072 363 33554432000 4194304 5098028 140735553605872 140735553603976 140610668307068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34762752 140735553610614 140735553610857 140735553610857 140735553613770 0 /proc/23928/statm: 28282 363 304 221 0 87 0 [pid=23930] ppid=23928 vsize=28768328 memory=1202896 CPUtime=148.48 cores=0-7 /proc/23930/stat : 23930 (java) S 23928 23928 23095 0 -1 1077944320 65962 0 0 0 14756 92 0 0 20 0 28 0 419887643 29458767872 300724 33554432000 4194304 4196468 140733069160000 140733069142544 140714918133495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 /proc/23930/statm: 7192082 300724 3529 1 0 7153184 0 [pid=23930/tid=23931] ppid=23928 vsize=28768328 memory=0 CPUtime=0.65 cores=0-7 /proc/23930/task/23931/stat : 23931 (java) S 23928 23928 23095 0 -1 1077944384 8913 0 0 0 61 4 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714922374272 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23932] ppid=23928 vsize=28768328 memory=0 CPUtime=0.11 cores=0-7 /proc/23930/task/23932/stat : 23932 (java) S 23928 23928 23095 0 -1 1077944384 198 0 0 0 5 6 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714874686352 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23933] ppid=23928 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7 /proc/23930/task/23933/stat : 23933 (java) S 23928 23928 23095 0 -1 1077944384 1021 0 0 0 4 6 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714468039440 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23934] ppid=23928 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7 /proc/23930/task/23934/stat : 23934 (java) S 23928 23928 23095 0 -1 1077944384 339 0 0 0 4 6 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714466987152 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23935] ppid=23928 vsize=28768328 memory=7451318169246261352 CPUtime=0.1 cores=0-7 /proc/23930/task/23935/stat : 23935 (java) S 23928 23928 23095 0 -1 1077944384 186 0 0 0 5 5 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714465934352 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23936] ppid=23928 vsize=28768328 memory=5791726317272917849 CPUtime=0.1 cores=0-7 /proc/23930/task/23936/stat : 23936 (java) S 23928 23928 23095 0 -1 1077944384 281 0 0 0 5 5 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714464881040 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23937] ppid=23928 vsize=28768328 memory=7306316804797196914 CPUtime=0.1 cores=0-7 /proc/23930/task/23937/stat : 23937 (java) S 23928 23928 23095 0 -1 1077944384 233 0 0 0 4 6 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714463828240 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23938] ppid=23928 vsize=28768328 memory=5787213827499253841 CPUtime=0.1 cores=0-7 /proc/23930/task/23938/stat : 23938 (java) S 23928 23928 23095 0 -1 1077944384 178 0 0 0 5 5 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714462775952 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23939] ppid=23928 vsize=28768328 memory=7649399367152513842 CPUtime=0.1 cores=0-7 /proc/23930/task/23939/stat : 23939 (java) S 23928 23928 23095 0 -1 1077944384 654 0 0 0 5 5 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714461723152 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23940] ppid=23928 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/23930/task/23940/stat : 23940 (java) S 23928 23928 23095 0 -1 1077944384 1221 0 0 0 2 0 0 0 20 0 28 0 419887646 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714168703600 140714918144642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23941] ppid=23928 vsize=28768328 memory=1452 CPUtime=0 cores=0-7 /proc/23930/task/23941/stat : 23941 (java) S 23928 23928 23095 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 419887646 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714167649632 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23942] ppid=23928 vsize=28768328 memory=719608 CPUtime=0 cores=0-7 /proc/23930/task/23942/stat : 23942 (java) S 23928 23928 23095 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 419887647 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714166597248 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23943] ppid=23928 vsize=28768328 memory=5 CPUtime=0 cores=0-7 /proc/23930/task/23943/stat : 23943 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419887649 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714165545552 140714918152091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23944] ppid=23928 vsize=28768328 memory=1452 CPUtime=3.23 cores=0-7 /proc/23930/task/23944/stat : 23944 (java) R 23928 23928 23095 0 -1 4202560 14045 0 0 0 319 4 0 0 20 0 28 0 419887649 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714164492400 140714898833792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23945] ppid=23928 vsize=28768328 memory=0 CPUtime=2.53 cores=0-7 /proc/23930/task/23945/stat : 23945 (java) S 23928 23928 23095 0 -1 1077944384 9020 0 0 0 251 2 0 0 20 0 28 0 419887649 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714163439600 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23946] ppid=23928 vsize=28768328 memory=280431837169152 CPUtime=2.69 cores=0-7 /proc/23930/task/23946/stat : 23946 (java) S 23928 23928 23095 0 -1 1077944384 10338 0 0 0 266 3 0 0 20 0 28 0 419887649 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714162387312 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23947] ppid=23928 vsize=28768328 memory=7525637497340388976 CPUtime=0.97 cores=0-7 /proc/23930/task/23947/stat : 23947 (java) S 23928 23928 23095 0 -1 1077944384 7027 0 0 0 94 3 0 0 20 0 28 0 419887649 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714161334512 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23948] ppid=23928 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23948/stat : 23948 (java) S 23928 23928 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419887649 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714160282464 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23949] ppid=23928 vsize=28768328 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/23930/task/23949/stat : 23949 (java) S 23928 23928 23095 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 28 0 419887649 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714159229744 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23976] ppid=23928 vsize=28768328 memory=29878655519 CPUtime=16.06 cores=0-7 /proc/23930/task/23976/stat : 23976 (java) R 23928 23928 23095 0 -1 4202560 326 0 0 0 1606 0 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714144755832 140714560597933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23977] ppid=23928 vsize=28768328 memory=7733671496686743444 CPUtime=15.91 cores=0-7 /proc/23930/task/23977/stat : 23977 (java) R 23928 23928 23095 0 -1 4202560 258 0 0 0 1591 0 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714142651480 140714558718992 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23978] ppid=23928 vsize=28768328 memory=280431837186944 CPUtime=15.93 cores=0-7 /proc/23930/task/23978/stat : 23978 (java) R 23928 23928 23095 0 -1 4202560 5260 0 0 0 1581 12 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714150020208 140714560236971 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23979] ppid=23928 vsize=28768328 memory=280431837191472 CPUtime=16.06 cores=0-7 /proc/23930/task/23979/stat : 23979 (java) R 23928 23928 23095 0 -1 4202560 782 0 0 0 1605 1 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714143703384 140714560597936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23980] ppid=23928 vsize=28768328 memory=6943526294502006880 CPUtime=16.28 cores=0-7 /proc/23930/task/23980/stat : 23980 (java) R 23928 23928 23095 0 -1 4202560 607 0 0 0 1626 2 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714146860928 140714559195622 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23981] ppid=23928 vsize=28768328 memory=7805670919834594153 CPUtime=16.38 cores=0-7 /proc/23930/task/23981/stat : 23981 (java) R 23928 23928 23095 0 -1 4202560 336 0 0 0 1637 1 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714148966576 140714560600297 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23982] ppid=23928 vsize=28768328 memory=6625 CPUtime=16.2 cores=0-7 /proc/23930/task/23982/stat : 23982 (java) R 23928 23928 23095 0 -1 4202560 384 0 0 0 1619 1 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714145808664 140714560778783 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23983] ppid=23928 vsize=28768328 memory=280431837209664 CPUtime=16.1 cores=0-7 /proc/23930/task/23983/stat : 23983 (java) R 23928 23928 23095 0 -1 4202560 981 0 0 0 1610 0 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714147914520 140714560598063 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 Current children cumulated CPU time: 148.48 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1204348 KiB [startup+19.402 s]* /proc/loadavg: 8.33 8.14 7.94 9/220 23983 /proc/meminfo: memFree=25640076/32770624 swapFree=66957016/67108860 [pid=23928] ppid=23925 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23928/stat : 23928 (xcsp3-exec) S 23925 23928 23095 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419887643 115843072 363 33554432000 4194304 5098028 140735553605872 140735553603976 140610668307068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34762752 140735553610614 140735553610857 140735553610857 140735553613770 0 /proc/23928/statm: 28282 363 304 221 0 87 0 [pid=23930] ppid=23928 vsize=28768328 memory=1202896 CPUtime=150.15 cores=0-7 /proc/23930/stat : 23930 (java) S 23928 23928 23095 0 -1 1077944320 67677 0 0 0 14921 94 0 0 20 0 28 0 419887643 29458767872 300724 33554432000 4194304 4196468 140733069160000 140733069142544 140714918133495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 /proc/23930/statm: 7192082 300724 3529 1 0 7153184 0 [pid=23930/tid=23931] ppid=23928 vsize=28768328 memory=4026531863 CPUtime=0.65 cores=0-7 /proc/23930/task/23931/stat : 23931 (java) S 23928 23928 23095 0 -1 1077944384 8913 0 0 0 61 4 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714922374272 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23932] ppid=23928 vsize=28768328 memory=9224 CPUtime=0.11 cores=0-7 /proc/23930/task/23932/stat : 23932 (java) S 23928 23928 23095 0 -1 1077944384 198 0 0 0 5 6 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714874686352 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23933] ppid=23928 vsize=28768328 memory=140216017816003 CPUtime=0.1 cores=0-7 /proc/23930/task/23933/stat : 23933 (java) S 23928 23928 23095 0 -1 1077944384 1021 0 0 0 4 6 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714468039440 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23934] ppid=23928 vsize=28768328 memory=-1 CPUtime=0.1 cores=0-7 /proc/23930/task/23934/stat : 23934 (java) S 23928 23928 23095 0 -1 1077944384 339 0 0 0 4 6 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714466987152 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23935] ppid=23928 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7 /proc/23930/task/23935/stat : 23935 (java) S 23928 23928 23095 0 -1 1077944384 186 0 0 0 5 5 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714465934352 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23936] ppid=23928 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7 /proc/23930/task/23936/stat : 23936 (java) S 23928 23928 23095 0 -1 1077944384 281 0 0 0 5 5 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714464881040 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23937] ppid=23928 vsize=28768328 memory=-1 CPUtime=0.1 cores=0-7 /proc/23930/task/23937/stat : 23937 (java) S 23928 23928 23095 0 -1 1077944384 233 0 0 0 4 6 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714463828240 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23938] ppid=23928 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7 /proc/23930/task/23938/stat : 23938 (java) S 23928 23928 23095 0 -1 1077944384 178 0 0 0 5 5 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714462775952 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23939] ppid=23928 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7 /proc/23930/task/23939/stat : 23939 (java) S 23928 23928 23095 0 -1 1077944384 654 0 0 0 5 5 0 0 20 0 28 0 419887644 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714461723152 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23940] ppid=23928 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/23930/task/23940/stat : 23940 (java) S 23928 23928 23095 0 -1 1077944384 1221 0 0 0 2 0 0 0 20 0 28 0 419887646 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714168703600 140714918144642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23941] ppid=23928 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23941/stat : 23941 (java) S 23928 23928 23095 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 419887646 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714167649632 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23942] ppid=23928 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23942/stat : 23942 (java) S 23928 23928 23095 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 419887647 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714166597248 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23943] ppid=23928 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23943/stat : 23943 (java) S 23928 23928 23095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419887649 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714165545552 140714918152091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23944] ppid=23928 vsize=28768328 memory=0 CPUtime=3.32 cores=0-7 /proc/23930/task/23944/stat : 23944 (java) S 23928 23928 23095 0 -1 1077944384 15224 0 0 0 328 4 0 0 20 0 28 0 419887649 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714164492400 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23945] ppid=23928 vsize=28768328 memory=0 CPUtime=2.56 cores=0-7 /proc/23930/task/23945/stat : 23945 (java) S 23928 23928 23095 0 -1 1077944384 9374 0 0 0 253 3 0 0 20 0 28 0 419887649 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714163439600 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23946] ppid=23928 vsize=28768328 memory=0 CPUtime=2.69 cores=0-7 /proc/23930/task/23946/stat : 23946 (java) S 23928 23928 23095 0 -1 1077944384 10338 0 0 0 266 3 0 0 20 0 28 0 419887649 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714162387312 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23947] ppid=23928 vsize=28768328 memory=0 CPUtime=0.97 cores=0-7 /proc/23930/task/23947/stat : 23947 (java) S 23928 23928 23095 0 -1 1077944384 7047 0 0 0 94 3 0 0 20 0 28 0 419887649 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714161334512 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23948] ppid=23928 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23948/stat : 23948 (java) S 23928 23928 23095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419887649 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714160282464 140714918143701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23949] ppid=23928 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/23930/task/23949/stat : 23949 (java) S 23928 23928 23095 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 28 0 419887649 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714159229744 140714918144642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23976] ppid=23928 vsize=28768328 memory=-1 CPUtime=16.21 cores=0-7 /proc/23930/task/23976/stat : 23976 (java) R 23928 23928 23095 0 -1 4202560 327 0 0 0 1621 0 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714144755832 140714559359832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23977] ppid=23928 vsize=28768328 memory=0 CPUtime=16.09 cores=0-7 /proc/23930/task/23977/stat : 23977 (java) R 23928 23928 23095 0 -1 4202560 259 0 0 0 1609 0 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714142651480 140714560598228 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23978] ppid=23928 vsize=28768328 memory=0 CPUtime=16.14 cores=0-7 /proc/23930/task/23978/stat : 23978 (java) R 23928 23928 23095 0 -1 4202560 5356 0 0 0 1602 12 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714150018504 140714559863875 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23979] ppid=23928 vsize=28768328 memory=0 CPUtime=16.24 cores=0-7 /proc/23930/task/23979/stat : 23979 (java) R 23928 23928 23095 0 -1 4202560 797 0 0 0 1623 1 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714143703384 140714558718259 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23980] ppid=23928 vsize=28768328 memory=0 CPUtime=16.49 cores=0-7 /proc/23930/task/23980/stat : 23980 (java) R 23928 23928 23095 0 -1 4202560 613 0 0 0 1647 2 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714146861064 140714560597933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23981] ppid=23928 vsize=28768328 memory=0 CPUtime=16.59 cores=0-7 /proc/23930/task/23981/stat : 23981 (java) R 23928 23928 23095 0 -1 4202560 344 0 0 0 1658 1 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714148966712 140714560598037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23982] ppid=23928 vsize=28768328 memory=0 CPUtime=16.4 cores=0-7 /proc/23930/task/23982/stat : 23982 (java) R 23928 23928 23095 0 -1 4202560 408 0 0 0 1639 1 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714145808664 140714560778915 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 [pid=23930/tid=23983] ppid=23928 vsize=28768328 memory=0 CPUtime=16.31 cores=0-7 /proc/23930/task/23983/stat : 23983 (java) R 23928 23928 23095 0 -1 4202560 985 0 0 0 1631 0 0 0 20 0 28 0 419887855 29458767872 300724 33554432000 4194304 4196468 140733069160000 140714147916360 140714560778648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39448576 140733069161450 140733069161622 140733069161622 140733069164495 0 Current children cumulated CPU time: 150.15 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1204348 KiB [startup+19.5112 s] /proc/loadavg: 8.33 8.14 7.94 9/220 23983 /proc/meminfo: memFree=25640076/32770624 swapFree=66957016/67108860 [pid=23928] ppid=23925 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23928/stat : 23928 (xcsp3-exec) S 23925 23928 23095 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 419887643 115843072 363 33554432000 4194304 5098028 140735553605872 140735553603976 140610668307068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34762752 140735553610614 140735553610857 140735553610857 140735553613770 0 /proc/23928/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 19.5222 CPU time (s): 150.894 CPU user time (s): 149.935 CPU system time (s): 0.959062 CPU usage (%): 772.934 Max. virtual memory (cumulated for all children) (KiB): 28883312 Max. memory (cumulated for all children) (KiB): 1204348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 149.935 system time used= 0.959062 maximum resident set size= 1229584 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68933 page faults= 0 swaps= 0 block input operations= 0 block output operations= 168 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6262 involuntary context switches= 3133 # summary of solver processes directly reported to runsolver: # pid: 23928 # total CPU time (s): 150.894 # total CPU user time (s): 149.935 # total CPU system time (s): 0.959062 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.197491 second user time and 0.250567 second system time The end
Begin job on node147 at 2019-09-14 07:41:35 IDJOB=4393983 IDBENCH=136203 IDSOLVER=2841 FILE ID=node147/4393983-1568439738 RUNJOBID= node147-1568439668-23122 PBS_JOBID= 21702336 Free space on /tmp= 58880 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n1c1w4m.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393983-1568439738/watcher-4393983-1568439738 -o /tmp/evaluation-result-4393983-1568439738/solver-4393983-1568439738 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568439668-23122 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 894753716 HOME/instance-4393983-1568439738.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9af4c2349f4dbdb842cc927ab12812f8 RANDOM SEED=894753716 node147.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.52 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.52 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.52 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.52 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: 26829976 kB MemAvailable: 31812412 kB Buffers: 197532 kB Cached: 5008004 kB SwapCached: 48496 kB Active: 2044048 kB Inactive: 3213564 kB Active(anon): 3768 kB Inactive(anon): 89344 kB Active(file): 2040280 kB Inactive(file): 3124220 kB Unevictable: 107760 kB Mlocked: 107760 kB SwapTotal: 67108860 kB SwapFree: 66957016 kB Dirty: 26552 kB Writeback: 0 kB AnonPages: 122908 kB Mapped: 44856 kB Shmem: 32768 kB Slab: 275472 kB SReclaimable: 246396 kB SUnreclaim: 29076 kB KernelStack: 3728 kB PageTables: 5212 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497572 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 58856 MiB End job on node147 at 2019-09-14 07:41:54