Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 97 | 575.961 | 72.9068 |
Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-37-01.xml |
MD5SUM | cc0e4d4fb1187992b98efb1fb4f076c6 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 97 |
Best CPU time to get the best result obtained on this benchmark | 201.766 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 62 |
Number of constraints | 135 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 300 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":300,"count":61}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":4},{"degree":5,"count":10},{"degree":6,"count":23},{"degree":7,"count":17},{"degree":8,"count":6},{"degree":10,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":2,"count":131},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":32,"count":1},{"arity":36,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 131 |
Distribution of constraint types | [{"type":"intension","count":131},{"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-4407389-1569347525.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407389-1569347525.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.09/0.81 c solve instance... 2.76/0.95 o 120 2.76/0.96 o 118 2.76/0.98 o 110 4.19/1.19 o 108 9.58/1.82 o 103 25.35/3.85 o 102 30.01/4.40 o 101 30.01/4.45 o 100 30.79/4.57 o 99 55.44/7.67 o 98 155.74/20.23 o 97 575.21/72.89 s OPTIMUM FOUND 575.21/72.89 v <instantiation> 575.21/72.89 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> 575.21/72.89 v <values>0 2 2 0 17 7 13 8 8 22 15 31 57 35 14 22 56 26 43 32 18 35 47 46 37 32 37 25 40 43 40 48 54 62 78 48 44 74 42 44 51 55 66 64 51 53 63 55 68 71 62 63 83 76 66 86 65 78 90 83 92 97 </values> 575.21/72.89 v </instantiation>
OK 97
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 (12255 MiB free) memory of node 1: 16384 MiB (12590 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407389-1569347525/watcher-4407389-1569347525 -o /tmp/evaluation-result-4407389-1569347525/solver-4407389-1569347525 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569335936-24493 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1292990470 HOME/instance-4407389-1569347525.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=29237, runsolver pid=29234 Current StackSize limit: 8192 KiB [startup+0.100154 s]* /proc/loadavg: 6.83 7.67 8.01 2/213 29258 /proc/meminfo: memFree=25423912/32770624 swapFree=66975640/67108860 [pid=29237] ppid=29234 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29237/stat : 29237 (xcsp3-exec) S 29234 29237 24466 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511019278 115843072 363 33554432000 4194304 5098028 140721675988080 140721675986184 140068493132412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20733952 140721675989883 140721675990126 140721675990126 140721675993034 0 /proc/29237/statm: 28282 363 305 221 0 87 0 [pid=29239] ppid=29237 vsize=28227396 memory=30540 CPUtime=0.12 cores=0-7 /proc/29239/stat : 29239 (java) S 29237 29237 24466 0 -1 1077944320 5524 0 0 0 11 1 0 0 20 0 20 0 511019278 28904853504 7635 33554432000 4194304 4196468 140733282823376 140733282805920 139626605018871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 /proc/29239/statm: 7056849 7635 3157 1 0 7019032 0 [pid=29239/tid=29240] ppid=29237 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/29239/task/29240/stat : 29240 (java) R 29237 29237 24466 0 -1 4202560 3451 0 0 0 8 0 0 0 20 0 20 0 511019278 28904853504 7635 33554432000 4194304 4196468 140733282823376 139626609252144 139626605040797 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29241] ppid=29237 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/29239/task/29241/stat : 29241 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019279 28904853504 7635 33554432000 4194304 4196468 140733282823376 139626570299664 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29242] ppid=29237 vsize=28227396 memory=140195995817600 CPUtime=0 cores=0-7 /proc/29239/task/29242/stat : 29242 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019279 28904853504 7635 33554432000 4194304 4196468 140733282823376 139626154862992 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29243] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29243/stat : 29243 (java) S 29237 29237 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511019279 28904853504 7635 33554432000 4194304 4196468 140733282823376 139626153810448 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29244] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29244/stat : 29244 (java) S 29237 29237 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511019279 28904853504 7635 33554432000 4194304 4196468 140733282823376 139626152757904 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29245] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29245/stat : 29245 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019279 28904853504 7635 33554432000 4194304 4196468 140733282823376 139626151705360 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29246] ppid=29237 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29239/task/29246/stat : 29246 (java) S 29237 29237 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511019279 28904853504 7635 33554432000 4194304 4196468 140733282823376 139626150652816 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29247] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29247/stat : 29247 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019279 28904853504 7635 33554432000 4194304 4196468 140733282823376 139626149600272 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29248] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29248/stat : 29248 (java) S 29237 29237 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511019279 28904853504 7635 33554432000 4194304 4196468 140733282823376 139626148547728 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29249] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29249/stat : 29249 (java) S 29237 29237 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511019281 28904853504 7635 33554432000 4194304 4196468 140733282823376 139625254397936 139626605030018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29250] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29250/stat : 29250 (java) S 29237 29237 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511019281 28904853504 7635 33554432000 4194304 4196468 140733282823376 139625253344160 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29251] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29251/stat : 29251 (java) S 29237 29237 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511019281 28904853504 7635 33554432000 4194304 4196468 140733282823376 139625252291568 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29252] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29252/stat : 29252 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019284 28904853504 7635 33554432000 4194304 4196468 140733282823376 139625251240144 139626605037467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29253] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29253/stat : 29253 (java) S 29237 29237 24466 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 20 0 511019284 28904853504 7635 33554432000 4194304 4196468 140733282823376 139625250187760 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29254] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29254/stat : 29254 (java) R 29237 29237 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511019284 28904853504 7635 33554432000 4194304 4196468 140733282823376 139625249135216 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29255] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29255/stat : 29255 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019284 28904853504 7635 33554432000 4194304 4196468 140733282823376 139625248082672 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29256] ppid=29237 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/29239/task/29256/stat : 29256 (java) R 29237 29237 24466 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 20 0 511019284 28904853504 7635 33554432000 4194304 4196468 140733282823376 139625247030128 139626586581841 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29257] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29257/stat : 29257 (java) S 29237 29237 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511019284 28904853504 7635 33554432000 4194304 4196468 140733282823376 139625245976800 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29258] ppid=29237 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29239/task/29258/stat : 29258 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019284 28904853504 7635 33554432000 4194304 4196468 140733282823376 139625244924336 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31992 KiB [startup+0.210721 s]* /proc/loadavg: 6.83 7.67 8.01 1/213 29258 /proc/meminfo: memFree=25411656/32770624 swapFree=66975640/67108860 [pid=29237] ppid=29234 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29237/stat : 29237 (xcsp3-exec) S 29234 29237 24466 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511019278 115843072 363 33554432000 4194304 5098028 140721675988080 140721675986184 140068493132412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20733952 140721675989883 140721675990126 140721675990126 140721675993034 0 /proc/29237/statm: 28282 363 305 221 0 87 0 [pid=29239] ppid=29237 vsize=28227396 memory=40680 CPUtime=0.33 cores=0-7 /proc/29239/stat : 29239 (java) S 29237 29237 24466 0 -1 1077944320 8923 0 0 0 30 3 0 0 20 0 20 0 511019278 28904853504 10170 33554432000 4194304 4196468 140733282823376 140733282805920 139626605018871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 /proc/29239/statm: 7056849 10170 3244 1 0 7019032 0 [pid=29239/tid=29240] ppid=29237 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/29239/task/29240/stat : 29240 (java) R 29237 29237 24466 0 -1 4202560 6219 0 0 0 18 2 0 0 20 0 20 0 511019278 28904853504 10170 33554432000 4194304 4196468 140733282823376 139626609252800 139626605030806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29241] ppid=29237 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/29239/task/29241/stat : 29241 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019279 28904853504 10170 33554432000 4194304 4196468 140733282823376 139626570299664 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29242] ppid=29237 vsize=28227396 memory=3906507321568368288 CPUtime=0 cores=0-7 /proc/29239/task/29242/stat : 29242 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019279 28904853504 10170 33554432000 4194304 4196468 140733282823376 139626154862992 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29243] ppid=29237 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29239/task/29243/stat : 29243 (java) S 29237 29237 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511019279 28904853504 10170 33554432000 4194304 4196468 140733282823376 139626153810448 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29244] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29244/stat : 29244 (java) S 29237 29237 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511019279 28904853504 10170 33554432000 4194304 4196468 140733282823376 139626152757904 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29245] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29245/stat : 29245 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019279 28904853504 10170 33554432000 4194304 4196468 140733282823376 139626151705360 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29246] ppid=29237 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29239/task/29246/stat : 29246 (java) S 29237 29237 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511019279 28904853504 10170 33554432000 4194304 4196468 140733282823376 139626150652816 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29247] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29247/stat : 29247 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019279 28904853504 10170 33554432000 4194304 4196468 140733282823376 139626149600272 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29248] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29248/stat : 29248 (java) S 29237 29237 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511019279 28904853504 10170 33554432000 4194304 4196468 140733282823376 139626148547728 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29249] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29249/stat : 29249 (java) S 29237 29237 24466 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511019281 28904853504 10170 33554432000 4194304 4196468 140733282823376 139625254397936 139626605030018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29250] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29250/stat : 29250 (java) S 29237 29237 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511019281 28904853504 10170 33554432000 4194304 4196468 140733282823376 139625253344160 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29251] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29251/stat : 29251 (java) S 29237 29237 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511019281 28904853504 10170 33554432000 4194304 4196468 140733282823376 139625252291568 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29252] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29252/stat : 29252 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019284 28904853504 10170 33554432000 4194304 4196468 140733282823376 139625251240144 139626605037467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29253] ppid=29237 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/29239/task/29253/stat : 29253 (java) S 29237 29237 24466 0 -1 1077944384 508 0 0 0 2 0 0 0 20 0 20 0 511019284 28904853504 10170 33554432000 4194304 4196468 140733282823376 139625250187760 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29254] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29254/stat : 29254 (java) S 29237 29237 24466 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 511019284 28904853504 10170 33554432000 4194304 4196468 140733282823376 139625249135216 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29255] ppid=29237 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/29239/task/29255/stat : 29255 (java) S 29237 29237 24466 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 20 0 511019284 28904853504 10170 33554432000 4194304 4196468 140733282823376 139625248082672 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29256] ppid=29237 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/29239/task/29256/stat : 29256 (java) R 29237 29237 24466 0 -1 4202560 757 0 0 0 7 0 0 0 20 0 20 0 511019284 28904853504 10170 33554432000 4194304 4196468 140733282823376 139625247030128 139626583675040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29257] ppid=29237 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29257/stat : 29257 (java) S 29237 29237 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511019284 28904853504 10170 33554432000 4194304 4196468 140733282823376 139625245976800 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29258] ppid=29237 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/29239/task/29258/stat : 29258 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019284 28904853504 10170 33554432000 4194304 4196468 140733282823376 139625244924336 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42132 KiB [startup+0.310721 s]* /proc/loadavg: 6.83 7.67 8.01 4/213 29258 /proc/meminfo: memFree=25404368/32770624 swapFree=66975640/67108860 [pid=29237] ppid=29234 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29237/stat : 29237 (xcsp3-exec) S 29234 29237 24466 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511019278 115843072 363 33554432000 4194304 5098028 140721675988080 140721675986184 140068493132412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20733952 140721675989883 140721675990126 140721675990126 140721675993034 0 /proc/29237/statm: 28282 363 305 221 0 87 0 [pid=29239] ppid=29237 vsize=28231652 memory=49928 CPUtime=0.53 cores=0-7 /proc/29239/stat : 29239 (java) S 29237 29237 24466 0 -1 1077944320 10317 0 0 0 49 4 0 0 20 0 20 0 511019278 28909211648 12482 33554432000 4194304 4196468 140733282823376 140733282805920 139626605018871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 /proc/29239/statm: 7057913 12482 3363 1 0 7019032 0 [pid=29239/tid=29240] ppid=29237 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/29239/task/29240/stat : 29240 (java) R 29237 29237 24466 0 -1 4202560 7310 0 0 0 27 2 0 0 20 0 20 0 511019278 28909211648 12482 33554432000 4194304 4196468 140733282823376 139626609249984 139626605040797 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29241] ppid=29237 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29241/stat : 29241 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019279 28909211648 12482 33554432000 4194304 4196468 140733282823376 139626570299664 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29242] ppid=29237 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29242/stat : 29242 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019279 28909211648 12482 33554432000 4194304 4196468 140733282823376 139626154862992 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29243] ppid=29237 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29243/stat : 29243 (java) S 29237 29237 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511019279 28909211648 12482 33554432000 4194304 4196468 140733282823376 139626153810448 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29244] ppid=29237 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29244/stat : 29244 (java) S 29237 29237 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511019279 28909211648 12482 33554432000 4194304 4196468 140733282823376 139626152757904 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29245] ppid=29237 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/29239/task/29245/stat : 29245 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019279 28909211648 12482 33554432000 4194304 4196468 140733282823376 139626151705360 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29246] ppid=29237 vsize=28231652 memory=140195852809135 CPUtime=0 cores=0-7 /proc/29239/task/29246/stat : 29246 (java) S 29237 29237 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511019279 28909211648 12482 33554432000 4194304 4196468 140733282823376 139626150652816 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29247] ppid=29237 vsize=28231652 memory=140195852811440 CPUtime=0 cores=0-7 /proc/29239/task/29247/stat : 29247 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019279 28909211648 12482 33554432000 4194304 4196468 140733282823376 139626149600272 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29248] ppid=29237 vsize=28231652 memory=140195852813744 CPUtime=0 cores=0-7 /proc/29239/task/29248/stat : 29248 (java) S 29237 29237 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511019279 28909211648 12482 33554432000 4194304 4196468 140733282823376 139626148547728 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29249] ppid=29237 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29249/stat : 29249 (java) S 29237 29237 24466 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 511019281 28909211648 12482 33554432000 4194304 4196468 140733282823376 139625254397936 139626605030018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29250] ppid=29237 vsize=28231652 memory=280391705634448 CPUtime=0 cores=0-7 /proc/29239/task/29250/stat : 29250 (java) S 29237 29237 24466 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511019281 28909211648 12482 33554432000 4194304 4196468 140733282823376 139625253344160 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29251] ppid=29237 vsize=28231652 memory=280391705641360 CPUtime=0 cores=0-7 /proc/29239/task/29251/stat : 29251 (java) S 29237 29237 24466 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511019281 28909211648 12482 33554432000 4194304 4196468 140733282823376 139625252291568 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29252] ppid=29237 vsize=28231652 memory=280391705582640 CPUtime=0 cores=0-7 /proc/29239/task/29252/stat : 29252 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019284 28909211648 12482 33554432000 4194304 4196468 140733282823376 139625251240144 139626605037467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29253] ppid=29237 vsize=28231652 memory=280391705655184 CPUtime=0.04 cores=0-7 /proc/29239/task/29253/stat : 29253 (java) R 29237 29237 24466 0 -1 4202560 642 0 0 0 4 0 0 0 20 0 20 0 511019284 28909211648 12482 33554432000 4194304 4196468 140733282823376 139625250187760 139626586543181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29254] ppid=29237 vsize=28231652 memory=280391705662096 CPUtime=0.02 cores=0-7 /proc/29239/task/29254/stat : 29254 (java) S 29237 29237 24466 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 20 0 511019284 28909211648 12482 33554432000 4194304 4196468 140733282823376 139625249135216 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29255] ppid=29237 vsize=28231652 memory=280391705659792 CPUtime=0.02 cores=0-7 /proc/29239/task/29255/stat : 29255 (java) S 29237 29237 24466 0 -1 1077944384 75 0 0 0 2 0 0 0 20 0 20 0 511019284 28909211648 12482 33554432000 4194304 4196468 140733282823376 139625248082672 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29256] ppid=29237 vsize=28231652 memory=280391705675952 CPUtime=0.12 cores=0-7 /proc/29239/task/29256/stat : 29256 (java) S 29237 29237 24466 0 -1 1077944384 877 0 0 0 12 0 0 0 20 0 20 0 511019284 28909211648 12482 33554432000 4194304 4196468 140733282823376 139625247030128 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29257] ppid=29237 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29257/stat : 29257 (java) S 29237 29237 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511019284 28909211648 12482 33554432000 4194304 4196468 140733282823376 139625245976800 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29258] ppid=29237 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/29239/task/29258/stat : 29258 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019284 28909211648 12482 33554432000 4194304 4196468 140733282823376 139625244924336 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51380 KiB [startup+0.700966 s] /proc/loadavg: 6.83 7.67 8.01 5/213 29258 /proc/meminfo: memFree=25388036/32770624 swapFree=66975640/67108860 [pid=29237] ppid=29234 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29237/stat : 29237 (xcsp3-exec) S 29234 29237 24466 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511019278 115843072 363 33554432000 4194304 5098028 140721675988080 140721675986184 140068493132412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20733952 140721675989883 140721675990126 140721675990126 140721675993034 0 /proc/29237/statm: 28282 363 305 221 0 87 0 [pid=29239] ppid=29237 vsize=28233776 memory=88040 CPUtime=1.65 cores=0-7 /proc/29239/stat : 29239 (java) S 29237 29237 24466 0 -1 1077944320 14679 0 0 0 159 6 0 0 20 0 20 0 511019278 28911386624 22010 33554432000 4194304 4196468 140733282823376 140733282805920 139626605018871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 /proc/29239/statm: 7058444 22010 3452 1 0 7019544 0 [pid=29239/tid=29240] ppid=29237 vsize=28233776 memory=280391706033840 CPUtime=0.67 cores=0-7 /proc/29239/task/29240/stat : 29240 (java) R 29237 29237 24466 0 -1 4202560 8922 0 0 0 64 3 0 0 20 0 20 0 511019278 28911386624 22010 33554432000 4194304 4196468 140733282823376 139626609257104 139626244848128 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29241] ppid=29237 vsize=28233776 memory=140195853017968 CPUtime=0 cores=0-7 /proc/29239/task/29241/stat : 29241 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019279 28911386624 22010 33554432000 4194304 4196468 140733282823376 139626570299664 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29242] ppid=29237 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/29239/task/29242/stat : 29242 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511019279 28911386624 22010 33554432000 4194304 4196468 140733282823376 139626154862992 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29243] ppid=29237 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/29239/task/29243/stat : 29243 (java) S 29237 29237 24466 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511019279 28911386624 22054 33554432000 4194304 4196468 140733282823376 139626153810448 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 ################ # More data... # ################ [pid=29239/tid=29351] ppid=29237 vsize=29035620 memory=242912 CPUtime=51.59 cores=0-7 /proc/29239/task/29351/stat : 29351 (java) R 29237 29237 24466 0 -1 4202560 1011 0 0 0 5159 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625107848728 139626248334499 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29352] ppid=29237 vsize=29035620 memory=984 CPUtime=51.61 cores=0-7 /proc/29239/task/29352/stat : 29352 (java) R 29237 29237 24466 0 -1 4202560 1221 0 0 0 5160 1 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625106796584 139626249249811 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29353] ppid=29237 vsize=29035620 memory=2004 CPUtime=51.35 cores=0-7 /proc/29239/task/29353/stat : 29353 (java) R 29237 29237 24466 0 -1 4202560 854 0 0 0 5135 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625228345272 139626249534880 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29354] ppid=29237 vsize=29035620 memory=1376 CPUtime=51.68 cores=0-7 /proc/29239/task/29354/stat : 29354 (java) R 29237 29237 24466 0 -1 4202560 374 0 0 0 5168 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625229397088 139626246509094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29355] ppid=29237 vsize=29035620 memory=1060 CPUtime=51.35 cores=0-7 /proc/29239/task/29355/stat : 29355 (java) R 29237 29237 24466 0 -1 4202560 549 0 0 0 5135 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625105743320 139626247315690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29356] ppid=29237 vsize=29035620 memory=3636 CPUtime=51.47 cores=0-7 /proc/29239/task/29356/stat : 29356 (java) R 29237 29237 24466 0 -1 4202560 250 0 0 0 5147 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625103638568 139626249131016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 Current children cumulated CPU time: 568.89 s Current children cumulated vsize: 29148748 KiB Current children cumulated memory: 244364 KiB [startup+72.4011 s] /proc/loadavg: 7.42 7.63 7.96 10/220 29359 /proc/meminfo: memFree=25211936/32770624 swapFree=66975640/67108860 [pid=29237] ppid=29234 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29237/stat : 29237 (xcsp3-exec) S 29234 29237 24466 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511019278 115843072 363 33554432000 4194304 5098028 140721675988080 140721675986184 140068493132412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20733952 140721675989883 140721675990126 140721675990126 140721675993034 0 /proc/29237/statm: 28282 363 305 221 0 87 0 [pid=29239] ppid=29237 vsize=29035620 memory=242912 CPUtime=572.02 cores=0-7 /proc/29239/stat : 29239 (java) S 29237 29237 24466 0 -1 1077944320 86454 0 0 0 57163 39 0 0 20 0 28 0 511019278 29732474880 60728 33554432000 4194304 4196468 140733282823376 140733282805920 139626605018871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 /proc/29239/statm: 7258905 60728 3539 1 0 7220005 0 [pid=29239/tid=29240] ppid=29237 vsize=29035620 memory=6791534058613427641 CPUtime=0.81 cores=0-7 /proc/29239/task/29240/stat : 29240 (java) S 29237 29237 24466 0 -1 1077944384 9303 0 0 0 77 4 0 0 20 0 28 0 511019278 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626609259648 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29241] ppid=29237 vsize=29035620 memory=0 CPUtime=0.03 cores=0-7 /proc/29239/task/29241/stat : 29241 (java) S 29237 29237 24466 0 -1 1077944384 1200 0 0 0 2 1 0 0 20 0 28 0 511019279 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626570299664 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29242] ppid=29237 vsize=29035620 memory=-2541025662029814883 CPUtime=0.03 cores=0-7 /proc/29239/task/29242/stat : 29242 (java) S 29237 29237 24466 0 -1 1077944384 1190 0 0 0 2 1 0 0 20 0 28 0 511019279 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626154862992 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29243] ppid=29237 vsize=29035620 memory=6944656592455359580 CPUtime=0.03 cores=0-7 /proc/29239/task/29243/stat : 29243 (java) S 29237 29237 24466 0 -1 1077944384 1047 0 0 0 2 1 0 0 20 0 28 0 511019279 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626153810448 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29244] ppid=29237 vsize=29035620 memory=-2317720213663851332 CPUtime=0.02 cores=0-7 /proc/29239/task/29244/stat : 29244 (java) S 29237 29237 24466 0 -1 1077944384 1136 0 0 0 2 0 0 0 20 0 28 0 511019279 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626152757904 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29245] ppid=29237 vsize=29035620 memory=-3621219749712857441 CPUtime=0.03 cores=0-7 /proc/29239/task/29245/stat : 29245 (java) S 29237 29237 24466 0 -1 1077944384 784 0 0 0 2 1 0 0 20 0 28 0 511019279 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626151705360 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29246] ppid=29237 vsize=29035620 memory=6944656575208382560 CPUtime=0.03 cores=0-7 /proc/29239/task/29246/stat : 29246 (java) S 29237 29237 24466 0 -1 1077944384 685 0 0 0 2 1 0 0 20 0 28 0 511019279 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626150652816 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29247] ppid=29237 vsize=29035620 memory=1452 CPUtime=0.02 cores=0-7 /proc/29239/task/29247/stat : 29247 (java) S 29237 29237 24466 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 28 0 511019279 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626149600272 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29248] ppid=29237 vsize=29035620 memory=242912 CPUtime=0.03 cores=0-7 /proc/29239/task/29248/stat : 29248 (java) S 29237 29237 24466 0 -1 1077944384 570 0 0 0 2 1 0 0 20 0 28 0 511019279 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626148547728 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29249] ppid=29237 vsize=29035620 memory=1412 CPUtime=0.03 cores=0-7 /proc/29239/task/29249/stat : 29249 (java) S 29237 29237 24466 0 -1 1077944384 1861 0 0 0 2 1 0 0 20 0 28 0 511019281 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625254397936 139626605030018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29250] ppid=29237 vsize=29035620 memory=3324 CPUtime=0 cores=0-7 /proc/29239/task/29250/stat : 29250 (java) S 29237 29237 24466 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 511019281 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625253344224 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29251] ppid=29237 vsize=29035620 memory=1452 CPUtime=0 cores=0-7 /proc/29239/task/29251/stat : 29251 (java) S 29237 29237 24466 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 511019281 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625252291568 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29252] ppid=29237 vsize=29035620 memory=243940 CPUtime=0 cores=0-7 /proc/29239/task/29252/stat : 29252 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511019284 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625251240144 139626605037467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29253] ppid=29237 vsize=29035620 memory=6791534058613427641 CPUtime=3.25 cores=0-7 /proc/29239/task/29253/stat : 29253 (java) S 29237 29237 24466 0 -1 1077944384 15300 0 0 0 322 3 0 0 20 0 28 0 511019284 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625250187760 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29254] ppid=29237 vsize=29035620 memory=4872558044660077418 CPUtime=3.04 cores=0-7 /proc/29239/task/29254/stat : 29254 (java) S 29237 29237 24466 0 -1 1077944384 12003 0 0 0 300 4 0 0 20 0 28 0 511019284 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625249135216 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29255] ppid=29237 vsize=29035620 memory=1724 CPUtime=3.27 cores=0-7 /proc/29239/task/29255/stat : 29255 (java) S 29237 29237 24466 0 -1 1077944384 18477 0 0 0 323 4 0 0 20 0 28 0 511019284 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625248082672 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29256] ppid=29237 vsize=29035620 memory=1412 CPUtime=0.89 cores=0-7 /proc/29239/task/29256/stat : 29256 (java) S 29237 29237 24466 0 -1 1077944384 8165 0 0 0 87 2 0 0 20 0 28 0 511019284 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625247030128 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29257] ppid=29237 vsize=29035620 memory=10604 CPUtime=0 cores=0-7 /proc/29239/task/29257/stat : 29257 (java) S 29237 29237 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511019284 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625245976800 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29258] ppid=29237 vsize=29035620 memory=716 CPUtime=0.01 cores=0-7 /proc/29239/task/29258/stat : 29258 (java) S 29237 29237 24466 0 -1 1077944384 1544 0 0 0 0 1 0 0 20 0 28 0 511019284 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625244924336 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29349] ppid=29237 vsize=29035620 memory=3620 CPUtime=52 cores=0-7 /proc/29239/task/29349/stat : 29349 (java) R 29237 29237 24466 0 -1 4202560 238 0 0 0 5200 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625104692880 139626248596778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29350] ppid=29237 vsize=29035620 memory=1804 CPUtime=51.98 cores=0-7 /proc/29239/task/29350/stat : 29350 (java) R 29237 29237 24466 0 -1 4202560 361 0 0 0 5198 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625102586296 139626248597366 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29351] ppid=29237 vsize=29035620 memory=920 CPUtime=51.98 cores=0-7 /proc/29239/task/29351/stat : 29351 (java) R 29237 29237 24466 0 -1 4202560 1011 0 0 0 5198 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625107848728 139626248597907 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29352] ppid=29237 vsize=29035620 memory=4540 CPUtime=52 cores=0-7 /proc/29239/task/29352/stat : 29352 (java) R 29237 29237 24466 0 -1 4202560 1221 0 0 0 5199 1 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625106796584 139626248778201 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29353] ppid=29237 vsize=29035620 memory=1724 CPUtime=51.74 cores=0-7 /proc/29239/task/29353/stat : 29353 (java) R 29237 29237 24466 0 -1 4202560 854 0 0 0 5174 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625228345272 139626248333387 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29354] ppid=29237 vsize=29035620 memory=1412 CPUtime=52.07 cores=0-7 /proc/29239/task/29354/stat : 29354 (java) R 29237 29237 24466 0 -1 4202560 374 0 0 0 5207 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625229397088 139626248637478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29355] ppid=29237 vsize=29035620 memory=3372 CPUtime=51.74 cores=0-7 /proc/29239/task/29355/stat : 29355 (java) R 29237 29237 24466 0 -1 4202560 549 0 0 0 5174 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625105743320 139626241062007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29356] ppid=29237 vsize=29035620 memory=1452 CPUtime=51.86 cores=0-7 /proc/29239/task/29356/stat : 29356 (java) R 29237 29237 24466 0 -1 4202560 250 0 0 0 5186 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625103638568 139626246117004 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 Current children cumulated CPU time: 572.02 s Current children cumulated vsize: 29148748 KiB Current children cumulated memory: 244364 KiB [startup+72.8011 s] /proc/loadavg: 7.42 7.63 7.96 10/220 29359 /proc/meminfo: memFree=25211936/32770624 swapFree=66975640/67108860 [pid=29237] ppid=29234 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29237/stat : 29237 (xcsp3-exec) S 29234 29237 24466 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511019278 115843072 363 33554432000 4194304 5098028 140721675988080 140721675986184 140068493132412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20733952 140721675989883 140721675990126 140721675990126 140721675993034 0 /proc/29237/statm: 28282 363 305 221 0 87 0 [pid=29239] ppid=29237 vsize=29035620 memory=242912 CPUtime=575.21 cores=0-7 /proc/29239/stat : 29239 (java) S 29237 29237 24466 0 -1 1077944320 86454 0 0 0 57482 39 0 0 20 0 28 0 511019278 29732474880 60728 33554432000 4194304 4196468 140733282823376 140733282805920 139626605018871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 /proc/29239/statm: 7258905 60728 3539 1 0 7220005 0 [pid=29239/tid=29240] ppid=29237 vsize=29035620 memory=242912 CPUtime=0.81 cores=0-7 /proc/29239/task/29240/stat : 29240 (java) S 29237 29237 24466 0 -1 1077944384 9303 0 0 0 77 4 0 0 20 0 28 0 511019278 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626609259648 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29241] ppid=29237 vsize=29035620 memory=10604 CPUtime=0.03 cores=0-7 /proc/29239/task/29241/stat : 29241 (java) S 29237 29237 24466 0 -1 1077944384 1200 0 0 0 2 1 0 0 20 0 28 0 511019279 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626570299664 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29242] ppid=29237 vsize=29035620 memory=716 CPUtime=0.03 cores=0-7 /proc/29239/task/29242/stat : 29242 (java) S 29237 29237 24466 0 -1 1077944384 1190 0 0 0 2 1 0 0 20 0 28 0 511019279 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626154862992 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29243] ppid=29237 vsize=29035620 memory=780 CPUtime=0.03 cores=0-7 /proc/29239/task/29243/stat : 29243 (java) S 29237 29237 24466 0 -1 1077944384 1047 0 0 0 2 1 0 0 20 0 28 0 511019279 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626153810448 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29244] ppid=29237 vsize=29035620 memory=1552 CPUtime=0.02 cores=0-7 /proc/29239/task/29244/stat : 29244 (java) S 29237 29237 24466 0 -1 1077944384 1136 0 0 0 2 0 0 0 20 0 28 0 511019279 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626152757904 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29245] ppid=29237 vsize=29035620 memory=2832 CPUtime=0.03 cores=0-7 /proc/29239/task/29245/stat : 29245 (java) S 29237 29237 24466 0 -1 1077944384 784 0 0 0 2 1 0 0 20 0 28 0 511019279 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626151705360 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29246] ppid=29237 vsize=29035620 memory=1192 CPUtime=0.03 cores=0-7 /proc/29239/task/29246/stat : 29246 (java) S 29237 29237 24466 0 -1 1077944384 685 0 0 0 2 1 0 0 20 0 28 0 511019279 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626150652816 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29247] ppid=29237 vsize=29035620 memory=6791534058613427641 CPUtime=0.02 cores=0-7 /proc/29239/task/29247/stat : 29247 (java) S 29237 29237 24466 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 28 0 511019279 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626149600272 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29248] ppid=29237 vsize=29035620 memory=288230583166042426 CPUtime=0.03 cores=0-7 /proc/29239/task/29248/stat : 29248 (java) S 29237 29237 24466 0 -1 1077944384 570 0 0 0 2 1 0 0 20 0 28 0 511019279 29732474880 60728 33554432000 4194304 4196468 140733282823376 139626148547728 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29249] ppid=29237 vsize=29035620 memory=303430223234596890 CPUtime=0.03 cores=0-7 /proc/29239/task/29249/stat : 29249 (java) S 29237 29237 24466 0 -1 1077944384 1861 0 0 0 2 1 0 0 20 0 28 0 511019281 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625254397936 139626605030018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29250] ppid=29237 vsize=29035620 memory=288230583166042426 CPUtime=0 cores=0-7 /proc/29239/task/29250/stat : 29250 (java) S 29237 29237 24466 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 511019281 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625253344224 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29251] ppid=29237 vsize=29035620 memory=15816690369829955 CPUtime=0 cores=0-7 /proc/29239/task/29251/stat : 29251 (java) S 29237 29237 24466 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 511019281 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625252291568 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29252] ppid=29237 vsize=29035620 memory=1452 CPUtime=0 cores=0-7 /proc/29239/task/29252/stat : 29252 (java) S 29237 29237 24466 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511019284 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625251240144 139626605037467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29253] ppid=29237 vsize=29035620 memory=243940 CPUtime=3.25 cores=0-7 /proc/29239/task/29253/stat : 29253 (java) S 29237 29237 24466 0 -1 1077944384 15300 0 0 0 322 3 0 0 20 0 28 0 511019284 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625250187760 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29254] ppid=29237 vsize=29035620 memory=6655300316396806240 CPUtime=3.04 cores=0-7 /proc/29239/task/29254/stat : 29254 (java) S 29237 29237 24466 0 -1 1077944384 12003 0 0 0 300 4 0 0 20 0 28 0 511019284 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625249135216 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29255] ppid=29237 vsize=29035620 memory=-7674914008656224160 CPUtime=3.27 cores=0-7 /proc/29239/task/29255/stat : 29255 (java) S 29237 29237 24466 0 -1 1077944384 18477 0 0 0 323 4 0 0 20 0 28 0 511019284 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625248082672 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29256] ppid=29237 vsize=29035620 memory=1452 CPUtime=0.89 cores=0-7 /proc/29239/task/29256/stat : 29256 (java) S 29237 29237 24466 0 -1 1077944384 8165 0 0 0 87 2 0 0 20 0 28 0 511019284 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625247030128 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29257] ppid=29237 vsize=29035620 memory=1452 CPUtime=0 cores=0-7 /proc/29239/task/29257/stat : 29257 (java) S 29237 29237 24466 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511019284 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625245976800 139626605029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29258] ppid=29237 vsize=29035620 memory=242912 CPUtime=0.01 cores=0-7 /proc/29239/task/29258/stat : 29258 (java) S 29237 29237 24466 0 -1 1077944384 1544 0 0 0 0 1 0 0 20 0 28 0 511019284 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625244924336 139626605030018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29349] ppid=29237 vsize=29035620 memory=6140 CPUtime=52.4 cores=0-7 /proc/29239/task/29349/stat : 29349 (java) R 29237 29237 24466 0 -1 4202560 238 0 0 0 5240 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625104692880 139626246509068 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29350] ppid=29237 vsize=29035620 memory=10604 CPUtime=52.38 cores=0-7 /proc/29239/task/29350/stat : 29350 (java) R 29237 29237 24466 0 -1 4202560 361 0 0 0 5238 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625102586296 139626241062852 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29351] ppid=29237 vsize=29035620 memory=716 CPUtime=52.38 cores=0-7 /proc/29239/task/29351/stat : 29351 (java) R 29237 29237 24466 0 -1 4202560 1011 0 0 0 5238 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625107848728 139626249249890 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29352] ppid=29237 vsize=29035620 memory=780 CPUtime=52.4 cores=0-7 /proc/29239/task/29352/stat : 29352 (java) R 29237 29237 24466 0 -1 4202560 1221 0 0 0 5239 1 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625106796584 139626251956944 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29353] ppid=29237 vsize=29035620 memory=1552 CPUtime=52.13 cores=0-7 /proc/29239/task/29353/stat : 29353 (java) R 29237 29237 24466 0 -1 4202560 854 0 0 0 5213 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625228345272 139626248284423 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29354] ppid=29237 vsize=29035620 memory=2832 CPUtime=52.47 cores=0-7 /proc/29239/task/29354/stat : 29354 (java) R 29237 29237 24466 0 -1 4202560 374 0 0 0 5247 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625229397088 139626247319486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29355] ppid=29237 vsize=29035620 memory=1192 CPUtime=52.14 cores=0-7 /proc/29239/task/29355/stat : 29355 (java) R 29237 29237 24466 0 -1 4202560 549 0 0 0 5214 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625105743320 139626248633796 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 [pid=29239/tid=29356] ppid=29237 vsize=29035620 memory=940 CPUtime=52.26 cores=0-7 /proc/29239/task/29356/stat : 29356 (java) R 29237 29237 24466 0 -1 4202560 250 0 0 0 5226 0 0 0 20 0 28 0 511021302 29732474880 60728 33554432000 4194304 4196468 140733282823376 139625103638568 139626248634210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17424384 140733282829296 140733282829467 140733282829467 140733282832335 0 Current children cumulated CPU time: 575.21 s Current children cumulated vsize: 29148748 KiB Current children cumulated memory: 244364 KiB [startup+72.9011 s] /proc/loadavg: 7.42 7.63 7.96 10/220 29359 /proc/meminfo: memFree=25211936/32770624 swapFree=66975640/67108860 [pid=29237] ppid=29234 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/29237/stat : 29237 (xcsp3-exec) S 29234 29237 24466 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 511019278 115843072 363 33554432000 4194304 5098028 140721675988080 140721675986184 140068493132412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20733952 140721675989883 140721675990126 140721675990126 140721675993034 0 /proc/29237/statm: 28282 363 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 72.9068 CPU time (s): 575.961 CPU user time (s): 575.555 CPU system time (s): 0.405811 CPU usage (%): 789.997 Max. virtual memory (cumulated for all children) (KiB): 29148748 Max. memory (cumulated for all children) (KiB): 256660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 575.555 system time used= 0.405811 maximum resident set size= 261392 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87469 page faults= 0 swaps= 0 block input operations= 0 block output operations= 248 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8456 involuntary context switches= 7599 # summary of solver processes directly reported to runsolver: # pid: 29237 # total CPU time (s): 575.961 # total CPU user time (s): 575.555 # total CPU system time (s): 0.405811 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.534268 second user time and 0.872309 second system time The end
Begin job on node125 at 2019-09-24 19:51:22 IDJOB=4407389 IDBENCH=128305 IDSOLVER=2872 FILE ID=node125/4407389-1569347525 RUNJOBID= node125-1569335936-24493 PBS_JOBID= 21705060 Free space on /tmp= 4256 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-37-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-4407389-1569347525/watcher-4407389-1569347525 -o /tmp/evaluation-result-4407389-1569347525/solver-4407389-1569347525 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569335936-24493 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1292990470 HOME/instance-4407389-1569347525.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= cc0e4d4fb1187992b98efb1fb4f076c6 RANDOM SEED=1292990470 node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25442488 kB MemAvailable: 31816532 kB Buffers: 121116 kB Cached: 6314768 kB SwapCached: 29856 kB Active: 3203412 kB Inactive: 3266464 kB Active(anon): 3472 kB Inactive(anon): 86620 kB Active(file): 3199940 kB Inactive(file): 3179844 kB Unevictable: 107156 kB Mlocked: 107156 kB SwapTotal: 67108860 kB SwapFree: 66975640 kB Dirty: 26216 kB Writeback: 0 kB AnonPages: 110960 kB Mapped: 57032 kB Shmem: 47476 kB Slab: 451980 kB SReclaimable: 422720 kB SUnreclaim: 29260 kB KernelStack: 3568 kB PageTables: 5176 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514492 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 65536 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 4228 MiB End job on node125 at 2019-09-24 19:52:35