Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 312 | 315.18 | 40.3086 |
Name | Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-5.xml |
MD5SUM | 5197a9101df9cd680fadf9dcc86a0dcb |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 312 |
Best CPU time to get the best result obtained on this benchmark | 30.0924 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 105 |
Number of constraints | 90 |
Number of domains | 7 |
Minimum domain size | 5 |
Maximum domain size | 412 |
Distribution of domain sizes | [{"size":5,"count":50},{"size":412,"count":55}] |
Minimum variable degree | 2 |
Maximum variable degree | 6 |
Distribution of variable degrees | [{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}] |
Number of extensional constraints | 25 |
Number of intensional constraints | 30 |
Distribution of constraint types | [{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399784-1568700587.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4399784-1568700587.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 1.53/0.77 c solve instance... 1.99/0.87 o 404 2.63/0.90 o 381 2.63/0.95 o 369 3.31/1.02 o 364 3.31/1.07 o 361 3.31/1.10 o 359 4.00/1.12 o 355 4.70/1.23 o 338 14.24/2.42 o 337 15.00/2.51 o 336 15.00/2.54 o 334 15.00/2.59 o 332 18.95/3.01 o 329 32.32/4.77 o 328 32.32/4.78 o 324 34.76/5.10 o 323 36.18/5.29 o 317 63.10/8.61 o 316 82.25/11.03 o 315 99.71/13.24 o 314 113.20/14.94 o 313 115.58/15.29 o 312 314.39/40.29 s OPTIMUM FOUND 314.39/40.29 v <instantiation> 314.39/40.29 v <list>s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] e[0] e[1] e[2] e[3] e[4] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] </list> 314.39/40.29 v <values>12 103 203 210 251 6 20 51 138 216 5 74 146 196 227 0 61 140 225 256 2 61 98 132 214 311 312 308 311 312 86 93 5 41 60 6 4 81 63 96 46 62 50 17 81 61 78 85 26 55 56 37 34 82 98 3 0 4 1 2 3 4 2 1 0 2 1 4 0 3 0 4 3 2 1 1 0 3 2 4 103 210 251 12 203 216 138 51 6 20 196 74 5 227 146 0 256 225 140 61 61 2 132 98 214 </values> 314.39/40.29 v </instantiation>
OK 312
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 (14718 MiB free) memory of node 1: 16384 MiB (15239 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399784-1568700587/watcher-4399784-1568700587 -o /tmp/evaluation-result-4399784-1568700587/solver-4399784-1568700587 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2068278061 HOME/instance-4399784-1568700587.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=26332, runsolver pid=26329 Current StackSize limit: 8192 KiB [startup+0.100111 s]* /proc/loadavg: 6.86 7.86 7.29 2/210 26353 /proc/meminfo: memFree=30660648/32770624 swapFree=66926696/67108860 [pid=26332] ppid=26329 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26332/stat : 26332 (xcsp3-exec) S 26329 26332 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446314547 115843072 363 33554432000 4194304 5098028 140727284257280 140727284255384 140487937323644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16039936 140727284265845 140727284266089 140727284266089 140727284269002 0 /proc/26332/statm: 28282 363 304 221 0 87 0 [pid=26334] ppid=26332 vsize=28227396 memory=29052 CPUtime=0.13 cores=0-7 /proc/26334/stat : 26334 (java) S 26332 26332 26088 0 -1 1077944320 5695 0 0 0 12 1 0 0 20 0 20 0 446314547 28904853504 7263 33554432000 4194304 4196468 140721539784768 140721539767312 140640534269687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 /proc/26334/statm: 7056849 7263 3150 1 0 7019032 0 [pid=26334/tid=26335] ppid=26332 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/26334/task/26335/stat : 26335 (java) R 26332 26332 26088 0 -1 4202560 3589 0 0 0 8 0 0 0 20 0 20 0 446314547 28904853504 7263 33554432000 4194304 4196468 140721539784768 140640538502464 140640534291613 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26336] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26336/stat : 26336 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446314548 28904853504 7263 33554432000 4194304 4196468 140721539784768 140640454121872 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26337] ppid=26332 vsize=28227396 memory=139721311826110 CPUtime=0 cores=0-7 /proc/26334/task/26337/stat : 26337 (java) S 26332 26332 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446314548 28904853504 7263 33554432000 4194304 4196468 140721539784768 140640453069072 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26338] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26338/stat : 26338 (java) S 26332 26332 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446314548 28904853504 7263 33554432000 4194304 4196468 140721539784768 140640452016784 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26339] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26339/stat : 26339 (java) S 26332 26332 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446314548 28904853504 7263 33554432000 4194304 4196468 140721539784768 140640450963984 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26340] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26340/stat : 26340 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446314548 28904853504 7263 33554432000 4194304 4196468 140721539784768 140640081009552 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26341] ppid=26332 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26334/task/26341/stat : 26341 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446314548 28904853504 7263 33554432000 4194304 4196468 140721539784768 140640079956752 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26342] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26342/stat : 26342 (java) S 26332 26332 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446314548 28904853504 7263 33554432000 4194304 4196468 140721539784768 140640078904464 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26343] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26343/stat : 26343 (java) S 26332 26332 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446314548 28904853504 7263 33554432000 4194304 4196468 140721539784768 140640077851664 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26344] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26344/stat : 26344 (java) S 26332 26332 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446314549 28904853504 7263 33554432000 4194304 4196468 140721539784768 140639918438512 140640534280834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26345] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26345/stat : 26345 (java) S 26332 26332 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446314550 28904853504 7263 33554432000 4194304 4196468 140721539784768 140639917384480 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26346] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26346/stat : 26346 (java) S 26332 26332 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446314550 28904853504 7263 33554432000 4194304 4196468 140721539784768 140639916332144 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26347] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26347/stat : 26347 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446314552 28904853504 7263 33554432000 4194304 4196468 140721539784768 140639915280464 140640534288283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26348] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26348/stat : 26348 (java) S 26332 26332 26088 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 446314553 28904853504 7263 33554432000 4194304 4196468 140721539784768 140639914228336 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26349] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26349/stat : 26349 (java) S 26332 26332 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446314553 28904853504 7263 33554432000 4194304 4196468 140721539784768 140639913175536 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26350] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26350/stat : 26350 (java) S 26332 26332 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446314553 28904853504 7263 33554432000 4194304 4196468 140721539784768 140639576517488 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26351] ppid=26332 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/26334/task/26351/stat : 26351 (java) S 26332 26332 26088 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 20 0 446314553 28904853504 7263 33554432000 4194304 4196468 140721539784768 140639575464688 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26352] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26352/stat : 26352 (java) S 26332 26332 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446314553 28904853504 7263 33554432000 4194304 4196468 140721539784768 140639574411616 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26353] ppid=26332 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26334/task/26353/stat : 26353 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446314553 28904853504 7263 33554432000 4194304 4196468 140721539784768 140639573358896 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30504 KiB [startup+0.210035 s]* /proc/loadavg: 6.86 7.86 7.29 2/210 26353 /proc/meminfo: memFree=30647408/32770624 swapFree=66926696/67108860 [pid=26332] ppid=26329 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26332/stat : 26332 (xcsp3-exec) S 26329 26332 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446314547 115843072 363 33554432000 4194304 5098028 140727284257280 140727284255384 140487937323644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16039936 140727284265845 140727284266089 140727284266089 140727284269002 0 /proc/26332/statm: 28282 363 304 221 0 87 0 [pid=26334] ppid=26332 vsize=28227396 memory=41304 CPUtime=0.33 cores=0-7 /proc/26334/stat : 26334 (java) S 26332 26332 26088 0 -1 1077944320 9531 0 0 0 31 2 0 0 20 0 20 0 446314547 28904853504 10326 33554432000 4194304 4196468 140721539784768 140721539767312 140640534269687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 /proc/26334/statm: 7056849 10326 3283 1 0 7019032 0 [pid=26334/tid=26335] ppid=26332 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7 /proc/26334/task/26335/stat : 26335 (java) R 26332 26332 26088 0 -1 4202560 6629 0 0 0 18 2 0 0 20 0 20 0 446314547 28904853504 10326 33554432000 4194304 4196468 140721539784768 140640538501600 140640518350174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26336] ppid=26332 vsize=28227396 memory=10923 CPUtime=0 cores=0-7 /proc/26334/task/26336/stat : 26336 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446314548 28904853504 10326 33554432000 4194304 4196468 140721539784768 140640454121872 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26337] ppid=26332 vsize=28227396 memory=4049492836515337888 CPUtime=0 cores=0-7 /proc/26334/task/26337/stat : 26337 (java) S 26332 26332 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446314548 28904853504 10326 33554432000 4194304 4196468 140721539784768 140640453069072 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26338] ppid=26332 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26334/task/26338/stat : 26338 (java) S 26332 26332 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446314548 28904853504 10326 33554432000 4194304 4196468 140721539784768 140640452016784 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26339] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26339/stat : 26339 (java) S 26332 26332 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446314548 28904853504 10326 33554432000 4194304 4196468 140721539784768 140640450963984 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26340] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26340/stat : 26340 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446314548 28904853504 10326 33554432000 4194304 4196468 140721539784768 140640081009552 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26341] ppid=26332 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26334/task/26341/stat : 26341 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446314548 28904853504 10326 33554432000 4194304 4196468 140721539784768 140640079956752 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26342] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26342/stat : 26342 (java) S 26332 26332 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446314548 28904853504 10326 33554432000 4194304 4196468 140721539784768 140640078904464 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26343] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26343/stat : 26343 (java) S 26332 26332 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446314548 28904853504 10326 33554432000 4194304 4196468 140721539784768 140640077851664 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26344] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26344/stat : 26344 (java) S 26332 26332 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446314549 28904853504 10326 33554432000 4194304 4196468 140721539784768 140639918438512 140640534280834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26345] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26345/stat : 26345 (java) S 26332 26332 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446314550 28904853504 10326 33554432000 4194304 4196468 140721539784768 140639917384480 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26346] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26346/stat : 26346 (java) S 26332 26332 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446314550 28904853504 10326 33554432000 4194304 4196468 140721539784768 140639916332144 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26347] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26347/stat : 26347 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446314552 28904853504 10326 33554432000 4194304 4196468 140721539784768 140639915280464 140640534288283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26348] ppid=26332 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/26334/task/26348/stat : 26348 (java) S 26332 26332 26088 0 -1 1077944384 465 0 0 0 1 0 0 0 20 0 20 0 446314553 28904853504 10326 33554432000 4194304 4196468 140721539784768 140639914228336 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26349] ppid=26332 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/26334/task/26349/stat : 26349 (java) S 26332 26332 26088 0 -1 1077944384 385 0 0 0 2 0 0 0 20 0 20 0 446314553 28904853504 10326 33554432000 4194304 4196468 140721539784768 140639913175536 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26350] ppid=26332 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26334/task/26350/stat : 26350 (java) S 26332 26332 26088 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 446314553 28904853504 10326 33554432000 4194304 4196468 140721539784768 140639576517488 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26351] ppid=26332 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/26334/task/26351/stat : 26351 (java) S 26332 26332 26088 0 -1 1077944384 730 0 0 0 8 0 0 0 20 0 20 0 446314553 28904853504 10326 33554432000 4194304 4196468 140721539784768 140639575464688 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26352] ppid=26332 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26352/stat : 26352 (java) S 26332 26332 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446314553 28904853504 10326 33554432000 4194304 4196468 140721539784768 140639574411616 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26353] ppid=26332 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26334/task/26353/stat : 26353 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446314553 28904853504 10326 33554432000 4194304 4196468 140721539784768 140639573358896 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42756 KiB [startup+0.309509 s]* /proc/loadavg: 6.86 7.86 7.29 2/210 26353 /proc/meminfo: memFree=30640540/32770624 swapFree=66926696/67108860 [pid=26332] ppid=26329 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26332/stat : 26332 (xcsp3-exec) S 26329 26332 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446314547 115843072 363 33554432000 4194304 5098028 140727284257280 140727284255384 140487937323644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16039936 140727284265845 140727284266089 140727284266089 140727284269002 0 /proc/26332/statm: 28282 363 304 221 0 87 0 [pid=26334] ppid=26332 vsize=28231652 memory=50032 CPUtime=0.52 cores=0-7 /proc/26334/stat : 26334 (java) S 26332 26332 26088 0 -1 1077944320 10873 0 0 0 49 3 0 0 20 0 20 0 446314547 28909211648 12508 33554432000 4194304 4196468 140721539784768 140721539767312 140640534269687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 /proc/26334/statm: 7057913 12508 3320 1 0 7019032 0 [pid=26334/tid=26335] ppid=26332 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/26334/task/26335/stat : 26335 (java) R 26332 26332 26088 0 -1 4202560 7729 0 0 0 27 2 0 0 20 0 20 0 446314547 28909211648 12508 33554432000 4194304 4196468 140721539784768 140640538500800 140640518350174 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26336] ppid=26332 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26336/stat : 26336 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446314548 28909211648 12545 33554432000 4194304 4196468 140721539784768 140640454121872 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26337] ppid=26332 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26337/stat : 26337 (java) S 26332 26332 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446314548 28909211648 12545 33554432000 4194304 4196468 140721539784768 140640453069072 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26338] ppid=26332 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26338/stat : 26338 (java) S 26332 26332 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446314548 28909211648 12545 33554432000 4194304 4196468 140721539784768 140640452016784 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26339] ppid=26332 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26339/stat : 26339 (java) S 26332 26332 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446314548 28909211648 12545 33554432000 4194304 4196468 140721539784768 140640450963984 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26340] ppid=26332 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26340/stat : 26340 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446314548 28909211648 12545 33554432000 4194304 4196468 140721539784768 140640081009552 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26341] ppid=26332 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26341/stat : 26341 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446314548 28909211648 12545 33554432000 4194304 4196468 140721539784768 140640079956752 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26342] ppid=26332 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26342/stat : 26342 (java) S 26332 26332 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446314548 28909211648 12545 33554432000 4194304 4196468 140721539784768 140640078904464 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26343] ppid=26332 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26343/stat : 26343 (java) S 26332 26332 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446314548 28909211648 12545 33554432000 4194304 4196468 140721539784768 140640077851664 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26344] ppid=26332 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26344/stat : 26344 (java) S 26332 26332 26088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446314549 28909211648 12545 33554432000 4194304 4196468 140721539784768 140639918438512 140640534280834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26345] ppid=26332 vsize=28231652 memory=279442383641984 CPUtime=0 cores=0-7 /proc/26334/task/26345/stat : 26345 (java) S 26332 26332 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446314550 28909211648 12545 33554432000 4194304 4196468 140721539784768 140639917384480 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26346] ppid=26332 vsize=28231652 memory=279442383646592 CPUtime=0 cores=0-7 /proc/26334/task/26346/stat : 26346 (java) S 26332 26332 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446314550 28909211648 12545 33554432000 4194304 4196468 140721539784768 140639916332144 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26347] ppid=26332 vsize=28231652 memory=279442383651200 CPUtime=0 cores=0-7 /proc/26334/task/26347/stat : 26347 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446314552 28909211648 12545 33554432000 4194304 4196468 140721539784768 140639915280464 140640534288283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26348] ppid=26332 vsize=28231652 memory=279442383655808 CPUtime=0.02 cores=0-7 /proc/26334/task/26348/stat : 26348 (java) S 26332 26332 26088 0 -1 1077944384 477 0 0 0 2 0 0 0 20 0 20 0 446314553 28909211648 12545 33554432000 4194304 4196468 140721539784768 140639914228336 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26349] ppid=26332 vsize=28231652 memory=279442383660416 CPUtime=0.03 cores=0-7 /proc/26334/task/26349/stat : 26349 (java) S 26332 26332 26088 0 -1 1077944384 389 0 0 0 3 0 0 0 20 0 20 0 446314553 28909211648 12545 33554432000 4194304 4196468 140721539784768 140639913175536 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26350] ppid=26332 vsize=28231652 memory=279442383665024 CPUtime=0.02 cores=0-7 /proc/26334/task/26350/stat : 26350 (java) R 26332 26332 26088 0 -1 4202560 146 0 0 0 2 0 0 0 20 0 20 0 446314553 28909211648 12545 33554432000 4194304 4196468 140721539784768 140639576507488 140640512017000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26351] ppid=26332 vsize=28231652 memory=279442383669632 CPUtime=0.12 cores=0-7 /proc/26334/task/26351/stat : 26351 (java) S 26332 26332 26088 0 -1 1077944384 819 0 0 0 12 0 0 0 20 0 20 0 446314553 28909211648 12545 33554432000 4194304 4196468 140721539784768 140639575464688 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26352] ppid=26332 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26352/stat : 26352 (java) S 26332 26332 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446314553 28909211648 12545 33554432000 4194304 4196468 140721539784768 140639574411616 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26353] ppid=26332 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/26334/task/26353/stat : 26353 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446314553 28909211648 12545 33554432000 4194304 4196468 140721539784768 140639573358896 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51484 KiB [startup+0.700886 s] /proc/loadavg: 6.86 7.86 7.29 5/210 26353 /proc/meminfo: memFree=30626584/32770624 swapFree=66926696/67108860 [pid=26332] ppid=26329 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26332/stat : 26332 (xcsp3-exec) S 26329 26332 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446314547 115843072 363 33554432000 4194304 5098028 140727284257280 140727284255384 140487937323644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16039936 140727284265845 140727284266089 140727284266089 140727284269002 0 /proc/26332/statm: 28282 363 304 221 0 87 0 [pid=26334] ppid=26332 vsize=28233776 memory=82104 CPUtime=1.53 cores=0-7 /proc/26334/stat : 26334 (java) S 26332 26332 26088 0 -1 1077944320 14736 0 0 0 148 5 0 0 20 0 20 0 446314547 28911386624 20526 33554432000 4194304 4196468 140721539784768 140721539767312 140640534269687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 /proc/26334/statm: 7058444 20526 3452 1 0 7019544 0 [pid=26334/tid=26335] ppid=26332 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/26334/task/26335/stat : 26335 (java) R 26332 26332 26088 0 -1 4202560 9408 0 0 0 64 3 0 0 20 0 20 0 446314547 28911386624 20526 33554432000 4194304 4196468 140721539784768 140640538505104 140640534281622 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26336] ppid=26332 vsize=28233776 memory=139721192022912 CPUtime=0 cores=0-7 /proc/26334/task/26336/stat : 26336 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446314548 28911386624 20526 33554432000 4194304 4196468 140721539784768 140640454121872 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26337] ppid=26332 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/26334/task/26337/stat : 26337 (java) S 26332 26332 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446314548 28911386624 20526 33554432000 4194304 4196468 140721539784768 140640453069072 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26338] ppid=26332 vsize=28233776 memory=9364 CPUtime=0 cores=0-7 /proc/26334/task/26338/stat : 26338 (java) S 26332 26332 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446314548 28911386624 20526 33554432000 4194304 4196468 140721539784768 140640452016784 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 ################ # More data... # ################ [pid=26334/tid=26532] ppid=26332 vsize=28835928 memory=164 CPUtime=23.71 cores=0-7 /proc/26334/task/26532/stat : 26532 (java) R 26332 26332 26088 0 -1 4202560 538 0 0 0 2371 0 0 0 20 0 28 0 446316076 29527990272 44098 33554432000 4194304 4196468 140721539784768 140639555965528 140640137785310 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26533] ppid=26332 vsize=28835928 memory=7883944108235712103 CPUtime=23.63 cores=0-7 /proc/26334/task/26533/stat : 26533 (java) R 26332 26332 26088 0 -1 4202560 1047 0 0 0 2362 1 0 0 20 0 28 0 446316076 29527990272 44098 33554432000 4194304 4196468 140721539784768 140639552806352 140640137785804 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26534] ppid=26332 vsize=28835928 memory=7883944108235712103 CPUtime=23.67 cores=0-7 /proc/26334/task/26534/stat : 26534 (java) R 26332 26332 26088 0 -1 4202560 883 0 0 0 2367 0 0 0 20 0 28 0 446316076 29527990272 44098 33554432000 4194304 4196468 140721539784768 140639557017856 140640131323379 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26535] ppid=26332 vsize=28835928 memory=7594587674001172330 CPUtime=23.66 cores=0-7 /proc/26334/task/26535/stat : 26535 (java) R 26332 26332 26088 0 -1 4202560 753 0 0 0 2366 0 0 0 20 0 28 0 446316076 29527990272 44098 33554432000 4194304 4196468 140721539784768 140639553859272 140640139792487 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26536] ppid=26332 vsize=28835928 memory=7883944108235712103 CPUtime=23.74 cores=0-7 /proc/26334/task/26536/stat : 26536 (java) R 26332 26332 26088 0 -1 4202560 506 0 0 0 2374 0 0 0 20 0 28 0 446316076 29527990272 44098 33554432000 4194304 4196468 140721539784768 140639560177904 140640137791904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26537] ppid=26332 vsize=28835928 memory=7883944108235712103 CPUtime=23.74 cores=0-7 /proc/26334/task/26537/stat : 26537 (java) R 26332 26332 26088 0 -1 4202560 717 0 0 0 2374 0 0 0 20 0 28 0 446316076 29527990272 44098 33554432000 4194304 4196468 140721539784768 140639559123144 140640138351792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 Current children cumulated CPU time: 306.46 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 177844 KiB [startup+40.0013 s]* /proc/loadavg: 7.27 7.87 7.32 9/218 26540 /proc/meminfo: memFree=30512840/32770624 swapFree=66926696/67108860 [pid=26332] ppid=26329 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26332/stat : 26332 (xcsp3-exec) S 26329 26332 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446314547 115843072 363 33554432000 4194304 5098028 140727284257280 140727284255384 140487937323644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16039936 140727284265845 140727284266089 140727284266089 140727284269002 0 /proc/26332/statm: 28282 363 304 221 0 87 0 [pid=26334] ppid=26332 vsize=28835928 memory=175368 CPUtime=312.87 cores=0-7 /proc/26334/stat : 26334 (java) S 26332 26332 26088 0 -1 1077944320 86642 0 0 0 31247 40 0 0 20 0 28 0 446314547 29527990272 43842 33554432000 4194304 4196468 140721539784768 140721539767312 140640534269687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 /proc/26334/statm: 7208982 43842 3536 1 0 7170082 0 [pid=26334/tid=26335] ppid=26332 vsize=28835928 memory=8317482817917895235 CPUtime=0.77 cores=0-7 /proc/26334/task/26335/stat : 26335 (java) S 26332 26332 26088 0 -1 1077944384 10065 0 0 0 73 4 0 0 20 0 28 0 446314547 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640538510464 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26336] ppid=26332 vsize=28835928 memory=2120 CPUtime=0.07 cores=0-7 /proc/26334/task/26336/stat : 26336 (java) R 26332 26332 26088 0 -1 4202560 821 0 0 0 6 1 0 0 20 0 28 0 446314548 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640454121872 140640526897895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26337] ppid=26332 vsize=28835928 memory=12020 CPUtime=0.06 cores=0-7 /proc/26334/task/26337/stat : 26337 (java) R 26332 26332 26088 0 -1 4202560 645 0 0 0 5 1 0 0 20 0 28 0 446314548 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640453069072 140640526897895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26338] ppid=26332 vsize=28835928 memory=496 CPUtime=0.07 cores=0-7 /proc/26334/task/26338/stat : 26338 (java) R 26332 26332 26088 0 -1 4202560 1601 0 0 0 6 1 0 0 20 0 28 0 446314548 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640452016904 140640526897895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26339] ppid=26332 vsize=28835928 memory=1560 CPUtime=0.05 cores=0-7 /proc/26334/task/26339/stat : 26339 (java) R 26332 26332 26088 0 -1 4202560 1062 0 0 0 5 0 0 0 20 0 28 0 446314548 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640450964104 140640526897895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26340] ppid=26332 vsize=28835928 memory=928 CPUtime=0.06 cores=0-7 /proc/26334/task/26340/stat : 26340 (java) R 26332 26332 26088 0 -1 4202560 560 0 0 0 5 1 0 0 20 0 28 0 446314548 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640081009632 140640534279893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26341] ppid=26332 vsize=28835928 memory=1680 CPUtime=0.06 cores=0-7 /proc/26334/task/26341/stat : 26341 (java) S 26332 26332 26088 0 -1 1077944384 459 0 0 0 6 0 0 0 20 0 28 0 446314548 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640079956752 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26342] ppid=26332 vsize=28835928 memory=1452 CPUtime=0.06 cores=0-7 /proc/26334/task/26342/stat : 26342 (java) S 26332 26332 26088 0 -1 1077944384 1194 0 0 0 6 0 0 0 20 0 28 0 446314548 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640078904464 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26343] ppid=26332 vsize=28835928 memory=309 CPUtime=0.06 cores=0-7 /proc/26334/task/26343/stat : 26343 (java) S 26332 26332 26088 0 -1 1077944384 423 0 0 0 5 1 0 0 20 0 28 0 446314548 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640077851664 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26344] ppid=26332 vsize=28835928 memory=89 CPUtime=0.06 cores=0-7 /proc/26334/task/26344/stat : 26344 (java) R 26332 26332 26088 0 -1 4202560 2679 0 0 0 5 1 0 0 20 0 28 0 446314549 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639918437024 140640534291034 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26345] ppid=26332 vsize=28835928 memory=279442385238112 CPUtime=0 cores=0-7 /proc/26334/task/26345/stat : 26345 (java) S 26332 26332 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446314550 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639917384480 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26346] ppid=26332 vsize=28835928 memory=115278532840170 CPUtime=0 cores=0-7 /proc/26334/task/26346/stat : 26346 (java) S 26332 26332 26088 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446314550 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639916332144 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26347] ppid=26332 vsize=28835928 memory=115278532840170 CPUtime=0 cores=0-7 /proc/26334/task/26347/stat : 26347 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446314552 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639915280464 140640534288283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26348] ppid=26332 vsize=28835928 memory=115278532840170 CPUtime=3.09 cores=0-7 /proc/26334/task/26348/stat : 26348 (java) S 26332 26332 26088 0 -1 1077944384 11789 0 0 0 307 2 0 0 20 0 28 0 446314553 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639914228336 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26349] ppid=26332 vsize=28835928 memory=115278532840170 CPUtime=3.17 cores=0-7 /proc/26334/task/26349/stat : 26349 (java) S 26332 26332 26088 0 -1 1077944384 15604 0 0 0 313 4 0 0 20 0 28 0 446314553 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639913175536 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26350] ppid=26332 vsize=28835928 memory=115278532840170 CPUtime=3.09 cores=0-7 /proc/26334/task/26350/stat : 26350 (java) S 26332 26332 26088 0 -1 1077944384 13505 0 0 0 306 3 0 0 20 0 28 0 446314553 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639576517488 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26351] ppid=26332 vsize=28835928 memory=115278532840170 CPUtime=0.89 cores=0-7 /proc/26334/task/26351/stat : 26351 (java) S 26332 26332 26088 0 -1 1077944384 11232 0 0 0 87 2 0 0 20 0 28 0 446314553 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639575464688 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26352] ppid=26332 vsize=28835928 memory=115278532839914 CPUtime=0 cores=0-7 /proc/26334/task/26352/stat : 26352 (java) S 26332 26332 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446314553 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639574411616 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26353] ppid=26332 vsize=28835928 memory=115278532839914 CPUtime=0.01 cores=0-7 /proc/26334/task/26353/stat : 26353 (java) S 26332 26332 26088 0 -1 1077944384 544 0 0 0 0 1 0 0 20 0 28 0 446314553 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639573358896 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26530] ppid=26332 vsize=28835928 memory=115278532839914 CPUtime=24.52 cores=0-7 /proc/26334/task/26530/stat : 26530 (java) S 26332 26332 26088 0 -1 1077944384 512 0 0 0 2452 0 0 0 20 0 28 0 446316076 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639558069408 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26531] ppid=26332 vsize=28835928 memory=6791534058613427641 CPUtime=24.52 cores=0-7 /proc/26334/task/26531/stat : 26531 (java) S 26332 26332 26088 0 -1 1077944384 500 0 0 0 2452 0 0 0 20 0 28 0 446316076 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639562281088 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26532] ppid=26332 vsize=28835928 memory=1164 CPUtime=24.5 cores=0-7 /proc/26334/task/26532/stat : 26532 (java) S 26332 26332 26088 0 -1 1077944384 538 0 0 0 2450 0 0 0 20 0 28 0 446316076 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639555965232 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26533] ppid=26332 vsize=28835924 memory=8317482817917895235 CPUtime=24.42 cores=0-7 /proc/26334/task/26533/stat : 26533 (java) S 26332 26332 26088 0 -1 1077944384 1059 0 0 0 2441 1 0 0 20 0 28 0 446316076 29527986176 43842 33554432000 4194304 4196468 140721539784768 140639552807088 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26534] ppid=26332 vsize=28835928 memory=0 CPUtime=24.45 cores=0-7 /proc/26334/task/26534/stat : 26534 (java) S 26332 26332 26088 0 -1 1077944384 910 0 0 0 2445 0 0 0 20 0 28 0 446316076 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639557018320 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26535] ppid=26332 vsize=28835928 memory=0 CPUtime=24.46 cores=0-7 /proc/26334/task/26535/stat : 26535 (java) S 26332 26332 26088 0 -1 1077944384 757 0 0 0 2446 0 0 0 20 0 28 0 446316076 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639553859904 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26536] ppid=26332 vsize=28835928 memory=0 CPUtime=24.54 cores=0-7 /proc/26334/task/26536/stat : 26536 (java) R 26332 26332 26088 0 -1 1077944384 508 0 0 0 2454 0 0 0 20 0 28 0 446316076 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639560175744 140640534279893 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26537] ppid=26332 vsize=28835928 memory=0 CPUtime=24.53 cores=0-7 /proc/26334/task/26537/stat : 26537 (java) R 26332 26332 26088 0 -1 4202560 719 0 0 0 2453 0 0 0 20 0 28 0 446316076 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639559124672 140640520337772 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 Current children cumulated CPU time: 312.87 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 176820 KiB [startup+40.2019 s] /proc/loadavg: 7.27 7.87 7.32 9/218 26540 /proc/meminfo: memFree=30512840/32770624 swapFree=66926696/67108860 [pid=26332] ppid=26329 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26332/stat : 26332 (xcsp3-exec) S 26329 26332 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446314547 115843072 363 33554432000 4194304 5098028 140727284257280 140727284255384 140487937323644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16039936 140727284265845 140727284266089 140727284266089 140727284269002 0 /proc/26332/statm: 28282 363 304 221 0 87 0 [pid=26334] ppid=26332 vsize=28835928 memory=175368 CPUtime=314.39 cores=0-7 /proc/26334/stat : 26334 (java) S 26332 26332 26088 0 -1 1077944320 86644 0 0 0 31399 40 0 0 20 0 28 0 446314547 29527990272 43842 33554432000 4194304 4196468 140721539784768 140721539767312 140640534269687 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 /proc/26334/statm: 7208982 43842 3536 1 0 7170082 0 [pid=26334/tid=26335] ppid=26332 vsize=28835928 memory=0 CPUtime=0.77 cores=0-7 /proc/26334/task/26335/stat : 26335 (java) S 26332 26332 26088 0 -1 1077944384 10065 0 0 0 73 4 0 0 20 0 28 0 446314547 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640538510464 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26336] ppid=26332 vsize=28835928 memory=0 CPUtime=0.07 cores=0-7 /proc/26334/task/26336/stat : 26336 (java) S 26332 26332 26088 0 -1 1077944384 821 0 0 0 6 1 0 0 20 0 28 0 446314548 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640454121872 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26337] ppid=26332 vsize=28835928 memory=0 CPUtime=0.06 cores=0-7 /proc/26334/task/26337/stat : 26337 (java) S 26332 26332 26088 0 -1 1077944384 645 0 0 0 5 1 0 0 20 0 28 0 446314548 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640453069072 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26338] ppid=26332 vsize=28835928 memory=0 CPUtime=0.07 cores=0-7 /proc/26334/task/26338/stat : 26338 (java) S 26332 26332 26088 0 -1 1077944384 1601 0 0 0 6 1 0 0 20 0 28 0 446314548 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640452016784 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26339] ppid=26332 vsize=28835928 memory=0 CPUtime=0.05 cores=0-7 /proc/26334/task/26339/stat : 26339 (java) S 26332 26332 26088 0 -1 1077944384 1062 0 0 0 5 0 0 0 20 0 28 0 446314548 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640450963984 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26340] ppid=26332 vsize=28835928 memory=139721308656145 CPUtime=0.06 cores=0-7 /proc/26334/task/26340/stat : 26340 (java) S 26332 26332 26088 0 -1 1077944384 560 0 0 0 5 1 0 0 20 0 28 0 446314548 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640081009552 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26341] ppid=26332 vsize=28835928 memory=279442385410368 CPUtime=0.06 cores=0-7 /proc/26334/task/26341/stat : 26341 (java) S 26332 26332 26088 0 -1 1077944384 459 0 0 0 6 0 0 0 20 0 28 0 446314548 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640079956752 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26342] ppid=26332 vsize=28835928 memory=279442385410432 CPUtime=0.06 cores=0-7 /proc/26334/task/26342/stat : 26342 (java) S 26332 26332 26088 0 -1 1077944384 1194 0 0 0 6 0 0 0 20 0 28 0 446314548 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640078904464 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26343] ppid=26332 vsize=28835928 memory=279442385410496 CPUtime=0.06 cores=0-7 /proc/26334/task/26343/stat : 26343 (java) S 26332 26332 26088 0 -1 1077944384 423 0 0 0 5 1 0 0 20 0 28 0 446314548 29527990272 43842 33554432000 4194304 4196468 140721539784768 140640077851664 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26344] ppid=26332 vsize=28835928 memory=279442385409841 CPUtime=0.06 cores=0-7 /proc/26334/task/26344/stat : 26344 (java) S 26332 26332 26088 0 -1 1077944384 2680 0 0 0 5 1 0 0 20 0 28 0 446314549 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639918438512 140640534280834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26345] ppid=26332 vsize=28835928 memory=-1624781813439352349 CPUtime=0 cores=0-7 /proc/26334/task/26345/stat : 26345 (java) S 26332 26332 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 446314550 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639917384480 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26346] ppid=26332 vsize=28835928 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/26334/task/26346/stat : 26346 (java) S 26332 26332 26088 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446314550 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639916332144 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26347] ppid=26332 vsize=28835928 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/26334/task/26347/stat : 26347 (java) S 26332 26332 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446314552 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639915280464 140640534288283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26348] ppid=26332 vsize=28835928 memory=6655300316396806240 CPUtime=3.09 cores=0-7 /proc/26334/task/26348/stat : 26348 (java) S 26332 26332 26088 0 -1 1077944384 11789 0 0 0 307 2 0 0 20 0 28 0 446314553 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639914228336 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26349] ppid=26332 vsize=28835928 memory=-2098775911743863648 CPUtime=3.17 cores=0-7 /proc/26334/task/26349/stat : 26349 (java) S 26332 26332 26088 0 -1 1077944384 15604 0 0 0 313 4 0 0 20 0 28 0 446314553 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639913175536 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26350] ppid=26332 vsize=28835928 memory=7680491646476186426 CPUtime=3.09 cores=0-7 /proc/26334/task/26350/stat : 26350 (java) S 26332 26332 26088 0 -1 1077944384 13505 0 0 0 306 3 0 0 20 0 28 0 446314553 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639576517488 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26351] ppid=26332 vsize=28835928 memory=6656426216303648864 CPUtime=0.89 cores=0-7 /proc/26334/task/26351/stat : 26351 (java) S 26332 26332 26088 0 -1 1077944384 11232 0 0 0 87 2 0 0 20 0 28 0 446314553 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639575464688 140640534280834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26352] ppid=26332 vsize=28835928 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/26334/task/26352/stat : 26352 (java) S 26332 26332 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446314553 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639574411616 140640534279893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26353] ppid=26332 vsize=28835928 memory=6944656592455360604 CPUtime=0.01 cores=0-7 /proc/26334/task/26353/stat : 26353 (java) R 26332 26332 26088 0 -1 1077944384 544 0 0 0 0 1 0 0 20 0 28 0 446314553 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639573358896 140640534280834 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26530] ppid=26332 vsize=28835928 memory=0 CPUtime=24.71 cores=0-7 /proc/26334/task/26530/stat : 26530 (java) R 26332 26332 26088 0 -1 4202560 512 0 0 0 2471 0 0 0 20 0 28 0 446316076 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639558069408 140640133911953 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26531] ppid=26332 vsize=28835928 memory=139721192973097 CPUtime=24.71 cores=0-7 /proc/26334/task/26531/stat : 26531 (java) R 26332 26332 26088 0 -1 4202560 500 0 0 0 2471 0 0 0 20 0 28 0 446316076 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639562281088 140640140869994 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26532] ppid=26332 vsize=28835928 memory=139721196116509 CPUtime=24.69 cores=0-7 /proc/26334/task/26532/stat : 26532 (java) R 26332 26332 26088 0 -1 4202560 538 0 0 0 2469 0 0 0 20 0 28 0 446316076 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639555965232 140640519480000 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26533] ppid=26332 vsize=28835928 memory=665094041141469811 CPUtime=24.61 cores=0-7 /proc/26334/task/26533/stat : 26533 (java) R 26332 26332 26088 0 -1 4202560 1060 0 0 0 2460 1 0 0 20 0 28 0 446316076 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639552806976 140640139386147 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26534] ppid=26332 vsize=28835928 memory=3472468016767067278 CPUtime=24.64 cores=0-7 /proc/26334/task/26534/stat : 26534 (java) R 26332 26332 26088 0 -1 4202560 910 0 0 0 2464 0 0 0 20 0 28 0 446316076 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639557018320 140640140158549 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26535] ppid=26332 vsize=28835928 memory=4050909003134612087 CPUtime=24.65 cores=0-7 /proc/26334/task/26535/stat : 26535 (java) R 26332 26332 26088 0 -1 4202560 757 0 0 0 2465 0 0 0 20 0 28 0 446316076 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639553859904 140640137792207 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26536] ppid=26332 vsize=28835928 memory=7454130749351154278 CPUtime=24.73 cores=0-7 /proc/26334/task/26536/stat : 26536 (java) R 26332 26332 26088 0 -1 4202560 508 0 0 0 2473 0 0 0 20 0 28 0 446316076 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639560175880 140640130614351 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 [pid=26334/tid=26537] ppid=26332 vsize=28835928 memory=5936961920885876328 CPUtime=24.72 cores=0-7 /proc/26334/task/26537/stat : 26537 (java) R 26332 26332 26088 0 -1 4202560 719 0 0 0 2472 0 0 0 20 0 28 0 446316076 29527990272 43842 33554432000 4194304 4196468 140721539784768 140639559124672 140640137785804 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36909056 140721539789802 140721539789974 140721539789974 140721539792847 0 Current children cumulated CPU time: 314.39 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 176820 KiB [startup+40.3012 s] /proc/loadavg: 7.27 7.87 7.32 9/218 26540 /proc/meminfo: memFree=30512840/32770624 swapFree=66926696/67108860 [pid=26332] ppid=26329 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26332/stat : 26332 (xcsp3-exec) S 26329 26332 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446314547 115843072 363 33554432000 4194304 5098028 140727284257280 140727284255384 140487937323644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16039936 140727284265845 140727284266089 140727284266089 140727284269002 0 /proc/26332/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): 40.3086 CPU time (s): 315.18 CPU user time (s): 314.765 CPU system time (s): 0.415583 CPU usage (%): 781.918 Max. virtual memory (cumulated for all children) (KiB): 28949056 Max. memory (cumulated for all children) (KiB): 263588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 314.765 system time used= 0.415583 maximum resident set size= 262180 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88318 page faults= 0 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11657 involuntary context switches= 4531 # summary of solver processes directly reported to runsolver: # pid: 26332 # total CPU time (s): 315.18 # total CPU user time (s): 314.765 # total CPU system time (s): 0.415583 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.400395 second user time and 0.446054 second system time The end
Begin job on node107 at 2019-09-17 07:07:49 IDJOB=4399784 IDBENCH=115814 IDSOLVER=2854 FILE ID=node107/4399784-1568700587 RUNJOBID= node107-1568696839-26115 PBS_JOBID= 21703898 Free space on /tmp= 59040 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-5.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-4399784-1568700587/watcher-4399784-1568700587 -o /tmp/evaluation-result-4399784-1568700587/solver-4399784-1568700587 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2068278061 HOME/instance-4399784-1568700587.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5197a9101df9cd680fadf9dcc86a0dcb RANDOM SEED=2068278061 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 30677596 kB MemAvailable: 31811424 kB Buffers: 223940 kB Cached: 1186272 kB SwapCached: 76328 kB Active: 679780 kB Inactive: 807464 kB Active(anon): 10940 kB Inactive(anon): 109020 kB Active(file): 668840 kB Inactive(file): 698444 kB Unevictable: 111200 kB Mlocked: 111200 kB SwapTotal: 67108860 kB SwapFree: 66926696 kB Dirty: 26104 kB Writeback: 0 kB AnonPages: 112692 kB Mapped: 42712 kB Shmem: 34312 kB Slab: 194328 kB SReclaimable: 164756 kB SUnreclaim: 29572 kB KernelStack: 3424 kB PageTables: 6084 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497204 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 59012 MiB End job on node107 at 2019-09-17 07:08:29