Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 82 | 654.636 | 82.7562 |
Name | Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-45-01.xml |
MD5SUM | 1713c5d1d522f34d444b6ff7755d5ded |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 82 |
Best CPU time to get the best result obtained on this benchmark | 273.014 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 32 |
Number of constraints | 72 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 151 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":151,"count":31}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":7,"count":1},{"degree":8,"count":21},{"degree":9,"count":5},{"degree":10,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":68},{"arity":30,"count":4}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 68 |
Distribution of constraint types | [{"type":"intension","count":68},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399894-1568708194.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399894-1568708194.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.60/0.73 c solve instance... 2.80/0.94 o 97 2.80/0.96 o 94 3.47/1.02 o 90 15.24/2.53 o 88 15.93/2.61 o 87 21.46/3.35 o 86 33.37/4.82 o 85 51.73/7.16 o 84 51.73/7.18 o 83 54.79/7.55 o 82 654.36/82.73 s OPTIMUM FOUND 654.36/82.73 v <instantiation> 654.36/82.73 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] </list> 654.36/82.73 v <values>0 4 0 0 6 25 7 14 21 7 4 21 17 23 26 49 29 24 35 35 54 44 44 58 62 66 54 66 73 73 69 82 </values> 654.36/82.73 v </instantiation>
OK 82
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 (11633 MiB free) memory of node 1: 16384 MiB (14966 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399894-1568708194/watcher-4399894-1568708194 -o /tmp/evaluation-result-4399894-1568708194/solver-4399894-1568708194 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568700822-29673 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2074109968 HOME/instance-4399894-1568708194.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=3441, runsolver pid=3438 Current StackSize limit: 8192 KiB [startup+0.100138 s]* /proc/loadavg: 8.26 8.36 8.34 2/210 3462 /proc/meminfo: memFree=27221160/32770624 swapFree=66999436/67108860 [pid=3441] ppid=3438 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3441/stat : 3441 (xcsp3-exec) S 3438 3441 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446757814 115843072 363 33554432000 4194304 5098028 140726613324736 140726613322840 139828034286204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17977344 140726613332853 140726613333097 140726613333097 140726613336010 0 /proc/3441/statm: 28282 363 304 221 0 87 0 [pid=3443] ppid=3441 vsize=28227396 memory=29060 CPUtime=0.12 cores=0-7 /proc/3443/stat : 3443 (java) S 3441 3441 29646 0 -1 1077944320 5740 0 0 0 11 1 0 0 20 0 20 0 446757814 28904853504 7265 33554432000 4194304 4196468 140732473901680 140732473884224 140590488018679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 /proc/3443/statm: 7056849 7265 3121 1 0 7019032 0 [pid=3443/tid=3444] ppid=3441 vsize=28227396 memory=6935054825532540783 CPUtime=0.09 cores=0-7 /proc/3443/task/3444/stat : 3444 (java) R 3441 3441 29646 0 -1 4202560 3646 0 0 0 8 1 0 0 20 0 20 0 446757814 28904853504 7265 33554432000 4194304 4196468 140732473901680 140590492252960 140590488040605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3445] ppid=3441 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/3443/task/3445/stat : 3445 (java) S 3441 3441 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446757815 28904853504 7265 33554432000 4194304 4196468 140732473901680 140590039477008 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3446] ppid=3441 vsize=28227396 memory=140070042867328 CPUtime=0 cores=0-7 /proc/3443/task/3446/stat : 3446 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28904853504 7265 33554432000 4194304 4196468 140732473901680 140590038424464 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3447] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3447/stat : 3447 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28904853504 7265 33554432000 4194304 4196468 140732473901680 140590037371920 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3448] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3448/stat : 3448 (java) S 3441 3441 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446757815 28904853504 7265 33554432000 4194304 4196468 140732473901680 140590036319376 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3449] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3449/stat : 3449 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28904853504 7265 33554432000 4194304 4196468 140732473901680 140590035265808 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3450] ppid=3441 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3443/task/3450/stat : 3450 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28904853504 7265 33554432000 4194304 4196468 140732473901680 140590034213264 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3451] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3451/stat : 3451 (java) S 3441 3441 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446757815 28904853504 7265 33554432000 4194304 4196468 140732473901680 140590033160720 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3452] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3452/stat : 3452 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28904853504 7265 33554432000 4194304 4196468 140732473901680 140590032108176 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3453] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3453/stat : 3453 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757816 28904853504 7265 33554432000 4194304 4196468 140732473901680 140589204580848 140590488029826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3454] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3454/stat : 3454 (java) S 3441 3441 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446757817 28904853504 7265 33554432000 4194304 4196468 140732473901680 140589203527072 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3455] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3455/stat : 3455 (java) S 3441 3441 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446757817 28904853504 7265 33554432000 4194304 4196468 140732473901680 140589202474480 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3456] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3456/stat : 3456 (java) S 3441 3441 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446757819 28904853504 7265 33554432000 4194304 4196468 140732473901680 140589201423056 140590488037275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3457] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3457/stat : 3457 (java) S 3441 3441 29646 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 446757820 28904853504 7265 33554432000 4194304 4196468 140732473901680 140589200369648 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3458] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3458/stat : 3458 (java) S 3441 3441 29646 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 446757820 28904853504 7265 33554432000 4194304 4196468 140732473901680 140589199317104 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3459] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3459/stat : 3459 (java) S 3441 3441 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446757820 28904853504 7265 33554432000 4194304 4196468 140732473901680 140589198264560 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3460] ppid=3441 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/3443/task/3460/stat : 3460 (java) R 3441 3441 29646 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 20 0 446757820 28904853504 7265 33554432000 4194304 4196468 140732473901680 140589197212016 140590488030614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3461] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3461/stat : 3461 (java) S 3441 3441 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446757820 28904853504 7265 33554432000 4194304 4196468 140732473901680 140589196159712 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3462] ppid=3441 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3443/task/3462/stat : 3462 (java) S 3441 3441 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446757820 28904853504 7265 33554432000 4194304 4196468 140732473901680 140589195107248 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30512 KiB [startup+0.2104 s]* /proc/loadavg: 7.68 8.24 8.30 2/210 3462 /proc/meminfo: memFree=27208032/32770624 swapFree=66999436/67108860 [pid=3441] ppid=3438 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3441/stat : 3441 (xcsp3-exec) S 3438 3441 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446757814 115843072 363 33554432000 4194304 5098028 140726613324736 140726613322840 139828034286204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17977344 140726613332853 140726613333097 140726613333097 140726613336010 0 /proc/3441/statm: 28282 363 304 221 0 87 0 [pid=3443] ppid=3441 vsize=28227396 memory=40472 CPUtime=0.33 cores=0-7 /proc/3443/stat : 3443 (java) S 3441 3441 29646 0 -1 1077944320 9393 0 0 0 30 3 0 0 20 0 20 0 446757814 28904853504 10118 33554432000 4194304 4196468 140732473901680 140732473884224 140590488018679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 /proc/3443/statm: 7056849 10118 3273 1 0 7019032 0 [pid=3443/tid=3444] ppid=3441 vsize=28227396 memory=29681743523217448 CPUtime=0.19 cores=0-7 /proc/3443/task/3444/stat : 3444 (java) R 3441 3441 29646 0 -1 4202560 6628 0 0 0 17 2 0 0 20 0 20 0 446757814 28904853504 10118 33554432000 4194304 4196468 140732473901680 140590492251384 140590467096152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3445] ppid=3441 vsize=28227396 memory=288230613264367967 CPUtime=0 cores=0-7 /proc/3443/task/3445/stat : 3445 (java) S 3441 3441 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446757815 28904853504 10118 33554432000 4194304 4196468 140732473901680 140590039477008 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3446] ppid=3441 vsize=28227396 memory=4049211693076190880 CPUtime=0 cores=0-7 /proc/3443/task/3446/stat : 3446 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28904853504 10118 33554432000 4194304 4196468 140732473901680 140590038424464 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3447] ppid=3441 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3443/task/3447/stat : 3447 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28904853504 10118 33554432000 4194304 4196468 140732473901680 140590037371920 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3448] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3448/stat : 3448 (java) S 3441 3441 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446757815 28904853504 10118 33554432000 4194304 4196468 140732473901680 140590036319376 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3449] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3449/stat : 3449 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28904853504 10118 33554432000 4194304 4196468 140732473901680 140590035265808 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3450] ppid=3441 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3443/task/3450/stat : 3450 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28904853504 10118 33554432000 4194304 4196468 140732473901680 140590034213264 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3451] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3451/stat : 3451 (java) S 3441 3441 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446757815 28904853504 10118 33554432000 4194304 4196468 140732473901680 140590033160720 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3452] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3452/stat : 3452 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28904853504 10118 33554432000 4194304 4196468 140732473901680 140590032108176 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3453] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3453/stat : 3453 (java) S 3441 3441 29646 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446757816 28904853504 10118 33554432000 4194304 4196468 140732473901680 140589204580848 140590488029826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3454] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3454/stat : 3454 (java) S 3441 3441 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446757817 28904853504 10118 33554432000 4194304 4196468 140732473901680 140589203527072 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3455] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3455/stat : 3455 (java) S 3441 3441 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446757817 28904853504 10118 33554432000 4194304 4196468 140732473901680 140589202474480 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3456] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3456/stat : 3456 (java) S 3441 3441 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446757819 28904853504 10118 33554432000 4194304 4196468 140732473901680 140589201423056 140590488037275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3457] ppid=3441 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/3443/task/3457/stat : 3457 (java) S 3441 3441 29646 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 20 0 446757820 28904853504 10118 33554432000 4194304 4196468 140732473901680 140589200369648 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3458] ppid=3441 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/3443/task/3458/stat : 3458 (java) S 3441 3441 29646 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 20 0 446757820 28904853504 10118 33554432000 4194304 4196468 140732473901680 140589199317104 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3459] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3459/stat : 3459 (java) S 3441 3441 29646 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 446757820 28904853504 10118 33554432000 4194304 4196468 140732473901680 140589198264560 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3460] ppid=3441 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/3443/task/3460/stat : 3460 (java) S 3441 3441 29646 0 -1 1077944384 818 0 0 0 7 0 0 0 20 0 20 0 446757820 28904853504 10118 33554432000 4194304 4196468 140732473901680 140589197212016 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3461] ppid=3441 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3461/stat : 3461 (java) S 3441 3441 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446757820 28904853504 10118 33554432000 4194304 4196468 140732473901680 140589196159712 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3462] ppid=3441 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3443/task/3462/stat : 3462 (java) S 3441 3441 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446757820 28904853504 10118 33554432000 4194304 4196468 140732473901680 140589195107248 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41924 KiB [startup+0.318653 s]* /proc/loadavg: 7.68 8.24 8.30 3/210 3462 /proc/meminfo: memFree=27201120/32770624 swapFree=66999436/67108860 [pid=3441] ppid=3438 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3441/stat : 3441 (xcsp3-exec) S 3438 3441 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446757814 115843072 363 33554432000 4194304 5098028 140726613324736 140726613322840 139828034286204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17977344 140726613332853 140726613333097 140726613333097 140726613336010 0 /proc/3441/statm: 28282 363 304 221 0 87 0 [pid=3443] ppid=3441 vsize=28231652 memory=50112 CPUtime=0.53 cores=0-7 /proc/3443/stat : 3443 (java) S 3441 3441 29646 0 -1 1077944320 10982 0 0 0 49 4 0 0 20 0 20 0 446757814 28909211648 12528 33554432000 4194304 4196468 140732473901680 140732473884224 140590488018679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 /proc/3443/statm: 7057913 12528 3361 1 0 7019032 0 [pid=3443/tid=3444] ppid=3441 vsize=28231652 memory=6935054825532540783 CPUtime=0.31 cores=0-7 /proc/3443/task/3444/stat : 3444 (java) R 3441 3441 29646 0 -1 4202560 7882 0 0 0 28 3 0 0 20 0 20 0 446757814 28909211648 12528 33554432000 4194304 4196468 140732473901680 140590492252464 140590472099166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3445] ppid=3441 vsize=28231652 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/3443/task/3445/stat : 3445 (java) S 3441 3441 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446757815 28909211648 12593 33554432000 4194304 4196468 140732473901680 140590039477008 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3446] ppid=3441 vsize=28231652 memory=2116 CPUtime=0 cores=0-7 /proc/3443/task/3446/stat : 3446 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28909211648 12593 33554432000 4194304 4196468 140732473901680 140590038424464 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3447] ppid=3441 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3447/stat : 3447 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28909211648 12593 33554432000 4194304 4196468 140732473901680 140590037371920 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3448] ppid=3441 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3448/stat : 3448 (java) S 3441 3441 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446757815 28909211648 12593 33554432000 4194304 4196468 140732473901680 140590036319376 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3449] ppid=3441 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3449/stat : 3449 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28909211648 12593 33554432000 4194304 4196468 140732473901680 140590035265808 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3450] ppid=3441 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3450/stat : 3450 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28909211648 12593 33554432000 4194304 4196468 140732473901680 140590034213264 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3451] ppid=3441 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3451/stat : 3451 (java) S 3441 3441 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446757815 28909211648 12593 33554432000 4194304 4196468 140732473901680 140590033160720 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3452] ppid=3441 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3452/stat : 3452 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28909211648 12593 33554432000 4194304 4196468 140732473901680 140590032108176 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3453] ppid=3441 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3453/stat : 3453 (java) S 3441 3441 29646 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446757816 28909211648 12593 33554432000 4194304 4196468 140732473901680 140589204580848 140590488029826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3454] ppid=3441 vsize=28231652 memory=140069889476047 CPUtime=0 cores=0-7 /proc/3443/task/3454/stat : 3454 (java) S 3441 3441 29646 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446757817 28909211648 12593 33554432000 4194304 4196468 140732473901680 140589203527072 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3455] ppid=3441 vsize=28231652 memory=280139778947472 CPUtime=0 cores=0-7 /proc/3443/task/3455/stat : 3455 (java) S 3441 3441 29646 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446757817 28909211648 12593 33554432000 4194304 4196468 140732473901680 140589202474480 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3456] ppid=3441 vsize=28231652 memory=280139778945168 CPUtime=0 cores=0-7 /proc/3443/task/3456/stat : 3456 (java) S 3441 3441 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446757819 28909211648 12593 33554432000 4194304 4196468 140732473901680 140589201423056 140590488037275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3457] ppid=3441 vsize=28231652 memory=280139778961296 CPUtime=0.03 cores=0-7 /proc/3443/task/3457/stat : 3457 (java) S 3441 3441 29646 0 -1 1077944384 473 0 0 0 3 0 0 0 20 0 20 0 446757820 28909211648 12593 33554432000 4194304 4196468 140732473901680 140589200369648 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3458] ppid=3441 vsize=28231652 memory=280139778958992 CPUtime=0.04 cores=0-7 /proc/3443/task/3458/stat : 3458 (java) S 3441 3441 29646 0 -1 1077944384 323 0 0 0 4 0 0 0 20 0 20 0 446757820 28909211648 12593 33554432000 4194304 4196468 140732473901680 140589199317104 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3459] ppid=3441 vsize=28231652 memory=280139778965904 CPUtime=0.01 cores=0-7 /proc/3443/task/3459/stat : 3459 (java) S 3441 3441 29646 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 446757820 28909211648 12593 33554432000 4194304 4196468 140732473901680 140589198264560 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3460] ppid=3441 vsize=28231652 memory=280139778907056 CPUtime=0.12 cores=0-7 /proc/3443/task/3460/stat : 3460 (java) S 3441 3441 29646 0 -1 1077944384 952 0 0 0 12 0 0 0 20 0 20 0 446757820 28909211648 12593 33554432000 4194304 4196468 140732473901680 140589197212016 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3461] ppid=3441 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3461/stat : 3461 (java) S 3441 3441 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446757820 28909211648 12593 33554432000 4194304 4196468 140732473901680 140589196159712 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3462] ppid=3441 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/3443/task/3462/stat : 3462 (java) S 3441 3441 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446757820 28909211648 12593 33554432000 4194304 4196468 140732473901680 140589195107248 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51564 KiB [startup+0.700976 s] /proc/loadavg: 7.68 8.24 8.30 3/210 3462 /proc/meminfo: memFree=27183928/32770624 swapFree=66999436/67108860 [pid=3441] ppid=3438 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3441/stat : 3441 (xcsp3-exec) S 3438 3441 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446757814 115843072 363 33554432000 4194304 5098028 140726613324736 140726613322840 139828034286204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17977344 140726613332853 140726613333097 140726613333097 140726613336010 0 /proc/3441/statm: 28282 363 304 221 0 87 0 [pid=3443] ppid=3441 vsize=28233776 memory=88588 CPUtime=1.6 cores=0-7 /proc/3443/stat : 3443 (java) S 3441 3441 29646 0 -1 1077944320 15462 0 0 0 153 7 0 0 20 0 20 0 446757814 28911386624 22147 33554432000 4194304 4196468 140732473901680 140732473884224 140590488018679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 /proc/3443/statm: 7058444 22147 3453 1 0 7019544 0 [pid=3443/tid=3444] ppid=3441 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/3443/task/3444/stat : 3444 (java) R 3441 3441 29646 0 -1 4202560 9356 0 0 0 64 4 0 0 20 0 20 0 446757814 28911386624 22147 33554432000 4194304 4196468 140732473901680 140590492251152 140590129341092 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3445] ppid=3441 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3445/stat : 3445 (java) S 3441 3441 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446757815 28911386624 22147 33554432000 4194304 4196468 140732473901680 140590039477008 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3446] ppid=3441 vsize=28233776 memory=2353 CPUtime=0 cores=0-7 /proc/3443/task/3446/stat : 3446 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28911386624 22147 33554432000 4194304 4196468 140732473901680 140590038424464 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3447] ppid=3441 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/3443/task/3447/stat : 3447 (java) S 3441 3441 29646 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446757815 28911386624 22147 33554432000 4194304 4196468 140732473901680 140590037371920 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 ################ # More data... # ################ [pid=3443/tid=3460] ppid=3441 vsize=28969056 memory=1048 CPUtime=0.86 cores=0-7 /proc/3443/task/3460/stat : 3460 (java) S 3441 3441 29646 0 -1 1077944384 8786 0 0 0 83 3 0 0 20 0 28 0 446757820 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589197212016 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3461] ppid=3441 vsize=28969056 memory=6020 CPUtime=0 cores=0-7 /proc/3443/task/3461/stat : 3461 (java) S 3441 3441 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446757820 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589196159712 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3462] ppid=3441 vsize=28969056 memory=612 CPUtime=0.01 cores=0-7 /proc/3443/task/3462/stat : 3462 (java) S 3441 3441 29646 0 -1 1077944384 1007 0 0 0 0 1 0 0 20 0 28 0 446757820 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589195107248 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3543] ppid=3441 vsize=28969056 memory=301741373374332954 CPUtime=74.55 cores=0-7 /proc/3443/task/3543/stat : 3543 (java) R 3441 3441 29646 0 -1 4202560 724 0 0 0 7455 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589107485592 140590132520830 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3544] ppid=3441 vsize=28969056 memory=288230583166042425 CPUtime=74.36 cores=0-7 /proc/3443/task/3544/stat : 3544 (java) R 3441 3441 29646 0 -1 4202560 683 0 0 0 7436 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589106433640 140590133470036 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3545] ppid=3441 vsize=28969056 memory=1452 CPUtime=74.61 cores=0-7 /proc/3443/task/3545/stat : 3545 (java) R 3441 3441 29646 0 -1 4202560 1629 0 0 0 7461 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589110647184 140590132559660 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3546] ppid=3441 vsize=28969056 memory=242484 CPUtime=74.6 cores=0-7 /proc/3443/task/3546/stat : 3546 (java) R 3441 3441 29646 0 -1 4202560 2500 0 0 0 7458 2 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589180635368 140590131635287 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3547] ppid=3441 vsize=28969056 memory=1452 CPUtime=74.64 cores=0-7 /proc/3443/task/3547/stat : 3547 (java) R 3441 3441 29646 0 -1 4202560 1457 0 0 0 7464 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589105381256 140590133074525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3548] ppid=3441 vsize=28969056 memory=1452 CPUtime=74.46 cores=0-7 /proc/3443/task/3548/stat : 3548 (java) R 3441 3441 29646 0 -1 4202560 1032 0 0 0 7446 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589104328824 140590132132070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3549] ppid=3441 vsize=28969056 memory=237876 CPUtime=74.18 cores=0-7 /proc/3443/task/3549/stat : 3549 (java) R 3441 3441 29646 0 -1 4202560 2202 0 0 0 7418 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589181686200 140590130514461 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3550] ppid=3441 vsize=28969056 memory=3464 CPUtime=74.4 cores=0-7 /proc/3443/task/3550/stat : 3550 (java) R 3441 3441 29646 0 -1 4202560 1146 0 0 0 7440 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589182738104 140590132983712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 Current children cumulated CPU time: 651.96 s Current children cumulated vsize: 29082184 KiB Current children cumulated memory: 236252 KiB [startup+82.6016 s] /proc/loadavg: 8.30 8.26 8.30 10/219 3556 /proc/meminfo: memFree=27013736/32770624 swapFree=66999436/67108860 [pid=3441] ppid=3438 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3441/stat : 3441 (xcsp3-exec) S 3438 3441 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446757814 115843072 363 33554432000 4194304 5098028 140726613324736 140726613322840 139828034286204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17977344 140726613332853 140726613333097 140726613333097 140726613336010 0 /proc/3441/statm: 28282 363 304 221 0 87 0 [pid=3443] ppid=3441 vsize=28969056 memory=234800 CPUtime=653.56 cores=0-7 /proc/3443/stat : 3443 (java) S 3441 3441 29646 0 -1 1077944320 94407 0 0 0 65314 42 0 0 20 0 28 0 446757814 29664313344 58700 33554432000 4194304 4196468 140732473901680 140732473884224 140590488018679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 /proc/3443/statm: 7242264 58700 3522 1 0 7203364 0 [pid=3443/tid=3444] ppid=3441 vsize=28969056 memory=8112282956445269571 CPUtime=0.73 cores=0-7 /proc/3443/task/3444/stat : 3444 (java) S 3441 3441 29646 0 -1 1077944384 9596 0 0 0 69 4 0 0 20 0 28 0 446757814 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590492259456 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3445] ppid=3441 vsize=28969056 memory=4164 CPUtime=0.02 cores=0-7 /proc/3443/task/3445/stat : 3445 (java) S 3441 3441 29646 0 -1 1077944384 998 0 0 0 2 0 0 0 20 0 28 0 446757815 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590039477008 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3446] ppid=3441 vsize=28969056 memory=2828 CPUtime=0.02 cores=0-7 /proc/3443/task/3446/stat : 3446 (java) S 3441 3441 29646 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 28 0 446757815 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590038424464 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3447] ppid=3441 vsize=28969056 memory=1048 CPUtime=0.03 cores=0-7 /proc/3443/task/3447/stat : 3447 (java) S 3441 3441 29646 0 -1 1077944384 1434 0 0 0 2 1 0 0 20 0 28 0 446757815 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590037371920 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3448] ppid=3441 vsize=28969056 memory=6020 CPUtime=0.02 cores=0-7 /proc/3443/task/3448/stat : 3448 (java) S 3441 3441 29646 0 -1 1077944384 2755 0 0 0 1 1 0 0 20 0 28 0 446757815 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590036319376 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3449] ppid=3441 vsize=28969056 memory=612 CPUtime=0.02 cores=0-7 /proc/3443/task/3449/stat : 3449 (java) S 3441 3441 29646 0 -1 1077944384 862 0 0 0 2 0 0 0 20 0 28 0 446757815 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590035265808 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3450] ppid=3441 vsize=28969056 memory=1220 CPUtime=0.02 cores=0-7 /proc/3443/task/3450/stat : 3450 (java) S 3441 3441 29646 0 -1 1077944384 503 0 0 0 2 0 0 0 20 0 28 0 446757815 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590034213264 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3451] ppid=3441 vsize=28969056 memory=14004 CPUtime=0.02 cores=0-7 /proc/3443/task/3451/stat : 3451 (java) S 3441 3441 29646 0 -1 1077944384 640 0 0 0 2 0 0 0 20 0 28 0 446757815 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590033160720 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3452] ppid=3441 vsize=28969056 memory=14060 CPUtime=0.02 cores=0-7 /proc/3443/task/3452/stat : 3452 (java) S 3441 3441 29646 0 -1 1077944384 3515 0 0 0 2 0 0 0 20 0 28 0 446757815 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590032108176 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3453] ppid=3441 vsize=28969056 memory=2116 CPUtime=0.04 cores=0-7 /proc/3443/task/3453/stat : 3453 (java) S 3441 3441 29646 0 -1 1077944384 2858 0 0 0 3 1 0 0 20 0 28 0 446757816 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589204580848 140590488029826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3454] ppid=3441 vsize=28969056 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/3443/task/3454/stat : 3454 (java) S 3441 3441 29646 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 446757817 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589203527136 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3455] ppid=3441 vsize=28969056 memory=6020 CPUtime=0 cores=0-7 /proc/3443/task/3455/stat : 3455 (java) S 3441 3441 29646 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 446757817 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589202474496 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3456] ppid=3441 vsize=28969056 memory=612 CPUtime=0 cores=0-7 /proc/3443/task/3456/stat : 3456 (java) S 3441 3441 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446757819 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589201423056 140590488037275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3457] ppid=3441 vsize=28969056 memory=1220 CPUtime=2.37 cores=0-7 /proc/3443/task/3457/stat : 3457 (java) S 3441 3441 29646 0 -1 1077944384 15682 0 0 0 232 5 0 0 20 0 28 0 446757820 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589200369648 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3458] ppid=3441 vsize=28969056 memory=14004 CPUtime=2.79 cores=0-7 /proc/3443/task/3458/stat : 3458 (java) S 3441 3441 29646 0 -1 1077944384 16036 0 0 0 275 4 0 0 20 0 28 0 446757820 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589199317104 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3459] ppid=3441 vsize=28969056 memory=14060 CPUtime=2.39 cores=0-7 /proc/3443/task/3459/stat : 3459 (java) S 3441 3441 29646 0 -1 1077944384 12835 0 0 0 237 2 0 0 20 0 28 0 446757820 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589198264560 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3460] ppid=3441 vsize=28969056 memory=2116 CPUtime=0.86 cores=0-7 /proc/3443/task/3460/stat : 3460 (java) S 3441 3441 29646 0 -1 1077944384 8786 0 0 0 83 3 0 0 20 0 28 0 446757820 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589197212016 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3461] ppid=3441 vsize=28969056 memory=23716 CPUtime=0 cores=0-7 /proc/3443/task/3461/stat : 3461 (java) S 3441 3441 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446757820 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589196159712 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3462] ppid=3441 vsize=28969056 memory=532 CPUtime=0.01 cores=0-7 /proc/3443/task/3462/stat : 3462 (java) S 3441 3441 29646 0 -1 1077944384 1007 0 0 0 0 1 0 0 20 0 28 0 446757820 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589195107248 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3543] ppid=3441 vsize=28969056 memory=1556 CPUtime=74.75 cores=0-7 /proc/3443/task/3543/stat : 3543 (java) R 3441 3441 29646 0 -1 4202560 725 0 0 0 7475 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589107485592 140590472590991 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3544] ppid=3441 vsize=28969056 memory=932 CPUtime=74.56 cores=0-7 /proc/3443/task/3544/stat : 3544 (java) R 3441 3441 29646 0 -1 4202560 683 0 0 0 7456 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589106433640 140590132982583 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3545] ppid=3441 vsize=28969056 memory=3680 CPUtime=74.81 cores=0-7 /proc/3443/task/3545/stat : 3545 (java) R 3441 3441 29646 0 -1 4202560 1630 0 0 0 7481 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589110647184 140590132867549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3546] ppid=3441 vsize=28969056 memory=864 CPUtime=74.8 cores=0-7 /proc/3443/task/3546/stat : 3546 (java) R 3441 3441 29646 0 -1 4202560 2511 0 0 0 7478 2 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589180635368 140590131597347 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3547] ppid=3441 vsize=28969056 memory=1436 CPUtime=74.84 cores=0-7 /proc/3443/task/3547/stat : 3547 (java) R 3441 3441 29646 0 -1 4202560 1457 0 0 0 7484 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589105381256 140590132364261 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3548] ppid=3441 vsize=28969056 memory=1652 CPUtime=74.66 cores=0-7 /proc/3443/task/3548/stat : 3548 (java) R 3441 3441 29646 0 -1 4202560 1032 0 0 0 7466 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589104328824 140590132364692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3549] ppid=3441 vsize=28969056 memory=1980 CPUtime=74.38 cores=0-7 /proc/3443/task/3549/stat : 3549 (java) R 3441 3441 29646 0 -1 4202560 2202 0 0 0 7438 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589181686200 140590131597294 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3550] ppid=3441 vsize=28969056 memory=2540 CPUtime=74.6 cores=0-7 /proc/3443/task/3550/stat : 3550 (java) R 3441 3441 29646 0 -1 4202560 1146 0 0 0 7460 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589182738104 140590132364396 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 Current children cumulated CPU time: 653.56 s Current children cumulated vsize: 29082184 KiB Current children cumulated memory: 236252 KiB [startup+82.7016 s] /proc/loadavg: 8.30 8.26 8.30 10/219 3556 /proc/meminfo: memFree=27013736/32770624 swapFree=66999436/67108860 [pid=3441] ppid=3438 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3441/stat : 3441 (xcsp3-exec) S 3438 3441 29646 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446757814 115843072 363 33554432000 4194304 5098028 140726613324736 140726613322840 139828034286204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17977344 140726613332853 140726613333097 140726613333097 140726613336010 0 /proc/3441/statm: 28282 363 304 221 0 87 0 [pid=3443] ppid=3441 vsize=28969056 memory=234800 CPUtime=654.36 cores=0-7 /proc/3443/stat : 3443 (java) S 3441 3441 29646 0 -1 1077944320 94408 0 0 0 65394 42 0 0 20 0 28 0 446757814 29664313344 58700 33554432000 4194304 4196468 140732473901680 140732473884224 140590488018679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 /proc/3443/statm: 7242264 58700 3522 1 0 7203364 0 [pid=3443/tid=3444] ppid=3441 vsize=28969056 memory=234800 CPUtime=0.73 cores=0-7 /proc/3443/task/3444/stat : 3444 (java) S 3441 3441 29646 0 -1 1077944384 9596 0 0 0 69 4 0 0 20 0 28 0 446757814 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590492259456 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3445] ppid=3441 vsize=28969056 memory=237876 CPUtime=0.02 cores=0-7 /proc/3443/task/3445/stat : 3445 (java) S 3441 3441 29646 0 -1 1077944384 998 0 0 0 2 0 0 0 20 0 28 0 446757815 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590039477008 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3446] ppid=3441 vsize=28969056 memory=237876 CPUtime=0.02 cores=0-7 /proc/3443/task/3446/stat : 3446 (java) S 3441 3441 29646 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 28 0 446757815 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590038424464 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3447] ppid=3441 vsize=28969056 memory=234800 CPUtime=0.03 cores=0-7 /proc/3443/task/3447/stat : 3447 (java) S 3441 3441 29646 0 -1 1077944384 1434 0 0 0 2 1 0 0 20 0 28 0 446757815 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590037371920 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3448] ppid=3441 vsize=28969056 memory=1452 CPUtime=0.02 cores=0-7 /proc/3443/task/3448/stat : 3448 (java) S 3441 3441 29646 0 -1 1077944384 2755 0 0 0 1 1 0 0 20 0 28 0 446757815 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590036319376 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3449] ppid=3441 vsize=28969056 memory=1980 CPUtime=0.02 cores=0-7 /proc/3443/task/3449/stat : 3449 (java) S 3441 3441 29646 0 -1 1077944384 862 0 0 0 2 0 0 0 20 0 28 0 446757815 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590035265808 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3450] ppid=3441 vsize=28969056 memory=2540 CPUtime=0.02 cores=0-7 /proc/3443/task/3450/stat : 3450 (java) S 3441 3441 29646 0 -1 1077944384 503 0 0 0 2 0 0 0 20 0 28 0 446757815 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590034213264 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3451] ppid=3441 vsize=28969056 memory=1452 CPUtime=0.02 cores=0-7 /proc/3443/task/3451/stat : 3451 (java) S 3441 3441 29646 0 -1 1077944384 640 0 0 0 2 0 0 0 20 0 28 0 446757815 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590033160720 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3452] ppid=3441 vsize=28969056 memory=242988 CPUtime=0.02 cores=0-7 /proc/3443/task/3452/stat : 3452 (java) S 3441 3441 29646 0 -1 1077944384 3515 0 0 0 2 0 0 0 20 0 28 0 446757815 29664313344 58700 33554432000 4194304 4196468 140732473901680 140590032108176 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3453] ppid=3441 vsize=28969056 memory=10596 CPUtime=0.04 cores=0-7 /proc/3443/task/3453/stat : 3453 (java) S 3441 3441 29646 0 -1 1077944384 2858 0 0 0 3 1 0 0 20 0 28 0 446757816 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589204580848 140590488029826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3454] ppid=3441 vsize=28969056 memory=1712 CPUtime=0 cores=0-7 /proc/3443/task/3454/stat : 3454 (java) S 3441 3441 29646 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 446757817 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589203527136 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3455] ppid=3441 vsize=28969056 memory=772 CPUtime=0 cores=0-7 /proc/3443/task/3455/stat : 3455 (java) S 3441 3441 29646 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 28 0 446757817 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589202474496 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3456] ppid=3441 vsize=28969056 memory=10596 CPUtime=0 cores=0-7 /proc/3443/task/3456/stat : 3456 (java) S 3441 3441 29646 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446757819 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589201423056 140590488037275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3457] ppid=3441 vsize=28969056 memory=1452 CPUtime=2.37 cores=0-7 /proc/3443/task/3457/stat : 3457 (java) S 3441 3441 29646 0 -1 1077944384 15682 0 0 0 232 5 0 0 20 0 28 0 446757820 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589200369648 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3458] ppid=3441 vsize=28969056 memory=1452 CPUtime=2.79 cores=0-7 /proc/3443/task/3458/stat : 3458 (java) S 3441 3441 29646 0 -1 1077944384 16036 0 0 0 275 4 0 0 20 0 28 0 446757820 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589199317104 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3459] ppid=3441 vsize=28969056 memory=1652 CPUtime=2.39 cores=0-7 /proc/3443/task/3459/stat : 3459 (java) S 3441 3441 29646 0 -1 1077944384 12835 0 0 0 237 2 0 0 20 0 28 0 446757820 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589198264560 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3460] ppid=3441 vsize=28969056 memory=1980 CPUtime=0.86 cores=0-7 /proc/3443/task/3460/stat : 3460 (java) S 3441 3441 29646 0 -1 1077944384 8786 0 0 0 83 3 0 0 20 0 28 0 446757820 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589197212016 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3461] ppid=3441 vsize=28969056 memory=-1088251628401078322 CPUtime=0 cores=0-7 /proc/3443/task/3461/stat : 3461 (java) S 3441 3441 29646 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446757820 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589196159712 140590488028885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3462] ppid=3441 vsize=28969056 memory=-5921431000321636112 CPUtime=0.01 cores=0-7 /proc/3443/task/3462/stat : 3462 (java) S 3441 3441 29646 0 -1 1077944384 1007 0 0 0 0 1 0 0 20 0 28 0 446757820 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589195107248 140590488029826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3543] ppid=3441 vsize=28969056 memory=279 CPUtime=74.85 cores=0-7 /proc/3443/task/3543/stat : 3543 (java) R 3441 3441 29646 0 -1 4202560 725 0 0 0 7485 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589107485592 140590132982791 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3544] ppid=3441 vsize=28969056 memory=239 CPUtime=74.66 cores=0-7 /proc/3443/task/3544/stat : 3544 (java) R 3441 3441 29646 0 -1 4202560 683 0 0 0 7466 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589106433640 140590132647060 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3545] ppid=3441 vsize=28969056 memory=23716 CPUtime=74.91 cores=0-7 /proc/3443/task/3545/stat : 3545 (java) R 3441 3441 29646 0 -1 4202560 1631 0 0 0 7491 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589110647184 140590132365047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3546] ppid=3441 vsize=28969056 memory=532 CPUtime=74.9 cores=0-7 /proc/3443/task/3546/stat : 3546 (java) R 3441 3441 29646 0 -1 4202560 2511 0 0 0 7488 2 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589180635368 140590131635287 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3547] ppid=3441 vsize=28969056 memory=1556 CPUtime=74.94 cores=0-7 /proc/3443/task/3547/stat : 3547 (java) R 3441 3441 29646 0 -1 4202560 1457 0 0 0 7494 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589105381256 140590133075530 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3548] ppid=3441 vsize=28969056 memory=237876 CPUtime=74.76 cores=0-7 /proc/3443/task/3548/stat : 3548 (java) R 3441 3441 29646 0 -1 4202560 1032 0 0 0 7476 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589104328824 140590134343178 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3549] ppid=3441 vsize=28969056 memory=3624 CPUtime=74.48 cores=0-7 /proc/3443/task/3549/stat : 3549 (java) R 3441 3441 29646 0 -1 4202560 2202 0 0 0 7448 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589181686200 140590132868127 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 [pid=3443/tid=3550] ppid=3441 vsize=28969056 memory=48128 CPUtime=74.7 cores=0-7 /proc/3443/task/3550/stat : 3550 (java) R 3441 3441 29646 0 -1 4202560 1146 0 0 0 7470 0 0 0 20 0 28 0 446758569 29664313344 58700 33554432000 4194304 4196468 140732473901680 140589182738104 140590132982089 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140732473906154 140732473906326 140732473906326 140732473909199 0 Current children cumulated CPU time: 654.36 s Current children cumulated vsize: 29082184 KiB Current children cumulated memory: 236252 KiB Child status: 0 Real time (s): 82.7562 CPU time (s): 654.636 CPU user time (s): 654.198 CPU system time (s): 0.43874 CPU usage (%): 791.042 Max. virtual memory (cumulated for all children) (KiB): 29082184 Max. memory (cumulated for all children) (KiB): 251368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 654.198 system time used= 0.43874 maximum resident set size= 251136 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96073 page faults= 0 swaps= 0 block input operations= 0 block output operations= 288 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8570 involuntary context switches= 9020 # summary of solver processes directly reported to runsolver: # pid: 3441 # total CPU time (s): 654.636 # total CPU user time (s): 654.198 # total CPU system time (s): 0.43874 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.629122 second user time and 0.987419 second system time The end
Begin job on node140 at 2019-09-17 10:15:53 IDJOB=4399894 IDBENCH=129972 IDSOLVER=2854 FILE ID=node140/4399894-1568708194 RUNJOBID= node140-1568700822-29673 PBS_JOBID= 21703906 Free space on /tmp= 58116 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-45-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-4399894-1568708194/watcher-4399894-1568708194 -o /tmp/evaluation-result-4399894-1568708194/solver-4399894-1568708194 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568700822-29673 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2074109968 HOME/instance-4399894-1568708194.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1713c5d1d522f34d444b6ff7755d5ded RANDOM SEED=2074109968 node140.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.43 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.43 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.43 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.43 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: 27238208 kB MemAvailable: 31851684 kB Buffers: 199280 kB Cached: 4656176 kB SwapCached: 2596 kB Active: 1633900 kB Inactive: 3229560 kB Active(anon): 3304 kB Inactive(anon): 53776 kB Active(file): 1630596 kB Inactive(file): 3175784 kB Unevictable: 106420 kB Mlocked: 106420 kB SwapTotal: 67108860 kB SwapFree: 66999436 kB Dirty: 26096 kB Writeback: 0 kB AnonPages: 112428 kB Mapped: 47640 kB Shmem: 40584 kB Slab: 265132 kB SReclaimable: 235556 kB SUnreclaim: 29576 kB KernelStack: 3360 kB PageTables: 5448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505008 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 58088 MiB End job on node140 at 2019-09-17 10:17:16