Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 103 | 162.343 | 21.0181 |
Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-01.xml |
MD5SUM | 90855c6c3ff0f3816786e6ae00e0aae6 |
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 | 80.7366 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 62 |
Number of constraints | 116 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 332 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":332,"count":61}] |
Minimum variable degree | 3 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":3,"count":2},{"degree":4,"count":9},{"degree":5,"count":20},{"degree":6,"count":15},{"degree":7,"count":14},{"degree":8,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":2,"count":112},{"arity":26,"count":1},{"arity":28,"count":1},{"arity":31,"count":1},{"arity":36,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 112 |
Distribution of constraint types | [{"type":"intension","count":112},{"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-4400193-1568711059.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400193-1568711059.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.64/0.80 c solve instance... 2.73/0.98 o 118 3.46/1.01 o 116 3.46/1.03 o 113 4.22/1.17 o 112 4.86/1.22 o 110 25.39/3.87 o 109 26.17/3.96 o 108 26.17/4.00 o 106 33.25/4.88 o 105 41.19/5.88 o 104 125.71/16.42 o 103 161.52/21.00 s OPTIMUM FOUND 161.52/21.00 v <instantiation> 161.52/21.00 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] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] </list> 161.52/21.00 v <values>0 2 1 0 3 7 9 24 20 16 32 30 24 39 8 9 31 25 49 70 39 29 38 18 43 50 43 47 44 57 31 59 51 67 48 41 45 49 66 68 57 70 57 77 66 77 88 83 81 87 83 91 94 85 95 76 75 93 99 102 77 103 </values> 161.52/21.00 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 (14786 MiB free) memory of node 1: 16384 MiB (15682 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400193-1568711059/watcher-4400193-1568711059 -o /tmp/evaluation-result-4400193-1568711059/solver-4400193-1568711059 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568696629-1917 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 805981732 HOME/instance-4400193-1568711059.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 Current StackSize limit: 8192 KiB solver pid=9481, runsolver pid=9478 [startup+0.100154 s]* /proc/loadavg: 7.53 7.96 7.82 3/212 9502 /proc/meminfo: memFree=31182584/32770624 swapFree=66977424/67108860 [pid=9481] ppid=9478 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9481/stat : 9481 (xcsp3-exec) S 9478 9481 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447362922 115843072 362 33554432000 4194304 5098028 140724210410208 140724210408312 140625979724412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10092544 140724210414460 140724210414702 140724210414702 140724210417610 0 /proc/9481/statm: 28282 362 304 221 0 87 0 [pid=9483] ppid=9481 vsize=28227396 memory=28980 CPUtime=0.12 cores=0-7 /proc/9483/stat : 9483 (java) S 9481 9481 1890 0 -1 1077944320 5707 0 0 0 11 1 0 0 20 0 20 0 447362922 28904853504 7245 33554432000 4194304 4196468 140733864204000 140733864186544 140402002730743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 /proc/9483/statm: 7056849 7245 3122 1 0 7019032 0 [pid=9483/tid=9484] ppid=9481 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/9483/task/9484/stat : 9484 (java) R 9481 9481 1890 0 -1 4202560 3635 0 0 0 8 0 0 0 20 0 20 0 447362922 28904853504 7245 33554432000 4194304 4196468 140733864204000 140402006962656 140402002742678 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9485] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9485/stat : 9485 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362923 28904853504 7245 33554432000 4194304 4196468 140733864204000 140401955351312 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9486] ppid=9481 vsize=28227396 memory=15962962757600920 CPUtime=0 cores=0-7 /proc/9483/task/9486/stat : 9486 (java) S 9481 9481 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447362923 28904853504 7245 33554432000 4194304 4196468 140733864204000 140401954298768 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9487] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9487/stat : 9487 (java) S 9481 9481 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447362923 28904853504 7245 33554432000 4194304 4196468 140733864204000 140401953246224 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9488] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9488/stat : 9488 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362923 28904853504 7245 33554432000 4194304 4196468 140733864204000 140401952193680 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9489] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9489/stat : 9489 (java) S 9481 9481 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447362923 28904853504 7245 33554432000 4194304 4196468 140733864204000 140401951140112 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9490] ppid=9481 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9483/task/9490/stat : 9490 (java) S 9481 9481 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447362923 28904853504 7245 33554432000 4194304 4196468 140733864204000 140401950087568 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9491] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9491/stat : 9491 (java) S 9481 9481 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447362923 28904853504 7245 33554432000 4194304 4196468 140733864204000 140401949035024 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9492] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9492/stat : 9492 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362923 28904853504 7245 33554432000 4194304 4196468 140733864204000 140401947982480 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9493] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9493/stat : 9493 (java) S 9481 9481 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447362925 28904853504 7245 33554432000 4194304 4196468 140733864204000 140400131205616 140402002741890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9494] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9494/stat : 9494 (java) S 9481 9481 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447362925 28904853504 7245 33554432000 4194304 4196468 140733864204000 140400130151840 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9495] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9495/stat : 9495 (java) S 9481 9481 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447362925 28904853504 7245 33554432000 4194304 4196468 140733864204000 140400129099248 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9496] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9496/stat : 9496 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362928 28904853504 7245 33554432000 4194304 4196468 140733864204000 140400128047824 140402002749339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9497] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9497/stat : 9497 (java) S 9481 9481 1890 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 447362928 28904853504 7245 33554432000 4194304 4196468 140733864204000 140400126994416 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9498] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9498/stat : 9498 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362928 28904853504 7245 33554432000 4194304 4196468 140733864204000 140400125941872 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9499] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9499/stat : 9499 (java) S 9481 9481 1890 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 447362928 28904853504 7245 33554432000 4194304 4196468 140733864204000 140400124889328 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9500] ppid=9481 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9483/task/9500/stat : 9500 (java) R 9481 9481 1890 0 -1 4202560 344 0 0 0 1 0 0 0 20 0 20 0 447362928 28904853504 7245 33554432000 4194304 4196468 140733864204000 140400123836784 140402002742678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9501] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9501/stat : 9501 (java) S 9481 9481 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447362928 28904853504 7245 33554432000 4194304 4196468 140733864204000 140400122784480 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9502] ppid=9481 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9483/task/9502/stat : 9502 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362928 28904853504 7245 33554432000 4194304 4196468 140733864204000 140400121732016 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30428 KiB [startup+0.210045 s]* /proc/loadavg: 7.53 7.96 7.82 2/212 9502 /proc/meminfo: memFree=31168580/32770624 swapFree=66977424/67108860 [pid=9481] ppid=9478 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9481/stat : 9481 (xcsp3-exec) S 9478 9481 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447362922 115843072 362 33554432000 4194304 5098028 140724210410208 140724210408312 140625979724412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10092544 140724210414460 140724210414702 140724210414702 140724210417610 0 /proc/9481/statm: 28282 362 304 221 0 87 0 [pid=9483] ppid=9481 vsize=28227396 memory=40168 CPUtime=0.33 cores=0-7 /proc/9483/stat : 9483 (java) S 9481 9481 1890 0 -1 1077944320 9339 0 0 0 30 3 0 0 20 0 20 0 447362922 28904853504 10042 33554432000 4194304 4196468 140733864204000 140733864186544 140402002730743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 /proc/9483/statm: 7056849 10042 3266 1 0 7019032 0 [pid=9483/tid=9484] ppid=9481 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/9483/task/9484/stat : 9484 (java) R 9481 9481 1890 0 -1 4202560 6614 0 0 0 18 2 0 0 20 0 20 0 447362922 28904853504 10042 33554432000 4194304 4196468 140733864204000 140402006960464 140401625368656 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9485] ppid=9481 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/9483/task/9485/stat : 9485 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362923 28904853504 10042 33554432000 4194304 4196468 140733864204000 140401955351312 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9486] ppid=9481 vsize=28227396 memory=14556687385675416 CPUtime=0 cores=0-7 /proc/9483/task/9486/stat : 9486 (java) S 9481 9481 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447362923 28904853504 10042 33554432000 4194304 4196468 140733864204000 140401954298768 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9487] ppid=9481 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9483/task/9487/stat : 9487 (java) S 9481 9481 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447362923 28904853504 10042 33554432000 4194304 4196468 140733864204000 140401953246224 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9488] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9488/stat : 9488 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362923 28904853504 10042 33554432000 4194304 4196468 140733864204000 140401952193680 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9489] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9489/stat : 9489 (java) S 9481 9481 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447362923 28904853504 10042 33554432000 4194304 4196468 140733864204000 140401951140112 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9490] ppid=9481 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9483/task/9490/stat : 9490 (java) S 9481 9481 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447362923 28904853504 10042 33554432000 4194304 4196468 140733864204000 140401950087568 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9491] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9491/stat : 9491 (java) S 9481 9481 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447362923 28904853504 10042 33554432000 4194304 4196468 140733864204000 140401949035024 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9492] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9492/stat : 9492 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362923 28904853504 10042 33554432000 4194304 4196468 140733864204000 140401947982480 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9493] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9493/stat : 9493 (java) S 9481 9481 1890 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447362925 28904853504 10042 33554432000 4194304 4196468 140733864204000 140400131205616 140402002741890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9494] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9494/stat : 9494 (java) S 9481 9481 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447362925 28904853504 10042 33554432000 4194304 4196468 140733864204000 140400130151840 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9495] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9495/stat : 9495 (java) S 9481 9481 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447362925 28904853504 10042 33554432000 4194304 4196468 140733864204000 140400129099248 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9496] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9496/stat : 9496 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362928 28904853504 10042 33554432000 4194304 4196468 140733864204000 140400128047824 140402002749339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9497] ppid=9481 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/9483/task/9497/stat : 9497 (java) R 9481 9481 1890 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 20 0 447362928 28904853504 10042 33554432000 4194304 4196468 140733864204000 140400126994416 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9498] ppid=9481 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/9483/task/9498/stat : 9498 (java) S 9481 9481 1890 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 20 0 447362928 28904853504 10042 33554432000 4194304 4196468 140733864204000 140400125941872 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9499] ppid=9481 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/9483/task/9499/stat : 9499 (java) R 9481 9481 1890 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 20 0 447362928 28904853504 10042 33554432000 4194304 4196468 140733864204000 140400124889328 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9500] ppid=9481 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/9483/task/9500/stat : 9500 (java) R 9481 9481 1890 0 -1 4202560 785 0 0 0 7 0 0 0 20 0 20 0 447362928 28904853504 10042 33554432000 4194304 4196468 140733864204000 140400123836784 140402002742678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9501] ppid=9481 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9501/stat : 9501 (java) S 9481 9481 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447362928 28904853504 10042 33554432000 4194304 4196468 140733864204000 140400122784480 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9502] ppid=9481 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/9483/task/9502/stat : 9502 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362928 28904853504 10042 33554432000 4194304 4196468 140733864204000 140400121732016 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41616 KiB [startup+0.30968 s]* /proc/loadavg: 7.53 7.96 7.82 3/212 9502 /proc/meminfo: memFree=31161048/32770624 swapFree=66977424/67108860 [pid=9481] ppid=9478 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9481/stat : 9481 (xcsp3-exec) S 9478 9481 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447362922 115843072 362 33554432000 4194304 5098028 140724210410208 140724210408312 140625979724412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10092544 140724210414460 140724210414702 140724210414702 140724210417610 0 /proc/9481/statm: 28282 362 304 221 0 87 0 [pid=9483] ppid=9481 vsize=28231652 memory=49820 CPUtime=0.52 cores=0-7 /proc/9483/stat : 9483 (java) S 9481 9481 1890 0 -1 1077944320 10784 0 0 0 48 4 0 0 20 0 20 0 447362922 28909211648 12455 33554432000 4194304 4196468 140733864204000 140733864186544 140402002730743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 /proc/9483/statm: 7057913 12455 3350 1 0 7019032 0 [pid=9483/tid=9484] ppid=9481 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/9483/task/9484/stat : 9484 (java) R 9481 9481 1890 0 -1 4202560 7746 0 0 0 27 2 0 0 20 0 20 0 447362922 28909211648 12483 33554432000 4194304 4196468 140733864204000 140402006964528 140401986811230 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9485] ppid=9481 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9485/stat : 9485 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362923 28909211648 12483 33554432000 4194304 4196468 140733864204000 140401955351312 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9486] ppid=9481 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9486/stat : 9486 (java) S 9481 9481 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447362923 28909211648 12483 33554432000 4194304 4196468 140733864204000 140401954298768 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9487] ppid=9481 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9487/stat : 9487 (java) S 9481 9481 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447362923 28909211648 12483 33554432000 4194304 4196468 140733864204000 140401953246224 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9488] ppid=9481 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9488/stat : 9488 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362923 28909211648 12483 33554432000 4194304 4196468 140733864204000 140401952193680 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9489] ppid=9481 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9489/stat : 9489 (java) S 9481 9481 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447362923 28909211648 12483 33554432000 4194304 4196468 140733864204000 140401951140112 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9490] ppid=9481 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9490/stat : 9490 (java) S 9481 9481 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447362923 28909211648 12483 33554432000 4194304 4196468 140733864204000 140401950087568 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9491] ppid=9481 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9491/stat : 9491 (java) S 9481 9481 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447362923 28909211648 12483 33554432000 4194304 4196468 140733864204000 140401949035024 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9492] ppid=9481 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9492/stat : 9492 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362923 28909211648 12483 33554432000 4194304 4196468 140733864204000 140401947982480 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9493] ppid=9481 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9493/stat : 9493 (java) S 9481 9481 1890 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447362925 28909211648 12483 33554432000 4194304 4196468 140733864204000 140400131205616 140402002741890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9494] ppid=9481 vsize=28231652 memory=279332996193664 CPUtime=0 cores=0-7 /proc/9483/task/9494/stat : 9494 (java) S 9481 9481 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447362925 28909211648 12483 33554432000 4194304 4196468 140733864204000 140400130151840 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9495] ppid=9481 vsize=28231652 memory=279332996198272 CPUtime=0 cores=0-7 /proc/9483/task/9495/stat : 9495 (java) S 9481 9481 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447362925 28909211648 12483 33554432000 4194304 4196468 140733864204000 140400129099248 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9496] ppid=9481 vsize=28231652 memory=279332996202880 CPUtime=0 cores=0-7 /proc/9483/task/9496/stat : 9496 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362928 28909211648 12483 33554432000 4194304 4196468 140733864204000 140400128047824 140402002749339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9497] ppid=9481 vsize=28231652 memory=279332996207488 CPUtime=0.03 cores=0-7 /proc/9483/task/9497/stat : 9497 (java) S 9481 9481 1890 0 -1 1077944384 473 0 0 0 3 0 0 0 20 0 20 0 447362928 28909211648 12483 33554432000 4194304 4196468 140733864204000 140400126994416 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9498] ppid=9481 vsize=28231652 memory=279332996212096 CPUtime=0.03 cores=0-7 /proc/9483/task/9498/stat : 9498 (java) R 9481 9481 1890 0 -1 4202560 161 0 0 0 3 0 0 0 20 0 20 0 447362928 28909211648 12483 33554432000 4194304 4196468 140733864204000 140400125932256 140401986117354 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9499] ppid=9481 vsize=28231652 memory=279332996216704 CPUtime=0.02 cores=0-7 /proc/9483/task/9499/stat : 9499 (java) S 9481 9481 1890 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 20 0 447362928 28909211648 12483 33554432000 4194304 4196468 140733864204000 140400124889328 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9500] ppid=9481 vsize=28231652 memory=279332996221312 CPUtime=0.12 cores=0-7 /proc/9483/task/9500/stat : 9500 (java) S 9481 9481 1890 0 -1 1077944384 931 0 0 0 12 0 0 0 20 0 20 0 447362928 28909211648 12483 33554432000 4194304 4196468 140733864204000 140400123836784 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9501] ppid=9481 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9501/stat : 9501 (java) S 9481 9481 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447362928 28909211648 12483 33554432000 4194304 4196468 140733864204000 140400122784480 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9502] ppid=9481 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/9483/task/9502/stat : 9502 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362928 28909211648 12483 33554432000 4194304 4196468 140733864204000 140400121732016 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51268 KiB [startup+0.700914 s] /proc/loadavg: 7.01 7.85 7.79 6/212 9502 /proc/meminfo: memFree=31145576/32770624 swapFree=66977424/67108860 [pid=9481] ppid=9478 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9481/stat : 9481 (xcsp3-exec) S 9478 9481 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447362922 115843072 362 33554432000 4194304 5098028 140724210410208 140724210408312 140625979724412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10092544 140724210414460 140724210414702 140724210414702 140724210417610 0 /proc/9481/statm: 28282 362 304 221 0 87 0 [pid=9483] ppid=9481 vsize=28233776 memory=88100 CPUtime=1.64 cores=0-7 /proc/9483/stat : 9483 (java) S 9481 9481 1890 0 -1 1077944320 15213 0 0 0 158 6 0 0 20 0 20 0 447362922 28911386624 22002 33554432000 4194304 4196468 140733864204000 140733864186544 140402002730743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 /proc/9483/statm: 7058444 22002 3451 1 0 7019544 0 [pid=9483/tid=9484] ppid=9481 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7 /proc/9483/task/9484/stat : 9484 (java) R 9481 9481 1890 0 -1 4202560 9358 0 0 0 64 4 0 0 20 0 20 0 447362922 28911386624 22025 33554432000 4194304 4196468 140733864204000 140402006966464 140401627854414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9485] ppid=9481 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9485/stat : 9485 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447362923 28911386624 22025 33554432000 4194304 4196468 140733864204000 140401955351312 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9486] ppid=9481 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/9483/task/9486/stat : 9486 (java) S 9481 9481 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447362923 28911386624 22025 33554432000 4194304 4196468 140733864204000 140401954298768 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9487] ppid=9481 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/9483/task/9487/stat : 9487 (java) S 9481 9481 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447362923 28911386624 22025 33554432000 4194304 4196468 140733864204000 140401953246224 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 ################ # More data... # ################ [pid=9483/tid=9593] ppid=9481 vsize=28835928 memory=0 CPUtime=2.76 cores=0-7 /proc/9483/task/9593/stat : 9593 (java) R 9481 9481 1890 0 -1 4202560 82 0 0 0 276 0 0 0 20 0 28 0 447364565 29527990272 61424 33554432000 4194304 4196468 140733864204000 140400100941128 140401632964731 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9594] ppid=9481 vsize=28835928 memory=1564 CPUtime=2.76 cores=0-7 /proc/9483/task/9594/stat : 9594 (java) R 9481 9481 1890 0 -1 4202560 221 0 0 0 276 0 0 0 20 0 28 0 447364565 29527990272 61424 33554432000 4194304 4196468 140733864204000 140400104099176 140401631814162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9595] ppid=9481 vsize=28835928 memory=924 CPUtime=2.76 cores=0-7 /proc/9483/task/9595/stat : 9595 (java) R 9481 9481 1890 0 -1 4202560 47 0 0 0 276 0 0 0 20 0 28 0 447364565 29527990272 61424 33554432000 4194304 4196468 140733864204000 140400108309784 140401633998199 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9596] ppid=9481 vsize=28835928 memory=1676 CPUtime=2.76 cores=0-7 /proc/9483/task/9596/stat : 9596 (java) R 9481 9481 1890 0 -1 4202560 228 0 0 0 276 0 0 0 20 0 28 0 447364565 29527990272 61424 33554432000 4194304 4196468 140733864204000 140400107260544 140401633969623 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9597] ppid=9481 vsize=28835928 memory=1808 CPUtime=2.71 cores=0-7 /proc/9483/task/9597/stat : 9597 (java) R 9481 9481 1890 0 -1 4202560 113 0 0 0 271 0 0 0 20 0 28 0 447364565 29527990272 61424 33554432000 4194304 4196468 140733864204000 140400110415688 140401631129204 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9598] ppid=9481 vsize=28835928 memory=920 CPUtime=2.76 cores=0-7 /proc/9483/task/9598/stat : 9598 (java) R 9481 9481 1890 0 -1 4202560 87 0 0 0 276 0 0 0 20 0 28 0 447364565 29527990272 61424 33554432000 4194304 4196468 140733864204000 140400105152600 140401632604973 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 Current children cumulated CPU time: 147.94 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 247144 KiB [startup+20.0027 s]* /proc/loadavg: 7.38 7.89 7.80 11/219 9599 /proc/meminfo: memFree=30966692/32770624 swapFree=66977424/67108860 [pid=9481] ppid=9478 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9481/stat : 9481 (xcsp3-exec) S 9478 9481 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447362922 115843072 362 33554432000 4194304 5098028 140724210410208 140724210408312 140625979724412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10092544 140724210414460 140724210414702 140724210414702 140724210417610 0 /proc/9481/statm: 28282 362 304 221 0 87 0 [pid=9483] ppid=9481 vsize=28835928 memory=245712 CPUtime=154.4 cores=0-7 /proc/9483/stat : 9483 (java) S 9481 9481 1890 0 -1 1077944320 55224 0 0 0 15415 25 0 0 20 0 28 0 447362922 29527990272 61428 33554432000 4194304 4196468 140733864204000 140733864186544 140402002730743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 /proc/9483/statm: 7208982 61428 3525 1 0 7170082 0 [pid=9483/tid=9484] ppid=9481 vsize=28835928 memory=8317482817917895235 CPUtime=0.79 cores=0-7 /proc/9483/task/9484/stat : 9484 (java) S 9481 9481 1890 0 -1 1077944384 9742 0 0 0 75 4 0 0 20 0 28 0 447362922 29527990272 61428 33554432000 4194304 4196468 140733864204000 140402006971520 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9485] ppid=9481 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/9483/task/9485/stat : 9485 (java) S 9481 9481 1890 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 28 0 447362923 29527990272 61428 33554432000 4194304 4196468 140733864204000 140401955351312 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9486] ppid=9481 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/9483/task/9486/stat : 9486 (java) S 9481 9481 1890 0 -1 1077944384 1181 0 0 0 1 0 0 0 20 0 28 0 447362923 29527990272 61428 33554432000 4194304 4196468 140733864204000 140401954298768 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9487] ppid=9481 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/9483/task/9487/stat : 9487 (java) S 9481 9481 1890 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 28 0 447362923 29527990272 61428 33554432000 4194304 4196468 140733864204000 140401953246224 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9488] ppid=9481 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/9483/task/9488/stat : 9488 (java) S 9481 9481 1890 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 28 0 447362923 29527990272 61428 33554432000 4194304 4196468 140733864204000 140401952193680 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9489] ppid=9481 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/9483/task/9489/stat : 9489 (java) S 9481 9481 1890 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 28 0 447362923 29527990272 61428 33554432000 4194304 4196468 140733864204000 140401951140112 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9490] ppid=9481 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/9483/task/9490/stat : 9490 (java) S 9481 9481 1890 0 -1 1077944384 1096 0 0 0 1 0 0 0 20 0 28 0 447362923 29527990272 61428 33554432000 4194304 4196468 140733864204000 140401950087568 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9491] ppid=9481 vsize=28835928 memory=1984 CPUtime=0.01 cores=0-7 /proc/9483/task/9491/stat : 9491 (java) S 9481 9481 1890 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 28 0 447362923 29527990272 61428 33554432000 4194304 4196468 140733864204000 140401949035024 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9492] ppid=9481 vsize=28835928 memory=2480 CPUtime=0.01 cores=0-7 /proc/9483/task/9492/stat : 9492 (java) S 9481 9481 1890 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 28 0 447362923 29527990272 61428 33554432000 4194304 4196468 140733864204000 140401947982480 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9493] ppid=9481 vsize=28835928 memory=1768 CPUtime=0.02 cores=0-7 /proc/9483/task/9493/stat : 9493 (java) S 9481 9481 1890 0 -1 1077944384 667 0 0 0 1 1 0 0 20 0 28 0 447362925 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400131205616 140402002741890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9494] ppid=9481 vsize=28835928 memory=111632 CPUtime=0 cores=0-7 /proc/9483/task/9494/stat : 9494 (java) S 9481 9481 1890 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 447362925 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400130151904 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9495] ppid=9481 vsize=28835928 memory=796 CPUtime=0 cores=0-7 /proc/9483/task/9495/stat : 9495 (java) S 9481 9481 1890 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 447362925 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400129099264 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9496] ppid=9481 vsize=28835928 memory=4104 CPUtime=0 cores=0-7 /proc/9483/task/9496/stat : 9496 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447362928 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400128047824 140402002749339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9497] ppid=9481 vsize=28835928 memory=1412 CPUtime=2.44 cores=0-7 /proc/9483/task/9497/stat : 9497 (java) R 9481 9481 1890 0 -1 4202560 9415 0 0 0 242 2 0 0 20 0 28 0 447362928 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400126994712 140401995836465 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9498] ppid=9481 vsize=28835928 memory=3060 CPUtime=2.44 cores=0-7 /proc/9483/task/9498/stat : 9498 (java) R 9481 9481 1890 0 -1 1077944384 10165 0 0 0 241 3 0 0 20 0 28 0 447362928 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400125941872 140402002741890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9499] ppid=9481 vsize=28835928 memory=1448 CPUtime=2.3 cores=0-7 /proc/9483/task/9499/stat : 9499 (java) S 9481 9481 1890 0 -1 1077944384 10069 0 0 0 227 3 0 0 20 0 28 0 447362928 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400124889328 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9500] ppid=9481 vsize=28835928 memory=245228 CPUtime=0.81 cores=0-7 /proc/9483/task/9500/stat : 9500 (java) S 9481 9481 1890 0 -1 1077944384 5301 0 0 0 79 2 0 0 20 0 28 0 447362928 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400123836784 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9501] ppid=9481 vsize=28835928 memory=1164 CPUtime=0 cores=0-7 /proc/9483/task/9501/stat : 9501 (java) S 9481 9481 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447362928 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400122784480 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9502] ppid=9481 vsize=28835928 memory=8317482817917895235 CPUtime=0 cores=0-7 /proc/9483/task/9502/stat : 9502 (java) S 9481 9481 1890 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 28 0 447362928 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400121732016 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9591] ppid=9481 vsize=28835928 memory=3472467962726225712 CPUtime=3.57 cores=0-7 /proc/9483/task/9591/stat : 9591 (java) R 9481 9481 1890 0 -1 4202560 91 0 0 0 357 0 0 0 20 0 28 0 447364565 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400101993880 140401634021393 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9592] ppid=9481 vsize=28835928 memory=139666498807584 CPUtime=3.57 cores=0-7 /proc/9483/task/9592/stat : 9592 (java) R 9481 9481 1890 0 -1 4202560 81 0 0 0 357 0 0 0 20 0 28 0 447364565 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400106205136 140401633698467 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9593] ppid=9481 vsize=28835928 memory=1448 CPUtime=3.57 cores=0-7 /proc/9483/task/9593/stat : 9593 (java) R 9481 9481 1890 0 -1 4202560 82 0 0 0 357 0 0 0 20 0 28 0 447364565 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400100941128 140401633693196 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9594] ppid=9481 vsize=28835928 memory=245092 CPUtime=3.56 cores=0-7 /proc/9483/task/9594/stat : 9594 (java) R 9481 9481 1890 0 -1 4202560 228 0 0 0 356 0 0 0 20 0 28 0 447364565 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400104099592 140401633698885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9595] ppid=9481 vsize=28835928 memory=139666498807680 CPUtime=3.56 cores=0-7 /proc/9483/task/9595/stat : 9595 (java) R 9481 9481 1890 0 -1 4202560 49 0 0 0 356 0 0 0 20 0 28 0 447364565 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400108309784 140401633892202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9596] ppid=9481 vsize=28835928 memory=139666498807712 CPUtime=3.57 cores=0-7 /proc/9483/task/9596/stat : 9596 (java) R 9481 9481 1890 0 -1 4202560 244 0 0 0 357 0 0 0 20 0 28 0 447364565 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400107260544 140401633698352 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9597] ppid=9481 vsize=28835928 memory=139666498807744 CPUtime=3.5 cores=0-7 /proc/9483/task/9597/stat : 9597 (java) R 9481 9481 1890 0 -1 4202560 114 0 0 0 350 0 0 0 20 0 28 0 447364565 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400110415688 140401633404793 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9598] ppid=9481 vsize=28835928 memory=3690611086872845332 CPUtime=3.57 cores=0-7 /proc/9483/task/9598/stat : 9598 (java) R 9481 9481 1890 0 -1 4202560 87 0 0 0 357 0 0 0 20 0 28 0 447364565 29527990272 61428 33554432000 4194304 4196468 140733864204000 140400105152600 140401633406270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 Current children cumulated CPU time: 154.4 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 247160 KiB [startup+20.8017 s] /proc/loadavg: 7.38 7.89 7.80 11/219 9599 /proc/meminfo: memFree=30966692/32770624 swapFree=66977424/67108860 [pid=9481] ppid=9478 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9481/stat : 9481 (xcsp3-exec) S 9478 9481 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447362922 115843072 362 33554432000 4194304 5098028 140724210410208 140724210408312 140625979724412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10092544 140724210414460 140724210414702 140724210414702 140724210417610 0 /proc/9481/statm: 28282 362 304 221 0 87 0 [pid=9483] ppid=9481 vsize=28835928 memory=245788 CPUtime=160.72 cores=0-7 /proc/9483/stat : 9483 (java) S 9481 9481 1890 0 -1 1077944320 55925 0 0 0 16046 26 0 0 20 0 28 0 447362922 29527990272 61447 33554432000 4194304 4196468 140733864204000 140733864186544 140402002730743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 /proc/9483/statm: 7208982 61447 3525 1 0 7170082 0 [pid=9483/tid=9484] ppid=9481 vsize=28835928 memory=245492 CPUtime=0.79 cores=0-7 /proc/9483/task/9484/stat : 9484 (java) S 9481 9481 1890 0 -1 1077944384 9742 0 0 0 75 4 0 0 20 0 28 0 447362922 29527990272 61447 33554432000 4194304 4196468 140733864204000 140402006971520 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9485] ppid=9481 vsize=28835928 memory=1448 CPUtime=0.01 cores=0-7 /proc/9483/task/9485/stat : 9485 (java) S 9481 9481 1890 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 28 0 447362923 29527990272 61447 33554432000 4194304 4196468 140733864204000 140401955351312 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9486] ppid=9481 vsize=28835928 memory=1448 CPUtime=0.01 cores=0-7 /proc/9483/task/9486/stat : 9486 (java) S 9481 9481 1890 0 -1 1077944384 1181 0 0 0 1 0 0 0 20 0 28 0 447362923 29527990272 61447 33554432000 4194304 4196468 140733864204000 140401954298768 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9487] ppid=9481 vsize=28835928 memory=245712 CPUtime=0.01 cores=0-7 /proc/9483/task/9487/stat : 9487 (java) S 9481 9481 1890 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 28 0 447362923 29527990272 61447 33554432000 4194304 4196468 140733864204000 140401953246224 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9488] ppid=9481 vsize=28835928 memory=-2895008908443676273 CPUtime=0.01 cores=0-7 /proc/9483/task/9488/stat : 9488 (java) S 9481 9481 1890 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 28 0 447362923 29527990272 61447 33554432000 4194304 4196468 140733864204000 140401952193680 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9489] ppid=9481 vsize=28835928 memory=-2026666227646606628 CPUtime=0.01 cores=0-7 /proc/9483/task/9489/stat : 9489 (java) S 9481 9481 1890 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 28 0 447362923 29527990272 61447 33554432000 4194304 4196468 140733864204000 140401951140112 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9490] ppid=9481 vsize=28835928 memory=-1088251628401078322 CPUtime=0.01 cores=0-7 /proc/9483/task/9490/stat : 9490 (java) S 9481 9481 1890 0 -1 1077944384 1096 0 0 0 1 0 0 0 20 0 28 0 447362923 29527990272 61447 33554432000 4194304 4196468 140733864204000 140401950087568 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9491] ppid=9481 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/9483/task/9491/stat : 9491 (java) S 9481 9481 1890 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 28 0 447362923 29527990272 61447 33554432000 4194304 4196468 140733864204000 140401949035024 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9492] ppid=9481 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/9483/task/9492/stat : 9492 (java) S 9481 9481 1890 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 28 0 447362923 29527990272 61447 33554432000 4194304 4196468 140733864204000 140401947982480 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9493] ppid=9481 vsize=28835928 memory=0 CPUtime=0.03 cores=0-7 /proc/9483/task/9493/stat : 9493 (java) S 9481 9481 1890 0 -1 1077944384 705 0 0 0 2 1 0 0 20 0 28 0 447362925 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400131205616 140402002741890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9494] ppid=9481 vsize=28835928 memory=33153 CPUtime=0 cores=0-7 /proc/9483/task/9494/stat : 9494 (java) S 9481 9481 1890 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 447362925 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400130151904 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9495] ppid=9481 vsize=28835928 memory=139666498313200 CPUtime=0 cores=0-7 /proc/9483/task/9495/stat : 9495 (java) S 9481 9481 1890 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 447362925 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400129099264 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9496] ppid=9481 vsize=28835928 memory=139666498313296 CPUtime=0 cores=0-7 /proc/9483/task/9496/stat : 9496 (java) S 9481 9481 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447362928 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400128047824 140402002749339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9497] ppid=9481 vsize=28835928 memory=139666498313392 CPUtime=2.45 cores=0-7 /proc/9483/task/9497/stat : 9497 (java) S 9481 9481 1890 0 -1 1077944384 9584 0 0 0 243 2 0 0 20 0 28 0 447362928 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400126994416 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9498] ppid=9481 vsize=28835928 memory=139666498313488 CPUtime=2.44 cores=0-7 /proc/9483/task/9498/stat : 9498 (java) S 9481 9481 1890 0 -1 1077944384 10167 0 0 0 241 3 0 0 20 0 28 0 447362928 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400125941872 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9499] ppid=9481 vsize=28835928 memory=139666498313584 CPUtime=2.3 cores=0-7 /proc/9483/task/9499/stat : 9499 (java) S 9481 9481 1890 0 -1 1077944384 10071 0 0 0 227 3 0 0 20 0 28 0 447362928 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400124889328 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9500] ppid=9481 vsize=28835928 memory=139666498312832 CPUtime=0.81 cores=0-7 /proc/9483/task/9500/stat : 9500 (java) S 9481 9481 1890 0 -1 1077944384 5478 0 0 0 79 2 0 0 20 0 28 0 447362928 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400123836784 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9501] ppid=9481 vsize=28835928 memory=139666498150592 CPUtime=0 cores=0-7 /proc/9483/task/9501/stat : 9501 (java) S 9481 9481 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447362928 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400122784480 140402002740949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9502] ppid=9481 vsize=28835928 memory=139666498313952 CPUtime=0 cores=0-7 /proc/9483/task/9502/stat : 9502 (java) S 9481 9481 1890 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 28 0 447362928 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400121732016 140402002741890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9591] ppid=9481 vsize=28835928 memory=82411832494834 CPUtime=4.36 cores=0-7 /proc/9483/task/9591/stat : 9591 (java) R 9481 9481 1890 0 -1 4202560 97 0 0 0 436 0 0 0 20 0 28 0 447364565 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400101994232 140401633408540 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9592] ppid=9481 vsize=28835928 memory=0 CPUtime=4.36 cores=0-7 /proc/9483/task/9592/stat : 9592 (java) R 9481 9481 1890 0 -1 4202560 92 0 0 0 436 0 0 0 20 0 28 0 447364565 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400106204848 140401633408505 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9593] ppid=9481 vsize=28835928 memory=7740677670757886290 CPUtime=4.36 cores=0-7 /proc/9483/task/9593/stat : 9593 (java) R 9481 9481 1890 0 -1 4202560 100 0 0 0 436 0 0 0 20 0 28 0 447364565 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400100941656 140401633050181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9594] ppid=9481 vsize=28835928 memory=7741798171993003111 CPUtime=4.33 cores=0-7 /proc/9483/task/9594/stat : 9594 (java) R 9481 9481 1890 0 -1 4202560 274 0 0 0 433 0 0 0 20 0 28 0 447364565 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400104099272 140401633671871 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9595] ppid=9481 vsize=28835928 memory=7235996425944257129 CPUtime=4.35 cores=0-7 /proc/9483/task/9595/stat : 9595 (java) R 9481 9481 1890 0 -1 4202560 74 0 0 0 435 0 0 0 20 0 28 0 447364565 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400108309496 140401632604384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9596] ppid=9481 vsize=28835928 memory=7741798171993003111 CPUtime=4.36 cores=0-7 /proc/9483/task/9596/stat : 9596 (java) R 9481 9481 1890 0 -1 4202560 341 0 0 0 436 0 0 0 20 0 28 0 447364565 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400107260552 140401633972560 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9597] ppid=9481 vsize=28835928 memory=6082771585059099310 CPUtime=4.28 cores=0-7 /proc/9483/task/9597/stat : 9597 (java) R 9481 9481 1890 0 -1 4202560 131 0 0 0 428 0 0 0 20 0 28 0 447364565 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400110415592 140401633408629 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 [pid=9483/tid=9598] ppid=9481 vsize=28835928 memory=29975353195 CPUtime=4.36 cores=0-7 /proc/9483/task/9598/stat : 9598 (java) R 9481 9481 1890 0 -1 4202560 114 0 0 0 436 0 0 0 20 0 28 0 447364565 29527990272 61447 33554432000 4194304 4196468 140733864204000 140400105152600 140401635042021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9019392 140733864207344 140733864207515 140733864207515 140733864210383 0 Current children cumulated CPU time: 160.72 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 247236 KiB [startup+21.0017 s]* /proc/loadavg: 7.51 7.91 7.81 4/219 9599 /proc/meminfo: memFree=30966816/32770624 swapFree=66977424/67108860 [pid=9481] ppid=9478 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/9481/stat : 9481 (xcsp3-exec) S 9478 9481 1890 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 447362922 115843072 362 33554432000 4194304 5098028 140724210410208 140724210408312 140625979724412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10092544 140724210414460 140724210414702 140724210414702 140724210417610 0 /proc/9481/statm: 28282 362 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1448 KiB Child status: 0 Real time (s): 21.0181 CPU time (s): 162.343 CPU user time (s): 162.069 CPU system time (s): 0.274466 CPU usage (%): 772.397 Max. virtual memory (cumulated for all children) (KiB): 28949056 Max. memory (cumulated for all children) (KiB): 247236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 162.069 system time used= 0.274466 maximum resident set size= 245796 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57542 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6111 involuntary context switches= 2622 # summary of solver processes directly reported to runsolver: # pid: 9481 # total CPU time (s): 162.343 # total CPU user time (s): 162.069 # total CPU system time (s): 0.274466 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.179184 second user time and 0.278892 second system time The end
Begin job on node104 at 2019-09-17 09:53:59 IDJOB=4400193 IDBENCH=128339 IDSOLVER=2855 FILE ID=node104/4400193-1568711059 RUNJOBID= node104-1568696629-1917 PBS_JOBID= 21703905 Free space on /tmp= 59012 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-21-01.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400193-1568711059/watcher-4400193-1568711059 -o /tmp/evaluation-result-4400193-1568711059/solver-4400193-1568711059 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568696629-1917 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 805981732 HOME/instance-4400193-1568711059.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 90855c6c3ff0f3816786e6ae00e0aae6 RANDOM SEED=805981732 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 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: 31198964 kB MemAvailable: 31852744 kB Buffers: 107840 kB Cached: 835592 kB SwapCached: 32284 kB Active: 633700 kB Inactive: 346424 kB Active(anon): 5396 kB Inactive(anon): 80732 kB Active(file): 628304 kB Inactive(file): 265692 kB Unevictable: 109416 kB Mlocked: 109416 kB SwapTotal: 67108860 kB SwapFree: 66977424 kB Dirty: 26652 kB Writeback: 0 kB AnonPages: 166124 kB Mapped: 48700 kB Shmem: 40496 kB Slab: 181932 kB SReclaimable: 151236 kB SUnreclaim: 30696 kB KernelStack: 3712 kB PageTables: 5308 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498396 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 120832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 58988 MiB End job on node104 at 2019-09-17 09:54:21