Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 3 | 42.7447 | 5.92179 |
Name | BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w1b1r5.xml |
MD5SUM | 15a2bddfb10fd8a6157ce871797528b8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 1.72611 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 61 |
Number of constraints | 43 |
Number of domains | 2 |
Minimum domain size | 21 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":21,"count":1},{"size":42,"count":60}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":40},{"degree":5,"count":20}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 60 |
Distribution of constraint arities | [{"arity":3,"count":40},{"arity":21,"count":1},{"arity":60,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":20},{"type":"lex","count":1},{"type":"sum","count":20},{"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-4394401-1568439992.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394401-1568439992.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.07/0.59 c solve instance... 14.45/2.37 o 0 19.97/3.08 o 2 42.02/5.88 o 3 42.71/5.90 s OPTIMUM FOUND 42.71/5.90 v <instantiation> 42.71/5.90 v <list>x b[0][0] b[0][1] b[0][2] b[1][0] b[1][1] b[1][2] b[2][0] b[2][1] b[2][2] b[3][0] b[3][1] b[3][2] b[4][0] b[4][1] b[4][2] b[5][0] b[5][1] b[5][2] b[6][0] b[6][1] b[6][2] b[7][0] b[7][1] b[7][2] b[8][0] b[8][1] b[8][2] b[9][0] b[9][1] b[9][2] b[10][0] b[10][1] b[10][2] b[11][0] b[11][1] b[11][2] b[12][0] b[12][1] b[12][2] b[13][0] b[13][1] b[13][2] b[14][0] b[14][1] b[14][2] b[15][0] b[15][1] b[15][2] b[16][0] b[16][1] b[16][2] b[17][0] b[17][1] b[17][2] b[18][0] b[18][1] b[18][2] b[19][0] b[19][1] b[19][2] </list> 42.71/5.90 v <values>3 394 326 274 392 333 0 391 333 266 386 321 267 383 291 287 382 332 281 380 279 278 370 312 303 369 337 274 368 342 281 368 318 304 365 338 278 356 326 317 356 326 302 355 324 321 354 339 305 348 335 299 0 0 0 0 0 0 0 0 0 </values> 42.71/5.90 v </instantiation>
OK 3
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 (14551 MiB free) memory of node 1: 16384 MiB (15590 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394401-1568439992/watcher-4394401-1568439992 -o /tmp/evaluation-result-4394401-1568439992/solver-4394401-1568439992 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568437422-2898 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2063262419 HOME/instance-4394401-1568439992.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=3318, runsolver pid=3315 Current StackSize limit: 8192 KiB [startup+0.10011 s]* /proc/loadavg: 7.61 8.19 8.10 3/211 3339 /proc/meminfo: memFree=30846872/32770624 swapFree=66967068/67108860 [pid=3318] ppid=3315 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3318/stat : 3318 (xcsp3-exec) S 3315 3318 2871 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420266031 115843072 363 33554432000 4194304 5098028 140724799758304 140724799756408 140675953369724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31617024 140724799767413 140724799767657 140724799767657 140724799770570 0 /proc/3318/statm: 28282 363 304 221 0 87 0 [pid=3320] ppid=3318 vsize=28227388 memory=30100 CPUtime=0.12 cores=0-7 /proc/3320/stat : 3320 (java) S 3318 3318 2871 0 -1 1077944320 5483 0 0 0 11 1 0 0 20 0 20 0 420266032 28904845312 7525 33554432000 4194304 4196468 140731451474912 140731451457456 140494397214455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 /proc/3320/statm: 7056847 7525 3116 1 0 7019032 0 [pid=3320/tid=3321] ppid=3318 vsize=28227388 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/3320/task/3321/stat : 3321 (java) R 3318 3318 2871 0 -1 4202560 3407 0 0 0 8 0 0 0 20 0 20 0 420266032 28904845312 7525 33554432000 4194304 4196468 140731451474912 140494401446704 140494034272656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3322] ppid=3318 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/3320/task/3322/stat : 3322 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266033 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493948312720 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3323] ppid=3318 vsize=28227388 memory=139776187111040 CPUtime=0 cores=0-7 /proc/3320/task/3323/stat : 3323 (java) S 3318 3318 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420266033 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493947259920 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3324] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3324/stat : 3324 (java) S 3318 3318 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420266033 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493946207120 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3325] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3325/stat : 3325 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266033 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493945154320 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3326] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3326/stat : 3326 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266033 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493944101520 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3327] ppid=3318 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/3320/task/3327/stat : 3327 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266033 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493943048720 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3328] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3328/stat : 3328 (java) S 3318 3318 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420266033 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493941995920 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3329] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3329/stat : 3329 (java) S 3318 3318 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420266033 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493940943120 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3330] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3330/stat : 3330 (java) S 3318 3318 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420266034 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493782006640 140494397225602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3331] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3331/stat : 3331 (java) S 3318 3318 2871 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420266035 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493780952608 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3332] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3332/stat : 3332 (java) S 3318 3318 2871 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420266035 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493779899760 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3333] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3333/stat : 3333 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266037 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493778848080 140494397233051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3334] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3334/stat : 3334 (java) S 3318 3318 2871 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 420266037 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493777795440 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3335] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3335/stat : 3335 (java) R 3318 3318 2871 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 420266037 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493776742640 140494397225602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3336] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3336/stat : 3336 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266037 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493775689840 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3337] ppid=3318 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/3320/task/3337/stat : 3337 (java) R 3318 3318 2871 0 -1 4202560 335 0 0 0 2 0 0 0 20 0 20 0 420266037 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493774637040 140494389451582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3338] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3338/stat : 3338 (java) S 3318 3318 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420266037 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493773585504 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3339] ppid=3318 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/3320/task/3339/stat : 3339 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266038 28904845312 7525 33554432000 4194304 4196468 140731451474912 140493772532784 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31552 KiB [startup+0.213713 s]* /proc/loadavg: 7.61 8.19 8.10 3/211 3339 /proc/meminfo: memFree=30834620/32770624 swapFree=66967068/67108860 [pid=3318] ppid=3315 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3318/stat : 3318 (xcsp3-exec) S 3315 3318 2871 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420266031 115843072 363 33554432000 4194304 5098028 140724799758304 140724799756408 140675953369724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31617024 140724799767413 140724799767657 140724799767657 140724799770570 0 /proc/3318/statm: 28282 363 304 221 0 87 0 [pid=3320] ppid=3318 vsize=28227388 memory=40492 CPUtime=0.34 cores=0-7 /proc/3320/stat : 3320 (java) S 3318 3318 2871 0 -1 1077944320 8906 0 0 0 31 3 0 0 20 0 20 0 420266032 28904845312 10123 33554432000 4194304 4196468 140731451474912 140731451457456 140494397214455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 /proc/3320/statm: 7056847 10123 3256 1 0 7019032 0 [pid=3320/tid=3321] ppid=3318 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/3320/task/3321/stat : 3321 (java) R 3318 3318 2871 0 -1 4202560 6176 0 0 0 18 2 0 0 20 0 20 0 420266032 28904845312 10123 33554432000 4194304 4196468 140731451474912 140494401449440 140494397236381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3322] ppid=3318 vsize=28227388 memory=339 CPUtime=0 cores=0-7 /proc/3320/task/3322/stat : 3322 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266033 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493948312720 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3323] ppid=3318 vsize=28227388 memory=288370152338822784 CPUtime=0 cores=0-7 /proc/3320/task/3323/stat : 3323 (java) S 3318 3318 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420266033 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493947259920 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3324] ppid=3318 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/3320/task/3324/stat : 3324 (java) S 3318 3318 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420266033 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493946207120 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3325] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3325/stat : 3325 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266033 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493945154320 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3326] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3326/stat : 3326 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266033 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493944101520 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3327] ppid=3318 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/3320/task/3327/stat : 3327 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266033 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493943048720 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3328] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3328/stat : 3328 (java) S 3318 3318 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420266033 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493941995920 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3329] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3329/stat : 3329 (java) S 3318 3318 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420266033 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493940943120 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3330] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3330/stat : 3330 (java) S 3318 3318 2871 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420266034 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493782006640 140494397225602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3331] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3331/stat : 3331 (java) S 3318 3318 2871 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420266035 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493780952608 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3332] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3332/stat : 3332 (java) S 3318 3318 2871 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420266035 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493779899760 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3333] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3333/stat : 3333 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266037 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493778848080 140494397233051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3334] ppid=3318 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/3320/task/3334/stat : 3334 (java) S 3318 3318 2871 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 20 0 420266037 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493777795440 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3335] ppid=3318 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/3320/task/3335/stat : 3335 (java) S 3318 3318 2871 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 20 0 420266037 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493776742640 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3336] ppid=3318 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/3320/task/3336/stat : 3336 (java) S 3318 3318 2871 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 420266037 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493775689840 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3337] ppid=3318 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/3320/task/3337/stat : 3337 (java) S 3318 3318 2871 0 -1 1077944384 749 0 0 0 8 0 0 0 20 0 20 0 420266037 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493774637040 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3338] ppid=3318 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3338/stat : 3338 (java) S 3318 3318 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420266037 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493773585504 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3339] ppid=3318 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/3320/task/3339/stat : 3339 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266038 28904845312 10123 33554432000 4194304 4196468 140731451474912 140493772532784 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 41944 KiB [startup+0.310376 s]* /proc/loadavg: 7.61 8.19 8.10 6/211 3339 /proc/meminfo: memFree=30827236/32770624 swapFree=66967068/67108860 [pid=3318] ppid=3315 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3318/stat : 3318 (xcsp3-exec) S 3315 3318 2871 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420266031 115843072 363 33554432000 4194304 5098028 140724799758304 140724799756408 140675953369724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31617024 140724799767413 140724799767657 140724799767657 140724799770570 0 /proc/3318/statm: 28282 363 304 221 0 87 0 [pid=3320] ppid=3318 vsize=28231644 memory=50088 CPUtime=0.53 cores=0-7 /proc/3320/stat : 3320 (java) S 3318 3318 2871 0 -1 1077944320 10340 0 0 0 49 4 0 0 20 0 20 0 420266032 28909203456 12522 33554432000 4194304 4196468 140731451474912 140731451457456 140494397214455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 /proc/3320/statm: 7057911 12522 3368 1 0 7019032 0 [pid=3320/tid=3321] ppid=3318 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/3320/task/3321/stat : 3321 (java) R 3318 3318 2871 0 -1 4202560 7298 0 0 0 27 3 0 0 20 0 20 0 420266032 28909203456 12522 33554432000 4194304 4196468 140731451474912 140494401445568 140494381294942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3322] ppid=3318 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3322/stat : 3322 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266033 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493948312720 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3323] ppid=3318 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3323/stat : 3323 (java) S 3318 3318 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420266033 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493947259920 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3324] ppid=3318 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3324/stat : 3324 (java) S 3318 3318 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420266033 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493946207120 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3325] ppid=3318 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3325/stat : 3325 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266033 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493945154320 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3326] ppid=3318 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3326/stat : 3326 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266033 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493944101520 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3327] ppid=3318 vsize=28231644 memory=139776086862511 CPUtime=0 cores=0-7 /proc/3320/task/3327/stat : 3327 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266033 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493943048720 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3328] ppid=3318 vsize=28231644 memory=139776086864816 CPUtime=0 cores=0-7 /proc/3320/task/3328/stat : 3328 (java) S 3318 3318 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420266033 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493941995920 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3329] ppid=3318 vsize=28231644 memory=139776086867120 CPUtime=0 cores=0-7 /proc/3320/task/3329/stat : 3329 (java) S 3318 3318 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420266033 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493940943120 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3330] ppid=3318 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3330/stat : 3330 (java) S 3318 3318 2871 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420266034 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493782006640 140494397225602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3331] ppid=3318 vsize=28231644 memory=279552173748112 CPUtime=0 cores=0-7 /proc/3320/task/3331/stat : 3331 (java) S 3318 3318 2871 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420266035 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493780952608 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3332] ppid=3318 vsize=28231644 memory=279552173745808 CPUtime=0 cores=0-7 /proc/3320/task/3332/stat : 3332 (java) S 3318 3318 2871 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420266035 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493779899760 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3333] ppid=3318 vsize=28231644 memory=279552173752720 CPUtime=0 cores=0-7 /proc/3320/task/3333/stat : 3333 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266037 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493778848080 140494397233051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3334] ppid=3318 vsize=28231644 memory=279552173694000 CPUtime=0.02 cores=0-7 /proc/3320/task/3334/stat : 3334 (java) R 3318 3318 2871 0 -1 4202560 466 0 0 0 2 0 0 0 20 0 20 0 420266037 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493777776456 140494378732846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3335] ppid=3318 vsize=28231644 memory=279552173766544 CPUtime=0.03 cores=0-7 /proc/3320/task/3335/stat : 3335 (java) S 3318 3318 2871 0 -1 1077944384 281 0 0 0 3 0 0 0 20 0 20 0 420266037 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493776742640 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3336] ppid=3318 vsize=28231644 memory=279552173773456 CPUtime=0.02 cores=0-7 /proc/3320/task/3336/stat : 3336 (java) S 3318 3318 2871 0 -1 1077944384 86 0 0 0 2 0 0 0 20 0 20 0 420266037 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493775689840 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3337] ppid=3318 vsize=28231644 memory=279552173771152 CPUtime=0.12 cores=0-7 /proc/3320/task/3337/stat : 3337 (java) S 3318 3318 2871 0 -1 1077944384 926 0 0 0 12 0 0 0 20 0 20 0 420266037 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493774637040 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3338] ppid=3318 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3338/stat : 3338 (java) S 3318 3318 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420266037 28909203456 12522 33554432000 4194304 4196468 140731451474912 140493773585504 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3339] ppid=3318 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/3320/task/3339/stat : 3339 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420266038 28909203456 12587 33554432000 4194304 4196468 140731451474912 140493772532784 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51540 KiB [startup+0.704834 s] /proc/loadavg: 7.61 8.19 8.10 4/211 3339 /proc/meminfo: memFree=30813036/32770624 swapFree=66967068/67108860 [pid=3318] ppid=3315 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3318/stat : 3318 (xcsp3-exec) S 3315 3318 2871 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420266031 115843072 363 33554432000 4194304 5098028 140724799758304 140724799756408 140675953369724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31617024 140724799767413 140724799767657 140724799767657 140724799770570 0 /proc/3318/statm: 28282 363 304 221 0 87 0 [pid=3320] ppid=3318 vsize=28766280 memory=92036 CPUtime=1.91 cores=0-7 /proc/3320/stat : 3320 (java) S 3318 3318 2871 0 -1 1077944320 14498 0 0 0 184 7 0 0 20 0 28 0 420266032 29456670720 23009 33554432000 4194304 4196468 140731451474912 140731451457456 140494397214455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 /proc/3320/statm: 7191570 23009 3452 1 0 7152672 0 [pid=3320/tid=3321] ppid=3318 vsize=28766280 memory=0 CPUtime=0.59 cores=0-7 /proc/3320/task/3321/stat : 3321 (java) S 3318 3318 2871 0 -1 1077944384 8859 0 0 0 55 4 0 0 20 0 28 0 420266032 29456670720 23009 33554432000 4194304 4196468 140731451474912 140494401455232 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3322] ppid=3318 vsize=28766280 memory=139776087073648 CPUtime=0 cores=0-7 /proc/3320/task/3322/stat : 3322 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420266033 29456670720 23009 33554432000 4194304 4196468 140731451474912 140493948312720 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3323] ppid=3318 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3323/stat : 3323 (java) S 3318 3318 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 420266033 29456670720 23009 33554432000 4194304 4196468 140731451474912 140493947259920 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3324] ppid=3318 vsize=28766280 memory=1192 CPUtime=0 cores=0-7 /proc/3320/task/3324/stat : 3324 (java) S 3318 3318 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 420266033 29456670720 23009 33554432000 4194304 4196468 140731451474912 140493946207120 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 ################ # More data... # ################ [pid=3320/tid=3329] ppid=3318 vsize=28768328 memory=2572 CPUtime=0.01 cores=0-7 /proc/3320/task/3329/stat : 3329 (java) S 3318 3318 2871 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 28 0 420266033 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493940943120 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3330] ppid=3318 vsize=28768328 memory=900 CPUtime=0 cores=0-7 /proc/3320/task/3330/stat : 3330 (java) S 3318 3318 2871 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 28 0 420266034 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493782006640 140494397225602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3331] ppid=3318 vsize=28768328 memory=1432 CPUtime=0 cores=0-7 /proc/3320/task/3331/stat : 3331 (java) S 3318 3318 2871 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 420266035 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493780952672 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3332] ppid=3318 vsize=28768328 memory=1764 CPUtime=0 cores=0-7 /proc/3320/task/3332/stat : 3332 (java) S 3318 3318 2871 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 420266035 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493779899776 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3333] ppid=3318 vsize=28768328 memory=3620 CPUtime=0 cores=0-7 /proc/3320/task/3333/stat : 3333 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420266037 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493778848080 140494397233051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3334] ppid=3318 vsize=28768328 memory=167580 CPUtime=2.78 cores=0-7 /proc/3320/task/3334/stat : 3334 (java) S 3318 3318 2871 0 -1 1077944384 17102 0 0 0 274 4 0 0 20 0 28 0 420266037 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493777795440 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3335] ppid=3318 vsize=28768328 memory=143560 CPUtime=2.58 cores=0-7 /proc/3320/task/3335/stat : 3335 (java) S 3318 3318 2871 0 -1 1077944384 8681 0 0 0 256 2 0 0 20 0 28 0 420266037 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493776742640 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3336] ppid=3318 vsize=28768328 memory=15393 CPUtime=3.06 cores=0-7 /proc/3320/task/3336/stat : 3336 (java) S 3318 3318 2871 0 -1 1077944384 9873 0 0 0 304 2 0 0 20 0 28 0 420266037 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493775689840 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3337] ppid=3318 vsize=28768328 memory=0 CPUtime=0.74 cores=0-7 /proc/3320/task/3337/stat : 3337 (java) S 3318 3318 2871 0 -1 1077944384 5332 0 0 0 73 1 0 0 20 0 28 0 420266037 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493774637040 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3338] ppid=3318 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3338/stat : 3338 (java) S 3318 3318 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420266037 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493773585504 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3339] ppid=3318 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3339/stat : 3339 (java) S 3318 3318 2871 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 420266038 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493772532784 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3358] ppid=3318 vsize=28768328 memory=0 CPUtime=2.05 cores=0-7 /proc/3320/task/3358/stat : 3358 (java) R 3318 3318 2871 0 -1 4202560 74 0 0 0 205 0 0 0 20 0 28 0 420266340 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493755952040 140494042409229 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3359] ppid=3318 vsize=28768328 memory=0 CPUtime=2.09 cores=0-7 /proc/3320/task/3359/stat : 3359 (java) R 3318 3318 2871 0 -1 4202560 72 0 0 0 209 0 0 0 20 0 28 0 420266340 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493761217384 140494040546810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3360] ppid=3318 vsize=28768328 memory=0 CPUtime=2.1 cores=0-7 /proc/3320/task/3360/stat : 3360 (java) R 3318 3318 2871 0 -1 4202560 403 0 0 0 210 0 0 0 20 0 28 0 420266340 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493757006216 140494040681183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3361] ppid=3318 vsize=28768328 memory=0 CPUtime=1.86 cores=0-7 /proc/3320/task/3361/stat : 3361 (java) R 3318 3318 2871 0 -1 4202560 89 0 0 0 186 0 0 0 20 0 28 0 420266340 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493759111448 140494040544731 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3362] ppid=3318 vsize=28768328 memory=0 CPUtime=1.65 cores=0-7 /proc/3320/task/3362/stat : 3362 (java) R 3318 3318 2871 0 -1 4202560 37 0 0 0 165 0 0 0 20 0 28 0 420266340 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493763320968 140494038671895 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3363] ppid=3318 vsize=28768328 memory=0 CPUtime=1.87 cores=0-7 /proc/3320/task/3363/stat : 3363 (java) R 3318 3318 2871 0 -1 4202560 98 0 0 0 187 0 0 0 20 0 28 0 420266340 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493762269128 140494040546448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3364] ppid=3318 vsize=28768328 memory=0 CPUtime=1.84 cores=0-7 /proc/3320/task/3364/stat : 3364 (java) R 3318 3318 2871 0 -1 4202560 52 0 0 0 184 0 0 0 20 0 28 0 420266340 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493760167424 140494040544861 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3365] ppid=3318 vsize=28768328 memory=4207743541921749210 CPUtime=2.15 cores=0-7 /proc/3320/task/3365/stat : 3365 (java) R 3318 3318 2871 0 -1 4202560 48 0 0 0 215 0 0 0 20 0 28 0 420266340 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493758057784 140494040545185 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 Current children cumulated CPU time: 40.42 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 307048 KiB [startup+5.80142 s] /proc/loadavg: 7.61 8.19 8.10 12/219 3365 /proc/meminfo: memFree=30576452/32770624 swapFree=66967068/67108860 [pid=3318] ppid=3315 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3318/stat : 3318 (xcsp3-exec) S 3315 3318 2871 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420266031 115843072 363 33554432000 4194304 5098028 140724799758304 140724799756408 140675953369724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31617024 140724799767413 140724799767657 140724799767657 140724799770570 0 /proc/3318/statm: 28282 363 304 221 0 87 0 [pid=3320] ppid=3318 vsize=28768328 memory=305596 CPUtime=42.02 cores=0-7 /proc/3320/stat : 3320 (java) S 3318 3318 2871 0 -1 1077944320 54927 0 0 0 4178 24 0 0 20 0 28 0 420266032 29458767872 76399 33554432000 4194304 4196468 140731451474912 140731451457456 140494397214455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 /proc/3320/statm: 7192082 76399 3514 1 0 7153184 0 [pid=3320/tid=3321] ppid=3318 vsize=28768328 memory=984 CPUtime=0.59 cores=0-7 /proc/3320/task/3321/stat : 3321 (java) S 3318 3318 2871 0 -1 1077944384 8916 0 0 0 55 4 0 0 20 0 28 0 420266032 29458767872 76399 33554432000 4194304 4196468 140731451474912 140494401455232 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3322] ppid=3318 vsize=28768328 memory=2004 CPUtime=0.01 cores=0-7 /proc/3320/task/3322/stat : 3322 (java) S 3318 3318 2871 0 -1 1077944384 599 0 0 0 1 0 0 0 20 0 28 0 420266033 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493948312720 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3323] ppid=3318 vsize=28768328 memory=1376 CPUtime=0.01 cores=0-7 /proc/3320/task/3323/stat : 3323 (java) S 3318 3318 2871 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 28 0 420266033 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493947259920 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3324] ppid=3318 vsize=28768328 memory=1060 CPUtime=0 cores=0-7 /proc/3320/task/3324/stat : 3324 (java) S 3318 3318 2871 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 420266033 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493946207120 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3325] ppid=3318 vsize=28768328 memory=4068 CPUtime=0.01 cores=0-7 /proc/3320/task/3325/stat : 3325 (java) S 3318 3318 2871 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 420266033 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493945154320 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3326] ppid=3318 vsize=28768328 memory=1720 CPUtime=0 cores=0-7 /proc/3320/task/3326/stat : 3326 (java) S 3318 3318 2871 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 420266033 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493944101520 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3327] ppid=3318 vsize=28768328 memory=5928 CPUtime=0 cores=0-7 /proc/3320/task/3327/stat : 3327 (java) S 3318 3318 2871 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 420266033 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493943048720 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3328] ppid=3318 vsize=28768328 memory=10564 CPUtime=0 cores=0-7 /proc/3320/task/3328/stat : 3328 (java) S 3318 3318 2871 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 420266033 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493941995920 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3329] ppid=3318 vsize=28768328 memory=716 CPUtime=0.01 cores=0-7 /proc/3320/task/3329/stat : 3329 (java) S 3318 3318 2871 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 28 0 420266033 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493940943120 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3330] ppid=3318 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3330/stat : 3330 (java) S 3318 3318 2871 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 28 0 420266034 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493782006640 140494397225602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3331] ppid=3318 vsize=28768328 memory=279552173978272 CPUtime=0 cores=0-7 /proc/3320/task/3331/stat : 3331 (java) S 3318 3318 2871 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 420266035 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493780952672 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3332] ppid=3318 vsize=28768328 memory=3184237696163073680 CPUtime=0 cores=0-7 /proc/3320/task/3332/stat : 3332 (java) S 3318 3318 2871 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 420266035 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493779899776 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3333] ppid=3318 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3333/stat : 3333 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420266037 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493778848080 140494397233051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3334] ppid=3318 vsize=28768328 memory=0 CPUtime=2.78 cores=0-7 /proc/3320/task/3334/stat : 3334 (java) S 3318 3318 2871 0 -1 1077944384 17102 0 0 0 274 4 0 0 20 0 28 0 420266037 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493777795440 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3335] ppid=3318 vsize=28768328 memory=279552173984880 CPUtime=2.58 cores=0-7 /proc/3320/task/3335/stat : 3335 (java) S 3318 3318 2871 0 -1 1077944384 8681 0 0 0 256 2 0 0 20 0 28 0 420266037 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493776742640 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3336] ppid=3318 vsize=28768328 memory=0 CPUtime=3.06 cores=0-7 /proc/3320/task/3336/stat : 3336 (java) S 3318 3318 2871 0 -1 1077944384 9873 0 0 0 304 2 0 0 20 0 28 0 420266037 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493775689840 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3337] ppid=3318 vsize=28768328 memory=0 CPUtime=0.74 cores=0-7 /proc/3320/task/3337/stat : 3337 (java) S 3318 3318 2871 0 -1 1077944384 5335 0 0 0 73 1 0 0 20 0 28 0 420266037 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493774637040 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3338] ppid=3318 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3338/stat : 3338 (java) S 3318 3318 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420266037 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493773585504 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3339] ppid=3318 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3339/stat : 3339 (java) S 3318 3318 2871 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 420266038 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493772532784 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3358] ppid=3318 vsize=28768328 memory=0 CPUtime=2.25 cores=0-7 /proc/3320/task/3358/stat : 3358 (java) R 3318 3318 2871 0 -1 4202560 74 0 0 0 225 0 0 0 20 0 28 0 420266340 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493755952040 140494040545227 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3359] ppid=3318 vsize=28768328 memory=0 CPUtime=2.29 cores=0-7 /proc/3320/task/3359/stat : 3359 (java) R 3318 3318 2871 0 -1 4202560 72 0 0 0 229 0 0 0 20 0 28 0 420266340 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493761217224 140494038666543 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3360] ppid=3318 vsize=28768328 memory=0 CPUtime=2.3 cores=0-7 /proc/3320/task/3360/stat : 3360 (java) R 3318 3318 2871 0 -1 4202560 403 0 0 0 230 0 0 0 20 0 28 0 420266340 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493757005832 140494040681114 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3361] ppid=3318 vsize=28768328 memory=0 CPUtime=2.06 cores=0-7 /proc/3320/task/3361/stat : 3361 (java) R 3318 3318 2871 0 -1 4202560 89 0 0 0 206 0 0 0 20 0 28 0 420266340 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493759111448 140494038673046 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3362] ppid=3318 vsize=28768328 memory=0 CPUtime=1.85 cores=0-7 /proc/3320/task/3362/stat : 3362 (java) R 3318 3318 2871 0 -1 4202560 37 0 0 0 185 0 0 0 20 0 28 0 420266340 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493763321592 140494038713496 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3363] ppid=3318 vsize=28768328 memory=0 CPUtime=2.06 cores=0-7 /proc/3320/task/3363/stat : 3363 (java) R 3318 3318 2871 0 -1 4202560 98 0 0 0 206 0 0 0 20 0 28 0 420266340 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493762269128 140494040544861 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3364] ppid=3318 vsize=28768328 memory=0 CPUtime=2.04 cores=0-7 /proc/3320/task/3364/stat : 3364 (java) R 3318 3318 2871 0 -1 4202560 52 0 0 0 204 0 0 0 20 0 28 0 420266340 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493760167424 140494038713788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3365] ppid=3318 vsize=28768328 memory=2241 CPUtime=2.35 cores=0-7 /proc/3320/task/3365/stat : 3365 (java) R 3318 3318 2871 0 -1 4202560 48 0 0 0 235 0 0 0 20 0 28 0 420266340 29458767872 76399 33554432000 4194304 4196468 140731451474912 140493758057784 140494040545417 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 Current children cumulated CPU time: 42.02 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 307048 KiB [startup+5.901 s] /proc/loadavg: 7.61 8.19 8.10 12/219 3365 /proc/meminfo: memFree=30576452/32770624 swapFree=66967068/67108860 [pid=3318] ppid=3315 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3318/stat : 3318 (xcsp3-exec) S 3315 3318 2871 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420266031 115843072 363 33554432000 4194304 5098028 140724799758304 140724799756408 140675953369724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31617024 140724799767413 140724799767657 140724799767657 140724799770570 0 /proc/3318/statm: 28282 363 304 221 0 87 0 [pid=3320] ppid=3318 vsize=28768328 memory=309380 CPUtime=42.71 cores=0-7 /proc/3320/stat : 3320 (java) S 3318 3318 2871 0 -1 1077944320 55145 0 0 0 4246 25 0 0 20 0 28 0 420266032 29458767872 77345 33554432000 4194304 4196468 140731451474912 140731451457456 140494397214455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 /proc/3320/statm: 7192082 77345 3514 1 0 7153184 0 [pid=3320/tid=3321] ppid=3318 vsize=28768328 memory=305596 CPUtime=0.59 cores=0-7 /proc/3320/task/3321/stat : 3321 (java) S 3318 3318 2871 0 -1 1077944384 8960 0 0 0 55 4 0 0 20 0 28 0 420266032 29458767872 77345 33554432000 4194304 4196468 140731451474912 140494401455232 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3322] ppid=3318 vsize=28768328 memory=1452 CPUtime=0.01 cores=0-7 /proc/3320/task/3322/stat : 3322 (java) S 3318 3318 2871 0 -1 1077944384 605 0 0 0 1 0 0 0 20 0 28 0 420266033 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493948312720 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3323] ppid=3318 vsize=28768328 memory=4640206595802819411 CPUtime=0.02 cores=0-7 /proc/3320/task/3323/stat : 3323 (java) S 3318 3318 2871 0 -1 1077944384 68 0 0 0 2 0 0 0 20 0 28 0 420266033 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493947259920 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3324] ppid=3318 vsize=28768328 memory=305380 CPUtime=0.01 cores=0-7 /proc/3320/task/3324/stat : 3324 (java) S 3318 3318 2871 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 28 0 420266033 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493946207120 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3325] ppid=3318 vsize=28768328 memory=270656 CPUtime=0.01 cores=0-7 /proc/3320/task/3325/stat : 3325 (java) S 3318 3318 2871 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 420266033 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493945154320 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3326] ppid=3318 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/3320/task/3326/stat : 3326 (java) S 3318 3318 2871 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 420266033 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493944101520 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3327] ppid=3318 vsize=28768328 memory=1452 CPUtime=0 cores=0-7 /proc/3320/task/3327/stat : 3327 (java) S 3318 3318 2871 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 420266033 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493943048720 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3328] ppid=3318 vsize=28768328 memory=1452 CPUtime=0.01 cores=0-7 /proc/3320/task/3328/stat : 3328 (java) S 3318 3318 2871 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 420266033 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493941995920 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3329] ppid=3318 vsize=28768328 memory=148876 CPUtime=0.01 cores=0-7 /proc/3320/task/3329/stat : 3329 (java) S 3318 3318 2871 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 28 0 420266033 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493940943120 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3330] ppid=3318 vsize=28768328 memory=6944652177228980320 CPUtime=0.01 cores=0-7 /proc/3320/task/3330/stat : 3330 (java) S 3318 3318 2871 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 28 0 420266034 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493782006640 140494397225602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3331] ppid=3318 vsize=28768328 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/3320/task/3331/stat : 3331 (java) S 3318 3318 2871 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 420266035 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493780952672 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3332] ppid=3318 vsize=28768328 memory=10564 CPUtime=0 cores=0-7 /proc/3320/task/3332/stat : 3332 (java) S 3318 3318 2871 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 420266035 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493779899776 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3333] ppid=3318 vsize=28768328 memory=716 CPUtime=0 cores=0-7 /proc/3320/task/3333/stat : 3333 (java) S 3318 3318 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420266037 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493778848080 140494397233051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3334] ppid=3318 vsize=28768328 memory=780 CPUtime=2.78 cores=0-7 /proc/3320/task/3334/stat : 3334 (java) S 3318 3318 2871 0 -1 1077944384 17102 0 0 0 274 4 0 0 20 0 28 0 420266037 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493777795440 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3335] ppid=3318 vsize=28768328 memory=1552 CPUtime=2.61 cores=0-7 /proc/3320/task/3335/stat : 3335 (java) S 3318 3318 2871 0 -1 1077944384 8688 0 0 0 259 2 0 0 20 0 28 0 420266037 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493776742640 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3336] ppid=3318 vsize=28768328 memory=56 CPUtime=3.06 cores=0-7 /proc/3320/task/3336/stat : 3336 (java) S 3318 3318 2871 0 -1 1077944384 9873 0 0 0 304 2 0 0 20 0 28 0 420266037 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493775689840 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3337] ppid=3318 vsize=28768328 memory=6944656592452807325 CPUtime=0.74 cores=0-7 /proc/3320/task/3337/stat : 3337 (java) S 3318 3318 2871 0 -1 1077944384 5337 0 0 0 73 1 0 0 20 0 28 0 420266037 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493774637040 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3338] ppid=3318 vsize=28768328 memory=-6737208495984907619 CPUtime=0 cores=0-7 /proc/3320/task/3338/stat : 3338 (java) S 3318 3318 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420266037 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493773585504 140494397224661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 [pid=3320/tid=3339] ppid=3318 vsize=28768328 memory=-9178176117148050014 CPUtime=0 cores=0-7 /proc/3320/task/3339/stat : 3339 (java) S 3318 3318 2871 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 420266038 29458767872 77345 33554432000 4194304 4196468 140731451474912 140493772532784 140494397225602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16175104 140731451483114 140731451483286 140731451483286 140731451486159 0 Current children cumulated CPU time: 42.71 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 310832 KiB Child status: 0 Real time (s): 5.92179 CPU time (s): 42.7447 CPU user time (s): 42.4778 CPU system time (s): 0.266894 CPU usage (%): 721.821 Max. virtual memory (cumulated for all children) (KiB): 28884904 Max. memory (cumulated for all children) (KiB): 310832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 42.4778 system time used= 0.266894 maximum resident set size= 310124 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55898 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5512 involuntary context switches= 1563 # summary of solver processes directly reported to runsolver: # pid: 3318 # total CPU time (s): 42.7447 # total CPU user time (s): 42.4778 # total CPU system time (s): 0.266894 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.076676 second user time and 0.095567 second system time The end
Begin job on node125 at 2019-09-14 07:45:50 IDJOB=4394401 IDBENCH=137627 IDSOLVER=2843 FILE ID=node125/4394401-1568439992 RUNJOBID= node125-1568437422-2898 PBS_JOBID= 21702322 Free space on /tmp= 59780 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n1w1b1r5.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-4394401-1568439992/watcher-4394401-1568439992 -o /tmp/evaluation-result-4394401-1568439992/solver-4394401-1568439992 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568437422-2898 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2063262419 HOME/instance-4394401-1568439992.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 15a2bddfb10fd8a6157ce871797528b8 RANDOM SEED=2063262419 node125.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.29 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.29 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.29 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.29 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: 30864792 kB MemAvailable: 31871384 kB Buffers: 152996 kB Cached: 1145880 kB SwapCached: 38360 kB Active: 680256 kB Inactive: 661320 kB Active(anon): 21728 kB Inactive(anon): 60876 kB Active(file): 658528 kB Inactive(file): 600444 kB Unevictable: 108024 kB Mlocked: 108024 kB SwapTotal: 67108860 kB SwapFree: 66967068 kB Dirty: 26280 kB Writeback: 0 kB AnonPages: 115796 kB Mapped: 44408 kB Shmem: 31288 kB Slab: 155752 kB SReclaimable: 126912 kB SUnreclaim: 28840 kB KernelStack: 3600 kB PageTables: 5888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497848 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: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 59752 MiB End job on node125 at 2019-09-14 07:45:56