Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 103 | 1255.31 | 158.13 |
Name | Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-41-06.xml |
MD5SUM | 9c0419560fe3c6efa350d2101b8d9fdb |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 103 |
Best CPU time to get the best result obtained on this benchmark | 117.755 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 32 |
Number of constraints | 72 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 155 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":155,"count":31}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":5,"count":1},{"degree":6,"count":3},{"degree":7,"count":16},{"degree":8,"count":5},{"degree":9,"count":4},{"degree":10,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 26 |
Distribution of constraint arities | [{"arity":2,"count":68},{"arity":21,"count":2},{"arity":23,"count":1},{"arity":26,"count":1}] |
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-4399895-1568708146.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4399895-1568708146.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.59/0.72 c solve instance... 2.19/0.84 o 108 5.99/1.32 o 107 29.75/4.34 o 106 37.66/5.39 o 105 67.16/9.01 o 104 184.27/23.72 o 103 1255.24/158.11 s OPTIMUM FOUND 1255.24/158.11 v <instantiation> 1255.24/158.11 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> 1255.24/158.11 v <values>0 1 0 40 10 17 29 12 15 36 51 38 51 56 21 63 63 44 25 72 73 64 73 90 83 88 55 80 98 96 92 103 </values> 1255.24/158.11 v </instantiation>
OK 103
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 (15193 MiB free) memory of node 1: 16384 MiB (15745 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399895-1568708146/watcher-4399895-1568708146 -o /tmp/evaluation-result-4399895-1568708146/solver-4399895-1568708146 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568700438-24604 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 354380774 HOME/instance-4399895-1568708146.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=26494, runsolver pid=26491 [startup+0.100189 s]* /proc/loadavg: 7.59 8.10 8.28 2/211 26515 /proc/meminfo: memFree=31665036/32770624 swapFree=67002432/67108860 [pid=26494] ppid=26491 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26494/stat : 26494 (xcsp3-exec) S 26491 26494 24577 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447063261 115843072 363 33554432000 4194304 5098028 140723905306800 140723905304904 140129195467388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15982592 140723905311606 140723905311849 140723905311849 140723905314762 0 /proc/26494/statm: 28282 363 304 221 0 87 0 [pid=26496] ppid=26494 vsize=28227396 memory=30092 CPUtime=0.13 cores=0-7 /proc/26496/stat : 26496 (java) S 26494 26494 24577 0 -1 1077944320 5929 0 0 0 11 2 0 0 20 0 20 0 447063261 28904853504 7523 33554432000 4194304 4196468 140735756487616 140735756470160 140606510644983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 /proc/26496/statm: 7056849 7523 3165 1 0 7019032 0 [pid=26496/tid=26497] ppid=26494 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/26496/task/26497/stat : 26497 (java) R 26494 26494 24577 0 -1 4202560 3831 0 0 0 8 1 0 0 20 0 20 0 447063262 28904853504 7523 33554432000 4194304 4196468 140735756487616 140606514873216 140606510656918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26498] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26498/stat : 26498 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063263 28904853504 7523 33554432000 4194304 4196468 140735756487616 140606430497936 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26499] ppid=26494 vsize=28227396 memory=140158979266176 CPUtime=0 cores=0-7 /proc/26496/task/26499/stat : 26499 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063263 28904853504 7523 33554432000 4194304 4196468 140735756487616 140606429445136 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26500] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26500/stat : 26500 (java) S 26494 26494 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063263 28904853504 7523 33554432000 4194304 4196468 140735756487616 140606428392336 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26501] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26501/stat : 26501 (java) S 26494 26494 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447063263 28904853504 7523 33554432000 4194304 4196468 140735756487616 140606427339536 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26502] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26502/stat : 26502 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063263 28904853504 7523 33554432000 4194304 4196468 140735756487616 140606426286736 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26503] ppid=26494 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26496/task/26503/stat : 26503 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063263 28904853504 7523 33554432000 4194304 4196468 140735756487616 140606056815120 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26504] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26504/stat : 26504 (java) S 26494 26494 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063263 28904853504 7523 33554432000 4194304 4196468 140735756487616 140606055762320 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26505] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26505/stat : 26505 (java) S 26494 26494 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063263 28904853504 7523 33554432000 4194304 4196468 140735756487616 140606054709520 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26506] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26506/stat : 26506 (java) S 26494 26494 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063264 28904853504 7523 33554432000 4194304 4196468 140735756487616 140605626862448 140606510656130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26507] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26507/stat : 26507 (java) S 26494 26494 24577 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447063265 28904853504 7523 33554432000 4194304 4196468 140735756487616 140605625808416 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26508] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26508/stat : 26508 (java) S 26494 26494 24577 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447063265 28904853504 7523 33554432000 4194304 4196468 140735756487616 140605624755568 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26509] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26509/stat : 26509 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063267 28904853504 7523 33554432000 4194304 4196468 140735756487616 140605623703888 140606510663579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26510] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26510/stat : 26510 (java) S 26494 26494 24577 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 20 0 447063267 28904853504 7523 33554432000 4194304 4196468 140735756487616 140605622651248 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26511] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26511/stat : 26511 (java) S 26494 26494 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447063267 28904853504 7523 33554432000 4194304 4196468 140735756487616 140605621598448 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26512] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26512/stat : 26512 (java) S 26494 26494 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447063267 28904853504 7523 33554432000 4194304 4196468 140735756487616 140605620545648 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26513] ppid=26494 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/26496/task/26513/stat : 26513 (java) S 26494 26494 24577 0 -1 1077944384 378 0 0 0 1 0 0 0 20 0 20 0 447063267 28904853504 7523 33554432000 4194304 4196468 140735756487616 140604631672816 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26514] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26514/stat : 26514 (java) S 26494 26494 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447063267 28904853504 7523 33554432000 4194304 4196468 140735756487616 140604630621280 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26515] ppid=26494 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26496/task/26515/stat : 26515 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063268 28904853504 7523 33554432000 4194304 4196468 140735756487616 140604629568560 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31544 KiB [startup+0.21035 s]* /proc/loadavg: 7.59 8.10 8.28 3/211 26515 /proc/meminfo: memFree=31652988/32770624 swapFree=67002432/67108860 [pid=26494] ppid=26491 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26494/stat : 26494 (xcsp3-exec) S 26491 26494 24577 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447063261 115843072 363 33554432000 4194304 5098028 140723905306800 140723905304904 140129195467388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15982592 140723905311606 140723905311849 140723905311849 140723905314762 0 /proc/26494/statm: 28282 363 304 221 0 87 0 [pid=26496] ppid=26494 vsize=28227396 memory=40996 CPUtime=0.33 cores=0-7 /proc/26496/stat : 26496 (java) S 26494 26494 24577 0 -1 1077944320 9497 0 0 0 30 3 0 0 20 0 20 0 447063261 28904853504 10249 33554432000 4194304 4196468 140735756487616 140735756470160 140606510644983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 /proc/26496/statm: 7056849 10249 3278 1 0 7019032 0 [pid=26496/tid=26497] ppid=26494 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/26496/task/26497/stat : 26497 (java) R 26494 26494 24577 0 -1 4202560 6665 0 0 0 17 2 0 0 20 0 20 0 447063262 28904853504 10249 33554432000 4194304 4196468 140735756487616 140606514879680 140606510666330 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26498] ppid=26494 vsize=28227396 memory=330 CPUtime=0 cores=0-7 /proc/26496/task/26498/stat : 26498 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063263 28904853504 10249 33554432000 4194304 4196468 140735756487616 140606430497936 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26499] ppid=26494 vsize=28227396 memory=140158982584371 CPUtime=0 cores=0-7 /proc/26496/task/26499/stat : 26499 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063263 28904853504 10249 33554432000 4194304 4196468 140735756487616 140606429445136 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26500] ppid=26494 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26496/task/26500/stat : 26500 (java) S 26494 26494 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063263 28904853504 10249 33554432000 4194304 4196468 140735756487616 140606428392336 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26501] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26501/stat : 26501 (java) S 26494 26494 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447063263 28904853504 10249 33554432000 4194304 4196468 140735756487616 140606427339536 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26502] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26502/stat : 26502 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063263 28904853504 10249 33554432000 4194304 4196468 140735756487616 140606426286736 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26503] ppid=26494 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26496/task/26503/stat : 26503 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063263 28904853504 10249 33554432000 4194304 4196468 140735756487616 140606056815120 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26504] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26504/stat : 26504 (java) S 26494 26494 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063263 28904853504 10249 33554432000 4194304 4196468 140735756487616 140606055762320 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26505] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26505/stat : 26505 (java) S 26494 26494 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063263 28904853504 10249 33554432000 4194304 4196468 140735756487616 140606054709520 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26506] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26506/stat : 26506 (java) S 26494 26494 24577 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447063264 28904853504 10249 33554432000 4194304 4196468 140735756487616 140605626862448 140606510656130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26507] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26507/stat : 26507 (java) S 26494 26494 24577 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447063265 28904853504 10249 33554432000 4194304 4196468 140735756487616 140605625808416 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26508] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26508/stat : 26508 (java) S 26494 26494 24577 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447063265 28904853504 10249 33554432000 4194304 4196468 140735756487616 140605624755568 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26509] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26509/stat : 26509 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063267 28904853504 10249 33554432000 4194304 4196468 140735756487616 140605623703888 140606510663579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26510] ppid=26494 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/26496/task/26510/stat : 26510 (java) S 26494 26494 24577 0 -1 1077944384 616 0 0 0 2 0 0 0 20 0 20 0 447063267 28904853504 10249 33554432000 4194304 4196468 140735756487616 140605622651248 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26511] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26511/stat : 26511 (java) S 26494 26494 24577 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 447063267 28904853504 10249 33554432000 4194304 4196468 140735756487616 140605621598448 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26512] ppid=26494 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/26496/task/26512/stat : 26512 (java) S 26494 26494 24577 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 447063267 28904853504 10249 33554432000 4194304 4196468 140735756487616 140605620545648 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26513] ppid=26494 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/26496/task/26513/stat : 26513 (java) R 26494 26494 24577 0 -1 4202560 758 0 0 0 7 0 0 0 20 0 20 0 447063267 28904853504 10249 33554432000 4194304 4196468 140735756487616 140604631672816 140606489278823 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26514] ppid=26494 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26514/stat : 26514 (java) S 26494 26494 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447063267 28904853504 10249 33554432000 4194304 4196468 140735756487616 140604630621280 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26515] ppid=26494 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26496/task/26515/stat : 26515 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063268 28904853504 10249 33554432000 4194304 4196468 140735756487616 140604629568560 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42448 KiB [startup+0.309649 s]* /proc/loadavg: 7.59 8.10 8.28 4/211 26515 /proc/meminfo: memFree=31645408/32770624 swapFree=67002432/67108860 [pid=26494] ppid=26491 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26494/stat : 26494 (xcsp3-exec) S 26491 26494 24577 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447063261 115843072 363 33554432000 4194304 5098028 140723905306800 140723905304904 140129195467388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15982592 140723905311606 140723905311849 140723905311849 140723905314762 0 /proc/26494/statm: 28282 363 304 221 0 87 0 [pid=26496] ppid=26494 vsize=28231652 memory=50028 CPUtime=0.51 cores=0-7 /proc/26496/stat : 26496 (java) S 26494 26494 24577 0 -1 1077944320 10856 0 0 0 47 4 0 0 20 0 20 0 447063261 28909211648 12507 33554432000 4194304 4196468 140735756487616 140735756470160 140606510644983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 /proc/26496/statm: 7057913 12507 3369 1 0 7019032 0 [pid=26496/tid=26497] ppid=26494 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/26496/task/26497/stat : 26497 (java) R 26494 26494 24577 0 -1 4202560 7777 0 0 0 26 3 0 0 20 0 20 0 447063262 28909211648 12507 33554432000 4194304 4196468 140735756487616 140606514878768 140606510666909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26498] ppid=26494 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26498/stat : 26498 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063263 28909211648 12507 33554432000 4194304 4196468 140735756487616 140606430497936 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26499] ppid=26494 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26499/stat : 26499 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063263 28909211648 12507 33554432000 4194304 4196468 140735756487616 140606429445136 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26500] ppid=26494 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26500/stat : 26500 (java) S 26494 26494 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063263 28909211648 12507 33554432000 4194304 4196468 140735756487616 140606428392336 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26501] ppid=26494 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26501/stat : 26501 (java) S 26494 26494 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447063263 28909211648 12507 33554432000 4194304 4196468 140735756487616 140606427339536 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26502] ppid=26494 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/26496/task/26502/stat : 26502 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063263 28909211648 12507 33554432000 4194304 4196468 140735756487616 140606426286736 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26503] ppid=26494 vsize=28231652 memory=140158875825071 CPUtime=0 cores=0-7 /proc/26496/task/26503/stat : 26503 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063263 28909211648 12507 33554432000 4194304 4196468 140735756487616 140606056815120 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26504] ppid=26494 vsize=28231652 memory=140158875827376 CPUtime=0 cores=0-7 /proc/26496/task/26504/stat : 26504 (java) S 26494 26494 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063263 28909211648 12507 33554432000 4194304 4196468 140735756487616 140606055762320 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26505] ppid=26494 vsize=28231652 memory=140158875829680 CPUtime=0 cores=0-7 /proc/26496/task/26505/stat : 26505 (java) S 26494 26494 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063263 28909211648 12507 33554432000 4194304 4196468 140735756487616 140606054709520 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26506] ppid=26494 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26506/stat : 26506 (java) S 26494 26494 24577 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447063264 28909211648 12507 33554432000 4194304 4196468 140735756487616 140605626862448 140606510656130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26507] ppid=26494 vsize=28231652 memory=280317751666320 CPUtime=0 cores=0-7 /proc/26496/task/26507/stat : 26507 (java) S 26494 26494 24577 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447063265 28909211648 12507 33554432000 4194304 4196468 140735756487616 140605625808416 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26508] ppid=26494 vsize=28231652 memory=280317751673232 CPUtime=0 cores=0-7 /proc/26496/task/26508/stat : 26508 (java) S 26494 26494 24577 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447063265 28909211648 12507 33554432000 4194304 4196468 140735756487616 140605624755568 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26509] ppid=26494 vsize=28231652 memory=280317751614512 CPUtime=0 cores=0-7 /proc/26496/task/26509/stat : 26509 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063267 28909211648 12507 33554432000 4194304 4196468 140735756487616 140605623703888 140606510663579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26510] ppid=26494 vsize=28231652 memory=280317751687056 CPUtime=0.03 cores=0-7 /proc/26496/task/26510/stat : 26510 (java) R 26494 26494 24577 0 -1 4202560 723 0 0 0 3 0 0 0 20 0 20 0 447063267 28909211648 12507 33554432000 4194304 4196468 140735756487616 140605622641632 140606491837200 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26511] ppid=26494 vsize=28231652 memory=280317751693968 CPUtime=0.01 cores=0-7 /proc/26496/task/26511/stat : 26511 (java) S 26494 26494 24577 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 20 0 447063267 28909211648 12507 33554432000 4194304 4196468 140735756487616 140605621598448 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26512] ppid=26494 vsize=28231652 memory=280317751691664 CPUtime=0.02 cores=0-7 /proc/26496/task/26512/stat : 26512 (java) S 26494 26494 24577 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 20 0 447063267 28909211648 12507 33554432000 4194304 4196468 140735756487616 140605620545648 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26513] ppid=26494 vsize=28231652 memory=280317751707824 CPUtime=0.12 cores=0-7 /proc/26496/task/26513/stat : 26513 (java) S 26494 26494 24577 0 -1 1077944384 865 0 0 0 12 0 0 0 20 0 20 0 447063267 28909211648 12507 33554432000 4194304 4196468 140735756487616 140604631672816 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26514] ppid=26494 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26514/stat : 26514 (java) S 26494 26494 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447063267 28909211648 12507 33554432000 4194304 4196468 140735756487616 140604630621280 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26515] ppid=26494 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/26496/task/26515/stat : 26515 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063268 28909211648 12507 33554432000 4194304 4196468 140735756487616 140604629568560 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51480 KiB [startup+0.700965 s] /proc/loadavg: 7.59 8.10 8.28 2/211 26515 /proc/meminfo: memFree=31627848/32770624 swapFree=67002432/67108860 [pid=26494] ppid=26491 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26494/stat : 26494 (xcsp3-exec) S 26491 26494 24577 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447063261 115843072 363 33554432000 4194304 5098028 140723905306800 140723905304904 140129195467388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15982592 140723905311606 140723905311849 140723905311849 140723905314762 0 /proc/26494/statm: 28282 363 304 221 0 87 0 [pid=26496] ppid=26494 vsize=28233776 memory=88680 CPUtime=1.59 cores=0-7 /proc/26496/stat : 26496 (java) S 26494 26494 24577 0 -1 1077944320 15350 0 0 0 151 8 0 0 20 0 20 0 447063261 28911386624 22170 33554432000 4194304 4196468 140735756487616 140735756470160 140606510644983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 /proc/26496/statm: 7058444 22170 3454 1 0 7019544 0 [pid=26496/tid=26497] ppid=26494 vsize=28233776 memory=280317752065712 CPUtime=0.68 cores=0-7 /proc/26496/task/26497/stat : 26497 (java) R 26494 26494 24577 0 -1 4202560 9346 0 0 0 63 5 0 0 20 0 20 0 447063262 28911386624 22170 33554432000 4194304 4196468 140735756487616 140606514881120 140606106109397 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26498] ppid=26494 vsize=28233776 memory=140158876033904 CPUtime=0 cores=0-7 /proc/26496/task/26498/stat : 26498 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063263 28911386624 22170 33554432000 4194304 4196468 140735756487616 140606430497936 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26499] ppid=26494 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/26496/task/26499/stat : 26499 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063263 28911386624 22170 33554432000 4194304 4196468 140735756487616 140606429445136 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26500] ppid=26494 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/26496/task/26500/stat : 26500 (java) S 26494 26494 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063263 28911386624 22170 33554432000 4194304 4196468 140735756487616 140606428392336 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 ################ # More data... # ################ [pid=26496/tid=26513] ppid=26494 vsize=28768336 memory=25872 CPUtime=0.87 cores=0-7 /proc/26496/task/26513/stat : 26513 (java) S 26494 26494 24577 0 -1 1077944384 8759 0 0 0 85 2 0 0 20 0 28 0 447063267 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604631672816 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26514] ppid=26494 vsize=28768336 memory=1556 CPUtime=0 cores=0-7 /proc/26496/task/26514/stat : 26514 (java) S 26494 26494 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447063267 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604630621280 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26515] ppid=26494 vsize=28768336 memory=500 CPUtime=0.01 cores=0-7 /proc/26496/task/26515/stat : 26515 (java) S 26494 26494 24577 0 -1 1077944384 1516 0 0 0 0 1 0 0 20 0 28 0 447063268 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604629568560 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26565] ppid=26494 vsize=28768336 memory=932 CPUtime=133.53 cores=0-7 /proc/26496/task/26565/stat : 26565 (java) R 26494 26494 24577 0 -1 4202560 1173 0 0 0 13353 0 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604304337960 140606113899993 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26566] ppid=26494 vsize=28768336 memory=1768 CPUtime=133.4 cores=0-7 /proc/26496/task/26566/stat : 26566 (java) R 26494 26494 24577 0 -1 4202560 1278 0 0 0 13340 0 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604303286456 140606113234342 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26567] ppid=26494 vsize=28768336 memory=1452 CPUtime=133.23 cores=0-7 /proc/26496/task/26567/stat : 26567 (java) R 26494 26494 24577 0 -1 4202560 3095 0 0 0 13322 1 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604617199528 140606113897854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26568] ppid=26494 vsize=28768336 memory=1452 CPUtime=132.81 cores=0-7 /proc/26496/task/26568/stat : 26568 (java) R 26494 26494 24577 0 -1 4202560 2838 0 0 0 13278 3 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604615094040 140606113234395 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26569] ppid=26494 vsize=28768336 memory=172024 CPUtime=132.69 cores=0-7 /proc/26496/task/26569/stat : 26569 (java) R 26494 26494 24577 0 -1 4202560 1648 0 0 0 13269 0 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604614043632 140606113297829 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26570] ppid=26494 vsize=28768336 memory=1764 CPUtime=133.63 cores=0-7 /proc/26496/task/26570/stat : 26570 (java) R 26494 26494 24577 0 -1 4202560 2116 0 0 0 13362 1 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604616146480 140606113234906 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26571] ppid=26494 vsize=28768336 memory=1452 CPUtime=133 cores=0-7 /proc/26496/task/26571/stat : 26571 (java) R 26494 26494 24577 0 -1 4202560 1598 0 0 0 13300 0 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604620349600 140606114660609 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26572] ppid=26494 vsize=28768336 memory=288230574492221466 CPUtime=133.33 cores=0-7 /proc/26496/task/26572/stat : 26572 (java) R 26494 26494 24577 0 -1 4202560 1846 0 0 0 13333 0 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604305391088 140606113379672 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 Current children cumulated CPU time: 1251.25 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 171440 KiB [startup+158.001 s]* /proc/loadavg: 8.10 8.20 8.29 9/219 26580 /proc/meminfo: memFree=31527172/32770624 swapFree=67002432/67108860 [pid=26494] ppid=26491 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26494/stat : 26494 (xcsp3-exec) S 26491 26494 24577 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447063261 115843072 363 33554432000 4194304 5098028 140723905306800 140723905304904 140129195467388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15982592 140723905311606 140723905311849 140723905311849 140723905314762 0 /proc/26494/statm: 28282 363 304 221 0 87 0 [pid=26496] ppid=26494 vsize=28768336 memory=169988 CPUtime=1254.43 cores=0-7 /proc/26496/stat : 26496 (java) S 26494 26494 24577 0 -1 1077944320 129989 0 0 0 125386 57 0 0 20 0 28 0 447063261 29458776064 42497 33554432000 4194304 4196468 140735756487616 140735756470160 140606510644983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 /proc/26496/statm: 7192084 42497 3537 1 0 7153184 0 [pid=26496/tid=26497] ppid=26494 vsize=28768336 memory=6791534058613427641 CPUtime=0.72 cores=0-7 /proc/26496/task/26497/stat : 26497 (java) S 26494 26494 24577 0 -1 1077944384 10044 0 0 0 67 5 0 0 20 0 28 0 447063262 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606514885760 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26498] ppid=26494 vsize=28768336 memory=-3621219749712857549 CPUtime=0.08 cores=0-7 /proc/26496/task/26498/stat : 26498 (java) S 26494 26494 24577 0 -1 1077944384 2167 0 0 0 6 2 0 0 20 0 28 0 447063263 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606430497936 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26499] ppid=26494 vsize=28768336 memory=-2026666227646606628 CPUtime=0.07 cores=0-7 /proc/26496/task/26499/stat : 26499 (java) S 26494 26494 24577 0 -1 1077944384 3502 0 0 0 6 1 0 0 20 0 28 0 447063263 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606429445136 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26500] ppid=26494 vsize=28768336 memory=-4695052241013923951 CPUtime=0.07 cores=0-7 /proc/26496/task/26500/stat : 26500 (java) S 26494 26494 24577 0 -1 1077944384 1963 0 0 0 6 1 0 0 20 0 28 0 447063263 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606428392336 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26501] ppid=26494 vsize=28768336 memory=6655300316396806240 CPUtime=0.08 cores=0-7 /proc/26496/task/26501/stat : 26501 (java) S 26494 26494 24577 0 -1 1077944384 1685 0 0 0 7 1 0 0 20 0 28 0 447063263 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606427339536 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26502] ppid=26494 vsize=28768336 memory=-4866526899798303339 CPUtime=0.07 cores=0-7 /proc/26496/task/26502/stat : 26502 (java) S 26494 26494 24577 0 -1 1077944384 2628 0 0 0 6 1 0 0 20 0 28 0 447063263 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606426286736 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26503] ppid=26494 vsize=28768336 memory=-4866526899798303339 CPUtime=0.08 cores=0-7 /proc/26496/task/26503/stat : 26503 (java) S 26494 26494 24577 0 -1 1077944384 719 0 0 0 7 1 0 0 20 0 28 0 447063263 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606056815120 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26504] ppid=26494 vsize=28768336 memory=-4695052241013923951 CPUtime=0.07 cores=0-7 /proc/26496/task/26504/stat : 26504 (java) S 26494 26494 24577 0 -1 1077944384 2568 0 0 0 6 1 0 0 20 0 28 0 447063263 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606055762320 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26505] ppid=26494 vsize=28768336 memory=303430223234596890 CPUtime=0.07 cores=0-7 /proc/26496/task/26505/stat : 26505 (java) S 26494 26494 24577 0 -1 1077944384 3620 0 0 0 6 1 0 0 20 0 28 0 447063263 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606054709520 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26506] ppid=26494 vsize=28768336 memory=288230621803970871 CPUtime=0.1 cores=0-7 /proc/26496/task/26506/stat : 26506 (java) S 26494 26494 24577 0 -1 1077944384 6798 0 0 0 7 3 0 0 20 0 28 0 447063264 29458776064 42497 33554432000 4194304 4196468 140735756487616 140605626862448 140606510656130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26507] ppid=26494 vsize=28768336 memory=14689690934577615 CPUtime=0 cores=0-7 /proc/26496/task/26507/stat : 26507 (java) S 26494 26494 24577 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 447063265 29458776064 42497 33554432000 4194304 4196468 140735756487616 140605625808480 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26508] ppid=26494 vsize=28768336 memory=916 CPUtime=0 cores=0-7 /proc/26496/task/26508/stat : 26508 (java) S 26494 26494 24577 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 28 0 447063265 29458776064 42497 33554432000 4194304 4196468 140735756487616 140605624755584 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26509] ppid=26494 vsize=28768336 memory=4420 CPUtime=0 cores=0-7 /proc/26496/task/26509/stat : 26509 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447063267 29458776064 42497 33554432000 4194304 4196468 140735756487616 140605623703888 140606510663579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26510] ppid=26494 vsize=28768336 memory=4100 CPUtime=2.81 cores=0-7 /proc/26496/task/26510/stat : 26510 (java) S 26494 26494 24577 0 -1 1077944384 19553 0 0 0 277 4 0 0 20 0 28 0 447063267 29458776064 42497 33554432000 4194304 4196468 140735756487616 140605622651248 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26511] ppid=26494 vsize=28768336 memory=1412 CPUtime=2.56 cores=0-7 /proc/26496/task/26511/stat : 26511 (java) S 26494 26494 24577 0 -1 1077944384 17295 0 0 0 252 4 0 0 20 0 28 0 447063267 29458776064 42497 33554432000 4194304 4196468 140735756487616 140605621598448 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26512] ppid=26494 vsize=28768336 memory=3596 CPUtime=2.78 cores=0-7 /proc/26496/task/26512/stat : 26512 (java) S 26494 26494 24577 0 -1 1077944384 21317 0 0 0 273 5 0 0 20 0 28 0 447063267 29458776064 42497 33554432000 4194304 4196468 140735756487616 140605620545648 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26513] ppid=26494 vsize=28768336 memory=1452 CPUtime=0.87 cores=0-7 /proc/26496/task/26513/stat : 26513 (java) S 26494 26494 24577 0 -1 1077944384 8761 0 0 0 85 2 0 0 20 0 28 0 447063267 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604631672816 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26514] ppid=26494 vsize=28768336 memory=171512 CPUtime=0 cores=0-7 /proc/26496/task/26514/stat : 26514 (java) S 26494 26494 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447063267 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604630621280 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26515] ppid=26494 vsize=28768336 memory=6791534058613427641 CPUtime=0.01 cores=0-7 /proc/26496/task/26515/stat : 26515 (java) S 26494 26494 24577 0 -1 1077944384 1516 0 0 0 0 1 0 0 20 0 28 0 447063268 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604629568560 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26565] ppid=26494 vsize=28768336 memory=1452 CPUtime=133.93 cores=0-7 /proc/26496/task/26565/stat : 26565 (java) R 26494 26494 24577 0 -1 4202560 1173 0 0 0 13393 0 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604304337960 140606495260520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26566] ppid=26494 vsize=28768336 memory=174576 CPUtime=133.79 cores=0-7 /proc/26496/task/26566/stat : 26566 (java) R 26494 26494 24577 0 -1 4202560 1278 0 0 0 13379 0 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604303286456 140606113297724 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26567] ppid=26494 vsize=28768336 memory=0 CPUtime=133.63 cores=0-7 /proc/26496/task/26567/stat : 26567 (java) R 26494 26494 24577 0 -1 4202560 3095 0 0 0 13362 1 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604617199528 140606112232121 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26568] ppid=26494 vsize=28768336 memory=4100 CPUtime=133.21 cores=0-7 /proc/26496/task/26568/stat : 26568 (java) R 26494 26494 24577 0 -1 4202560 2838 0 0 0 13318 3 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604615094040 140606113297213 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26569] ppid=26494 vsize=28768336 memory=-8253362762722141311 CPUtime=133.09 cores=0-7 /proc/26496/task/26569/stat : 26569 (java) R 26494 26494 24577 0 -1 4202560 1648 0 0 0 13309 0 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604614043632 140606113167545 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26570] ppid=26494 vsize=28768336 memory=3500 CPUtime=134.03 cores=0-7 /proc/26496/task/26570/stat : 26570 (java) R 26494 26494 24577 0 -1 4202560 2116 0 0 0 13402 1 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604616146616 140606113235445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26571] ppid=26494 vsize=28768336 memory=6791534058613427641 CPUtime=133.4 cores=0-7 /proc/26496/task/26571/stat : 26571 (java) R 26494 26494 24577 0 -1 4202560 1598 0 0 0 13340 0 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604620349736 140606113234505 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26572] ppid=26494 vsize=28768336 memory=1452 CPUtime=133.73 cores=0-7 /proc/26496/task/26572/stat : 26572 (java) R 26494 26494 24577 0 -1 4202560 1846 0 0 0 13373 0 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604305391088 140606113650829 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 Current children cumulated CPU time: 1254.43 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 171440 KiB [startup+158.111 s] /proc/loadavg: 8.10 8.20 8.29 9/219 26580 /proc/meminfo: memFree=31527172/32770624 swapFree=67002432/67108860 [pid=26494] ppid=26491 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26494/stat : 26494 (xcsp3-exec) S 26491 26494 24577 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447063261 115843072 363 33554432000 4194304 5098028 140723905306800 140723905304904 140129195467388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15982592 140723905311606 140723905311849 140723905311849 140723905314762 0 /proc/26494/statm: 28282 363 304 221 0 87 0 [pid=26496] ppid=26494 vsize=28768336 memory=169988 CPUtime=1255.24 cores=0-7 /proc/26496/stat : 26496 (java) S 26494 26494 24577 0 -1 1077944320 129989 0 0 0 125467 57 0 0 20 0 28 0 447063261 29458776064 42497 33554432000 4194304 4196468 140735756487616 140735756470160 140606510644983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 /proc/26496/statm: 7192084 42497 3537 1 0 7153184 0 [pid=26496/tid=26497] ppid=26494 vsize=28768336 memory=169988 CPUtime=0.72 cores=0-7 /proc/26496/task/26497/stat : 26497 (java) S 26494 26494 24577 0 -1 1077944384 10044 0 0 0 67 5 0 0 20 0 28 0 447063262 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606514885760 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26498] ppid=26494 vsize=28768336 memory=1452 CPUtime=0.08 cores=0-7 /proc/26496/task/26498/stat : 26498 (java) S 26494 26494 24577 0 -1 1077944384 2167 0 0 0 6 2 0 0 20 0 28 0 447063263 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606430497936 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26499] ppid=26494 vsize=28768336 memory=170500 CPUtime=0.07 cores=0-7 /proc/26496/task/26499/stat : 26499 (java) S 26494 26494 24577 0 -1 1077944384 3502 0 0 0 6 1 0 0 20 0 28 0 447063263 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606429445136 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26500] ppid=26494 vsize=28768336 memory=169988 CPUtime=0.07 cores=0-7 /proc/26496/task/26500/stat : 26500 (java) S 26494 26494 24577 0 -1 1077944384 1963 0 0 0 6 1 0 0 20 0 28 0 447063263 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606428392336 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26501] ppid=26494 vsize=28768336 memory=169988 CPUtime=0.08 cores=0-7 /proc/26496/task/26501/stat : 26501 (java) S 26494 26494 24577 0 -1 1077944384 1685 0 0 0 7 1 0 0 20 0 28 0 447063263 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606427339536 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26502] ppid=26494 vsize=28768336 memory=1452 CPUtime=0.07 cores=0-7 /proc/26496/task/26502/stat : 26502 (java) S 26494 26494 24577 0 -1 1077944384 2628 0 0 0 6 1 0 0 20 0 28 0 447063263 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606426286736 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26503] ppid=26494 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/26496/task/26503/stat : 26503 (java) S 26494 26494 24577 0 -1 1077944384 719 0 0 0 7 1 0 0 20 0 28 0 447063263 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606056815120 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26504] ppid=26494 vsize=28768336 memory=280317752875216 CPUtime=0.07 cores=0-7 /proc/26496/task/26504/stat : 26504 (java) S 26494 26494 24577 0 -1 1077944384 2568 0 0 0 6 1 0 0 20 0 28 0 447063263 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606055762320 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26505] ppid=26494 vsize=28768336 memory=7893295687695689787 CPUtime=0.07 cores=0-7 /proc/26496/task/26505/stat : 26505 (java) S 26494 26494 24577 0 -1 1077944384 3620 0 0 0 6 1 0 0 20 0 28 0 447063263 29458776064 42497 33554432000 4194304 4196468 140735756487616 140606054709520 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26506] ppid=26494 vsize=28768336 memory=1452 CPUtime=0.1 cores=0-7 /proc/26496/task/26506/stat : 26506 (java) S 26494 26494 24577 0 -1 1077944384 6798 0 0 0 7 3 0 0 20 0 28 0 447063264 29458776064 42497 33554432000 4194304 4196468 140735756487616 140605626862448 140606510656130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26507] ppid=26494 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/26496/task/26507/stat : 26507 (java) S 26494 26494 24577 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 447063265 29458776064 42497 33554432000 4194304 4196468 140735756487616 140605625808480 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26508] ppid=26494 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/26496/task/26508/stat : 26508 (java) S 26494 26494 24577 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 28 0 447063265 29458776064 42497 33554432000 4194304 4196468 140735756487616 140605624755584 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26509] ppid=26494 vsize=28768336 memory=187316 CPUtime=0 cores=0-7 /proc/26496/task/26509/stat : 26509 (java) S 26494 26494 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447063267 29458776064 42497 33554432000 4194304 4196468 140735756487616 140605623703888 140606510663579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26510] ppid=26494 vsize=28768336 memory=172024 CPUtime=2.81 cores=0-7 /proc/26496/task/26510/stat : 26510 (java) S 26494 26494 24577 0 -1 1077944384 19553 0 0 0 277 4 0 0 20 0 28 0 447063267 29458776064 42497 33554432000 4194304 4196468 140735756487616 140605622651248 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26511] ppid=26494 vsize=28768336 memory=1452 CPUtime=2.56 cores=0-7 /proc/26496/task/26511/stat : 26511 (java) S 26494 26494 24577 0 -1 1077944384 17295 0 0 0 252 4 0 0 20 0 28 0 447063267 29458776064 42497 33554432000 4194304 4196468 140735756487616 140605621598448 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26512] ppid=26494 vsize=28768336 memory=1452 CPUtime=2.78 cores=0-7 /proc/26496/task/26512/stat : 26512 (java) S 26494 26494 24577 0 -1 1077944384 21317 0 0 0 273 5 0 0 20 0 28 0 447063267 29458776064 42497 33554432000 4194304 4196468 140735756487616 140605620545648 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26513] ppid=26494 vsize=28768336 memory=1452 CPUtime=0.87 cores=0-7 /proc/26496/task/26513/stat : 26513 (java) S 26494 26494 24577 0 -1 1077944384 8761 0 0 0 85 2 0 0 20 0 28 0 447063267 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604631672816 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26514] ppid=26494 vsize=28768336 memory=3616 CPUtime=0 cores=0-7 /proc/26496/task/26514/stat : 26514 (java) S 26494 26494 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447063267 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604630621280 140606510655189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26515] ppid=26494 vsize=28768336 memory=170500 CPUtime=0.01 cores=0-7 /proc/26496/task/26515/stat : 26515 (java) S 26494 26494 24577 0 -1 1077944384 1516 0 0 0 0 1 0 0 20 0 28 0 447063268 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604629568560 140606510656130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26565] ppid=26494 vsize=28768336 memory=3616 CPUtime=134.03 cores=0-7 /proc/26496/task/26565/stat : 26565 (java) R 26494 26494 24577 0 -1 4202560 1173 0 0 0 13403 0 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604304337960 140606112524307 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26566] ppid=26494 vsize=28768336 memory=47996 CPUtime=133.89 cores=0-7 /proc/26496/task/26566/stat : 26566 (java) R 26494 26494 24577 0 -1 4202560 1278 0 0 0 13389 0 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604303286456 140606113236697 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26567] ppid=26494 vsize=28768336 memory=1452 CPUtime=133.73 cores=0-7 /proc/26496/task/26567/stat : 26567 (java) R 26494 26494 24577 0 -1 4202560 3095 0 0 0 13372 1 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604617199528 140606113901446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26568] ppid=26494 vsize=28768336 memory=170500 CPUtime=133.31 cores=0-7 /proc/26496/task/26568/stat : 26568 (java) R 26494 26494 24577 0 -1 4202560 2838 0 0 0 13328 3 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604615094040 140606113850287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26569] ppid=26494 vsize=28768336 memory=10600 CPUtime=133.19 cores=0-7 /proc/26496/task/26569/stat : 26569 (java) R 26494 26494 24577 0 -1 4202560 1648 0 0 0 13319 0 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604614043632 140606107129272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26570] ppid=26494 vsize=28768336 memory=0 CPUtime=134.13 cores=0-7 /proc/26496/task/26570/stat : 26570 (java) R 26494 26494 24577 0 -1 4202560 2116 0 0 0 13412 1 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604616146616 140606113296381 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26571] ppid=26494 vsize=28768336 memory=0 CPUtime=133.5 cores=0-7 /proc/26496/task/26571/stat : 26571 (java) R 26494 26494 24577 0 -1 4202560 1598 0 0 0 13350 0 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604620349736 140606113234288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 [pid=26496/tid=26572] ppid=26494 vsize=28768336 memory=1452 CPUtime=133.83 cores=0-7 /proc/26496/task/26572/stat : 26572 (java) R 26494 26494 24577 0 -1 4202560 1846 0 0 0 13383 0 0 0 20 0 28 0 447065634 29458776064 42497 33554432000 4194304 4196468 140735756487616 140604305391088 140606106314783 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23322624 140735756489706 140735756489878 140735756489878 140735756492751 0 Current children cumulated CPU time: 1255.24 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 171440 KiB Child status: 0 Real time (s): 158.13 CPU time (s): 1255.31 CPU user time (s): 1254.72 CPU system time (s): 0.582323 CPU usage (%): 793.843 Max. virtual memory (cumulated for all children) (KiB): 28883604 Max. memory (cumulated for all children) (KiB): 259488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1254.72 system time used= 0.582323 maximum resident set size= 258036 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 131720 page faults= 0 swaps= 0 block input operations= 0 block output operations= 384 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13419 involuntary context switches= 16407 # summary of solver processes directly reported to runsolver: # pid: 26494 # total CPU time (s): 1255.31 # total CPU user time (s): 1254.72 # total CPU system time (s): 0.582323 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.26727 second user time and 1.84305 second system time The end
Begin job on node136 at 2019-09-17 10:15:02 IDJOB=4399895 IDBENCH=129880 IDSOLVER=2854 FILE ID=node136/4399895-1568708146 RUNJOBID= node136-1568700438-24604 PBS_JOBID= 21703894 Free space on /tmp= 61144 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-41-06.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-4399895-1568708146/watcher-4399895-1568708146 -o /tmp/evaluation-result-4399895-1568708146/solver-4399895-1568708146 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568700438-24604 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 354380774 HOME/instance-4399895-1568708146.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9c0419560fe3c6efa350d2101b8d9fdb RANDOM SEED=354380774 node136.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.00 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.54 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.00 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.54 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.00 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.54 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.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31682380 kB MemAvailable: 31897984 kB Buffers: 69608 kB Cached: 447568 kB SwapCached: 3548 kB Active: 219360 kB Inactive: 303304 kB Active(anon): 5016 kB Inactive(anon): 49444 kB Active(file): 214344 kB Inactive(file): 253860 kB Unevictable: 110280 kB Mlocked: 110280 kB SwapTotal: 67108860 kB SwapFree: 67002432 kB Dirty: 26300 kB Writeback: 0 kB AnonPages: 113272 kB Mapped: 47864 kB Shmem: 40356 kB Slab: 155232 kB SReclaimable: 126468 kB SUnreclaim: 28764 kB KernelStack: 3408 kB PageTables: 5040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507480 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61120 MiB End job on node136 at 2019-09-17 10:17:40