Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | SAT (TO) | 0 | 20047.2 | 2520.09 |
Name | BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r1.xml |
MD5SUM | a404c513102fb879343dc63e509eedd5 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 2520.44 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 166 |
Number of constraints | 25 |
Number of domains | 2 |
Minimum domain size | 12 |
Maximum domain size | 70 |
Distribution of domain sizes | [{"size":12,"count":1},{"size":70,"count":165}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":154},{"degree":5,"count":11}] |
Minimum constraint arity | 12 |
Maximum constraint arity | 165 |
Distribution of constraint arities | [{"arity":12,"count":1},{"arity":15,"count":22},{"arity":165,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":11},{"type":"lex","count":1},{"type":"sum","count":11},{"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-4407158-1569356442.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407158-1569356442.xml, -tl, 20160s, -p, 8] 0.35/0.22 c 8 solvers in parallel 0.35/0.29 c parse instance... 1.05/0.59 c solve instance... 1988.85/249.95 o 0 20046.55/2520.07 s SATISFIABLE 20046.55/2520.07 v <instantiation> 20046.55/2520.07 v <list>x b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[0][10] b[0][11] b[0][12] b[0][13] b[0][14] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[1][10] b[1][11] b[1][12] b[1][13] b[1][14] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[2][10] b[2][11] b[2][12] b[2][13] b[2][14] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[3][10] b[3][11] b[3][12] b[3][13] b[3][14] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[4][10] b[4][11] b[4][12] b[4][13] b[4][14] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[5][7] b[5][8] b[5][9] b[5][10] b[5][11] b[5][12] b[5][13] b[5][14] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7] b[6][8] b[6][9] b[6][10] b[6][11] b[6][12] b[6][13] b[6][14] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9] b[7][10] b[7][11] b[7][12] b[7][13] b[7][14] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[8][6] b[8][7] b[8][8] b[8][9] b[8][10] b[8][11] b[8][12] b[8][13] b[8][14] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[9][6] b[9][7] b[9][8] b[9][9] b[9][10] b[9][11] b[9][12] b[9][13] b[9][14] b[10][0] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[10][6] b[10][7] b[10][8] b[10][9] b[10][10] b[10][11] b[10][12] b[10][13] b[10][14] </list> 20046.55/2520.07 v <values>0 165 102 101 96 94 86 86 85 62 60 59 0 0 0 0 165 89 86 86 84 84 83 82 82 80 79 0 0 0 0 164 140 138 135 131 131 129 0 0 0 0 0 0 0 0 160 95 95 94 93 92 91 74 71 70 65 0 0 0 0 159 150 150 143 139 116 85 0 0 0 0 0 0 0 0 157 103 102 76 74 67 67 67 66 65 0 0 0 0 0 155 115 114 113 113 113 109 90 78 0 0 0 0 0 0 154 134 108 107 103 100 97 94 85 0 0 0 0 0 0 154 131 130 123 121 115 111 111 0 0 0 0 0 0 0 153 138 137 128 127 68 61 61 61 61 0 0 0 0 0 150 147 146 144 125 118 116 0 0 0 0 0 0 0 0 </values> 20046.55/2520.07 v </instantiation> 20046.55/2520.07 c Unexpected resolution interruption!
OK 0
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 (11570 MiB free) memory of node 1: 16384 MiB (12622 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407158-1569356442/watcher-4407158-1569356442 -o /var/tmp/evaluation-result-4407158-1569356442/solver-4407158-1569356442 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569349254-25829 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2145738979 HOME/instance-4407158-1569356442.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=29362, runsolver pid=29359 Current StackSize limit: 8192 KiB [startup+0.100721 s]* /proc/loadavg: 8.24 8.10 8.20 2/211 29383 /proc/meminfo: memFree=24757012/32770624 swapFree=66976788/67108860 [pid=29362] ppid=29359 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29362/stat : 29362 (xcsp3-exec) S 29359 29362 25802 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511584270 115843072 363 33554432000 4194304 5098028 140732543567712 140732543565816 140226982998652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25886720 140732543574865 140732543575125 140732543575125 140732543578054 0 /proc/29362/statm: 28282 363 304 221 0 87 0 [pid=29364] ppid=29362 vsize=28227396 memory=28772 CPUtime=0.12 cores=0-7 /proc/29364/stat : 29364 (java) S 29362 29362 25802 0 -1 1077944320 5630 0 0 0 11 1 0 0 20 0 20 0 511584270 28904853504 7193 33554432000 4194304 4196468 140732637939680 140732637922224 139884617805559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 /proc/29364/statm: 7056849 7193 3139 1 0 7019032 0 [pid=29364/tid=29365] ppid=29362 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/29364/task/29365/stat : 29365 (java) R 29362 29362 25802 0 -1 4202560 3567 0 0 0 8 0 0 0 20 0 20 0 511584270 28904853504 7193 33554432000 4194304 4196468 140732637939680 139884622040576 139884600299602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29366] ppid=29362 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/29364/task/29366/stat : 29366 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584271 28904853504 7193 33554432000 4194304 4196468 140732637939680 139884537658000 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29367] ppid=29362 vsize=28227396 memory=140091540743808 CPUtime=0 cores=0-7 /proc/29364/task/29367/stat : 29367 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584271 28904853504 7193 33554432000 4194304 4196468 140732637939680 139884536605200 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29368] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29368/stat : 29368 (java) S 29362 29362 25802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511584271 28904853504 7193 33554432000 4194304 4196468 140732637939680 139884166764944 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29369] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29369/stat : 29369 (java) S 29362 29362 25802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511584271 28904853504 7193 33554432000 4194304 4196468 140732637939680 139884165712144 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29370] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29370/stat : 29370 (java) S 29362 29362 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511584271 28904853504 7193 33554432000 4194304 4196468 140732637939680 139884164660368 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29371] ppid=29362 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29364/task/29371/stat : 29371 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584271 28904853504 7193 33554432000 4194304 4196468 140732637939680 139884163607568 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29372] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29372/stat : 29372 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584271 28904853504 7193 33554432000 4194304 4196468 140732637939680 139884162554768 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29373] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29373/stat : 29373 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584271 28904853504 7193 33554432000 4194304 4196468 140732637939680 139884161501968 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29374] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29374/stat : 29374 (java) S 29362 29362 25802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511584273 28904853504 7193 33554432000 4194304 4196468 140732637939680 139883733653872 139884617816706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29375] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29375/stat : 29375 (java) S 29362 29362 25802 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511584273 28904853504 7193 33554432000 4194304 4196468 140732637939680 139883732599840 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29376] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29376/stat : 29376 (java) S 29362 29362 25802 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511584273 28904853504 7193 33554432000 4194304 4196468 140732637939680 139883731546992 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29377] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29377/stat : 29377 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584276 28904853504 7193 33554432000 4194304 4196468 140732637939680 139883730495312 139884617824155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29378] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29378/stat : 29378 (java) S 29362 29362 25802 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 511584276 28904853504 7193 33554432000 4194304 4196468 140732637939680 139882674514800 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29379] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29379/stat : 29379 (java) S 29362 29362 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511584276 28904853504 7193 33554432000 4194304 4196468 140732637939680 139882673462000 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29380] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29380/stat : 29380 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584276 28904853504 7193 33554432000 4194304 4196468 140732637939680 139882672409200 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29381] ppid=29362 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/29364/task/29381/stat : 29381 (java) R 29362 29362 25802 0 -1 4202560 323 0 0 0 2 0 0 0 20 0 20 0 511584276 28904853504 7193 33554432000 4194304 4196468 140732637939680 139882671356400 139884610042686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29382] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29382/stat : 29382 (java) S 29362 29362 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511584276 28904853504 7193 33554432000 4194304 4196468 140732637939680 139882670303840 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29383] ppid=29362 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29364/task/29383/stat : 29383 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584276 28904853504 7193 33554432000 4194304 4196468 140732637939680 139882669251120 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30224 KiB [startup+0.210499 s]* /proc/loadavg: 8.24 8.10 8.20 2/212 29391 /proc/meminfo: memFree=24741812/32770624 swapFree=66976788/67108860 [pid=29362] ppid=29359 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29362/stat : 29362 (xcsp3-exec) S 29359 29362 25802 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511584270 115843072 363 33554432000 4194304 5098028 140732543567712 140732543565816 140226982998652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25886720 140732543574865 140732543575125 140732543575125 140732543578054 0 /proc/29362/statm: 28282 363 304 221 0 87 0 [pid=29364] ppid=29362 vsize=28227396 memory=40200 CPUtime=0.35 cores=0-7 /proc/29364/stat : 29364 (java) S 29362 29362 25802 0 -1 1077944320 9333 0 0 0 32 3 0 0 20 0 20 0 511584270 28904853504 10050 33554432000 4194304 4196468 140732637939680 140732637922224 139884617805559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 /proc/29364/statm: 7056849 10050 3234 1 0 7019032 0 [pid=29364/tid=29365] ppid=29362 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/29364/task/29365/stat : 29365 (java) R 29362 29362 25802 0 -1 4202560 6557 0 0 0 17 2 0 0 20 0 20 0 511584270 28904853504 10050 33554432000 4194304 4196468 140732637939680 139884622045232 139884617817494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29366] ppid=29362 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/29364/task/29366/stat : 29366 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584271 28904853504 10050 33554432000 4194304 4196468 140732637939680 139884537658000 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29367] ppid=29362 vsize=28227396 memory=288370467692455552 CPUtime=0 cores=0-7 /proc/29364/task/29367/stat : 29367 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584271 28904853504 10050 33554432000 4194304 4196468 140732637939680 139884536605200 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29368] ppid=29362 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29364/task/29368/stat : 29368 (java) S 29362 29362 25802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511584271 28904853504 10050 33554432000 4194304 4196468 140732637939680 139884166764944 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29369] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29369/stat : 29369 (java) S 29362 29362 25802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511584271 28904853504 10050 33554432000 4194304 4196468 140732637939680 139884165712144 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29370] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29370/stat : 29370 (java) S 29362 29362 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511584271 28904853504 10050 33554432000 4194304 4196468 140732637939680 139884164660368 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29371] ppid=29362 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29364/task/29371/stat : 29371 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584271 28904853504 10050 33554432000 4194304 4196468 140732637939680 139884163607568 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29372] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29372/stat : 29372 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584271 28904853504 10050 33554432000 4194304 4196468 140732637939680 139884162554768 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29373] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29373/stat : 29373 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584271 28904853504 10050 33554432000 4194304 4196468 140732637939680 139884161501968 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29374] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29374/stat : 29374 (java) S 29362 29362 25802 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511584273 28904853504 10050 33554432000 4194304 4196468 140732637939680 139883733653872 139884617816706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29375] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29375/stat : 29375 (java) S 29362 29362 25802 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511584273 28904853504 10050 33554432000 4194304 4196468 140732637939680 139883732599840 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29376] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29376/stat : 29376 (java) S 29362 29362 25802 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511584273 28904853504 10050 33554432000 4194304 4196468 140732637939680 139883731546992 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29377] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29377/stat : 29377 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584276 28904853504 10050 33554432000 4194304 4196468 140732637939680 139883730495312 139884617824155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29378] ppid=29362 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/29364/task/29378/stat : 29378 (java) R 29362 29362 25802 0 -1 1077944384 431 0 0 0 1 0 0 0 20 0 20 0 511584276 28904853504 10050 33554432000 4194304 4196468 140732637939680 139882674514800 139884617816706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29379] ppid=29362 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/29364/task/29379/stat : 29379 (java) S 29362 29362 25802 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 20 0 511584276 28904853504 10050 33554432000 4194304 4196468 140732637939680 139882673462000 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29380] ppid=29362 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/29364/task/29380/stat : 29380 (java) S 29362 29362 25802 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 511584276 28904853504 10050 33554432000 4194304 4196468 140732637939680 139882672409200 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29381] ppid=29362 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/29364/task/29381/stat : 29381 (java) R 29362 29362 25802 0 -1 4202560 810 0 0 0 8 0 0 0 20 0 20 0 511584276 28904853504 10050 33554432000 4194304 4196468 140732637939680 139882671356400 139884596734896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29382] ppid=29362 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29382/stat : 29382 (java) S 29362 29362 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511584276 28904853504 10050 33554432000 4194304 4196468 140732637939680 139882670303840 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29383] ppid=29362 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29364/task/29383/stat : 29383 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584276 28904853504 10050 33554432000 4194304 4196468 140732637939680 139882669251120 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 Current children cumulated CPU time: 0.35 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41652 KiB [startup+0.310278 s]* /proc/loadavg: 7.66 7.98 8.16 4/212 29391 /proc/meminfo: memFree=24734180/32770624 swapFree=66976788/67108860 [pid=29362] ppid=29359 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29362/stat : 29362 (xcsp3-exec) S 29359 29362 25802 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511584270 115843072 363 33554432000 4194304 5098028 140732543567712 140732543565816 140226982998652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25886720 140732543574865 140732543575125 140732543575125 140732543578054 0 /proc/29362/statm: 28282 363 304 221 0 87 0 [pid=29364] ppid=29362 vsize=28231652 memory=49236 CPUtime=0.53 cores=0-7 /proc/29364/stat : 29364 (java) S 29362 29362 25802 0 -1 1077944320 10682 0 0 0 49 4 0 0 20 0 20 0 511584270 28909211648 12309 33554432000 4194304 4196468 140732637939680 140732637922224 139884617805559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 /proc/29364/statm: 7057913 12309 3288 1 0 7019032 0 [pid=29364/tid=29365] ppid=29362 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/29364/task/29365/stat : 29365 (java) R 29362 29362 25802 0 -1 4202560 7666 0 0 0 26 3 0 0 20 0 20 0 511584270 28909211648 12309 33554432000 4194304 4196468 140732637939680 139884622036672 139884617827485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29366] ppid=29362 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29366/stat : 29366 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584271 28909211648 12309 33554432000 4194304 4196468 140732637939680 139884537658000 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29367] ppid=29362 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29367/stat : 29367 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584271 28909211648 12309 33554432000 4194304 4196468 140732637939680 139884536605200 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29368] ppid=29362 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29368/stat : 29368 (java) S 29362 29362 25802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511584271 28909211648 12309 33554432000 4194304 4196468 140732637939680 139884166764944 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29369] ppid=29362 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29369/stat : 29369 (java) S 29362 29362 25802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511584271 28909211648 12309 33554432000 4194304 4196468 140732637939680 139884165712144 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29370] ppid=29362 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/29364/task/29370/stat : 29370 (java) S 29362 29362 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511584271 28909211648 12309 33554432000 4194304 4196468 140732637939680 139884164660368 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29371] ppid=29362 vsize=28231652 memory=140091431416751 CPUtime=0 cores=0-7 /proc/29364/task/29371/stat : 29371 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584271 28909211648 12309 33554432000 4194304 4196468 140732637939680 139884163607568 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29372] ppid=29362 vsize=28231652 memory=140091431419056 CPUtime=0 cores=0-7 /proc/29364/task/29372/stat : 29372 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584271 28909211648 12309 33554432000 4194304 4196468 140732637939680 139884162554768 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29373] ppid=29362 vsize=28231652 memory=140091431421360 CPUtime=0 cores=0-7 /proc/29364/task/29373/stat : 29373 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584271 28909211648 12309 33554432000 4194304 4196468 140732637939680 139884161501968 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29374] ppid=29362 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29374/stat : 29374 (java) S 29362 29362 25802 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511584273 28909211648 12309 33554432000 4194304 4196468 140732637939680 139883733653872 139884617816706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29375] ppid=29362 vsize=28231652 memory=280182862849680 CPUtime=0 cores=0-7 /proc/29364/task/29375/stat : 29375 (java) S 29362 29362 25802 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511584273 28909211648 12309 33554432000 4194304 4196468 140732637939680 139883732599840 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29376] ppid=29362 vsize=28231652 memory=280182862856592 CPUtime=0 cores=0-7 /proc/29364/task/29376/stat : 29376 (java) S 29362 29362 25802 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511584273 28909211648 12309 33554432000 4194304 4196468 140732637939680 139883731546992 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29377] ppid=29362 vsize=28231652 memory=280182862797872 CPUtime=0 cores=0-7 /proc/29364/task/29377/stat : 29377 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584276 28909211648 12309 33554432000 4194304 4196468 140732637939680 139883730495312 139884617824155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29378] ppid=29362 vsize=28231652 memory=280182862870416 CPUtime=0.02 cores=0-7 /proc/29364/task/29378/stat : 29378 (java) S 29362 29362 25802 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 20 0 511584276 28909211648 12309 33554432000 4194304 4196468 140732637939680 139882674514800 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29379] ppid=29362 vsize=28231652 memory=280182862877328 CPUtime=0.03 cores=0-7 /proc/29364/task/29379/stat : 29379 (java) S 29362 29362 25802 0 -1 1077944384 129 0 0 0 3 0 0 0 20 0 20 0 511584276 28909211648 12309 33554432000 4194304 4196468 140732637939680 139882673462000 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29380] ppid=29362 vsize=28231652 memory=280182862875024 CPUtime=0.03 cores=0-7 /proc/29364/task/29380/stat : 29380 (java) S 29362 29362 25802 0 -1 1077944384 158 0 0 0 3 0 0 0 20 0 20 0 511584276 28909211648 12309 33554432000 4194304 4196468 140732637939680 139882672409200 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29381] ppid=29362 vsize=28231652 memory=280182862891184 CPUtime=0.13 cores=0-7 /proc/29364/task/29381/stat : 29381 (java) S 29362 29362 25802 0 -1 1077944384 974 0 0 0 13 0 0 0 20 0 20 0 511584276 28909211648 12309 33554432000 4194304 4196468 140732637939680 139882671356400 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29382] ppid=29362 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29382/stat : 29382 (java) S 29362 29362 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511584276 28909211648 12309 33554432000 4194304 4196468 140732637939680 139882670303840 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29383] ppid=29362 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/29364/task/29383/stat : 29383 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511584276 28909211648 12309 33554432000 4194304 4196468 140732637939680 139882669251120 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50688 KiB [startup+0.707169 s] /proc/loadavg: 7.66 7.98 8.16 6/212 29391 /proc/meminfo: memFree=24717996/32770624 swapFree=66976788/67108860 [pid=29362] ppid=29359 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29362/stat : 29362 (xcsp3-exec) S 29359 29362 25802 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511584270 115843072 363 33554432000 4194304 5098028 140732543567712 140732543565816 140226982998652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25886720 140732543574865 140732543575125 140732543575125 140732543578054 0 /proc/29362/statm: 28282 363 304 221 0 87 0 [pid=29364] ppid=29362 vsize=28766288 memory=96280 CPUtime=2.1 cores=0-7 /proc/29364/stat : 29364 (java) S 29362 29362 25802 0 -1 1077944320 15485 0 0 0 203 7 0 0 20 0 28 0 511584270 29456678912 24070 33554432000 4194304 4196468 140732637939680 140732637922224 139884617805559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 /proc/29364/statm: 7191572 24070 3457 1 0 7152672 0 [pid=29364/tid=29365] ppid=29362 vsize=28766288 memory=280182863249072 CPUtime=0.57 cores=0-7 /proc/29364/task/29365/stat : 29365 (java) S 29362 29362 25802 0 -1 1077944384 9140 0 0 0 53 4 0 0 20 0 28 0 511584270 29456678912 24070 33554432000 4194304 4196468 140732637939680 139884622046336 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29366] ppid=29362 vsize=28766288 memory=140091431625584 CPUtime=0 cores=0-7 /proc/29364/task/29366/stat : 29366 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511584271 29456678912 24070 33554432000 4194304 4196468 140732637939680 139884537658000 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29367] ppid=29362 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/29364/task/29367/stat : 29367 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511584271 29456678912 24070 33554432000 4194304 4196468 140732637939680 139884536605200 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29368] ppid=29362 vsize=28766288 memory=1060 CPUtime=0 cores=0-7 /proc/29364/task/29368/stat : 29368 (java) S 29362 29362 25802 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511584271 29456678912 24070 33554432000 4194304 4196468 140732637939680 139884166764944 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 ################ # More data... # ################ [pid=29364/tid=29423] ppid=29362 vsize=28766288 memory=1452 CPUtime=2176.09 cores=0-7 /proc/29364/task/29423/stat : 29423 (java) R 29362 29362 25802 0 -1 4202560 12006 0 0 0 217601 8 0 0 20 0 28 0 511609266 29456678912 87952 33554432000 4194304 4196468 140732637939680 139882658164440 139884221469079 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 Current children cumulated CPU time: 19428.9 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 353260 KiB [startup+2502.3 s] /proc/loadavg: 8.12 8.26 8.25 9/221 29619 /proc/meminfo: memFree=24459112/32770624 swapFree=66976788/67108860 [pid=29362] ppid=29359 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29362/stat : 29362 (xcsp3-exec) S 29359 29362 25802 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511584270 115843072 363 33554432000 4194304 5098028 140732543567712 140732543565816 140226982998652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25886720 140732543574865 140732543575125 140732543575125 140732543578054 0 /proc/29362/statm: 28282 363 304 221 0 87 0 [pid=29364] ppid=29362 vsize=28766288 memory=322296 CPUtime=19905.7 cores=0-7 /proc/29364/stat : 29364 (java) S 29362 29362 25802 0 -1 1077944320 287015 0 0 0 1990142 428 0 0 20 0 28 0 511584270 29456678912 80574 33554432000 4194304 4196468 140732637939680 140732637922224 139884617805559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 /proc/29364/statm: 7191572 80574 3545 1 0 7152672 0 [pid=29364/tid=29365] ppid=29362 vsize=28766288 memory=322808 CPUtime=0.58 cores=0-7 /proc/29364/task/29365/stat : 29365 (java) S 29362 29362 25802 0 -1 1077944384 9350 0 0 0 54 4 0 0 20 0 28 0 511584270 29456678912 80574 33554432000 4194304 4196468 140732637939680 139884622046336 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29366] ppid=29362 vsize=28766288 memory=1452 CPUtime=5.43 cores=0-7 /proc/29364/task/29366/stat : 29366 (java) S 29362 29362 25802 0 -1 1077944384 10887 0 0 0 531 12 0 0 20 0 28 0 511584271 29456678912 80574 33554432000 4194304 4196468 140732637939680 139884537658000 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29367] ppid=29362 vsize=28766288 memory=332556 CPUtime=5.46 cores=0-7 /proc/29364/task/29367/stat : 29367 (java) S 29362 29362 25802 0 -1 1077944384 11148 0 0 0 533 13 0 0 20 0 28 0 511584271 29456678912 80574 33554432000 4194304 4196468 140732637939680 139884536605200 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29368] ppid=29362 vsize=28766288 memory=1452 CPUtime=5.42 cores=0-7 /proc/29364/task/29368/stat : 29368 (java) S 29362 29362 25802 0 -1 1077944384 9507 0 0 0 528 14 0 0 20 0 28 0 511584271 29456678912 80574 33554432000 4194304 4196468 140732637939680 139884166764944 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29369] ppid=29362 vsize=28766288 memory=1452 CPUtime=5.44 cores=0-7 /proc/29364/task/29369/stat : 29369 (java) S 29362 29362 25802 0 -1 1077944384 12151 0 0 0 531 13 0 0 20 0 28 0 511584271 29456678912 80574 33554432000 4194304 4196468 140732637939680 139884165712144 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29370] ppid=29362 vsize=28766288 memory=3620 CPUtime=5.49 cores=0-7 /proc/29364/task/29370/stat : 29370 (java) S 29362 29362 25802 0 -1 1077944384 11087 0 0 0 537 12 0 0 20 0 28 0 511584271 29456678912 80574 33554432000 4194304 4196468 140732637939680 139884164660368 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29371] ppid=29362 vsize=28766288 memory=1452 CPUtime=5.41 cores=0-7 /proc/29364/task/29371/stat : 29371 (java) S 29362 29362 25802 0 -1 1077944384 14019 0 0 0 528 13 0 0 20 0 28 0 511584271 29456678912 80574 33554432000 4194304 4196468 140732637939680 139884163607568 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29372] ppid=29362 vsize=28766288 memory=1452 CPUtime=5.45 cores=0-7 /proc/29364/task/29372/stat : 29372 (java) S 29362 29362 25802 0 -1 1077944384 12245 0 0 0 533 12 0 0 20 0 28 0 511584271 29456678912 80574 33554432000 4194304 4196468 140732637939680 139884162554768 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29373] ppid=29362 vsize=28766288 memory=1452 CPUtime=5.47 cores=0-7 /proc/29364/task/29373/stat : 29373 (java) S 29362 29362 25802 0 -1 1077944384 12139 0 0 0 534 13 0 0 20 0 28 0 511584271 29456678912 80574 33554432000 4194304 4196468 140732637939680 139884161501968 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29374] ppid=29362 vsize=28766288 memory=1452 CPUtime=5.57 cores=0-7 /proc/29364/task/29374/stat : 29374 (java) S 29362 29362 25802 0 -1 1077944384 45041 0 0 0 301 256 0 0 20 0 28 0 511584273 29456678912 80574 33554432000 4194304 4196468 140732637939680 139883733653872 139884617816706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29375] ppid=29362 vsize=28766288 memory=1452 CPUtime=0 cores=0-7 /proc/29364/task/29375/stat : 29375 (java) S 29362 29362 25802 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 511584273 29456678912 80574 33554432000 4194304 4196468 140732637939680 139883732599904 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29376] ppid=29362 vsize=28766288 memory=352752 CPUtime=0 cores=0-7 /proc/29364/task/29376/stat : 29376 (java) S 29362 29362 25802 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 28 0 511584273 29456678912 80574 33554432000 4194304 4196468 140732637939680 139883731547008 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29377] ppid=29362 vsize=28766288 memory=1452 CPUtime=0 cores=0-7 /proc/29364/task/29377/stat : 29377 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511584276 29456678912 80574 33554432000 4194304 4196468 140732637939680 139883730495312 139884617824155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29378] ppid=29362 vsize=28766288 memory=1452 CPUtime=1.57 cores=0-7 /proc/29364/task/29378/stat : 29378 (java) S 29362 29362 25802 0 -1 1077944384 12176 0 0 0 155 2 0 0 20 0 28 0 511584276 29456678912 80574 33554432000 4194304 4196468 140732637939680 139882674514800 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29379] ppid=29362 vsize=28766288 memory=65428 CPUtime=1.56 cores=0-7 /proc/29364/task/29379/stat : 29379 (java) S 29362 29362 25802 0 -1 1077944384 12975 0 0 0 153 3 0 0 20 0 28 0 511584276 29456678912 80574 33554432000 4194304 4196468 140732637939680 139882673462000 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29380] ppid=29362 vsize=28766288 memory=988 CPUtime=1.53 cores=0-7 /proc/29364/task/29380/stat : 29380 (java) S 29362 29362 25802 0 -1 1077944384 11038 0 0 0 150 3 0 0 20 0 28 0 511584276 29456678912 80574 33554432000 4194304 4196468 140732637939680 139882672409200 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29381] ppid=29362 vsize=28766288 memory=1660 CPUtime=0.62 cores=0-7 /proc/29364/task/29381/stat : 29381 (java) S 29362 29362 25802 0 -1 1077944384 11279 0 0 0 60 2 0 0 20 0 28 0 511584276 29456678912 80574 33554432000 4194304 4196468 140732637939680 139882671356400 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29382] ppid=29362 vsize=28766288 memory=65428 CPUtime=0 cores=0-7 /proc/29364/task/29382/stat : 29382 (java) S 29362 29362 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511584276 29456678912 80574 33554432000 4194304 4196468 140732637939680 139882670303840 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29383] ppid=29362 vsize=28766288 memory=1452 CPUtime=0.43 cores=0-7 /proc/29364/task/29383/stat : 29383 (java) S 29362 29362 25802 0 -1 1077944384 3549 0 0 0 0 43 0 0 20 0 28 0 511584276 29456678912 80574 33554432000 4194304 4196468 140732637939680 139882669251120 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29416] ppid=29362 vsize=28766288 memory=1452 CPUtime=2232.61 cores=0-7 /proc/29364/task/29416/stat : 29416 (java) R 29362 29362 25802 0 -1 4202560 7116 0 0 0 223256 5 0 0 20 0 28 0 511609265 29456678912 80574 33554432000 4194304 4196468 140732637939680 139882348231272 139884223436805 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29417] ppid=29362 vsize=28766288 memory=1452 CPUtime=2233.62 cores=0-7 /proc/29364/task/29417/stat : 29417 (java) R 29362 29362 25802 0 -1 4202560 4131 0 0 0 223357 5 0 0 20 0 28 0 511609265 29456678912 80574 33554432000 4194304 4196468 140732637939680 139882346126904 139884221467837 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29418] ppid=29362 vsize=28766288 memory=322808 CPUtime=2232.27 cores=0-7 /proc/29364/task/29418/stat : 29418 (java) R 29362 29362 25802 0 -1 4202560 6239 0 0 0 223222 5 0 0 20 0 28 0 511609265 29456678912 80574 33554432000 4194304 4196468 140732637939680 139882660270384 139884220170872 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29419] ppid=29362 vsize=28766288 memory=322296 CPUtime=2236.38 cores=0-7 /proc/29364/task/29419/stat : 29419 (java) R 29362 29362 25802 0 -1 4202560 18583 0 0 0 223626 12 0 0 20 0 28 0 511609265 29456678912 80574 33554432000 4194304 4196468 140732637939680 139882345075016 139884221211171 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29420] ppid=29362 vsize=28766288 memory=3620 CPUtime=2233.21 cores=0-7 /proc/29364/task/29420/stat : 29420 (java) R 29362 29362 25802 0 -1 4202560 7795 0 0 0 223316 5 0 0 20 0 28 0 511609266 29456678912 80574 33554432000 4194304 4196468 140732637939680 139882659217704 139884221467576 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29421] ppid=29362 vsize=28766288 memory=323836 CPUtime=2234.03 cores=0-7 /proc/29364/task/29421/stat : 29421 (java) R 29362 29362 25802 0 -1 4202560 11533 0 0 0 223396 7 0 0 20 0 28 0 511609266 29456678912 80574 33554432000 4194304 4196468 140732637939680 139882657112120 139884221467893 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29422] ppid=29362 vsize=28766288 memory=324860 CPUtime=2230.27 cores=0-7 /proc/29364/task/29422/stat : 29422 (java) R 29362 29362 25802 0 -1 4202560 4447 0 0 0 223021 6 0 0 20 0 28 0 511609266 29456678912 80574 33554432000 4194304 4196468 140732637939680 139882347183008 139884221468075 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29423] ppid=29362 vsize=28766288 memory=6791534058613427641 CPUtime=2235.36 cores=0-7 /proc/29364/task/29423/stat : 29423 (java) R 29362 29362 25802 0 -1 4202560 12147 0 0 0 223528 8 0 0 20 0 28 0 511609266 29456678912 80574 33554432000 4194304 4196468 140732637939680 139882658164440 139884221467936 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 Current children cumulated CPU time: 19905.7 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 323748 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.10 8.25 8.25 10/220 29619 /proc/meminfo: memFree=24464600/32770624 swapFree=66976788/67108860 [pid=29362] ppid=29359 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29362/stat : 29362 (xcsp3-exec) S 29359 29362 25802 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511584270 115843072 363 33554432000 4194304 5098028 140732543567712 140732543565816 140226982998652 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25886720 140732543574865 140732543575125 140732543575125 140732543578054 0 /proc/29362/statm: 28282 363 304 221 0 87 0 [pid=29364] ppid=29362 vsize=28766288 memory=317436 CPUtime=20046.6 cores=0-7 /proc/29364/stat : 29364 (java) S 29362 29362 25802 0 -1 1077944320 294212 0 0 0 2004224 431 0 0 20 0 28 0 511584270 29456678912 79359 33554432000 4194304 4196468 140732637939680 140732637922224 139884617805559 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 /proc/29364/statm: 7191572 79359 3545 1 0 7152672 0 [pid=29364/tid=29365] ppid=29362 vsize=28766288 memory=1398720917958146503 CPUtime=0.58 cores=0-7 /proc/29364/task/29365/stat : 29365 (java) S 29362 29362 25802 0 -1 1077944384 9350 0 0 0 54 4 0 0 20 0 28 0 511584270 29456678912 79359 33554432000 4194304 4196468 140732637939680 139884622046336 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29366] ppid=29362 vsize=28766288 memory=4872558044660077418 CPUtime=5.47 cores=0-7 /proc/29364/task/29366/stat : 29366 (java) S 29362 29362 25802 0 -1 1077944384 11340 0 0 0 535 12 0 0 20 0 28 0 511584271 29456678912 79359 33554432000 4194304 4196468 140732637939680 139884537658000 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29367] ppid=29362 vsize=28766288 memory=1452 CPUtime=5.51 cores=0-7 /proc/29364/task/29367/stat : 29367 (java) S 29362 29362 25802 0 -1 1077944384 11345 0 0 0 538 13 0 0 20 0 28 0 511584271 29456678912 79359 33554432000 4194304 4196468 140732637939680 139884536605200 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29368] ppid=29362 vsize=28766288 memory=318464 CPUtime=5.46 cores=0-7 /proc/29364/task/29368/stat : 29368 (java) S 29362 29362 25802 0 -1 1077944384 9807 0 0 0 532 14 0 0 20 0 28 0 511584271 29456678912 79359 33554432000 4194304 4196468 140732637939680 139884166764944 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29369] ppid=29362 vsize=28766288 memory=4108 CPUtime=5.48 cores=0-7 /proc/29364/task/29369/stat : 29369 (java) S 29362 29362 25802 0 -1 1077944384 12388 0 0 0 535 13 0 0 20 0 28 0 511584271 29456678912 79359 33554432000 4194304 4196468 140732637939680 139884165712144 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29370] ppid=29362 vsize=28766288 memory=1398720917958146503 CPUtime=5.55 cores=0-7 /proc/29364/task/29370/stat : 29370 (java) S 29362 29362 25802 0 -1 1077944384 12347 0 0 0 542 13 0 0 20 0 28 0 511584271 29456678912 79359 33554432000 4194304 4196468 140732637939680 139884164660368 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29371] ppid=29362 vsize=28766288 memory=4872558044660077418 CPUtime=5.46 cores=0-7 /proc/29364/task/29371/stat : 29371 (java) S 29362 29362 25802 0 -1 1077944384 14617 0 0 0 533 13 0 0 20 0 28 0 511584271 29456678912 79359 33554432000 4194304 4196468 140732637939680 139884163607568 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29372] ppid=29362 vsize=28766288 memory=1452 CPUtime=5.49 cores=0-7 /proc/29364/task/29372/stat : 29372 (java) S 29362 29362 25802 0 -1 1077944384 12748 0 0 0 537 12 0 0 20 0 28 0 511584271 29456678912 79359 33554432000 4194304 4196468 140732637939680 139884162554768 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29373] ppid=29362 vsize=28766288 memory=320516 CPUtime=5.51 cores=0-7 /proc/29364/task/29373/stat : 29373 (java) S 29362 29362 25802 0 -1 1077944384 12406 0 0 0 538 13 0 0 20 0 28 0 511584271 29456678912 79359 33554432000 4194304 4196468 140732637939680 139884161501968 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29374] ppid=29362 vsize=28766288 memory=6791534058613427641 CPUtime=5.59 cores=0-7 /proc/29364/task/29374/stat : 29374 (java) S 29362 29362 25802 0 -1 1077944384 46232 0 0 0 302 257 0 0 20 0 28 0 511584273 29456678912 79359 33554432000 4194304 4196468 140732637939680 139883733653872 139884617816706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29375] ppid=29362 vsize=28766288 memory=3804 CPUtime=0 cores=0-7 /proc/29364/task/29375/stat : 29375 (java) S 29362 29362 25802 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 511584273 29456678912 79359 33554432000 4194304 4196468 140732637939680 139883732599904 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29376] ppid=29362 vsize=28766288 memory=1452 CPUtime=0 cores=0-7 /proc/29364/task/29376/stat : 29376 (java) S 29362 29362 25802 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 28 0 511584273 29456678912 79359 33554432000 4194304 4196468 140732637939680 139883731547008 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29377] ppid=29362 vsize=28766288 memory=318464 CPUtime=0 cores=0-7 /proc/29364/task/29377/stat : 29377 (java) S 29362 29362 25802 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511584276 29456678912 79359 33554432000 4194304 4196468 140732637939680 139883730495312 139884617824155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29378] ppid=29362 vsize=28766288 memory=4108 CPUtime=1.57 cores=0-7 /proc/29364/task/29378/stat : 29378 (java) S 29362 29362 25802 0 -1 1077944384 12180 0 0 0 155 2 0 0 20 0 28 0 511584276 29456678912 79359 33554432000 4194304 4196468 140732637939680 139882674514800 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29379] ppid=29362 vsize=28766288 memory=1398720917958146503 CPUtime=1.56 cores=0-7 /proc/29364/task/29379/stat : 29379 (java) S 29362 29362 25802 0 -1 1077944384 12979 0 0 0 153 3 0 0 20 0 28 0 511584276 29456678912 79359 33554432000 4194304 4196468 140732637939680 139882673462000 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29380] ppid=29362 vsize=28766288 memory=4872558044660077418 CPUtime=1.53 cores=0-7 /proc/29364/task/29380/stat : 29380 (java) S 29362 29362 25802 0 -1 1077944384 11042 0 0 0 150 3 0 0 20 0 28 0 511584276 29456678912 79359 33554432000 4194304 4196468 140732637939680 139882672409200 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29381] ppid=29362 vsize=28766288 memory=111636 CPUtime=0.62 cores=0-7 /proc/29364/task/29381/stat : 29381 (java) S 29362 29362 25802 0 -1 1077944384 11283 0 0 0 60 2 0 0 20 0 28 0 511584276 29456678912 79359 33554432000 4194304 4196468 140732637939680 139882671356400 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29382] ppid=29362 vsize=28766288 memory=800 CPUtime=0 cores=0-7 /proc/29364/task/29382/stat : 29382 (java) S 29362 29362 25802 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511584276 29456678912 79359 33554432000 4194304 4196468 140732637939680 139882670303840 139884617815765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29383] ppid=29362 vsize=28766288 memory=1808 CPUtime=0.43 cores=0-7 /proc/29364/task/29383/stat : 29383 (java) S 29362 29362 25802 0 -1 1077944384 3617 0 0 0 0 43 0 0 20 0 28 0 511584276 29456678912 79359 33554432000 4194304 4196468 140732637939680 139882669251120 139884617816706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29416] ppid=29362 vsize=28766288 memory=924 CPUtime=2250.23 cores=0-7 /proc/29364/task/29416/stat : 29416 (java) R 29362 29362 25802 0 -1 4202560 7527 0 0 0 225017 6 0 0 20 0 28 0 511609265 29456678912 79359 33554432000 4194304 4196468 140732637939680 139882348231368 139884221468080 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29417] ppid=29362 vsize=28766288 memory=4744 CPUtime=2251.16 cores=0-7 /proc/29364/task/29417/stat : 29417 (java) R 29362 29362 25802 0 -1 4202560 4300 0 0 0 225111 5 0 0 20 0 28 0 511609265 29456678912 79359 33554432000 4194304 4196468 140732637939680 139882346129840 139884221467936 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29418] ppid=29362 vsize=28766288 memory=1452 CPUtime=2249.88 cores=0-7 /proc/29364/task/29418/stat : 29418 (java) R 29362 29362 25802 0 -1 4202560 6510 0 0 0 224983 5 0 0 20 0 28 0 511609265 29456678912 79359 33554432000 4194304 4196468 140732637939680 139882660270384 139884220356928 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29419] ppid=29362 vsize=28766288 memory=1452 CPUtime=2253.93 cores=0-7 /proc/29364/task/29419/stat : 29419 (java) R 29362 29362 25802 0 -1 4202560 18970 0 0 0 225380 13 0 0 20 0 28 0 511609265 29456678912 79359 33554432000 4194304 4196468 140732637939680 139882345075112 139884222701454 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29420] ppid=29362 vsize=28766288 memory=318464 CPUtime=2250.82 cores=0-7 /proc/29364/task/29420/stat : 29420 (java) R 29362 29362 25802 0 -1 4202560 7973 0 0 0 225077 5 0 0 20 0 28 0 511609266 29456678912 79359 33554432000 4194304 4196468 140732637939680 139882659217704 139884220170728 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29421] ppid=29362 vsize=28766288 memory=2828 CPUtime=2251.61 cores=0-7 /proc/29364/task/29421/stat : 29421 (java) R 29362 29362 25802 0 -1 4202560 11792 0 0 0 225153 8 0 0 20 0 28 0 511609266 29456678912 79359 33554432000 4194304 4196468 140732637939680 139882657112232 139884220357008 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29422] ppid=29362 vsize=28766288 memory=1216 CPUtime=2247.79 cores=0-7 /proc/29364/task/29422/stat : 29422 (java) R 29362 29362 25802 0 -1 4202560 4617 0 0 0 224773 6 0 0 20 0 28 0 511609266 29456678912 79359 33554432000 4194304 4196468 140732637939680 139882347179936 139884220170945 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 [pid=29364/tid=29423] ppid=29362 vsize=28766288 memory=984 CPUtime=2252.81 cores=0-7 /proc/29364/task/29423/stat : 29423 (java) R 29362 29362 25802 0 -1 4202560 12409 0 0 0 225273 8 0 0 20 0 28 0 511609266 29456678912 79359 33554432000 4194304 4196468 140732637939680 139882658164536 139884221467936 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 36556800 140732637946838 140732637947014 140732637947014 140732637949903 0 Current children cumulated CPU time: 20046.6 s Current children cumulated vsize: 28879416 KiB Current children cumulated memory: 318888 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.04 s] # the end of solver process 29362 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001185 s, system=0.001185 s [startup+2520.09 s] # the end of solver process 29364 was just reported to runsolver # cumulated CPU time of all completed processes: user=20042.8 s, system=4.32111 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.09 CPU time (s): 20047.2 CPU user time (s): 20042.8 CPU system time (s): 4.32111 CPU usage (%): 795.494 Max. virtual memory (cumulated for all children) (KiB): 28879416 Max. memory (cumulated for all children) (KiB): 502456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20042.8 system time used= 4.32111 maximum resident set size= 503052 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 295174 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3176 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 167493 involuntary context switches= 239795 # summary of solver processes directly reported to runsolver: # pid: 29362,29364 # total CPU time (s): 20047.2 # total CPU user time (s): 20042.8 # total CPU system time (s): 4.32111 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 23.5881 second user time and 23.8714 second system time The end
Begin job on node124 at 2019-09-24 22:20:01 IDJOB=4407158 IDBENCH=137635 IDSOLVER=2871 FILE ID=node124/4407158-1569356442 RUNJOBID= node124-1569349254-25829 PBS_JOBID= 21705088 Free space on /var/tmp= 13520 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n2w4b2r1.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 /var/tmp/evaluation-result-4407158-1569356442/watcher-4407158-1569356442 -o /var/tmp/evaluation-result-4407158-1569356442/solver-4407158-1569356442 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569349254-25829 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2145738979 HOME/instance-4407158-1569356442.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a404c513102fb879343dc63e509eedd5 RANDOM SEED=2145738979 node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 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.47 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.47 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.47 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: 24772480 kB MemAvailable: 31812328 kB Buffers: 134080 kB Cached: 6998640 kB SwapCached: 29084 kB Active: 3512416 kB Inactive: 3655468 kB Active(anon): 3180 kB Inactive(anon): 90016 kB Active(file): 3509236 kB Inactive(file): 3565452 kB Unevictable: 108364 kB Mlocked: 108364 kB SwapTotal: 67108860 kB SwapFree: 66976788 kB Dirty: 26244 kB Writeback: 132 kB AnonPages: 115848 kB Mapped: 57856 kB Shmem: 49092 kB Slab: 422684 kB SReclaimable: 393620 kB SUnreclaim: 29064 kB KernelStack: 3376 kB PageTables: 5400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515368 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /var/tmp at the end= 13492 MiB End job on node124 at 2019-09-24 23:02:01