Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | ? (TO) | 760.997 | 252.166 |
Name | Fapp/Fapp-ext/ Fapp-ext-05-0350_c18.xml |
MD5SUM | 51b7f32ab0afbf3da7a228f765e579fa |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 521763735 |
Best CPU time to get the best result obtained on this benchmark | 2400.14 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7232 |
Number of constraints | 4665 |
Number of domains | 18 |
Minimum domain size | 1 |
Maximum domain size | 135 |
Distribution of domain sizes | [{"size":1,"count":3},{"size":2,"count":2524},{"size":11,"count":2177},{"size":12,"count":1},{"size":25,"count":55},{"size":33,"count":45},{"size":44,"count":26},{"size":48,"count":22},{"size":51,"count":17},{"size":55,"count":31},{"size":91,"count":204},{"size":102,"count":203},{"size":106,"count":126},{"size":135,"count":1798}] |
Minimum variable degree | 2 |
Maximum variable degree | 2178 |
Distribution of variable degrees | [{"degree":2,"count":6532},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":11},{"degree":6,"count":11},{"degree":7,"count":19},{"degree":8,"count":26},{"degree":9,"count":28},{"degree":10,"count":31},{"degree":11,"count":40},{"degree":12,"count":48},{"degree":13,"count":50},{"degree":14,"count":80},{"degree":15,"count":109},{"degree":16,"count":148},{"degree":17,"count":81},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":21,"count":1},{"degree":2178,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":311},{"arity":3,"count":2177},{"arity":6,"count":2177}] |
Number of extensional constraints | 4665 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":4665}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407447-1569350317.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407447-1569350317.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 760.83/252.01 s UNKNOWN 760.83/252.01 c Unexpected resolution interruption!
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 (9631 MiB free) memory of node 1: 16384 MiB (14441 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407447-1569350317/watcher-4407447-1569350317 -o /tmp/evaluation-result-4407447-1569350317/solver-4407447-1569350317 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1646895278 HOME/instance-4407447-1569350317.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=5054, runsolver pid=5051 Current StackSize limit: 8192 KiB [startup+0.10018 s]* /proc/loadavg: 1.49 3.96 5.88 3/210 5075 /proc/meminfo: memFree=24632896/32770624 swapFree=66999760/67108860 [pid=5054] ppid=5051 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5054/stat : 5054 (xcsp3-exec) S 5051 5054 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511285894 115843072 363 33554432000 4194304 5098028 140728843691376 140728843689480 139757260943996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30822400 140728843699067 140728843699310 140728843699310 140728843702218 0 /proc/5054/statm: 28282 363 304 221 0 87 0 [pid=5056] ppid=5054 vsize=28227396 memory=29936 CPUtime=0.12 cores=0-7 /proc/5056/stat : 5056 (java) S 5054 5054 31481 0 -1 1077944320 5962 0 0 0 11 1 0 0 20 0 20 0 511285894 28904853504 7484 33554432000 4194304 4196468 140725076492976 140725076475520 140318442692343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 /proc/5056/statm: 7056849 7484 3115 1 0 7019032 0 [pid=5056/tid=5057] ppid=5054 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/5056/task/5057/stat : 5057 (java) R 5054 5054 31481 0 -1 4202560 3876 0 0 0 8 1 0 0 20 0 20 0 511285894 28904853504 7484 33554432000 4194304 4196468 140725076492976 140318446922112 140318426735973 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5058] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5058/stat : 5058 (java) S 5054 5054 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511285895 28904853504 7484 33554432000 4194304 4196468 140725076492976 140318395313296 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5059] ppid=5054 vsize=28227396 memory=288370334278010496 CPUtime=0 cores=0-7 /proc/5056/task/5059/stat : 5059 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285895 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317992803344 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5060] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5060/stat : 5060 (java) S 5054 5054 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511285895 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317991750544 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5061] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5061/stat : 5061 (java) S 5054 5054 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511285895 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317990697744 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5062] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5062/stat : 5062 (java) S 5054 5054 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511285895 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317989644944 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5063] ppid=5054 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5056/task/5063/stat : 5063 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285895 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317988592144 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5064] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5064/stat : 5064 (java) S 5054 5054 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511285895 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317987539344 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5065] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5065/stat : 5065 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285895 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317986486544 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5066] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5066/stat : 5066 (java) S 5054 5054 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511285896 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317424872304 140318442703490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5067] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5067/stat : 5067 (java) S 5054 5054 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511285897 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317423818272 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5068] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5068/stat : 5068 (java) S 5054 5054 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511285897 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317422765424 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5069] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5069/stat : 5069 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285900 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317421713744 140318442710939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5070] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5070/stat : 5070 (java) S 5054 5054 31481 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 511285900 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317420661104 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5071] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5071/stat : 5071 (java) S 5054 5054 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511285900 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317419608304 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5072] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5072/stat : 5072 (java) R 5054 5054 31481 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 20 0 511285900 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317418555504 140318427508845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5073] ppid=5054 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/5056/task/5073/stat : 5073 (java) R 5054 5054 31481 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 20 0 511285900 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317417502704 140318434929470 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5074] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5074/stat : 5074 (java) S 5054 5054 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511285900 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317416451168 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5075] ppid=5054 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5056/task/5075/stat : 5075 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285900 28904853504 7484 33554432000 4194304 4196468 140725076492976 140317415398448 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31388 KiB [startup+0.210633 s]* /proc/loadavg: 1.49 3.96 5.88 3/210 5075 /proc/meminfo: memFree=24620660/32770624 swapFree=66999760/67108860 [pid=5054] ppid=5051 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5054/stat : 5054 (xcsp3-exec) S 5051 5054 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511285894 115843072 363 33554432000 4194304 5098028 140728843691376 140728843689480 139757260943996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30822400 140728843699067 140728843699310 140728843699310 140728843702218 0 /proc/5054/statm: 28282 363 304 221 0 87 0 [pid=5056] ppid=5054 vsize=28227396 memory=41272 CPUtime=0.34 cores=0-7 /proc/5056/stat : 5056 (java) S 5054 5054 31481 0 -1 1077944320 9516 0 0 0 31 3 0 0 20 0 20 0 511285894 28904853504 10318 33554432000 4194304 4196468 140725076492976 140725076475520 140318442692343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 /proc/5056/statm: 7056849 10318 3312 1 0 7019032 0 [pid=5056/tid=5057] ppid=5054 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/5056/task/5057/stat : 5057 (java) R 5054 5054 31481 0 -1 4202560 6686 0 0 0 17 2 0 0 20 0 20 0 511285894 28904853504 10318 33554432000 4194304 4196468 140725076492976 140318446926272 140318442714269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5058] ppid=5054 vsize=28227396 memory=288230596118053219 CPUtime=0 cores=0-7 /proc/5056/task/5058/stat : 5058 (java) S 5054 5054 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511285895 28904853504 10318 33554432000 4194304 4196468 140725076492976 140318395313296 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5059] ppid=5054 vsize=28227396 memory=139958126316615 CPUtime=0 cores=0-7 /proc/5056/task/5059/stat : 5059 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285895 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317992803344 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5060] ppid=5054 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5056/task/5060/stat : 5060 (java) S 5054 5054 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511285895 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317991750544 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5061] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5061/stat : 5061 (java) S 5054 5054 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511285895 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317990697744 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5062] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5062/stat : 5062 (java) S 5054 5054 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511285895 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317989644944 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5063] ppid=5054 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5056/task/5063/stat : 5063 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285895 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317988592144 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5064] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5064/stat : 5064 (java) S 5054 5054 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511285895 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317987539344 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5065] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5065/stat : 5065 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285895 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317986486544 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5066] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5066/stat : 5066 (java) S 5054 5054 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511285896 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317424872304 140318442703490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5067] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5067/stat : 5067 (java) S 5054 5054 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511285897 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317423818272 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5068] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5068/stat : 5068 (java) S 5054 5054 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511285897 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317422765424 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5069] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5069/stat : 5069 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285900 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317421713744 140318442710939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5070] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5070/stat : 5070 (java) S 5054 5054 31481 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 511285900 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317420661104 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5071] ppid=5054 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/5056/task/5071/stat : 5071 (java) S 5054 5054 31481 0 -1 1077944384 207 0 0 0 1 0 0 0 20 0 20 0 511285900 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317419608304 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5072] ppid=5054 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/5056/task/5072/stat : 5072 (java) S 5054 5054 31481 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 20 0 511285900 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317418555504 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5073] ppid=5054 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/5056/task/5073/stat : 5073 (java) S 5054 5054 31481 0 -1 1077944384 732 0 0 0 8 0 0 0 20 0 20 0 511285900 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317417502704 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5074] ppid=5054 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5074/stat : 5074 (java) S 5054 5054 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511285900 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317416451168 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5075] ppid=5054 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5056/task/5075/stat : 5075 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285900 28904853504 10318 33554432000 4194304 4196468 140725076492976 140317415398448 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42724 KiB [startup+0.320372 s]* /proc/loadavg: 1.49 3.96 5.88 3/210 5075 /proc/meminfo: memFree=24613368/32770624 swapFree=66999760/67108860 [pid=5054] ppid=5051 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5054/stat : 5054 (xcsp3-exec) S 5051 5054 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511285894 115843072 363 33554432000 4194304 5098028 140728843691376 140728843689480 139757260943996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30822400 140728843699067 140728843699310 140728843699310 140728843702218 0 /proc/5054/statm: 28282 363 304 221 0 87 0 [pid=5056] ppid=5054 vsize=28231652 memory=50776 CPUtime=0.54 cores=0-7 /proc/5056/stat : 5056 (java) S 5054 5054 31481 0 -1 1077944320 11029 0 0 0 50 4 0 0 20 0 20 0 511285894 28909211648 12694 33554432000 4194304 4196468 140725076492976 140725076475520 140318442692343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 /proc/5056/statm: 7057913 12694 3369 1 0 7019032 0 [pid=5056/tid=5057] ppid=5054 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/5056/task/5057/stat : 5057 (java) R 5054 5054 31481 0 -1 4202560 7942 0 0 0 27 3 0 0 20 0 20 0 511285894 28909211648 12702 33554432000 4194304 4196468 140725076492976 140318446929168 140318426772830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5058] ppid=5054 vsize=28231652 memory=2116 CPUtime=0 cores=0-7 /proc/5056/task/5058/stat : 5058 (java) S 5054 5054 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511285895 28909211648 12702 33554432000 4194304 4196468 140725076492976 140318395313296 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5059] ppid=5054 vsize=28231652 memory=24080 CPUtime=0 cores=0-7 /proc/5056/task/5059/stat : 5059 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285895 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317992803344 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5060] ppid=5054 vsize=28231652 memory=12024 CPUtime=0 cores=0-7 /proc/5056/task/5060/stat : 5060 (java) S 5054 5054 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511285895 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317991750544 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5061] ppid=5054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5061/stat : 5061 (java) S 5054 5054 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511285895 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317990697744 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5062] ppid=5054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5062/stat : 5062 (java) S 5054 5054 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511285895 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317989644944 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5063] ppid=5054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5063/stat : 5063 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285895 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317988592144 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5064] ppid=5054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5064/stat : 5064 (java) S 5054 5054 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511285895 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317987539344 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5065] ppid=5054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5065/stat : 5065 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285895 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317986486544 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5066] ppid=5054 vsize=28231652 memory=139958018992864 CPUtime=0 cores=0-7 /proc/5056/task/5066/stat : 5066 (java) S 5054 5054 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511285896 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317424872304 140318442703490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5067] ppid=5054 vsize=28231652 memory=279916037990272 CPUtime=0 cores=0-7 /proc/5056/task/5067/stat : 5067 (java) S 5054 5054 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511285897 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317423818272 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5068] ppid=5054 vsize=28231652 memory=279916037994880 CPUtime=0 cores=0-7 /proc/5056/task/5068/stat : 5068 (java) S 5054 5054 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511285897 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317422765424 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5069] ppid=5054 vsize=28231652 memory=279916037999488 CPUtime=0 cores=0-7 /proc/5056/task/5069/stat : 5069 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285900 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317421713744 140318442710939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5070] ppid=5054 vsize=28231652 memory=279916038004096 CPUtime=0.02 cores=0-7 /proc/5056/task/5070/stat : 5070 (java) S 5054 5054 31481 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 20 0 511285900 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317420661104 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5071] ppid=5054 vsize=28231652 memory=279916038008704 CPUtime=0.04 cores=0-7 /proc/5056/task/5071/stat : 5071 (java) S 5054 5054 31481 0 -1 1077944384 312 0 0 0 4 0 0 0 20 0 20 0 511285900 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317419608304 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5072] ppid=5054 vsize=28231652 memory=279916038013312 CPUtime=0.03 cores=0-7 /proc/5056/task/5072/stat : 5072 (java) S 5054 5054 31481 0 -1 1077944384 270 0 0 0 3 0 0 0 20 0 20 0 511285900 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317418555504 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5073] ppid=5054 vsize=28231652 memory=279916038017920 CPUtime=0.13 cores=0-7 /proc/5056/task/5073/stat : 5073 (java) S 5054 5054 31481 0 -1 1077944384 842 0 0 0 13 0 0 0 20 0 20 0 511285900 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317417502704 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5074] ppid=5054 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5056/task/5074/stat : 5074 (java) S 5054 5054 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511285900 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317416451168 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5075] ppid=5054 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/5056/task/5075/stat : 5075 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285900 28909211648 12702 33554432000 4194304 4196468 140725076492976 140317415398448 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 52228 KiB [startup+0.701006 s] /proc/loadavg: 1.49 3.96 5.88 3/210 5075 /proc/meminfo: memFree=24490600/32770624 swapFree=66999760/67108860 [pid=5054] ppid=5051 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5054/stat : 5054 (xcsp3-exec) S 5051 5054 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511285894 115843072 363 33554432000 4194304 5098028 140728843691376 140728843689480 139757260943996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30822400 140728843699067 140728843699310 140728843699310 140728843702218 0 /proc/5054/statm: 28282 363 304 221 0 87 0 [pid=5056] ppid=5054 vsize=28231652 memory=292784 CPUtime=1.58 cores=0-7 /proc/5056/stat : 5056 (java) S 5054 5054 31481 0 -1 1077944320 13681 0 0 0 124 34 0 0 20 0 20 0 511285894 28909211648 73196 33554432000 4194304 4196468 140725076492976 140725076475520 140318442692343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 /proc/5056/statm: 7057913 73196 3417 1 0 7019032 0 [pid=5056/tid=5057] ppid=5054 vsize=28231652 memory=5794256418148816299 CPUtime=0.62 cores=0-7 /proc/5056/task/5057/stat : 5057 (java) R 5054 5054 31481 0 -1 4202560 8066 0 0 0 54 8 0 0 20 0 20 0 511285894 28909211648 73196 33554432000 4194304 4196468 140725076492976 140318446931472 140318442714269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5058] ppid=5054 vsize=28231652 memory=43525198587796 CPUtime=0.02 cores=0-7 /proc/5056/task/5058/stat : 5058 (java) S 5054 5054 31481 0 -1 1077944384 36 0 0 0 0 2 0 0 20 0 20 0 511285895 28909211648 73196 33554432000 4194304 4196468 140725076492976 140318395313296 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5059] ppid=5054 vsize=28231652 memory=139958019108576 CPUtime=0.04 cores=0-7 /proc/5056/task/5059/stat : 5059 (java) S 5054 5054 31481 0 -1 1077944384 59 0 0 0 1 3 0 0 20 0 20 0 511285895 28909211648 73196 33554432000 4194304 4196468 140725076492976 140317992803344 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5060] ppid=5054 vsize=28231652 memory=9588 CPUtime=0.03 cores=0-7 /proc/5056/task/5060/stat : 5060 (java) S 5054 5054 31481 0 -1 1077944384 48 0 0 0 0 3 0 0 20 0 20 0 511285895 28909211648 73196 33554432000 4194304 4196468 140725076492976 140317991750544 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 ################ # More data... # ################ [pid=5056/tid=5063] ppid=5054 vsize=28233776 memory=772 CPUtime=39.25 cores=0-7 /proc/5056/task/5063/stat : 5063 (java) S 5054 5054 31481 0 -1 1077944384 43261 0 0 0 3481 444 0 0 20 0 20 0 511285895 28911386624 4078273 33554432000 4194304 4196468 140725076492976 140317988592144 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5064] ppid=5054 vsize=28233776 memory=3648 CPUtime=39.32 cores=0-7 /proc/5056/task/5064/stat : 5064 (java) S 5054 5054 31481 0 -1 1077944384 37012 0 0 0 3521 411 0 0 20 0 20 0 511285895 28911386624 4078273 33554432000 4194304 4196468 140725076492976 140317987539344 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 45 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5065] ppid=5054 vsize=28233776 memory=3894 CPUtime=39.13 cores=0-7 /proc/5056/task/5065/stat : 5065 (java) S 5054 5054 31481 0 -1 1077944384 31131 0 0 0 3482 431 0 0 20 0 20 0 511285895 28911386624 4078273 33554432000 4194304 4196468 140725076492976 140317986486544 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 46 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5066] ppid=5054 vsize=28233776 memory=3900 CPUtime=4.8 cores=0-7 /proc/5056/task/5066/stat : 5066 (java) S 5054 5054 31481 0 -1 1077944384 38173 0 0 0 449 31 0 0 20 0 20 0 511285896 28911386624 4078273 33554432000 4194304 4196468 140725076492976 140317424872304 140318442703490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5067] ppid=5054 vsize=28233776 memory=279916039001648 CPUtime=0 cores=0-7 /proc/5056/task/5067/stat : 5067 (java) S 5054 5054 31481 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 511285897 28911386624 4078273 33554432000 4194304 4196468 140725076492976 140317423818336 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5068] ppid=5054 vsize=28233776 memory=1164 CPUtime=0 cores=0-7 /proc/5056/task/5068/stat : 5068 (java) S 5054 5054 31481 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 20 0 511285897 28911386624 4078273 33554432000 4194304 4196468 140725076492976 140317422765440 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5069] ppid=5054 vsize=28233776 memory=8317482817917895235 CPUtime=0 cores=0-7 /proc/5056/task/5069/stat : 5069 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285900 28911386624 4078273 33554432000 4194304 4196468 140725076492976 140317421713744 140318442710939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5070] ppid=5054 vsize=28233776 memory=1056 CPUtime=1.69 cores=0-7 /proc/5056/task/5070/stat : 5070 (java) S 5054 5054 31481 0 -1 1077944384 11165 0 0 0 167 2 0 0 20 0 20 0 511285900 28911386624 4078273 33554432000 4194304 4196468 140725076492976 140317420661104 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5071] ppid=5054 vsize=28233776 memory=1452 CPUtime=1.44 cores=0-7 /proc/5056/task/5071/stat : 5071 (java) S 5054 5054 31481 0 -1 1077944384 7080 0 0 0 143 1 0 0 20 0 20 0 511285900 28911386624 4078273 33554432000 4194304 4196468 140725076492976 140317419608304 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5072] ppid=5054 vsize=28233776 memory=16042756 CPUtime=1.59 cores=0-7 /proc/5056/task/5072/stat : 5072 (java) S 5054 5054 31481 0 -1 1077944384 9325 0 0 0 157 2 0 0 20 0 20 0 511285900 28911386624 4078273 33554432000 4194304 4196468 140725076492976 140317418555504 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5073] ppid=5054 vsize=28233776 memory=16177924 CPUtime=0.61 cores=0-7 /proc/5056/task/5073/stat : 5073 (java) S 5054 5054 31481 0 -1 1077944384 7158 0 0 0 60 1 0 0 20 0 20 0 511285900 28911386624 4078273 33554432000 4194304 4196468 140725076492976 140317417502704 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5074] ppid=5054 vsize=28233776 memory=1452 CPUtime=0 cores=0-7 /proc/5056/task/5074/stat : 5074 (java) S 5054 5054 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511285900 28911386624 4078273 33554432000 4194304 4196468 140725076492976 140317416451168 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5075] ppid=5054 vsize=28233776 memory=1452 CPUtime=0.07 cores=0-7 /proc/5056/task/5075/stat : 5075 (java) S 5054 5054 31481 0 -1 1077944384 918 0 0 0 3 4 0 0 20 0 20 0 511285900 28911386624 4078273 33554432000 4194304 4196468 140725076492976 140317415398448 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 Current children cumulated CPU time: 442.14 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 16314544 KiB [startup+222.301 s] /proc/loadavg: 2.85 3.21 5.16 9/211 5096 /proc/meminfo: memFree=3864840/32770624 swapFree=66999760/67108860 [pid=5054] ppid=5051 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5054/stat : 5054 (xcsp3-exec) S 5051 5054 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511285894 115843072 363 33554432000 4194304 5098028 140728843691376 140728843689480 139757260943996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30822400 140728843699067 140728843699310 140728843699310 140728843702218 0 /proc/5054/statm: 28282 363 304 221 0 87 0 [pid=5056] ppid=5054 vsize=28233776 memory=20757644 CPUtime=724.55 cores=0-7 /proc/5056/stat : 5056 (java) S 5054 5054 31481 0 -1 1077944320 1024657 0 0 0 67353 5102 0 0 20 0 20 0 511285894 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140725076475520 140318442692343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 /proc/5056/statm: 7058444 5189411 3524 1 0 7019544 0 [pid=5056/tid=5057] ppid=5054 vsize=28233776 memory=20757644 CPUtime=142.67 cores=0-7 /proc/5056/task/5057/stat : 5057 (java) S 5054 5054 31481 0 -1 1077944384 70755 0 0 0 14133 134 0 0 20 0 20 0 511285894 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140318446930496 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5058] ppid=5054 vsize=28233776 memory=20757644 CPUtime=71.03 cores=0-7 /proc/5056/task/5058/stat : 5058 (java) S 5054 5054 31481 0 -1 1077944384 105866 0 0 0 6454 649 0 0 20 0 20 0 511285895 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140318395313296 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 59 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5059] ppid=5054 vsize=28233776 memory=20757644 CPUtime=70.95 cores=0-7 /proc/5056/task/5059/stat : 5059 (java) S 5054 5054 31481 0 -1 1077944384 115679 0 0 0 6467 628 0 0 20 0 20 0 511285895 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317992803344 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 56 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5060] ppid=5054 vsize=28233776 memory=1452 CPUtime=71.25 cores=0-7 /proc/5056/task/5060/stat : 5060 (java) S 5054 5054 31481 0 -1 1077944384 120574 0 0 0 6507 618 0 0 20 0 20 0 511285895 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317991750544 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 55 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5061] ppid=5054 vsize=28233776 memory=0 CPUtime=71.23 cores=0-7 /proc/5056/task/5061/stat : 5061 (java) S 5054 5054 31481 0 -1 1077944384 90828 0 0 0 6506 617 0 0 20 0 20 0 511285895 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317990697744 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 54 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5062] ppid=5054 vsize=28233776 memory=279916038884160 CPUtime=71.08 cores=0-7 /proc/5056/task/5062/stat : 5062 (java) S 5054 5054 31481 0 -1 1077944384 112130 0 0 0 6493 615 0 0 20 0 20 0 511285895 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317989644944 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 58 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5063] ppid=5054 vsize=28233776 memory=0 CPUtime=70.89 cores=0-7 /proc/5056/task/5063/stat : 5063 (java) S 5054 5054 31481 0 -1 1077944384 85144 0 0 0 6502 587 0 0 20 0 20 0 511285895 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317988592144 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 61 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5064] ppid=5054 vsize=28233776 memory=20757644 CPUtime=70.72 cores=0-7 /proc/5056/task/5064/stat : 5064 (java) S 5054 5054 31481 0 -1 1077944384 94325 0 0 0 6480 592 0 0 20 0 20 0 511285895 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317987539344 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 59 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5065] ppid=5054 vsize=28233776 memory=19195076 CPUtime=70.96 cores=0-7 /proc/5056/task/5065/stat : 5065 (java) S 5054 5054 31481 0 -1 1077944384 117664 0 0 0 6487 609 0 0 20 0 20 0 511285895 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317986486544 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 59 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5066] ppid=5054 vsize=28233776 memory=53652 CPUtime=7.04 cores=0-7 /proc/5056/task/5066/stat : 5066 (java) R 5054 5054 31481 0 -1 4202560 61157 0 0 0 671 33 0 0 20 0 20 0 511285896 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317424870848 140318427393353 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5067] ppid=5054 vsize=28233776 memory=3624 CPUtime=0 cores=0-7 /proc/5056/task/5067/stat : 5067 (java) S 5054 5054 31481 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 511285897 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317423818336 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5068] ppid=5054 vsize=28233776 memory=53652 CPUtime=0 cores=0-7 /proc/5056/task/5068/stat : 5068 (java) S 5054 5054 31481 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 511285897 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317422765440 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5069] ppid=5054 vsize=28233776 memory=1452 CPUtime=0 cores=0-7 /proc/5056/task/5069/stat : 5069 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285900 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317421713744 140318442710939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5070] ppid=5054 vsize=28233776 memory=1452 CPUtime=2.12 cores=0-7 /proc/5056/task/5070/stat : 5070 (java) S 5054 5054 31481 0 -1 1077944384 16177 0 0 0 209 3 0 0 20 0 20 0 511285900 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317420661152 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5071] ppid=5054 vsize=28233776 memory=1452 CPUtime=1.85 cores=0-7 /proc/5056/task/5071/stat : 5071 (java) S 5054 5054 31481 0 -1 1077944384 12841 0 0 0 183 2 0 0 20 0 20 0 511285900 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317419608352 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5072] ppid=5054 vsize=28233776 memory=20757644 CPUtime=1.87 cores=0-7 /proc/5056/task/5072/stat : 5072 (java) S 5054 5054 31481 0 -1 1077944384 11170 0 0 0 185 2 0 0 20 0 20 0 511285900 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317418555264 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5073] ppid=5054 vsize=28233776 memory=1452 CPUtime=0.64 cores=0-7 /proc/5056/task/5073/stat : 5073 (java) S 5054 5054 31481 0 -1 1077944384 7931 0 0 0 63 1 0 0 20 0 20 0 511285900 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317417502752 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5074] ppid=5054 vsize=28233776 memory=3624 CPUtime=0 cores=0-7 /proc/5056/task/5074/stat : 5074 (java) S 5054 5054 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511285900 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317416451168 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5075] ppid=5054 vsize=28233776 memory=1376 CPUtime=0.1 cores=0-7 /proc/5056/task/5075/stat : 5075 (java) S 5054 5054 31481 0 -1 1077944384 981 0 0 0 5 5 0 0 20 0 20 0 511285900 28911386624 5189411 33554432000 4194304 4196468 140725076492976 140317415398448 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 Current children cumulated CPU time: 724.55 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 20759096 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 2.12 3.00 5.03 2/211 5097 /proc/meminfo: memFree=4458288/32770624 swapFree=66999760/67108860 [pid=5054] ppid=5051 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/5054/stat : 5054 (xcsp3-exec) S 5051 5054 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511285894 115843072 363 33554432000 4194304 5098028 140728843691376 140728843689480 139757260943996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30822400 140728843699067 140728843699310 140728843699310 140728843702218 0 /proc/5054/statm: 28282 363 304 221 0 87 0 [pid=5056] ppid=5054 vsize=28233776 memory=20165972 CPUtime=760.83 cores=0-7 /proc/5056/stat : 5056 (java) S 5054 5054 31481 0 -1 1077944320 1078237 0 0 0 70962 5121 0 0 20 0 20 0 511285894 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140725076475520 140318442692343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 /proc/5056/statm: 7058444 5041493 3525 1 0 7019544 0 [pid=5056/tid=5057] ppid=5054 vsize=28233776 memory=628 CPUtime=170.65 cores=0-7 /proc/5056/task/5057/stat : 5057 (java) R 5054 5054 31481 0 -1 4202560 74791 0 0 0 16925 140 0 0 20 0 20 0 511285894 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140318446930672 140318079822255 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5058] ppid=5054 vsize=28233776 memory=1452 CPUtime=71.98 cores=0-7 /proc/5056/task/5058/stat : 5058 (java) S 5054 5054 31481 0 -1 1077944384 111396 0 0 0 6548 650 0 0 20 0 20 0 511285895 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140318395313296 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 63 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5059] ppid=5054 vsize=28233776 memory=8317482817917895235 CPUtime=71.88 cores=0-7 /proc/5056/task/5059/stat : 5059 (java) S 5054 5054 31481 0 -1 1077944384 121870 0 0 0 6559 629 0 0 20 0 20 0 511285895 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317992803344 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 61 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5060] ppid=5054 vsize=28233776 memory=860 CPUtime=72.21 cores=0-7 /proc/5056/task/5060/stat : 5060 (java) S 5054 5054 31481 0 -1 1077944384 127416 0 0 0 6600 621 0 0 20 0 20 0 511285895 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317991750544 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 58 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5061] ppid=5054 vsize=28233776 memory=1980 CPUtime=72.18 cores=0-7 /proc/5056/task/5061/stat : 5061 (java) S 5054 5054 31481 0 -1 1077944384 96205 0 0 0 6599 619 0 0 20 0 20 0 511285895 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317990697744 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 58 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5062] ppid=5054 vsize=28233776 memory=3648 CPUtime=72.01 cores=0-7 /proc/5056/task/5062/stat : 5062 (java) S 5054 5054 31481 0 -1 1077944384 118566 0 0 0 6585 616 0 0 20 0 20 0 511285895 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317989644944 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 62 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5063] ppid=5054 vsize=28233776 memory=948 CPUtime=71.84 cores=0-7 /proc/5056/task/5063/stat : 5063 (java) S 5054 5054 31481 0 -1 1077944384 91948 0 0 0 6595 589 0 0 20 0 20 0 511285895 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317988592144 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 65 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5064] ppid=5054 vsize=28233776 memory=2832 CPUtime=71.66 cores=0-7 /proc/5056/task/5064/stat : 5064 (java) S 5054 5054 31481 0 -1 1077944384 98816 0 0 0 6573 593 0 0 20 0 20 0 511285895 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317987539344 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 63 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5065] ppid=5054 vsize=28233776 memory=9588 CPUtime=71.9 cores=0-7 /proc/5056/task/5065/stat : 5065 (java) S 5054 5054 31481 0 -1 1077944384 124663 0 0 0 6580 610 0 0 20 0 20 0 511285895 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317986486544 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 64 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5066] ppid=5054 vsize=28233776 memory=1548 CPUtime=7.79 cores=0-7 /proc/5056/task/5066/stat : 5066 (java) S 5054 5054 31481 0 -1 1077944384 61972 0 0 0 746 33 0 0 20 0 20 0 511285896 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317424872304 140318442703490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5067] ppid=5054 vsize=28233776 memory=628 CPUtime=0 cores=0-7 /proc/5056/task/5067/stat : 5067 (java) S 5054 5054 31481 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 20 0 511285897 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317423818336 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5068] ppid=5054 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/5056/task/5068/stat : 5068 (java) S 5054 5054 31481 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 511285897 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317422765440 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5069] ppid=5054 vsize=28233776 memory=1716 CPUtime=0 cores=0-7 /proc/5056/task/5069/stat : 5069 (java) S 5054 5054 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511285900 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317421713744 140318442710939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5070] ppid=5054 vsize=28233776 memory=20165972 CPUtime=2.12 cores=0-7 /proc/5056/task/5070/stat : 5070 (java) S 5054 5054 31481 0 -1 1077944384 16180 0 0 0 209 3 0 0 20 0 20 0 511285900 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317420661104 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5071] ppid=5054 vsize=28233776 memory=20165972 CPUtime=1.85 cores=0-7 /proc/5056/task/5071/stat : 5071 (java) S 5054 5054 31481 0 -1 1077944384 12844 0 0 0 183 2 0 0 20 0 20 0 511285900 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317419608304 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5072] ppid=5054 vsize=28233776 memory=2116 CPUtime=1.87 cores=0-7 /proc/5056/task/5072/stat : 5072 (java) S 5054 5054 31481 0 -1 1077944384 11179 0 0 0 185 2 0 0 20 0 20 0 511285900 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317418555504 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5073] ppid=5054 vsize=28233776 memory=24092 CPUtime=0.64 cores=0-7 /proc/5056/task/5073/stat : 5073 (java) S 5054 5054 31481 0 -1 1077944384 7934 0 0 0 63 1 0 0 20 0 20 0 511285900 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317417502704 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5074] ppid=5054 vsize=28233776 memory=12024 CPUtime=0 cores=0-7 /proc/5056/task/5074/stat : 5074 (java) S 5054 5054 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511285900 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317416451168 140318442702549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 [pid=5056/tid=5075] ppid=5054 vsize=28233776 memory=1556 CPUtime=0.12 cores=0-7 /proc/5056/task/5075/stat : 5075 (java) S 5054 5054 31481 0 -1 1077944384 1022 0 0 0 6 6 0 0 20 0 20 0 511285900 28911386624 5041493 33554432000 4194304 4196468 140725076492976 140317415398448 140318442703490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17428480 140725076501488 140725076501659 140725076501659 140725076504527 0 Current children cumulated CPU time: 760.83 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 20167424 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.02 s] # the end of solver process 5054 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001132 s, system=0.001132 s [startup+252.166 s] # the end of solver process 5056 was just reported to runsolver # cumulated CPU time of all completed processes: user=709.637 s, system=51.3602 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+252.119 s]* /proc/loadavg: 2.12 3.00 5.03 2/192 5099 /proc/meminfo: memFree=16656976/32770624 swapFree=66999760/67108860 Current cumulated CPU time of completed processes: 0.002264 s Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 143 Real time (s): 252.166 CPU time (s): 760.997 CPU user time (s): 709.637 CPU system time (s): 51.3602 CPU usage (%): 301.784 Max. virtual memory (cumulated for all children) (KiB): 28346904 Max. memory (cumulated for all children) (KiB): 20761352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 709.637 system time used= 51.3602 maximum resident set size= 20759900 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1079361 page faults= 0 swaps= 0 block input operations= 0 block output operations= 480 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42049 involuntary context switches= 8903 # summary of solver processes directly reported to runsolver: # pid: 5054,5056 # total CPU time (s): 760.997 # total CPU user time (s): 709.637 # total CPU system time (s): 51.3602 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.71536 second user time and 2.8308 second system time The end
Begin job on node106 at 2019-09-24 19:37:15 IDJOB=4407447 IDBENCH=141284 IDSOLVER=2872 FILE ID=node106/4407447-1569350317 RUNJOBID= node106-1569332296-31508 PBS_JOBID= 21705069 Free space on /tmp= 22920 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-05-0350_c18.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-4407447-1569350317/watcher-4407447-1569350317 -o /tmp/evaluation-result-4407447-1569350317/solver-4407447-1569350317 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1646895278 HOME/instance-4407447-1569350317.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa RANDOM SEED=1646895278 node106.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.79 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.79 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.79 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.79 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: 24651372 kB MemAvailable: 31845048 kB Buffers: 96068 kB Cached: 7268692 kB SwapCached: 4572 kB Active: 3979372 kB Inactive: 3395280 kB Active(anon): 4052 kB Inactive(anon): 58172 kB Active(file): 3975320 kB Inactive(file): 3337108 kB Unevictable: 107312 kB Mlocked: 107312 kB SwapTotal: 67108860 kB SwapFree: 66999760 kB Dirty: 609812 kB Writeback: 0 kB AnonPages: 113360 kB Mapped: 54408 kB Shmem: 43716 kB Slab: 338792 kB SReclaimable: 309708 kB SUnreclaim: 29084 kB KernelStack: 3312 kB PageTables: 5164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507452 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: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 22892 MiB End job on node106 at 2019-09-24 19:41:28