Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 68 | 152.129 | 19.811 |
Name | Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-06-08.xml |
MD5SUM | 8d7da43fda8420e04b4d8dcd0c7711ab |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 68 |
Best CPU time to get the best result obtained on this benchmark | 35.3822 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 92 |
Number of constraints | 142 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 505 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":505,"count":91}] |
Minimum variable degree | 3 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":3,"count":10},{"degree":4,"count":26},{"degree":5,"count":23},{"degree":6,"count":22},{"degree":7,"count":11}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 48 |
Distribution of constraint arities | [{"arity":2,"count":138},{"arity":42,"count":1},{"arity":43,"count":1},{"arity":48,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 138 |
Distribution of constraint types | [{"type":"intension","count":138},{"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-4407386-1569347550.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407386-1569347550.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.13/0.81 c solve instance... 2.83/1.01 o 504 3.56/1.07 o 85 3.56/1.09 o 82 4.17/1.12 o 80 4.17/1.13 o 79 4.17/1.14 o 77 4.73/1.25 o 76 4.73/1.30 o 75 5.46/1.33 o 74 5.46/1.39 o 73 14.12/2.49 o 72 14.86/2.51 o 71 21.18/3.31 o 70 37.61/5.42 o 69 81.26/10.90 o 68 151.38/19.79 s OPTIMUM FOUND 151.38/19.79 v <instantiation> 151.38/19.79 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] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] </list> 151.38/19.79 v <values>0 0 0 0 6 4 8 18 9 16 9 28 13 29 8 5 16 24 13 22 47 28 14 21 8 47 23 17 33 18 32 23 13 28 14 17 27 20 57 23 25 35 35 53 35 9 39 11 16 42 26 32 18 45 31 44 36 25 4 9 22 37 39 39 28 39 39 33 45 24 43 46 45 44 54 54 42 50 45 49 47 56 46 55 50 57 51 59 64 65 62 68 </values> 151.38/19.79 v </instantiation>
OK 68
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 (10788 MiB free) memory of node 1: 16384 MiB (14131 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407386-1569347550/watcher-4407386-1569347550 -o /tmp/evaluation-result-4407386-1569347550/solver-4407386-1569347550 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1939807362 HOME/instance-4407386-1569347550.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=12396, runsolver pid=12393 Current StackSize limit: 8192 KiB [startup+0.100108 s]* /proc/loadavg: 8.01 8.08 8.13 2/212 12417 /proc/meminfo: memFree=25502040/32770624 swapFree=67002564/67108860 [pid=12396] ppid=12393 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12396/stat : 12396 (xcsp3-exec) S 12393 12396 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510916535 115843072 363 33554432000 4194304 5098028 140734960388736 140734960386840 140218575467132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18505728 140734960395131 140734960395374 140734960395374 140734960398282 0 /proc/12396/statm: 28282 363 304 221 0 87 0 [pid=12398] ppid=12396 vsize=28227396 memory=28868 CPUtime=0.12 cores=0-7 /proc/12398/stat : 12398 (java) S 12396 12396 5615 0 -1 1077944320 5713 0 0 0 11 1 0 0 20 0 20 0 510916535 28904853504 7217 33554432000 4194304 4196468 140726416777904 140726416760448 140478624575223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 /proc/12398/statm: 7056849 7217 3091 1 0 7019032 0 [pid=12398/tid=12399] ppid=12396 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/12398/task/12399/stat : 12399 (java) R 12396 12396 5615 0 -1 4202560 3624 0 0 0 8 1 0 0 20 0 20 0 510916536 28904853504 7217 33554432000 4194304 4196468 140726416777904 140478628811648 140478608655710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12400] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12400/stat : 12400 (java) S 12396 12396 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510916536 28904853504 7217 33554432000 4194304 4196468 140726416777904 140478175521168 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12401] ppid=12396 vsize=28227396 memory=14837157707081368 CPUtime=0 cores=0-7 /proc/12398/task/12401/stat : 12401 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916536 28904853504 7217 33554432000 4194304 4196468 140726416777904 140478174468368 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12402] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12402/stat : 12402 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916536 28904853504 7217 33554432000 4194304 4196468 140726416777904 140478173416080 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12403] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12403/stat : 12403 (java) S 12396 12396 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510916536 28904853504 7217 33554432000 4194304 4196468 140726416777904 140478172363280 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12404] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12404/stat : 12404 (java) S 12396 12396 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510916536 28904853504 7217 33554432000 4194304 4196468 140726416777904 140478171310992 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12405] ppid=12396 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12398/task/12405/stat : 12405 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916536 28904853504 7217 33554432000 4194304 4196468 140726416777904 140478170258192 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12406] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12406/stat : 12406 (java) S 12396 12396 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510916536 28904853504 7217 33554432000 4194304 4196468 140726416777904 140478169205904 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12407] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12407/stat : 12407 (java) S 12396 12396 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510916536 28904853504 7217 33554432000 4194304 4196468 140726416777904 140478168153104 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12408] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12408/stat : 12408 (java) S 12396 12396 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510916538 28904853504 7217 33554432000 4194304 4196468 140726416777904 140476954490992 140478624586370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12409] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12409/stat : 12409 (java) S 12396 12396 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510916538 28904853504 7217 33554432000 4194304 4196468 140726416777904 140476953436960 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12410] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12410/stat : 12410 (java) S 12396 12396 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510916539 28904853504 7217 33554432000 4194304 4196468 140726416777904 140476952384624 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12411] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12411/stat : 12411 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916541 28904853504 7217 33554432000 4194304 4196468 140726416777904 140476951332944 140478624593819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12412] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12412/stat : 12412 (java) S 12396 12396 5615 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 510916541 28904853504 7217 33554432000 4194304 4196468 140726416777904 140476950280816 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12413] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12413/stat : 12413 (java) S 12396 12396 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510916541 28904853504 7217 33554432000 4194304 4196468 140726416777904 140476949228016 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12414] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12414/stat : 12414 (java) S 12396 12396 5615 0 -1 1077944384 390 0 0 0 0 0 0 0 20 0 20 0 510916541 28904853504 7217 33554432000 4194304 4196468 140726416777904 140476948175728 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12415] ppid=12396 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/12398/task/12415/stat : 12415 (java) R 12396 12396 5615 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 20 0 510916541 28904853504 7217 33554432000 4194304 4196468 140726416777904 140476947122928 140478624596570 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12416] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12416/stat : 12416 (java) S 12396 12396 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510916541 28904853504 7217 33554432000 4194304 4196468 140726416777904 140476946069856 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12417] ppid=12396 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12398/task/12417/stat : 12417 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916542 28904853504 7217 33554432000 4194304 4196468 140726416777904 140476945017136 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30320 KiB [startup+0.210299 s]* /proc/loadavg: 8.01 8.08 8.13 2/212 12417 /proc/meminfo: memFree=25488592/32770624 swapFree=67002564/67108860 [pid=12396] ppid=12393 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12396/stat : 12396 (xcsp3-exec) S 12393 12396 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510916535 115843072 363 33554432000 4194304 5098028 140734960388736 140734960386840 140218575467132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18505728 140734960395131 140734960395374 140734960395374 140734960398282 0 /proc/12396/statm: 28282 363 304 221 0 87 0 [pid=12398] ppid=12396 vsize=28227396 memory=40916 CPUtime=0.33 cores=0-7 /proc/12398/stat : 12398 (java) S 12396 12396 5615 0 -1 1077944320 9538 0 0 0 30 3 0 0 20 0 20 0 510916535 28904853504 10229 33554432000 4194304 4196468 140726416777904 140726416760448 140478624575223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 /proc/12398/statm: 7056849 10229 3264 1 0 7019032 0 [pid=12398/tid=12399] ppid=12396 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7 /proc/12398/task/12399/stat : 12399 (java) R 12396 12396 5615 0 -1 4202560 6656 0 0 0 18 2 0 0 20 0 20 0 510916536 28904853504 10229 33554432000 4194304 4196468 140726416777904 140478628806752 140478624587158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12400] ppid=12396 vsize=28227396 memory=14976 CPUtime=0 cores=0-7 /proc/12398/task/12400/stat : 12400 (java) S 12396 12396 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510916536 28904853504 10229 33554432000 4194304 4196468 140726416777904 140478175521168 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12401] ppid=12396 vsize=28227396 memory=139752893813577 CPUtime=0 cores=0-7 /proc/12398/task/12401/stat : 12401 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916536 28904853504 10229 33554432000 4194304 4196468 140726416777904 140478174468368 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12402] ppid=12396 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12398/task/12402/stat : 12402 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916536 28904853504 10229 33554432000 4194304 4196468 140726416777904 140478173416080 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12403] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12403/stat : 12403 (java) S 12396 12396 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510916536 28904853504 10229 33554432000 4194304 4196468 140726416777904 140478172363280 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12404] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12404/stat : 12404 (java) S 12396 12396 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510916536 28904853504 10229 33554432000 4194304 4196468 140726416777904 140478171310992 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12405] ppid=12396 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12398/task/12405/stat : 12405 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916536 28904853504 10229 33554432000 4194304 4196468 140726416777904 140478170258192 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12406] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12406/stat : 12406 (java) S 12396 12396 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510916536 28904853504 10229 33554432000 4194304 4196468 140726416777904 140478169205904 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12407] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12407/stat : 12407 (java) S 12396 12396 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510916536 28904853504 10229 33554432000 4194304 4196468 140726416777904 140478168153104 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12408] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12408/stat : 12408 (java) S 12396 12396 5615 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510916538 28904853504 10229 33554432000 4194304 4196468 140726416777904 140476954490992 140478624586370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12409] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12409/stat : 12409 (java) S 12396 12396 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510916538 28904853504 10229 33554432000 4194304 4196468 140726416777904 140476953436960 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12410] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12410/stat : 12410 (java) S 12396 12396 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510916539 28904853504 10229 33554432000 4194304 4196468 140726416777904 140476952384624 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12411] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12411/stat : 12411 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916541 28904853504 10229 33554432000 4194304 4196468 140726416777904 140476951332944 140478624593819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12412] ppid=12396 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/12398/task/12412/stat : 12412 (java) R 12396 12396 5615 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 20 0 510916541 28904853504 10229 33554432000 4194304 4196468 140726416777904 140476950280912 140478624586370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12413] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12413/stat : 12413 (java) S 12396 12396 5615 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 510916541 28904853504 10229 33554432000 4194304 4196468 140726416777904 140476949228016 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12414] ppid=12396 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/12398/task/12414/stat : 12414 (java) R 12396 12396 5615 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 20 0 510916541 28904853504 10229 33554432000 4194304 4196468 140726416777904 140476948175728 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12415] ppid=12396 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/12398/task/12415/stat : 12415 (java) R 12396 12396 5615 0 -1 4202560 786 0 0 0 8 0 0 0 20 0 20 0 510916541 28904853504 10229 33554432000 4194304 4196468 140726416777904 140476947122928 140478624587158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12416] ppid=12396 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12416/stat : 12416 (java) S 12396 12396 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510916541 28904853504 10229 33554432000 4194304 4196468 140726416777904 140476946069856 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12417] ppid=12396 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12398/task/12417/stat : 12417 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916542 28904853504 10229 33554432000 4194304 4196468 140726416777904 140476945017136 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42368 KiB [startup+0.309755 s]* /proc/loadavg: 8.01 8.08 8.13 5/212 12417 /proc/meminfo: memFree=25480204/32770624 swapFree=67002564/67108860 [pid=12396] ppid=12393 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12396/stat : 12396 (xcsp3-exec) S 12393 12396 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510916535 115843072 363 33554432000 4194304 5098028 140734960388736 140734960386840 140218575467132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18505728 140734960395131 140734960395374 140734960395374 140734960398282 0 /proc/12396/statm: 28282 363 304 221 0 87 0 [pid=12398] ppid=12396 vsize=28231652 memory=50040 CPUtime=0.51 cores=0-7 /proc/12398/stat : 12398 (java) S 12396 12396 5615 0 -1 1077944320 10902 0 0 0 47 4 0 0 20 0 20 0 510916535 28909211648 12510 33554432000 4194304 4196468 140726416777904 140726416760448 140478624575223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 /proc/12398/statm: 7057913 12510 3346 1 0 7019032 0 [pid=12398/tid=12399] ppid=12396 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/12398/task/12399/stat : 12399 (java) R 12396 12396 5615 0 -1 4202560 7785 0 0 0 27 3 0 0 20 0 20 0 510916536 28909211648 12539 33554432000 4194304 4196468 140726416777904 140478628806336 140478608655710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12400] ppid=12396 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12400/stat : 12400 (java) S 12396 12396 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510916536 28909211648 12539 33554432000 4194304 4196468 140726416777904 140478175521168 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12401] ppid=12396 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12401/stat : 12401 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916536 28909211648 12539 33554432000 4194304 4196468 140726416777904 140478174468368 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12402] ppid=12396 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12402/stat : 12402 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916536 28909211648 12539 33554432000 4194304 4196468 140726416777904 140478173416080 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12403] ppid=12396 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12403/stat : 12403 (java) S 12396 12396 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510916536 28909211648 12539 33554432000 4194304 4196468 140726416777904 140478172363280 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12404] ppid=12396 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12404/stat : 12404 (java) S 12396 12396 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510916536 28909211648 12539 33554432000 4194304 4196468 140726416777904 140478171310992 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12405] ppid=12396 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12405/stat : 12405 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916536 28909211648 12539 33554432000 4194304 4196468 140726416777904 140478170258192 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12406] ppid=12396 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12406/stat : 12406 (java) S 12396 12396 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510916536 28909211648 12539 33554432000 4194304 4196468 140726416777904 140478169205904 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12407] ppid=12396 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12407/stat : 12407 (java) S 12396 12396 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510916536 28909211648 12539 33554432000 4194304 4196468 140726416777904 140478168153104 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12408] ppid=12396 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12408/stat : 12408 (java) S 12396 12396 5615 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510916538 28909211648 12539 33554432000 4194304 4196468 140726416777904 140476954490992 140478624586370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12409] ppid=12396 vsize=28231652 memory=279505465974144 CPUtime=0 cores=0-7 /proc/12398/task/12409/stat : 12409 (java) S 12396 12396 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510916538 28909211648 12539 33554432000 4194304 4196468 140726416777904 140476953436960 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12410] ppid=12396 vsize=28231652 memory=279505465978752 CPUtime=0 cores=0-7 /proc/12398/task/12410/stat : 12410 (java) S 12396 12396 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510916539 28909211648 12539 33554432000 4194304 4196468 140726416777904 140476952384624 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12411] ppid=12396 vsize=28231652 memory=279505465983360 CPUtime=0 cores=0-7 /proc/12398/task/12411/stat : 12411 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916541 28909211648 12539 33554432000 4194304 4196468 140726416777904 140476951332944 140478624593819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12412] ppid=12396 vsize=28231652 memory=279505465987968 CPUtime=0.02 cores=0-7 /proc/12398/task/12412/stat : 12412 (java) S 12396 12396 5615 0 -1 1077944384 248 0 0 0 2 0 0 0 20 0 20 0 510916541 28909211648 12539 33554432000 4194304 4196468 140726416777904 140476950280816 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12413] ppid=12396 vsize=28231652 memory=279505465992576 CPUtime=0.01 cores=0-7 /proc/12398/task/12413/stat : 12413 (java) S 12396 12396 5615 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 20 0 510916541 28909211648 12539 33554432000 4194304 4196468 140726416777904 140476949228016 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12414] ppid=12396 vsize=28231652 memory=279505465997184 CPUtime=0.03 cores=0-7 /proc/12398/task/12414/stat : 12414 (java) R 12396 12396 5615 0 -1 4202560 617 0 0 0 3 0 0 0 20 0 20 0 510916541 28909211648 12539 33554432000 4194304 4196468 140726416777904 140476948175728 140478607961936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12415] ppid=12396 vsize=28231652 memory=279505466001792 CPUtime=0.12 cores=0-7 /proc/12398/task/12415/stat : 12415 (java) S 12396 12396 5615 0 -1 1077944384 880 0 0 0 12 0 0 0 20 0 20 0 510916541 28909211648 12539 33554432000 4194304 4196468 140726416777904 140476947122928 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12416] ppid=12396 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12416/stat : 12416 (java) S 12396 12396 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510916541 28909211648 12539 33554432000 4194304 4196468 140726416777904 140476946069856 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12417] ppid=12396 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/12398/task/12417/stat : 12417 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916542 28909211648 12539 33554432000 4194304 4196468 140726416777904 140476945017136 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51492 KiB [startup+0.701011 s] /proc/loadavg: 8.01 8.08 8.13 5/212 12417 /proc/meminfo: memFree=25464872/32770624 swapFree=67002564/67108860 [pid=12396] ppid=12393 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12396/stat : 12396 (xcsp3-exec) S 12393 12396 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510916535 115843072 363 33554432000 4194304 5098028 140734960388736 140734960386840 140218575467132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18505728 140734960395131 140734960395374 140734960395374 140734960398282 0 /proc/12396/statm: 28282 363 304 221 0 87 0 [pid=12398] ppid=12396 vsize=28233776 memory=91008 CPUtime=1.68 cores=0-7 /proc/12398/stat : 12398 (java) S 12396 12396 5615 0 -1 1077944320 15429 0 0 0 161 7 0 0 20 0 20 0 510916535 28911386624 22752 33554432000 4194304 4196468 140726416777904 140726416760448 140478624575223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 /proc/12398/statm: 7058444 22752 3453 1 0 7019544 0 [pid=12398/tid=12399] ppid=12396 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/12398/task/12399/stat : 12399 (java) R 12396 12396 5615 0 -1 4202560 9351 0 0 0 63 5 0 0 20 0 20 0 510916536 28911386624 22752 33554432000 4194304 4196468 140726416777904 140478628811104 140478608655710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12400] ppid=12396 vsize=28233776 memory=139752733188992 CPUtime=0 cores=0-7 /proc/12398/task/12400/stat : 12400 (java) S 12396 12396 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510916536 28911386624 22752 33554432000 4194304 4196468 140726416777904 140478175521168 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12401] ppid=12396 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/12398/task/12401/stat : 12401 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916536 28911386624 22752 33554432000 4194304 4196468 140726416777904 140478174468368 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12402] ppid=12396 vsize=28233776 memory=1052 CPUtime=0 cores=0-7 /proc/12398/task/12402/stat : 12402 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510916536 28911386624 22752 33554432000 4194304 4196468 140726416777904 140478173416080 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 ################ # More data... # ################ [pid=12398/tid=12542] ppid=12396 vsize=28835928 memory=55425344997610 CPUtime=6.65 cores=0-7 /proc/12398/task/12542/stat : 12542 (java) R 12396 12396 5615 0 -1 4202560 123 0 0 0 665 0 0 0 20 0 28 0 510917626 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476928438232 140478270115325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12543] ppid=12396 vsize=28835928 memory=279505465968496 CPUtime=6.6 cores=0-7 /proc/12398/task/12543/stat : 12543 (java) R 12396 12396 5615 0 -1 4202560 474 0 0 0 660 0 0 0 20 0 28 0 510917626 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476931596424 140478269840400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12544] ppid=12396 vsize=28835928 memory=-4695052241013923951 CPUtime=6.65 cores=0-7 /proc/12398/task/12544/stat : 12544 (java) R 12396 12396 5615 0 -1 4202560 296 0 0 0 665 0 0 0 20 0 28 0 510917626 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476933702024 140478269473182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12545] ppid=12396 vsize=28835928 memory=1452 CPUtime=6.66 cores=0-7 /proc/12398/task/12545/stat : 12545 (java) R 12396 12396 5615 0 -1 4202560 316 0 0 0 666 0 0 0 20 0 28 0 510917627 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476926333416 140478270118925 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12546] ppid=12396 vsize=28835928 memory=265400 CPUtime=6.53 cores=0-7 /proc/12398/task/12546/stat : 12546 (java) R 12396 12396 5615 0 -1 4202560 358 0 0 0 653 0 0 0 20 0 28 0 510917627 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476932648376 140478272360256 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12547] ppid=12396 vsize=28835928 memory=6791534058613427641 CPUtime=6.63 cores=0-7 /proc/12398/task/12547/stat : 12547 (java) R 12396 12396 5615 0 -1 4202560 463 0 0 0 663 0 0 0 20 0 28 0 510917627 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476927384240 140478268682761 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 Current children cumulated CPU time: 134.63 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 269060 KiB [startup+19.2017 s] /proc/loadavg: 8.26 8.13 8.15 9/220 12547 /proc/meminfo: memFree=25263632/32770624 swapFree=67002564/67108860 [pid=12396] ppid=12393 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12396/stat : 12396 (xcsp3-exec) S 12393 12396 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510916535 115843072 363 33554432000 4194304 5098028 140734960388736 140734960386840 140218575467132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18505728 140734960395131 140734960395374 140734960395374 140734960398282 0 /proc/12396/statm: 28282 363 304 221 0 87 0 [pid=12398] ppid=12396 vsize=28835928 memory=267608 CPUtime=147.39 cores=0-7 /proc/12398/stat : 12398 (java) S 12396 12396 5615 0 -1 1077944320 73362 0 0 0 14706 33 0 0 20 0 28 0 510916535 29527990272 66902 33554432000 4194304 4196468 140726416777904 140726416760448 140478624575223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 /proc/12398/statm: 7208982 66902 3535 1 0 7170082 0 [pid=12398/tid=12399] ppid=12396 vsize=28835928 memory=6791534058613427641 CPUtime=0.81 cores=0-7 /proc/12398/task/12399/stat : 12399 (java) S 12396 12396 5615 0 -1 1077944384 9826 0 0 0 76 5 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478628816000 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12400] ppid=12396 vsize=28835928 memory=265332 CPUtime=0.01 cores=0-7 /proc/12398/task/12400/stat : 12400 (java) S 12396 12396 5615 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478175521168 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12401] ppid=12396 vsize=28835928 memory=1448 CPUtime=0.01 cores=0-7 /proc/12398/task/12401/stat : 12401 (java) S 12396 12396 5615 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478174468368 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12402] ppid=12396 vsize=28835928 memory=1964 CPUtime=0.01 cores=0-7 /proc/12398/task/12402/stat : 12402 (java) S 12396 12396 5615 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478173416080 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12403] ppid=12396 vsize=28835928 memory=2456 CPUtime=0.01 cores=0-7 /proc/12398/task/12403/stat : 12403 (java) S 12396 12396 5615 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478172363280 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12404] ppid=12396 vsize=28835928 memory=1452 CPUtime=0.01 cores=0-7 /proc/12398/task/12404/stat : 12404 (java) S 12396 12396 5615 0 -1 1077944384 2407 0 0 0 1 0 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478171310992 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12405] ppid=12396 vsize=28835928 memory=265104 CPUtime=0.01 cores=0-7 /proc/12398/task/12405/stat : 12405 (java) S 12396 12396 5615 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478170258192 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12406] ppid=12396 vsize=28835928 memory=2378 CPUtime=0.02 cores=0-7 /proc/12398/task/12406/stat : 12406 (java) S 12396 12396 5615 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478169205904 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12407] ppid=12396 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/12398/task/12407/stat : 12407 (java) S 12396 12396 5615 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478168153104 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12408] ppid=12396 vsize=28835928 memory=81 CPUtime=0.01 cores=0-7 /proc/12398/task/12408/stat : 12408 (java) S 12396 12396 5615 0 -1 1077944384 851 0 0 0 1 0 0 0 20 0 28 0 510916538 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476954490992 140478624586370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12409] ppid=12396 vsize=28835928 memory=1452 CPUtime=0 cores=0-7 /proc/12398/task/12409/stat : 12409 (java) S 12396 12396 5615 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 510916538 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476953437024 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12410] ppid=12396 vsize=28835928 memory=267608 CPUtime=0 cores=0-7 /proc/12398/task/12410/stat : 12410 (java) S 12396 12396 5615 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 510916539 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476952384640 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12411] ppid=12396 vsize=28835928 memory=1416 CPUtime=0 cores=0-7 /proc/12398/task/12411/stat : 12411 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510916541 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476951332944 140478624593819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12412] ppid=12396 vsize=28835928 memory=1556 CPUtime=2.93 cores=0-7 /proc/12398/task/12412/stat : 12412 (java) S 12396 12396 5615 0 -1 1077944384 14411 0 0 0 290 3 0 0 20 0 28 0 510916541 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476950280816 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12413] ppid=12396 vsize=28835928 memory=740 CPUtime=3.05 cores=0-7 /proc/12398/task/12413/stat : 12413 (java) S 12396 12396 5615 0 -1 1077944384 12884 0 0 0 301 4 0 0 20 0 28 0 510916541 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476949228016 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12414] ppid=12396 vsize=28835928 memory=1052 CPUtime=2.96 cores=0-7 /proc/12398/task/12414/stat : 12414 (java) S 12396 12396 5615 0 -1 1077944384 11577 0 0 0 293 3 0 0 20 0 28 0 510916541 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476948175728 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12415] ppid=12396 vsize=28835928 memory=6791534058613427641 CPUtime=0.92 cores=0-7 /proc/12398/task/12415/stat : 12415 (java) S 12396 12396 5615 0 -1 1077944384 7371 0 0 0 91 1 0 0 20 0 28 0 510916541 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476947122928 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12416] ppid=12396 vsize=28835928 memory=740 CPUtime=0 cores=0-7 /proc/12398/task/12416/stat : 12416 (java) S 12396 12396 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510916541 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476946069856 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12417] ppid=12396 vsize=28835928 memory=1052 CPUtime=0 cores=0-7 /proc/12398/task/12417/stat : 12417 (java) S 12396 12396 5615 0 -1 1077944384 1693 0 0 0 0 0 0 0 20 0 28 0 510916542 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476945017136 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12540] ppid=12396 vsize=28835928 memory=7548 CPUtime=8.12 cores=0-7 /proc/12398/task/12540/stat : 12540 (java) R 12396 12396 5615 0 -1 4202560 694 0 0 0 812 0 0 0 20 0 28 0 510917626 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476920857600 140478269839875 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12541] ppid=12396 vsize=28835928 memory=3620 CPUtime=8.25 cores=0-7 /proc/12398/task/12541/stat : 12541 (java) R 12396 12396 5615 0 -1 4202560 148 0 0 0 825 0 0 0 20 0 28 0 510917626 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476921908968 140478269629500 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12542] ppid=12396 vsize=28835928 memory=2832 CPUtime=8.25 cores=0-7 /proc/12398/task/12542/stat : 12542 (java) R 12396 12396 5615 0 -1 4202560 150 0 0 0 825 0 0 0 20 0 28 0 510917626 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476928438232 140478269473695 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12543] ppid=12396 vsize=28835928 memory=776 CPUtime=8.2 cores=0-7 /proc/12398/task/12543/stat : 12543 (java) R 12396 12396 5615 0 -1 4202560 634 0 0 0 820 0 0 0 20 0 28 0 510917626 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476931596424 140478269325383 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12544] ppid=12396 vsize=28835928 memory=0 CPUtime=8.25 cores=0-7 /proc/12398/task/12544/stat : 12544 (java) R 12396 12396 5615 0 -1 4202560 363 0 0 0 825 0 0 0 20 0 28 0 510917626 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476933702024 140478269472899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12545] ppid=12396 vsize=28835928 memory=192990060503259 CPUtime=8.26 cores=0-7 /proc/12398/task/12545/stat : 12545 (java) R 12396 12396 5615 0 -1 4202560 366 0 0 0 826 0 0 0 20 0 28 0 510917627 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476926333416 140478269838081 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12546] ppid=12396 vsize=28835928 memory=192990060503260 CPUtime=8.09 cores=0-7 /proc/12398/task/12546/stat : 12546 (java) R 12396 12396 5615 0 -1 4202560 457 0 0 0 809 0 0 0 20 0 28 0 510917627 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476932648376 140478269474288 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12547] ppid=12396 vsize=28835928 memory=192990060503261 CPUtime=8.22 cores=0-7 /proc/12398/task/12547/stat : 12547 (java) R 12396 12396 5615 0 -1 4202560 568 0 0 0 822 0 0 0 20 0 28 0 510917627 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476927384240 140478269254423 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 Current children cumulated CPU time: 147.39 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 269060 KiB [startup+19.6017 s] /proc/loadavg: 8.26 8.13 8.15 9/220 12547 /proc/meminfo: memFree=25263632/32770624 swapFree=67002564/67108860 [pid=12396] ppid=12393 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12396/stat : 12396 (xcsp3-exec) S 12393 12396 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510916535 115843072 363 33554432000 4194304 5098028 140734960388736 140734960386840 140218575467132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18505728 140734960395131 140734960395374 140734960395374 140734960398282 0 /proc/12396/statm: 28282 363 304 221 0 87 0 [pid=12398] ppid=12396 vsize=28835928 memory=267608 CPUtime=150.58 cores=0-7 /proc/12398/stat : 12398 (java) S 12396 12396 5615 0 -1 1077944320 73828 0 0 0 15025 33 0 0 20 0 28 0 510916535 29527990272 66902 33554432000 4194304 4196468 140726416777904 140726416760448 140478624575223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 /proc/12398/statm: 7208982 66902 3535 1 0 7170082 0 [pid=12398/tid=12399] ppid=12396 vsize=28835928 memory=139752733991936 CPUtime=0.81 cores=0-7 /proc/12398/task/12399/stat : 12399 (java) S 12396 12396 5615 0 -1 1077944384 9826 0 0 0 76 5 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478628816000 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12400] ppid=12396 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/12398/task/12400/stat : 12400 (java) S 12396 12396 5615 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478175521168 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12401] ppid=12396 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/12398/task/12401/stat : 12401 (java) S 12396 12396 5615 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478174468368 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12402] ppid=12396 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/12398/task/12402/stat : 12402 (java) S 12396 12396 5615 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478173416080 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12403] ppid=12396 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/12398/task/12403/stat : 12403 (java) S 12396 12396 5615 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478172363280 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12404] ppid=12396 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/12398/task/12404/stat : 12404 (java) S 12396 12396 5615 0 -1 1077944384 2407 0 0 0 1 0 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478171310992 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12405] ppid=12396 vsize=28835928 memory=6791534058613427641 CPUtime=0.01 cores=0-7 /proc/12398/task/12405/stat : 12405 (java) S 12396 12396 5615 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478170258192 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12406] ppid=12396 vsize=28835928 memory=7234030490512353113 CPUtime=0.02 cores=0-7 /proc/12398/task/12406/stat : 12406 (java) S 12396 12396 5615 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478169205904 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12407] ppid=12396 vsize=28835928 memory=8026650869813564775 CPUtime=0.01 cores=0-7 /proc/12398/task/12407/stat : 12407 (java) S 12396 12396 5615 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 28 0 510916536 29527990272 66902 33554432000 4194304 4196468 140726416777904 140478168153104 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12408] ppid=12396 vsize=28835928 memory=7957689449132282197 CPUtime=0.01 cores=0-7 /proc/12398/task/12408/stat : 12408 (java) S 12396 12396 5615 0 -1 1077944384 851 0 0 0 1 0 0 0 20 0 28 0 510916538 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476954490992 140478624586370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12409] ppid=12396 vsize=28835928 memory=8026650869813564775 CPUtime=0 cores=0-7 /proc/12398/task/12409/stat : 12409 (java) S 12396 12396 5615 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 510916538 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476953437024 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12410] ppid=12396 vsize=28835928 memory=8026650869813564775 CPUtime=0 cores=0-7 /proc/12398/task/12410/stat : 12410 (java) S 12396 12396 5615 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 510916539 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476952384640 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12411] ppid=12396 vsize=28835928 memory=7957689449132282197 CPUtime=0 cores=0-7 /proc/12398/task/12411/stat : 12411 (java) S 12396 12396 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510916541 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476951332944 140478624593819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12412] ppid=12396 vsize=28835928 memory=7957689449132282197 CPUtime=2.93 cores=0-7 /proc/12398/task/12412/stat : 12412 (java) S 12396 12396 5615 0 -1 1077944384 14414 0 0 0 290 3 0 0 20 0 28 0 510916541 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476950280816 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12413] ppid=12396 vsize=28835928 memory=265104 CPUtime=3.05 cores=0-7 /proc/12398/task/12413/stat : 12413 (java) S 12396 12396 5615 0 -1 1077944384 12887 0 0 0 301 4 0 0 20 0 28 0 510916541 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476949228016 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12414] ppid=12396 vsize=28835928 memory=984 CPUtime=2.96 cores=0-7 /proc/12398/task/12414/stat : 12414 (java) S 12396 12396 5615 0 -1 1077944384 11580 0 0 0 293 3 0 0 20 0 28 0 510916541 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476948175728 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12415] ppid=12396 vsize=28835928 memory=1452 CPUtime=0.92 cores=0-7 /proc/12398/task/12415/stat : 12415 (java) S 12396 12396 5615 0 -1 1077944384 7801 0 0 0 91 1 0 0 20 0 28 0 510916541 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476947122928 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12416] ppid=12396 vsize=28835928 memory=265104 CPUtime=0 cores=0-7 /proc/12398/task/12416/stat : 12416 (java) S 12396 12396 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510916541 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476946069856 140478624585429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12417] ppid=12396 vsize=28835928 memory=3588 CPUtime=0 cores=0-7 /proc/12398/task/12417/stat : 12417 (java) S 12396 12396 5615 0 -1 1077944384 1693 0 0 0 0 0 0 0 20 0 28 0 510916542 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476945017136 140478624586370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12540] ppid=12396 vsize=28835928 memory=63536 CPUtime=8.52 cores=0-7 /proc/12398/task/12540/stat : 12540 (java) R 12396 12396 5615 0 -1 4202560 697 0 0 0 852 0 0 0 20 0 28 0 510917626 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476920857600 140478269840924 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12541] ppid=12396 vsize=28835928 memory=1452 CPUtime=8.65 cores=0-7 /proc/12398/task/12541/stat : 12541 (java) R 12396 12396 5615 0 -1 4202560 148 0 0 0 865 0 0 0 20 0 28 0 510917626 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476921908968 140478269482088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12542] ppid=12396 vsize=28835928 memory=264864 CPUtime=8.65 cores=0-7 /proc/12398/task/12542/stat : 12542 (java) R 12396 12396 5615 0 -1 4202560 152 0 0 0 865 0 0 0 20 0 28 0 510917626 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476928438232 140478269837863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12543] ppid=12396 vsize=28835928 memory=2928 CPUtime=8.6 cores=0-7 /proc/12398/task/12543/stat : 12543 (java) R 12396 12396 5615 0 -1 4202560 652 0 0 0 860 0 0 0 20 0 28 0 510917626 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476931598168 140478268682816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12544] ppid=12396 vsize=28835928 memory=1452 CPUtime=8.65 cores=0-7 /proc/12398/task/12544/stat : 12544 (java) R 12396 12396 5615 0 -1 4202560 363 0 0 0 865 0 0 0 20 0 28 0 510917626 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476933702024 140478270116111 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12545] ppid=12396 vsize=28835928 memory=265104 CPUtime=8.66 cores=0-7 /proc/12398/task/12545/stat : 12545 (java) R 12396 12396 5615 0 -1 4202560 366 0 0 0 866 0 0 0 20 0 28 0 510917627 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476926333416 140478269474346 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12546] ppid=12396 vsize=28835928 memory=1452 CPUtime=8.49 cores=0-7 /proc/12398/task/12546/stat : 12546 (java) R 12396 12396 5615 0 -1 4202560 457 0 0 0 849 0 0 0 20 0 28 0 510917627 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476932648376 140478272360265 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 [pid=12398/tid=12547] ppid=12396 vsize=28835928 memory=267548 CPUtime=8.62 cores=0-7 /proc/12398/task/12547/stat : 12547 (java) R 12396 12396 5615 0 -1 4202560 572 0 0 0 862 0 0 0 20 0 28 0 510917627 29527990272 66902 33554432000 4194304 4196468 140726416777904 140476927384240 140478269474351 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10481664 140726416786416 140726416786587 140726416786587 140726416789455 0 Current children cumulated CPU time: 150.58 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 269060 KiB [startup+19.8009 s] /proc/loadavg: 8.26 8.13 8.15 9/220 12547 /proc/meminfo: memFree=25263632/32770624 swapFree=67002564/67108860 [pid=12396] ppid=12393 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/12396/stat : 12396 (xcsp3-exec) S 12393 12396 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510916535 115843072 363 33554432000 4194304 5098028 140734960388736 140734960386840 140218575467132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18505728 140734960395131 140734960395374 140734960395374 140734960398282 0 /proc/12396/statm: 28282 363 304 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): 19.811 CPU time (s): 152.129 CPU user time (s): 151.777 CPU system time (s): 0.351433 CPU usage (%): 767.898 Max. virtual memory (cumulated for all children) (KiB): 28952348 Max. memory (cumulated for all children) (KiB): 269060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 151.777 system time used= 0.351433 maximum resident set size= 267608 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75519 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= 7558 involuntary context switches= 2895 # summary of solver processes directly reported to runsolver: # pid: 12396 # total CPU time (s): 152.129 # total CPU user time (s): 151.777 # total CPU system time (s): 0.351433 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.190774 second user time and 0.238073 second system time The end
Begin job on node148 at 2019-09-24 19:51:53 IDJOB=4407386 IDBENCH=128773 IDSOLVER=2872 FILE ID=node148/4407386-1569347550 RUNJOBID= node148-1569335941-5642 PBS_JOBID= 21705049 Free space on /tmp= 22084 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j90/Rcpsp-j90-06-08.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-4407386-1569347550/watcher-4407386-1569347550 -o /tmp/evaluation-result-4407386-1569347550/solver-4407386-1569347550 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1939807362 HOME/instance-4407386-1569347550.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8d7da43fda8420e04b4d8dcd0c7711ab RANDOM SEED=1939807362 node148.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.13 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.13 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.13 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.13 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: 25518852 kB MemAvailable: 31855076 kB Buffers: 55320 kB Cached: 6552740 kB SwapCached: 3372 kB Active: 4385396 kB Inactive: 2228064 kB Active(anon): 3228 kB Inactive(anon): 57864 kB Active(file): 4382168 kB Inactive(file): 2170200 kB Unevictable: 110656 kB Mlocked: 110656 kB SwapTotal: 67108860 kB SwapFree: 67002564 kB Dirty: 26140 kB Writeback: 0 kB AnonPages: 127180 kB Mapped: 56524 kB Shmem: 47072 kB Slab: 228272 kB SReclaimable: 199384 kB SUnreclaim: 28888 kB KernelStack: 3728 kB PageTables: 5368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514472 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 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= 22060 MiB End job on node148 at 2019-09-24 19:52:13