Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 82 | 294.222 | 37.5633 |
Name | Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-45-01.xml |
MD5SUM | 1713c5d1d522f34d444b6ff7755d5ded |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 82 |
Best CPU time to get the best result obtained on this benchmark | 244.284 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 32 |
Number of constraints | 72 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 151 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":151,"count":31}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":7,"count":1},{"degree":8,"count":21},{"degree":9,"count":5},{"degree":10,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":68},{"arity":30,"count":4}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 68 |
Distribution of constraint types | [{"type":"intension","count":68},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407394-1569347568.xml" -tl '2016s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4407394-1569347568.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 1.59/0.73 c solve instance... 2.83/0.99 o 97 2.83/1.00 o 94 3.38/1.05 o 90 20.71/3.28 o 89 22.30/3.49 o 86 23.82/3.66 o 85 41.31/5.87 o 84 62.01/8.46 o 83 71.57/9.64 o 82 293.90/37.54 s OPTIMUM FOUND 293.90/37.54 v <instantiation> 293.90/37.54 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] </list> 293.90/37.54 v <values>0 4 0 0 6 28 7 14 21 7 5 21 17 23 31 26 34 25 40 41 54 49 49 58 62 70 54 66 73 73 66 82 </values> 293.90/37.54 v </instantiation>
OK 82
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 (11220 MiB free) memory of node 1: 16384 MiB (12435 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407394-1569347568/watcher-4407394-1569347568 -o /var/tmp/evaluation-result-4407394-1569347568/solver-4407394-1569347568 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569335938-19122 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1803610371 HOME/instance-4407394-1569347568.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=23308, runsolver pid=23305 Current StackSize limit: 8192 KiB [startup+0.102213 s]* /proc/loadavg: 8.28 8.31 8.13 2/213 23329 /proc/meminfo: memFree=24205644/32770624 swapFree=66976772/67108860 [pid=23308] ppid=23305 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23308/stat : 23308 (xcsp3-exec) S 23305 23308 19095 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510696895 115843072 363 33554432000 4194304 5098028 140730732511936 140730732510040 140544819458684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20459520 140730732516183 140730732516442 140730732516442 140730732519366 0 /proc/23308/statm: 28282 363 304 221 0 87 0 [pid=23310] ppid=23308 vsize=28227396 memory=30036 CPUtime=0.13 cores=0-7 /proc/23310/stat : 23310 (java) S 23308 23308 19095 0 -1 1077944320 5986 0 0 0 11 2 0 0 20 0 20 0 510696896 28904853504 7509 33554432000 4194304 4196468 140725812323664 140725812306208 139912828251895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 /proc/23310/statm: 7056849 7509 3121 1 0 7019032 0 [pid=23310/tid=23311] ppid=23308 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/23310/task/23311/stat : 23311 (java) R 23308 23308 19095 0 -1 4202560 3897 0 0 0 8 1 0 0 20 0 20 0 510696896 28904853504 7509 33554432000 4194304 4196468 140725812323664 139912832485168 139912828263830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23312] ppid=23308 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/23310/task/23312/stat : 23312 (java) S 23308 23308 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510696897 28904853504 7509 33554432000 4194304 4196468 140725812323664 139912789211536 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23313] ppid=23308 vsize=28227396 memory=140304341575296 CPUtime=0 cores=0-7 /proc/23310/task/23313/stat : 23313 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696897 28904853504 7509 33554432000 4194304 4196468 140725812323664 139912378489104 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23314] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23314/stat : 23314 (java) S 23308 23308 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510696897 28904853504 7509 33554432000 4194304 4196468 140725812323664 139912377436816 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23315] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23315/stat : 23315 (java) S 23308 23308 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510696897 28904853504 7509 33554432000 4194304 4196468 140725812323664 139912376384016 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23316] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23316/stat : 23316 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696897 28904853504 7509 33554432000 4194304 4196468 140725812323664 139912375331728 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23317] ppid=23308 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23310/task/23317/stat : 23317 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696897 28904853504 7509 33554432000 4194304 4196468 140725812323664 139912374278928 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23318] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23318/stat : 23318 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696897 28904853504 7509 33554432000 4194304 4196468 140725812323664 139912373226640 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23319] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23319/stat : 23319 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696897 28904853504 7509 33554432000 4194304 4196468 140725812323664 139912372173840 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23320] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23320/stat : 23320 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696898 28904853504 7509 33554432000 4194304 4196468 140725812323664 139911158200432 139912828263042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23321] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23321/stat : 23321 (java) S 23308 23308 19095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510696899 28904853504 7509 33554432000 4194304 4196468 140725812323664 139911157146400 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23322] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23322/stat : 23322 (java) S 23308 23308 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510696899 28904853504 7509 33554432000 4194304 4196468 140725812323664 139911156094064 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23323] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23323/stat : 23323 (java) S 23308 23308 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510696902 28904853504 7509 33554432000 4194304 4196468 140725812323664 139911155042384 139912828270491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23324] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23324/stat : 23324 (java) S 23308 23308 19095 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 510696902 28904853504 7509 33554432000 4194304 4196468 140725812323664 139911153990256 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23325] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23325/stat : 23325 (java) S 23308 23308 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510696902 28904853504 7509 33554432000 4194304 4196468 140725812323664 139911152937456 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23326] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23326/stat : 23326 (java) S 23308 23308 19095 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510696902 28904853504 7509 33554432000 4194304 4196468 140725812323664 139911151885168 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23327] ppid=23308 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/23310/task/23327/stat : 23327 (java) R 23308 23308 19095 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 20 0 510696902 28904853504 7509 33554432000 4194304 4196468 140725812323664 139911150832368 139912806764065 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23328] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23328/stat : 23328 (java) S 23308 23308 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510696902 28904853504 7509 33554432000 4194304 4196468 140725812323664 139911149779296 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23329] ppid=23308 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23310/task/23329/stat : 23329 (java) S 23308 23308 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510696902 28904853504 7509 33554432000 4194304 4196468 140725812323664 139911148726576 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31488 KiB [startup+0.210608 s]* /proc/loadavg: 8.28 8.31 8.13 3/213 23329 /proc/meminfo: memFree=24192996/32770624 swapFree=66976772/67108860 [pid=23308] ppid=23305 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23308/stat : 23308 (xcsp3-exec) S 23305 23308 19095 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510696895 115843072 363 33554432000 4194304 5098028 140730732511936 140730732510040 140544819458684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20459520 140730732516183 140730732516442 140730732516442 140730732519366 0 /proc/23308/statm: 28282 363 304 221 0 87 0 [pid=23310] ppid=23308 vsize=28227396 memory=41568 CPUtime=0.34 cores=0-7 /proc/23310/stat : 23310 (java) S 23308 23308 19095 0 -1 1077944320 9579 0 0 0 30 4 0 0 20 0 20 0 510696896 28904853504 10392 33554432000 4194304 4196468 140725812323664 140725812306208 139912828251895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 /proc/23310/statm: 7056849 10392 3316 1 0 7019032 0 [pid=23310/tid=23311] ppid=23308 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/23310/task/23311/stat : 23311 (java) R 23308 23308 19095 0 -1 4202560 6704 0 0 0 17 2 0 0 20 0 20 0 510696896 28904853504 10392 33554432000 4194304 4196468 140725812323664 139912832481616 140725813291398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23312] ppid=23308 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/23310/task/23312/stat : 23312 (java) S 23308 23308 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510696897 28904853504 10392 33554432000 4194304 4196468 140725812323664 139912789211536 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23313] ppid=23308 vsize=28227396 memory=288370680493287040 CPUtime=0 cores=0-7 /proc/23310/task/23313/stat : 23313 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696897 28904853504 10392 33554432000 4194304 4196468 140725812323664 139912378489104 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23314] ppid=23308 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23310/task/23314/stat : 23314 (java) S 23308 23308 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510696897 28904853504 10392 33554432000 4194304 4196468 140725812323664 139912377436816 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23315] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23315/stat : 23315 (java) S 23308 23308 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510696897 28904853504 10392 33554432000 4194304 4196468 140725812323664 139912376384016 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23316] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23316/stat : 23316 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696897 28904853504 10392 33554432000 4194304 4196468 140725812323664 139912375331728 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23317] ppid=23308 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23310/task/23317/stat : 23317 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696897 28904853504 10392 33554432000 4194304 4196468 140725812323664 139912374278928 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23318] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23318/stat : 23318 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696897 28904853504 10392 33554432000 4194304 4196468 140725812323664 139912373226640 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23319] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23319/stat : 23319 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696897 28904853504 10392 33554432000 4194304 4196468 140725812323664 139912372173840 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23320] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23320/stat : 23320 (java) S 23308 23308 19095 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510696898 28904853504 10392 33554432000 4194304 4196468 140725812323664 139911158200432 139912828263042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23321] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23321/stat : 23321 (java) S 23308 23308 19095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510696899 28904853504 10392 33554432000 4194304 4196468 140725812323664 139911157146400 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23322] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23322/stat : 23322 (java) S 23308 23308 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510696899 28904853504 10392 33554432000 4194304 4196468 140725812323664 139911156094064 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23323] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23323/stat : 23323 (java) S 23308 23308 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510696902 28904853504 10392 33554432000 4194304 4196468 140725812323664 139911155042384 139912828270491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23324] ppid=23308 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/23310/task/23324/stat : 23324 (java) S 23308 23308 19095 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 510696902 28904853504 10392 33554432000 4194304 4196468 140725812323664 139911153990256 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23325] ppid=23308 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/23310/task/23325/stat : 23325 (java) S 23308 23308 19095 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 20 0 510696902 28904853504 10392 33554432000 4194304 4196468 140725812323664 139911152937456 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23326] ppid=23308 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/23310/task/23326/stat : 23326 (java) S 23308 23308 19095 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 20 0 510696902 28904853504 10392 33554432000 4194304 4196468 140725812323664 139911151885168 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23327] ppid=23308 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/23310/task/23327/stat : 23327 (java) S 23308 23308 19095 0 -1 1077944384 700 0 0 0 7 0 0 0 20 0 20 0 510696902 28904853504 10392 33554432000 4194304 4196468 140725812323664 139911150832368 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23328] ppid=23308 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23328/stat : 23328 (java) S 23308 23308 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510696902 28904853504 10392 33554432000 4194304 4196468 140725812323664 139911149779296 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23329] ppid=23308 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23310/task/23329/stat : 23329 (java) S 23308 23308 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510696902 28904853504 10392 33554432000 4194304 4196468 140725812323664 139911148726576 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 43020 KiB [startup+0.310575 s]* /proc/loadavg: 8.28 8.31 8.13 2/213 23329 /proc/meminfo: memFree=24185972/32770624 swapFree=66976772/67108860 [pid=23308] ppid=23305 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23308/stat : 23308 (xcsp3-exec) S 23305 23308 19095 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510696895 115843072 363 33554432000 4194304 5098028 140730732511936 140730732510040 140544819458684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20459520 140730732516183 140730732516442 140730732516442 140730732519366 0 /proc/23308/statm: 28282 363 304 221 0 87 0 [pid=23310] ppid=23308 vsize=28231652 memory=49940 CPUtime=0.52 cores=0-7 /proc/23310/stat : 23310 (java) S 23308 23308 19095 0 -1 1077944320 10828 0 0 0 47 5 0 0 20 0 20 0 510696896 28909211648 12485 33554432000 4194304 4196468 140725812323664 140725812306208 139912828251895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 /proc/23310/statm: 7057913 12485 3355 1 0 7019032 0 [pid=23310/tid=23311] ppid=23308 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/23310/task/23311/stat : 23311 (java) R 23308 23308 19095 0 -1 4202560 7803 0 0 0 27 3 0 0 20 0 20 0 510696896 28909211648 12485 33554432000 4194304 4196468 140725812323664 139912832483008 139912464503179 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23312] ppid=23308 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23312/stat : 23312 (java) S 23308 23308 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510696897 28909211648 12485 33554432000 4194304 4196468 140725812323664 139912789211536 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23313] ppid=23308 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23313/stat : 23313 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696897 28909211648 12485 33554432000 4194304 4196468 140725812323664 139912378489104 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23314] ppid=23308 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23314/stat : 23314 (java) S 23308 23308 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510696897 28909211648 12485 33554432000 4194304 4196468 140725812323664 139912377436816 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23315] ppid=23308 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23315/stat : 23315 (java) S 23308 23308 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510696897 28909211648 12528 33554432000 4194304 4196468 140725812323664 139912376384016 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23316] ppid=23308 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/23310/task/23316/stat : 23316 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696897 28909211648 12528 33554432000 4194304 4196468 140725812323664 139912375331728 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23317] ppid=23308 vsize=28231652 memory=140304233624495 CPUtime=0 cores=0-7 /proc/23310/task/23317/stat : 23317 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696897 28909211648 12528 33554432000 4194304 4196468 140725812323664 139912374278928 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23318] ppid=23308 vsize=28231652 memory=140304233626800 CPUtime=0 cores=0-7 /proc/23310/task/23318/stat : 23318 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696897 28909211648 12528 33554432000 4194304 4196468 140725812323664 139912373226640 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23319] ppid=23308 vsize=28231652 memory=140304233629104 CPUtime=0 cores=0-7 /proc/23310/task/23319/stat : 23319 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696897 28909211648 12528 33554432000 4194304 4196468 140725812323664 139912372173840 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23320] ppid=23308 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23320/stat : 23320 (java) S 23308 23308 19095 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510696898 28909211648 12528 33554432000 4194304 4196468 140725812323664 139911158200432 139912828263042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23321] ppid=23308 vsize=28231652 memory=280608467265168 CPUtime=0 cores=0-7 /proc/23310/task/23321/stat : 23321 (java) S 23308 23308 19095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510696899 28909211648 12528 33554432000 4194304 4196468 140725812323664 139911157146400 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23322] ppid=23308 vsize=28231652 memory=280608467272080 CPUtime=0 cores=0-7 /proc/23310/task/23322/stat : 23322 (java) S 23308 23308 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510696899 28909211648 12528 33554432000 4194304 4196468 140725812323664 139911156094064 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23323] ppid=23308 vsize=28231652 memory=280608467213360 CPUtime=0 cores=0-7 /proc/23310/task/23323/stat : 23323 (java) S 23308 23308 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510696902 28909211648 12528 33554432000 4194304 4196468 140725812323664 139911155042384 139912828270491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23324] ppid=23308 vsize=28231652 memory=280608467285904 CPUtime=0.01 cores=0-7 /proc/23310/task/23324/stat : 23324 (java) S 23308 23308 19095 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 20 0 510696902 28909211648 12528 33554432000 4194304 4196468 140725812323664 139911153990256 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23325] ppid=23308 vsize=28231652 memory=280608467292816 CPUtime=0.03 cores=0-7 /proc/23310/task/23325/stat : 23325 (java) S 23308 23308 19095 0 -1 1077944384 287 0 0 0 3 0 0 0 20 0 20 0 510696902 28909211648 12528 33554432000 4194304 4196468 140725812323664 139911152937456 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23326] ppid=23308 vsize=28231652 memory=280608467290512 CPUtime=0.03 cores=0-7 /proc/23310/task/23326/stat : 23326 (java) R 23308 23308 19095 0 -1 4202560 339 0 0 0 3 0 0 0 20 0 20 0 510696902 28909211648 12528 33554432000 4194304 4196468 140725812323664 139911151866184 139912805903760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23327] ppid=23308 vsize=28231652 memory=280608467306672 CPUtime=0.12 cores=0-7 /proc/23310/task/23327/stat : 23327 (java) S 23308 23308 19095 0 -1 1077944384 750 0 0 0 12 0 0 0 20 0 20 0 510696902 28909211648 12528 33554432000 4194304 4196468 140725812323664 139911150832368 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23328] ppid=23308 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23328/stat : 23328 (java) S 23308 23308 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510696902 28909211648 12528 33554432000 4194304 4196468 140725812323664 139911149779296 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23329] ppid=23308 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/23310/task/23329/stat : 23329 (java) S 23308 23308 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510696902 28909211648 12528 33554432000 4194304 4196468 140725812323664 139911148726576 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51392 KiB [startup+0.70221 s] /proc/loadavg: 8.28 8.31 8.13 3/213 23329 /proc/meminfo: memFree=24168332/32770624 swapFree=66976772/67108860 [pid=23308] ppid=23305 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23308/stat : 23308 (xcsp3-exec) S 23305 23308 19095 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510696895 115843072 363 33554432000 4194304 5098028 140730732511936 140730732510040 140544819458684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20459520 140730732516183 140730732516442 140730732516442 140730732519366 0 /proc/23308/statm: 28282 363 304 221 0 87 0 [pid=23310] ppid=23308 vsize=28233776 memory=89332 CPUtime=1.59 cores=0-7 /proc/23310/stat : 23310 (java) S 23308 23308 19095 0 -1 1077944320 15030 0 0 0 152 7 0 0 20 0 20 0 510696896 28911386624 22333 33554432000 4194304 4196468 140725812323664 140725812306208 139912828251895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 /proc/23310/statm: 7058444 22333 3453 1 0 7019544 0 [pid=23310/tid=23311] ppid=23308 vsize=28233776 memory=280608467664560 CPUtime=0.67 cores=0-7 /proc/23310/task/23311/stat : 23311 (java) R 23308 23308 19095 0 -1 4202560 9351 0 0 0 63 4 0 0 20 0 20 0 510696896 28911386624 22333 33554432000 4194304 4196468 140725812323664 139912832487920 139912465487000 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23312] ppid=23308 vsize=28233776 memory=140304233833328 CPUtime=0 cores=0-7 /proc/23310/task/23312/stat : 23312 (java) S 23308 23308 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510696897 28911386624 22333 33554432000 4194304 4196468 140725812323664 139912789211536 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23313] ppid=23308 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23313/stat : 23313 (java) S 23308 23308 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510696897 28911386624 22333 33554432000 4194304 4196468 140725812323664 139912378489104 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23314] ppid=23308 vsize=28233776 memory=1060 CPUtime=0 cores=0-7 /proc/23310/task/23314/stat : 23314 (java) S 23308 23308 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510696897 28911386624 22333 33554432000 4194304 4196468 140725812323664 139912377436816 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 ################ # More data... # ################ [pid=23310/tid=23327] ppid=23308 vsize=28834900 memory=1536 CPUtime=0.85 cores=0-7 /proc/23310/task/23327/stat : 23327 (java) S 23308 23308 19095 0 -1 1077944384 7975 0 0 0 82 3 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911150832368 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23328] ppid=23308 vsize=28834900 memory=1452 CPUtime=0 cores=0-7 /proc/23310/task/23328/stat : 23328 (java) S 23308 23308 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911149779296 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23329] ppid=23308 vsize=28834900 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/23310/task/23329/stat : 23329 (java) S 23308 23308 19095 0 -1 1077944384 624 0 0 0 0 0 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911148726576 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23402] ppid=23308 vsize=28834900 memory=288230583166042426 CPUtime=27.4 cores=0-7 /proc/23310/task/23402/stat : 23402 (java) R 23308 23308 19095 0 -1 4202560 312 0 0 0 2740 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911139506888 139912470758765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23403] ppid=23308 vsize=28834900 memory=14981057220971048 CPUtime=27.44 cores=0-7 /proc/23310/task/23403/stat : 23403 (java) R 23308 23308 19095 0 -1 4202560 219 0 0 0 2744 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911130045104 139912470757492 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23404] ppid=23308 vsize=28834900 memory=7956005031678667109 CPUtime=27.37 cores=0-7 /proc/23310/task/23404/stat : 23404 (java) R 23308 23308 19095 0 -1 4202560 288 0 0 0 2737 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911128989528 139912471037490 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23405] ppid=23308 vsize=28834900 memory=7882828121784479853 CPUtime=27.2 cores=0-7 /proc/23310/task/23405/stat : 23405 (java) R 23308 23308 19095 0 -1 4202560 1042 0 0 0 2720 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911133200296 139912472742343 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23406] ppid=23308 vsize=28834900 memory=7882828121784479853 CPUtime=27.38 cores=0-7 /proc/23310/task/23406/stat : 23406 (java) R 23308 23308 19095 0 -1 4202560 608 0 0 0 2738 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911132148248 139912471852809 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23407] ppid=23308 vsize=28834900 memory=7882828121784479853 CPUtime=27.27 cores=0-7 /proc/23310/task/23407/stat : 23407 (java) R 23308 23308 19095 0 -1 4202560 367 0 0 0 2727 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911134252888 139912471917539 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23408] ppid=23308 vsize=28834900 memory=7308895142485716329 CPUtime=27.3 cores=0-7 /proc/23310/task/23408/stat : 23408 (java) R 23308 23308 19095 0 -1 4202560 1346 0 0 0 2730 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911136357992 139912471036316 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23409] ppid=23308 vsize=28834900 memory=6299802978650451056 CPUtime=27.26 cores=0-7 /proc/23310/task/23409/stat : 23409 (java) R 23308 23308 19095 0 -1 4202560 527 0 0 0 2726 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911135305656 139912471101504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 Current children cumulated CPU time: 291.5 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 245008 KiB [startup+37.4012 s] /proc/loadavg: 8.40 8.35 8.15 9/221 23411 /proc/meminfo: memFree=23994360/32770624 swapFree=66976772/67108860 [pid=23308] ppid=23305 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23308/stat : 23308 (xcsp3-exec) S 23305 23308 19095 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510696895 115843072 363 33554432000 4194304 5098028 140730732511936 140730732510040 140544819458684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20459520 140730732516183 140730732516442 140730732516442 140730732519366 0 /proc/23308/statm: 28282 363 304 221 0 87 0 [pid=23310] ppid=23308 vsize=28834900 memory=243556 CPUtime=293.1 cores=0-7 /proc/23310/stat : 23310 (java) S 23308 23308 19095 0 -1 1077944320 75851 0 0 0 29277 33 0 0 20 0 28 0 510696896 29526937600 60889 33554432000 4194304 4196468 140725812323664 140725812306208 139912828251895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 /proc/23310/statm: 7208725 60889 3522 1 0 7169825 0 [pid=23310/tid=23311] ppid=23308 vsize=28834900 memory=1971409 CPUtime=0.73 cores=0-7 /proc/23310/task/23311/stat : 23311 (java) S 23308 23308 19095 0 -1 1077944384 9755 0 0 0 68 5 0 0 20 0 28 0 510696896 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912832492672 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23312] ppid=23308 vsize=28834900 memory=7452701376146073680 CPUtime=0.01 cores=0-7 /proc/23310/task/23312/stat : 23312 (java) S 23308 23308 19095 0 -1 1077944384 803 0 0 0 1 0 0 0 20 0 28 0 510696897 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912789211536 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23313] ppid=23308 vsize=28834900 memory=7452701376146073680 CPUtime=0.01 cores=0-7 /proc/23310/task/23313/stat : 23313 (java) S 23308 23308 19095 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 28 0 510696897 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912378489104 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23314] ppid=23308 vsize=28834900 memory=7452701376146073680 CPUtime=0.01 cores=0-7 /proc/23310/task/23314/stat : 23314 (java) S 23308 23308 19095 0 -1 1077944384 1374 0 0 0 1 0 0 0 20 0 28 0 510696897 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912377436816 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23315] ppid=23308 vsize=28834900 memory=7957697167120033129 CPUtime=0.01 cores=0-7 /proc/23310/task/23315/stat : 23315 (java) S 23308 23308 19095 0 -1 1077944384 1197 0 0 0 1 0 0 0 20 0 28 0 510696897 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912376384016 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23316] ppid=23308 vsize=28834900 memory=7378958200922075246 CPUtime=0.01 cores=0-7 /proc/23310/task/23316/stat : 23316 (java) S 23308 23308 19095 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 28 0 510696897 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912375331728 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23317] ppid=23308 vsize=28834900 memory=7235147594880805952 CPUtime=0.01 cores=0-7 /proc/23310/task/23317/stat : 23317 (java) S 23308 23308 19095 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 28 0 510696897 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912374278928 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23318] ppid=23308 vsize=28834900 memory=7449887730406223458 CPUtime=0.01 cores=0-7 /proc/23310/task/23318/stat : 23318 (java) S 23308 23308 19095 0 -1 1077944384 1373 0 0 0 1 0 0 0 20 0 28 0 510696897 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912373226640 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23319] ppid=23308 vsize=28834900 memory=-9001734043636558696 CPUtime=0.01 cores=0-7 /proc/23310/task/23319/stat : 23319 (java) S 23308 23308 19095 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 28 0 510696897 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912372173840 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23320] ppid=23308 vsize=28834900 memory=-7385037615309293161 CPUtime=0.01 cores=0-7 /proc/23310/task/23320/stat : 23320 (java) S 23308 23308 19095 0 -1 1077944384 1134 0 0 0 1 0 0 0 20 0 28 0 510696898 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911158200432 139912828263042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23321] ppid=23308 vsize=28834900 memory=4206468019014099040 CPUtime=0 cores=0-7 /proc/23310/task/23321/stat : 23321 (java) S 23308 23308 19095 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 510696899 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911157146464 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23322] ppid=23308 vsize=28834900 memory=-7595718147998060693 CPUtime=0 cores=0-7 /proc/23310/task/23322/stat : 23322 (java) S 23308 23308 19095 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 28 0 510696899 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911156094080 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23323] ppid=23308 vsize=28834900 memory=7100839861499107429 CPUtime=0 cores=0-7 /proc/23310/task/23323/stat : 23323 (java) S 23308 23308 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911155042384 139912828270491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23324] ppid=23308 vsize=28834900 memory=-8614379499087747112 CPUtime=2.42 cores=0-7 /proc/23310/task/23324/stat : 23324 (java) S 23308 23308 19095 0 -1 1077944384 12922 0 0 0 237 5 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911153990256 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23325] ppid=23308 vsize=28834900 memory=3838368 CPUtime=2.11 cores=0-7 /proc/23310/task/23325/stat : 23325 (java) S 23308 23308 19095 0 -1 1077944384 11275 0 0 0 209 2 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911152937456 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23326] ppid=23308 vsize=28834900 memory=4195447445982048887 CPUtime=2.57 cores=0-7 /proc/23310/task/23326/stat : 23326 (java) S 23308 23308 19095 0 -1 1077944384 16325 0 0 0 253 4 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911151885168 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23327] ppid=23308 vsize=28834900 memory=0 CPUtime=0.85 cores=0-7 /proc/23310/task/23327/stat : 23327 (java) S 23308 23308 19095 0 -1 1077944384 7975 0 0 0 82 3 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911150832368 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23328] ppid=23308 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23328/stat : 23328 (java) S 23308 23308 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911149779296 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23329] ppid=23308 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23329/stat : 23329 (java) S 23308 23308 19095 0 -1 1077944384 624 0 0 0 0 0 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911148726576 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23402] ppid=23308 vsize=28834900 memory=0 CPUtime=27.6 cores=0-7 /proc/23310/task/23402/stat : 23402 (java) R 23308 23308 19095 0 -1 4202560 312 0 0 0 2760 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911139506888 139912470875590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23403] ppid=23308 vsize=28834900 memory=0 CPUtime=27.64 cores=0-7 /proc/23310/task/23403/stat : 23403 (java) R 23308 23308 19095 0 -1 4202560 219 0 0 0 2764 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911130045104 139912471915356 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23404] ppid=23308 vsize=28834900 memory=0 CPUtime=27.57 cores=0-7 /proc/23310/task/23404/stat : 23404 (java) R 23308 23308 19095 0 -1 4202560 288 0 0 0 2757 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911128989528 139912471114901 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23405] ppid=23308 vsize=28834900 memory=0 CPUtime=27.4 cores=0-7 /proc/23310/task/23405/stat : 23405 (java) R 23308 23308 19095 0 -1 4202560 1043 0 0 0 2740 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911133200296 139912472011576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23406] ppid=23308 vsize=28834900 memory=0 CPUtime=27.58 cores=0-7 /proc/23310/task/23406/stat : 23406 (java) R 23308 23308 19095 0 -1 4202560 608 0 0 0 2758 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911132148248 139912470875125 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23407] ppid=23308 vsize=28834900 memory=0 CPUtime=27.47 cores=0-7 /proc/23310/task/23407/stat : 23407 (java) R 23308 23308 19095 0 -1 4202560 368 0 0 0 2747 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911134252888 139912465486712 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23408] ppid=23308 vsize=28834900 memory=0 CPUtime=27.5 cores=0-7 /proc/23310/task/23408/stat : 23408 (java) R 23308 23308 19095 0 -1 4202560 1346 0 0 0 2750 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911136357992 139912471853321 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23409] ppid=23308 vsize=28834900 memory=0 CPUtime=27.46 cores=0-7 /proc/23310/task/23409/stat : 23409 (java) R 23308 23308 19095 0 -1 4202560 527 0 0 0 2746 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911135305656 139912471635123 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 Current children cumulated CPU time: 293.1 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 245008 KiB [startup+37.5012 s] /proc/loadavg: 8.40 8.35 8.15 9/221 23411 /proc/meminfo: memFree=23994360/32770624 swapFree=66976772/67108860 [pid=23308] ppid=23305 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/23308/stat : 23308 (xcsp3-exec) S 23305 23308 19095 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510696895 115843072 363 33554432000 4194304 5098028 140730732511936 140730732510040 140544819458684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20459520 140730732516183 140730732516442 140730732516442 140730732519366 0 /proc/23308/statm: 28282 363 304 221 0 87 0 [pid=23310] ppid=23308 vsize=28834900 memory=243556 CPUtime=293.9 cores=0-7 /proc/23310/stat : 23310 (java) S 23308 23308 19095 0 -1 1077944320 75852 0 0 0 29357 33 0 0 20 0 28 0 510696896 29526937600 60889 33554432000 4194304 4196468 140725812323664 140725812306208 139912828251895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 /proc/23310/statm: 7208725 60889 3522 1 0 7169825 0 [pid=23310/tid=23311] ppid=23308 vsize=28834900 memory=243556 CPUtime=0.73 cores=0-7 /proc/23310/task/23311/stat : 23311 (java) S 23308 23308 19095 0 -1 1077944384 9755 0 0 0 68 5 0 0 20 0 28 0 510696896 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912832492672 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23312] ppid=23308 vsize=28834900 memory=243556 CPUtime=0.01 cores=0-7 /proc/23310/task/23312/stat : 23312 (java) S 23308 23308 19095 0 -1 1077944384 803 0 0 0 1 0 0 0 20 0 28 0 510696897 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912789211536 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23313] ppid=23308 vsize=28834900 memory=1452 CPUtime=0.01 cores=0-7 /proc/23310/task/23313/stat : 23313 (java) S 23308 23308 19095 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 28 0 510696897 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912378489104 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23314] ppid=23308 vsize=28834900 memory=280608468774672 CPUtime=0.01 cores=0-7 /proc/23310/task/23314/stat : 23314 (java) S 23308 23308 19095 0 -1 1077944384 1374 0 0 0 1 0 0 0 20 0 28 0 510696897 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912377436816 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23315] ppid=23308 vsize=28834900 memory=243556 CPUtime=0.01 cores=0-7 /proc/23310/task/23315/stat : 23315 (java) S 23308 23308 19095 0 -1 1077944384 1197 0 0 0 1 0 0 0 20 0 28 0 510696897 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912376384016 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23316] ppid=23308 vsize=28834900 memory=65084 CPUtime=0.01 cores=0-7 /proc/23310/task/23316/stat : 23316 (java) S 23308 23308 19095 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 28 0 510696897 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912375331728 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23317] ppid=23308 vsize=28834900 memory=988 CPUtime=0.01 cores=0-7 /proc/23310/task/23317/stat : 23317 (java) S 23308 23308 19095 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 28 0 510696897 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912374278928 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23318] ppid=23308 vsize=28834900 memory=1452 CPUtime=0.01 cores=0-7 /proc/23310/task/23318/stat : 23318 (java) S 23308 23308 19095 0 -1 1077944384 1373 0 0 0 1 0 0 0 20 0 28 0 510696897 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912373226640 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23319] ppid=23308 vsize=28834900 memory=250700 CPUtime=0.01 cores=0-7 /proc/23310/task/23319/stat : 23319 (java) S 23308 23308 19095 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 28 0 510696897 29526937600 60889 33554432000 4194304 4196468 140725812323664 139912372173840 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23320] ppid=23308 vsize=28834900 memory=164 CPUtime=0.01 cores=0-7 /proc/23310/task/23320/stat : 23320 (java) S 23308 23308 19095 0 -1 1077944384 1134 0 0 0 1 0 0 0 20 0 28 0 510696898 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911158200432 139912828263042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23321] ppid=23308 vsize=28834900 memory=280608467583808 CPUtime=0 cores=0-7 /proc/23310/task/23321/stat : 23321 (java) S 23308 23308 19095 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 510696899 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911157146464 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23322] ppid=23308 vsize=28834900 memory=7680491646476186387 CPUtime=0 cores=0-7 /proc/23310/task/23322/stat : 23322 (java) S 23308 23308 19095 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 28 0 510696899 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911156094080 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23323] ppid=23308 vsize=28834900 memory=1452 CPUtime=0 cores=0-7 /proc/23310/task/23323/stat : 23323 (java) S 23308 23308 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911155042384 139912828270491 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23324] ppid=23308 vsize=28834900 memory=3620 CPUtime=2.42 cores=0-7 /proc/23310/task/23324/stat : 23324 (java) S 23308 23308 19095 0 -1 1077944384 12922 0 0 0 237 5 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911153990256 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23325] ppid=23308 vsize=28834900 memory=1660 CPUtime=2.11 cores=0-7 /proc/23310/task/23325/stat : 23325 (java) S 23308 23308 19095 0 -1 1077944384 11275 0 0 0 209 2 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911152937456 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23326] ppid=23308 vsize=28834900 memory=2190 CPUtime=2.57 cores=0-7 /proc/23310/task/23326/stat : 23326 (java) S 23308 23308 19095 0 -1 1077944384 16325 0 0 0 253 4 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911151885168 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23327] ppid=23308 vsize=28834900 memory=2182 CPUtime=0.85 cores=0-7 /proc/23310/task/23327/stat : 23327 (java) S 23308 23308 19095 0 -1 1077944384 7975 0 0 0 82 3 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911150832368 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23328] ppid=23308 vsize=28834900 memory=2177 CPUtime=0 cores=0-7 /proc/23310/task/23328/stat : 23328 (java) S 23308 23308 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911149779296 139912828262101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23329] ppid=23308 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/23310/task/23329/stat : 23329 (java) S 23308 23308 19095 0 -1 1077944384 624 0 0 0 0 0 0 0 20 0 28 0 510696902 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911148726576 139912828263042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23402] ppid=23308 vsize=28834900 memory=2241 CPUtime=27.7 cores=0-7 /proc/23310/task/23402/stat : 23402 (java) R 23308 23308 19095 0 -1 4202560 313 0 0 0 2770 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911139506888 139912471997443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23403] ppid=23308 vsize=28834900 memory=2244 CPUtime=27.74 cores=0-7 /proc/23310/task/23403/stat : 23403 (java) R 23308 23308 19095 0 -1 4202560 219 0 0 0 2774 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911130045104 139912469664503 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23404] ppid=23308 vsize=28834900 memory=248544 CPUtime=27.67 cores=0-7 /proc/23310/task/23404/stat : 23404 (java) R 23308 23308 19095 0 -1 4202560 288 0 0 0 2767 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911128989528 139912471353849 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23405] ppid=23308 vsize=28834900 memory=1452 CPUtime=27.5 cores=0-7 /proc/23310/task/23405/stat : 23405 (java) R 23308 23308 19095 0 -1 4202560 1043 0 0 0 2750 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911133200296 139912470757572 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23406] ppid=23308 vsize=28834900 memory=1452 CPUtime=27.68 cores=0-7 /proc/23310/task/23406/stat : 23406 (java) R 23308 23308 19095 0 -1 4202560 608 0 0 0 2768 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911132148248 139912472012304 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23407] ppid=23308 vsize=28834900 memory=1452 CPUtime=27.57 cores=0-7 /proc/23310/task/23407/stat : 23407 (java) R 23308 23308 19095 0 -1 4202560 368 0 0 0 2757 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911134252888 139912471915282 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23408] ppid=23308 vsize=28834900 memory=1452 CPUtime=27.6 cores=0-7 /proc/23310/task/23408/stat : 23408 (java) R 23308 23308 19095 0 -1 4202560 1346 0 0 0 2760 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911136357992 139912471352930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 [pid=23310/tid=23409] ppid=23308 vsize=28834900 memory=243556 CPUtime=27.56 cores=0-7 /proc/23310/task/23409/stat : 23409 (java) R 23308 23308 19095 0 -1 4202560 527 0 0 0 2756 0 0 0 20 0 28 0 510697860 29526937600 60889 33554432000 4194304 4196468 140725812323664 139911135305656 139912471037103 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28135424 140725812327388 140725812327563 140725812327563 140725812330447 0 Current children cumulated CPU time: 293.9 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 245008 KiB Child status: 0 Real time (s): 37.5633 CPU time (s): 294.222 CPU user time (s): 293.872 CPU system time (s): 0.349902 CPU usage (%): 783.271 Max. virtual memory (cumulated for all children) (KiB): 28950204 Max. memory (cumulated for all children) (KiB): 252152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 293.872 system time used= 0.349902 maximum resident set size= 250724 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77706 page faults= 0 swaps= 0 block input operations= 0 block output operations= 200 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6626 involuntary context switches= 4555 # summary of solver processes directly reported to runsolver: # pid: 23308 # total CPU time (s): 294.222 # total CPU user time (s): 293.872 # total CPU system time (s): 0.349902 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.300281 second user time and 0.463338 second system time The end
Begin job on node124 at 2019-09-24 19:52:07 IDJOB=4407394 IDBENCH=129972 IDSOLVER=2872 FILE ID=node124/4407394-1569347568 RUNJOBID= node124-1569335938-19122 PBS_JOBID= 21705061 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-45-01.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407394-1569347568/watcher-4407394-1569347568 -o /var/tmp/evaluation-result-4407394-1569347568/solver-4407394-1569347568 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569335938-19122 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1803610371 HOME/instance-4407394-1569347568.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1713c5d1d522f34d444b6ff7755d5ded RANDOM SEED=1803610371 node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24224592 kB MemAvailable: 31813592 kB Buffers: 140896 kB Cached: 7532624 kB SwapCached: 29076 kB Active: 3826964 kB Inactive: 3881668 kB Active(anon): 2904 kB Inactive(anon): 89624 kB Active(file): 3824060 kB Inactive(file): 3792044 kB Unevictable: 108336 kB Mlocked: 108336 kB SwapTotal: 67108860 kB SwapFree: 66976772 kB Dirty: 25988 kB Writeback: 16 kB AnonPages: 115500 kB Mapped: 57544 kB Shmem: 49092 kB Slab: 429900 kB SReclaimable: 401356 kB SUnreclaim: 28544 kB KernelStack: 3408 kB PageTables: 5604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514892 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /var/tmp at the end= 13484 MiB End job on node124 at 2019-09-24 19:52:45