Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 65 | 326.716 | 42.4056 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-9.xml |
MD5SUM | 01e24d77724351f9fbbc9dc0447b7ef7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 65 |
Best CPU time to get the best result obtained on this benchmark | 82.2388 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 75 |
Number of constraints | 101 |
Number of domains | 25 |
Minimum domain size | 4 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":4,"count":15},{"size":5,"count":6},{"size":6,"count":4},{"size":26,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 28 |
Distribution of variable degrees | [{"degree":2,"count":25},{"degree":26,"count":24},{"degree":27,"count":1},{"degree":28,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 26 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":50},{"arity":25,"count":25},{"arity":26,"count":25}] |
Number of extensional constraints | 50 |
Number of intensional constraints | 26 |
Distribution of constraint types | [{"type":"extension","count":50},{"type":"intension","count":26},{"type":"count","count":25}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399910-1568707698.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399910-1568707698.xml, -tl, 20160s, -p, 8] 0.34/0.23 c 8 solvers in parallel 0.34/0.29 c parse instance... 4.84/1.96 c solve instance... 5.13/2.09 o -1000 13.01/3.03 o -961 16.97/3.54 o 10 20.94/4.02 o 51 21.79/4.13 o 52 21.79/4.14 o 54 21.79/4.18 o 61 26.41/4.79 o 62 39.11/6.39 o 64 45.54/7.14 o 65 325.98/42.39 s OPTIMUM FOUND 325.98/42.39 v <instantiation> 325.98/42.39 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] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] </list> 325.98/42.39 v <values>5 0 -1 8 3 10 1 6 7 4 15 12 17 14 9 16 11 22 13 -1 -1 -1 23 18 -1 0 19 -1 15 14 1 18 17 16 13 2 5 6 11 12 3 4 7 10 -1 -1 -1 8 9 -1 5 1 0 6 8 -2 1 8 6 -4 0 4 4 4 7 2 4 0 6 0 0 0 7 -2 0 </values> 325.98/42.39 v </instantiation>
OK 65
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 (14919 MiB free) memory of node 1: 16384 MiB (15269 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399910-1568707698/watcher-4399910-1568707698 -o /tmp/evaluation-result-4399910-1568707698/solver-4399910-1568707698 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568702487-27624 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1050068354 HOME/instance-4399910-1568707698.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=31070, runsolver pid=31067 [startup+0.100108 s]* /proc/loadavg: 7.35 8.13 8.23 2/211 31091 /proc/meminfo: memFree=30897624/32770624 swapFree=66922468/67108860 [pid=31070] ppid=31067 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/31070/stat : 31070 (xcsp3-exec) S 31067 31070 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446707713 115843072 364 33554432000 4194304 5098028 140732716921952 140732716920056 140683042304636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23617536 140732716929909 140732716930153 140732716930153 140732716933066 0 /proc/31070/statm: 28282 364 305 221 0 87 0 [pid=31072] ppid=31070 vsize=28227396 memory=29068 CPUtime=0.12 cores=0-7 /proc/31072/stat : 31072 (java) S 31070 31070 27597 0 -1 1077944320 5684 0 0 0 11 1 0 0 20 0 20 0 446707713 28904853504 7267 33554432000 4194304 4196468 140728468984048 140728468966592 140287407402743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 /proc/31072/statm: 7056849 7267 3156 1 0 7019032 0 [pid=31072/tid=31073] ppid=31070 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/31072/task/31073/stat : 31073 (java) R 31070 31070 27597 0 -1 4202560 3594 0 0 0 8 1 0 0 20 0 20 0 446707714 28904853504 7267 33554432000 4194304 4196468 140728468984048 140287411630320 140287407414678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31074] ppid=31070 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/31072/task/31074/stat : 31074 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707714 28904853504 7267 33554432000 4194304 4196468 140728468984048 140287327255696 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31075] ppid=31070 vsize=28227396 memory=140435915818624 CPUtime=0 cores=0-7 /proc/31072/task/31075/stat : 31075 (java) S 31070 31070 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446707715 28904853504 7267 33554432000 4194304 4196468 140728468984048 140287326202896 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31076] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31076/stat : 31076 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707715 28904853504 7267 33554432000 4194304 4196468 140728468984048 140287325150096 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31077] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31077/stat : 31077 (java) S 31070 31070 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446707715 28904853504 7267 33554432000 4194304 4196468 140728468984048 140287324097296 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31078] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31078/stat : 31078 (java) S 31070 31070 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446707715 28904853504 7267 33554432000 4194304 4196468 140728468984048 140286954166928 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31079] ppid=31070 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31072/task/31079/stat : 31079 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707715 28904853504 7267 33554432000 4194304 4196468 140728468984048 140286953114128 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31080] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31080/stat : 31080 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707715 28904853504 7267 33554432000 4194304 4196468 140728468984048 140286952061328 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31081] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31081/stat : 31081 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707715 28904853504 7267 33554432000 4194304 4196468 140728468984048 140286951008528 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31082] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31082/stat : 31082 (java) S 31070 31070 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446707716 28904853504 7267 33554432000 4194304 4196468 140728468984048 140286523161456 140287407413890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31083] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31083/stat : 31083 (java) S 31070 31070 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446707717 28904853504 7267 33554432000 4194304 4196468 140728468984048 140286522107424 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31084] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31084/stat : 31084 (java) S 31070 31070 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446707717 28904853504 7267 33554432000 4194304 4196468 140728468984048 140286521054576 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31085] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31085/stat : 31085 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707719 28904853504 7267 33554432000 4194304 4196468 140728468984048 140286520002896 140287407421339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31086] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31086/stat : 31086 (java) S 31070 31070 27597 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 20 0 446707719 28904853504 7267 33554432000 4194304 4196468 140728468984048 140286518950256 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31087] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31087/stat : 31087 (java) S 31070 31070 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446707719 28904853504 7267 33554432000 4194304 4196468 140728468984048 140286517897456 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31088] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31088/stat : 31088 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707719 28904853504 7267 33554432000 4194304 4196468 140728468984048 140285461915760 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31089] ppid=31070 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/31072/task/31089/stat : 31089 (java) R 31070 31070 27597 0 -1 4202560 361 0 0 0 1 0 0 0 20 0 20 0 446707719 28904853504 7267 33554432000 4194304 4196468 140728468984048 140285460862960 140287407414678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31090] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31090/stat : 31090 (java) S 31070 31070 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446707719 28904853504 7267 33554432000 4194304 4196468 140728468984048 140285459811424 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31091] ppid=31070 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31072/task/31091/stat : 31091 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707720 28904853504 7267 33554432000 4194304 4196468 140728468984048 140285458758704 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30524 KiB [startup+0.210091 s]* /proc/loadavg: 7.35 8.13 8.23 3/211 31091 /proc/meminfo: memFree=30883336/32770624 swapFree=66922468/67108860 [pid=31070] ppid=31067 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/31070/stat : 31070 (xcsp3-exec) S 31067 31070 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446707713 115843072 364 33554432000 4194304 5098028 140732716921952 140732716920056 140683042304636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23617536 140732716929909 140732716930153 140732716930153 140732716933066 0 /proc/31070/statm: 28282 364 305 221 0 87 0 [pid=31072] ppid=31070 vsize=28227396 memory=40916 CPUtime=0.34 cores=0-7 /proc/31072/stat : 31072 (java) S 31070 31070 27597 0 -1 1077944320 9493 0 0 0 30 4 0 0 20 0 20 0 446707713 28904853504 10229 33554432000 4194304 4196468 140728468984048 140728468966592 140287407402743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 /proc/31072/statm: 7056849 10229 3244 1 0 7019032 0 [pid=31072/tid=31073] ppid=31070 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/31072/task/31073/stat : 31073 (java) R 31070 31070 27597 0 -1 4202560 6612 0 0 0 17 2 0 0 20 0 20 0 446707714 28904853504 10229 33554432000 4194304 4196468 140728468984048 140287411634656 140287407424669 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31074] ppid=31070 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/31072/task/31074/stat : 31074 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707714 28904853504 10229 33554432000 4194304 4196468 140728468984048 140287327255696 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31075] ppid=31070 vsize=28227396 memory=288370812067530368 CPUtime=0 cores=0-7 /proc/31072/task/31075/stat : 31075 (java) S 31070 31070 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446707715 28904853504 10229 33554432000 4194304 4196468 140728468984048 140287326202896 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31076] ppid=31070 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31072/task/31076/stat : 31076 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707715 28904853504 10229 33554432000 4194304 4196468 140728468984048 140287325150096 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31077] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31077/stat : 31077 (java) S 31070 31070 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446707715 28904853504 10229 33554432000 4194304 4196468 140728468984048 140287324097296 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31078] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31078/stat : 31078 (java) S 31070 31070 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446707715 28904853504 10229 33554432000 4194304 4196468 140728468984048 140286954166928 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31079] ppid=31070 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31072/task/31079/stat : 31079 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707715 28904853504 10229 33554432000 4194304 4196468 140728468984048 140286953114128 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31080] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31080/stat : 31080 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707715 28904853504 10229 33554432000 4194304 4196468 140728468984048 140286952061328 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31081] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31081/stat : 31081 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707715 28904853504 10229 33554432000 4194304 4196468 140728468984048 140286951008528 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31082] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31082/stat : 31082 (java) S 31070 31070 27597 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446707716 28904853504 10229 33554432000 4194304 4196468 140728468984048 140286523161456 140287407413890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31083] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31083/stat : 31083 (java) S 31070 31070 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446707717 28904853504 10229 33554432000 4194304 4196468 140728468984048 140286522107424 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31084] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31084/stat : 31084 (java) S 31070 31070 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446707717 28904853504 10229 33554432000 4194304 4196468 140728468984048 140286521054576 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31085] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31085/stat : 31085 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707719 28904853504 10229 33554432000 4194304 4196468 140728468984048 140286520002896 140287407421339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31086] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31086/stat : 31086 (java) S 31070 31070 27597 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 20 0 446707719 28904853504 10229 33554432000 4194304 4196468 140728468984048 140286518950256 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31087] ppid=31070 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/31072/task/31087/stat : 31087 (java) S 31070 31070 27597 0 -1 1077944384 251 0 0 0 2 0 0 0 20 0 20 0 446707719 28904853504 10229 33554432000 4194304 4196468 140728468984048 140286517897456 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31088] ppid=31070 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/31072/task/31088/stat : 31088 (java) S 31070 31070 27597 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 446707719 28904853504 10229 33554432000 4194304 4196468 140728468984048 140285461915760 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31089] ppid=31070 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/31072/task/31089/stat : 31089 (java) R 31070 31070 27597 0 -1 4202560 801 0 0 0 7 0 0 0 20 0 20 0 446707719 28904853504 10229 33554432000 4194304 4196468 140728468984048 140285460859392 140287399639870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31090] ppid=31070 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31090/stat : 31090 (java) S 31070 31070 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446707719 28904853504 10229 33554432000 4194304 4196468 140728468984048 140285459811424 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31091] ppid=31070 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31072/task/31091/stat : 31091 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707720 28904853504 10229 33554432000 4194304 4196468 140728468984048 140285458758704 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42372 KiB [startup+0.309991 s]* /proc/loadavg: 7.35 8.13 8.23 2/211 31091 /proc/meminfo: memFree=30877988/32770624 swapFree=66922468/67108860 [pid=31070] ppid=31067 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/31070/stat : 31070 (xcsp3-exec) S 31067 31070 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446707713 115843072 364 33554432000 4194304 5098028 140732716921952 140732716920056 140683042304636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23617536 140732716929909 140732716930153 140732716930153 140732716933066 0 /proc/31070/statm: 28282 364 305 221 0 87 0 [pid=31072] ppid=31070 vsize=28231652 memory=49692 CPUtime=0.52 cores=0-7 /proc/31072/stat : 31072 (java) S 31070 31070 27597 0 -1 1077944320 10781 0 0 0 47 5 0 0 20 0 20 0 446707713 28909211648 12423 33554432000 4194304 4196468 140728468984048 140728468966592 140287407402743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 /proc/31072/statm: 7057913 12423 3362 1 0 7019032 0 [pid=31072/tid=31073] ppid=31070 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/31072/task/31073/stat : 31073 (java) R 31070 31070 27597 0 -1 4202560 7687 0 0 0 26 3 0 0 20 0 20 0 446707714 28909211648 12423 33554432000 4194304 4196468 140728468984048 140287411633856 140287407424669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31074] ppid=31070 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31074/stat : 31074 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707714 28909211648 12423 33554432000 4194304 4196468 140728468984048 140287327255696 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31075] ppid=31070 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31075/stat : 31075 (java) S 31070 31070 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446707715 28909211648 12488 33554432000 4194304 4196468 140728468984048 140287326202896 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31076] ppid=31070 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31076/stat : 31076 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707715 28909211648 12488 33554432000 4194304 4196468 140728468984048 140287325150096 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31077] ppid=31070 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31077/stat : 31077 (java) S 31070 31070 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446707715 28909211648 12488 33554432000 4194304 4196468 140728468984048 140287324097296 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31078] ppid=31070 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/31072/task/31078/stat : 31078 (java) S 31070 31070 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446707715 28909211648 12488 33554432000 4194304 4196468 140728468984048 140286954166928 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31079] ppid=31070 vsize=28231652 memory=140435766997935 CPUtime=0 cores=0-7 /proc/31072/task/31079/stat : 31079 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707715 28909211648 12488 33554432000 4194304 4196468 140728468984048 140286953114128 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31080] ppid=31070 vsize=28231652 memory=140435767000240 CPUtime=0 cores=0-7 /proc/31072/task/31080/stat : 31080 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707715 28909211648 12488 33554432000 4194304 4196468 140728468984048 140286952061328 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31081] ppid=31070 vsize=28231652 memory=140435767002544 CPUtime=0 cores=0-7 /proc/31072/task/31081/stat : 31081 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707715 28909211648 12488 33554432000 4194304 4196468 140728468984048 140286951008528 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31082] ppid=31070 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31082/stat : 31082 (java) S 31070 31070 27597 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446707716 28909211648 12488 33554432000 4194304 4196468 140728468984048 140286523161456 140287407413890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31083] ppid=31070 vsize=28231652 memory=280871534012048 CPUtime=0 cores=0-7 /proc/31072/task/31083/stat : 31083 (java) S 31070 31070 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446707717 28909211648 12488 33554432000 4194304 4196468 140728468984048 140286522107424 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31084] ppid=31070 vsize=28231652 memory=280871534018960 CPUtime=0 cores=0-7 /proc/31072/task/31084/stat : 31084 (java) S 31070 31070 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446707717 28909211648 12488 33554432000 4194304 4196468 140728468984048 140286521054576 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31085] ppid=31070 vsize=28231652 memory=280871533960240 CPUtime=0 cores=0-7 /proc/31072/task/31085/stat : 31085 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707719 28909211648 12488 33554432000 4194304 4196468 140728468984048 140286520002896 140287407421339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31086] ppid=31070 vsize=28231652 memory=280871534032784 CPUtime=0.01 cores=0-7 /proc/31072/task/31086/stat : 31086 (java) S 31070 31070 27597 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 20 0 446707719 28909211648 12488 33554432000 4194304 4196468 140728468984048 140286518950256 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31087] ppid=31070 vsize=28231652 memory=280871534039696 CPUtime=0.03 cores=0-7 /proc/31072/task/31087/stat : 31087 (java) R 31070 31070 27597 0 -1 4202560 328 0 0 0 3 0 0 0 20 0 20 0 446707719 28909211648 12488 33554432000 4194304 4196468 140728468984048 140286517887840 140287388103828 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31088] ppid=31070 vsize=28231652 memory=280871534037392 CPUtime=0.03 cores=0-7 /proc/31072/task/31088/stat : 31088 (java) S 31070 31070 27597 0 -1 1077944384 82 0 0 0 3 0 0 0 20 0 20 0 446707719 28909211648 12488 33554432000 4194304 4196468 140728468984048 140285461915760 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31089] ppid=31070 vsize=28231652 memory=280871534053552 CPUtime=0.12 cores=0-7 /proc/31072/task/31089/stat : 31089 (java) S 31070 31070 27597 0 -1 1077944384 908 0 0 0 12 0 0 0 20 0 20 0 446707719 28909211648 12488 33554432000 4194304 4196468 140728468984048 140285460862960 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31090] ppid=31070 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31090/stat : 31090 (java) S 31070 31070 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446707719 28909211648 12488 33554432000 4194304 4196468 140728468984048 140285459811424 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31091] ppid=31070 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/31072/task/31091/stat : 31091 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707720 28909211648 12488 33554432000 4194304 4196468 140728468984048 140285458758704 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51148 KiB [startup+0.700979 s] /proc/loadavg: 7.35 8.13 8.23 6/211 31091 /proc/meminfo: memFree=30845724/32770624 swapFree=66922468/67108860 [pid=31070] ppid=31067 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/31070/stat : 31070 (xcsp3-exec) S 31067 31070 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446707713 115843072 364 33554432000 4194304 5098028 140732716921952 140732716920056 140683042304636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23617536 140732716929909 140732716930153 140732716930153 140732716933066 0 /proc/31070/statm: 28282 364 305 221 0 87 0 [pid=31072] ppid=31070 vsize=28233776 memory=123516 CPUtime=1.89 cores=0-7 /proc/31072/stat : 31072 (java) S 31070 31070 27597 0 -1 1077944320 16027 0 0 0 181 8 0 0 20 0 20 0 446707713 28911386624 30879 33554432000 4194304 4196468 140728468984048 140728468966592 140287407402743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 /proc/31072/statm: 7058444 30879 3447 1 0 7019544 0 [pid=31072/tid=31073] ppid=31070 vsize=28233776 memory=280871534411440 CPUtime=0.67 cores=0-7 /proc/31072/task/31073/stat : 31073 (java) R 31070 31070 27597 0 -1 4202560 8782 0 0 0 63 4 0 0 20 0 20 0 446707714 28911386624 30879 33554432000 4194304 4196468 140728468984048 140287411638224 140287004478152 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31074] ppid=31070 vsize=28233776 memory=140435767206768 CPUtime=0 cores=0-7 /proc/31072/task/31074/stat : 31074 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707714 28911386624 30879 33554432000 4194304 4196468 140728468984048 140287327255696 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31075] ppid=31070 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/31072/task/31075/stat : 31075 (java) S 31070 31070 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446707715 28911386624 30879 33554432000 4194304 4196468 140728468984048 140287326202896 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31076] ppid=31070 vsize=28233776 memory=1000 CPUtime=0 cores=0-7 /proc/31072/task/31076/stat : 31076 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446707715 28911386624 30879 33554432000 4194304 4196468 140728468984048 140287325150096 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 ################ # More data... # ################ [pid=31072/tid=31174] ppid=31070 vsize=28834900 memory=1808 CPUtime=34.18 cores=0-7 /proc/31072/task/31174/stat : 31174 (java) R 31070 31070 27597 0 -1 4202560 949 0 0 0 3417 1 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285135634320 140287010768410 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31175] ppid=31070 vsize=28834900 memory=920 CPUtime=33.96 cores=0-7 /proc/31072/task/31175/stat : 31175 (java) R 31070 31070 27597 0 -1 4202560 1037 0 0 0 3396 0 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285447679848 140287010768353 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31176] ppid=31070 vsize=28834900 memory=4428 CPUtime=34.28 cores=0-7 /proc/31072/task/31176/stat : 31176 (java) R 31070 31070 27597 0 -1 4202560 1139 0 0 0 3428 0 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285445574288 140287010768353 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31177] ppid=31070 vsize=28834900 memory=1580 CPUtime=34.33 cores=0-7 /proc/31072/task/31177/stat : 31177 (java) R 31070 31070 27597 0 -1 4202560 779 0 0 0 3433 0 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285444521312 140287010768092 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31178] ppid=31070 vsize=28834900 memory=1412 CPUtime=34.35 cores=0-7 /proc/31072/task/31178/stat : 31178 (java) R 31070 31070 27597 0 -1 4202560 2029 0 0 0 3434 1 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285133529440 140287011364363 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31179] ppid=31070 vsize=28834900 memory=0 CPUtime=34.41 cores=0-7 /proc/31072/task/31179/stat : 31179 (java) R 31070 31070 27597 0 -1 4202560 919 0 0 0 3441 0 0 0 20 0 28 0 446708429 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285134581856 140287010768353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 Current children cumulated CPU time: 321.21 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 467780 KiB [startup+42.1018 s]* /proc/loadavg: 8.12 8.20 8.25 9/219 31182 /proc/meminfo: memFree=30462140/32770624 swapFree=66922468/67108860 [pid=31070] ppid=31067 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/31070/stat : 31070 (xcsp3-exec) S 31067 31070 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446707713 115843072 364 33554432000 4194304 5098028 140732716921952 140732716920056 140683042304636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23617536 140732716929909 140732716930153 140732716930153 140732716933066 0 /proc/31070/statm: 28282 364 305 221 0 87 0 [pid=31072] ppid=31070 vsize=28834900 memory=466324 CPUtime=324.46 cores=0-7 /proc/31072/stat : 31072 (java) S 31070 31070 27597 0 -1 1077944320 60329 0 0 0 32381 65 0 0 20 0 28 0 446707713 29526937600 116581 33554432000 4194304 4196468 140728468984048 140728468966592 140287407402743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 /proc/31072/statm: 7208725 116581 3530 1 0 7169825 0 [pid=31072/tid=31073] ppid=31070 vsize=28834900 memory=8 CPUtime=1.88 cores=0-7 /proc/31072/task/31073/stat : 31073 (java) S 31070 31070 27597 0 -1 1077944384 9677 0 0 0 179 9 0 0 20 0 28 0 446707714 29526937600 116581 33554432000 4194304 4196468 140728468984048 140287411643520 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31074] ppid=31070 vsize=28834900 memory=2 CPUtime=0.06 cores=0-7 /proc/31072/task/31074/stat : 31074 (java) S 31070 31070 27597 0 -1 1077944384 323 0 0 0 3 3 0 0 20 0 28 0 446707714 29526937600 116581 33554432000 4194304 4196468 140728468984048 140287327255696 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31075] ppid=31070 vsize=28834900 memory=0 CPUtime=0.08 cores=0-7 /proc/31072/task/31075/stat : 31075 (java) S 31070 31070 27597 0 -1 1077944384 174 0 0 0 4 4 0 0 20 0 28 0 446707715 29526937600 116581 33554432000 4194304 4196468 140728468984048 140287326202896 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31076] ppid=31070 vsize=28834900 memory=4872558044660077418 CPUtime=0.07 cores=0-7 /proc/31072/task/31076/stat : 31076 (java) S 31070 31070 27597 0 -1 1077944384 209 0 0 0 3 4 0 0 20 0 28 0 446707715 29526937600 116581 33554432000 4194304 4196468 140728468984048 140287325150096 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31077] ppid=31070 vsize=28834900 memory=466300 CPUtime=0.07 cores=0-7 /proc/31072/task/31077/stat : 31077 (java) S 31070 31070 27597 0 -1 1077944384 179 0 0 0 3 4 0 0 20 0 28 0 446707715 29526937600 116581 33554432000 4194304 4196468 140728468984048 140287324097296 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31078] ppid=31070 vsize=28834900 memory=528 CPUtime=0.08 cores=0-7 /proc/31072/task/31078/stat : 31078 (java) S 31070 31070 27597 0 -1 1077944384 1179 0 0 0 4 4 0 0 20 0 28 0 446707715 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286954166928 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31079] ppid=31070 vsize=28834900 memory=1456 CPUtime=0.07 cores=0-7 /proc/31072/task/31079/stat : 31079 (java) S 31070 31070 27597 0 -1 1077944384 150 0 0 0 3 4 0 0 20 0 28 0 446707715 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286953114128 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31080] ppid=31070 vsize=28834900 memory=466212 CPUtime=0.08 cores=0-7 /proc/31072/task/31080/stat : 31080 (java) S 31070 31070 27597 0 -1 1077944384 190 0 0 0 4 4 0 0 20 0 28 0 446707715 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286952061328 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31081] ppid=31070 vsize=28834900 memory=6791534058613427641 CPUtime=0.08 cores=0-7 /proc/31072/task/31081/stat : 31081 (java) S 31070 31070 27597 0 -1 1077944384 304 0 0 0 4 4 0 0 20 0 28 0 446707715 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286951008528 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31082] ppid=31070 vsize=28834900 memory=1324 CPUtime=0.02 cores=0-7 /proc/31072/task/31082/stat : 31082 (java) S 31070 31070 27597 0 -1 1077944384 848 0 0 0 1 1 0 0 20 0 28 0 446707716 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286523161456 140287407413890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31083] ppid=31070 vsize=28834900 memory=2828 CPUtime=0 cores=0-7 /proc/31072/task/31083/stat : 31083 (java) S 31070 31070 27597 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 446707717 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286522107488 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31084] ppid=31070 vsize=28834900 memory=1000 CPUtime=0 cores=0-7 /proc/31072/task/31084/stat : 31084 (java) S 31070 31070 27597 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 446707717 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286521054592 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31085] ppid=31070 vsize=28834900 memory=1560 CPUtime=0 cores=0-7 /proc/31072/task/31085/stat : 31085 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446707719 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286520002896 140287407421339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31086] ppid=31070 vsize=28834900 memory=1172 CPUtime=2.48 cores=0-7 /proc/31072/task/31086/stat : 31086 (java) S 31070 31070 27597 0 -1 1077944384 9989 0 0 0 245 3 0 0 20 0 28 0 446707719 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286518950256 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31087] ppid=31070 vsize=28834900 memory=14008 CPUtime=2.28 cores=0-7 /proc/31072/task/31087/stat : 31087 (java) S 31070 31070 27597 0 -1 1077944384 6334 0 0 0 227 1 0 0 20 0 28 0 446707719 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286517897456 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31088] ppid=31070 vsize=28834900 memory=14076 CPUtime=2.59 cores=0-7 /proc/31072/task/31088/stat : 31088 (java) S 31070 31070 27597 0 -1 1077944384 9796 0 0 0 257 2 0 0 20 0 28 0 446707719 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285461915760 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31089] ppid=31070 vsize=28834900 memory=2116 CPUtime=0.99 cores=0-7 /proc/31072/task/31089/stat : 31089 (java) S 31070 31070 27597 0 -1 1077944384 7448 0 0 0 97 2 0 0 20 0 28 0 446707719 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285460862960 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31090] ppid=31070 vsize=28834900 memory=13188 CPUtime=0 cores=0-7 /proc/31072/task/31090/stat : 31090 (java) S 31070 31070 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446707719 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285459811424 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31091] ppid=31070 vsize=28834900 memory=528 CPUtime=0.01 cores=0-7 /proc/31072/task/31091/stat : 31091 (java) S 31070 31070 27597 0 -1 1077944384 1032 0 0 0 0 1 0 0 20 0 28 0 446707720 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285458758704 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31172] ppid=31070 vsize=28834900 memory=1560 CPUtime=34.83 cores=0-7 /proc/31072/task/31172/stat : 31172 (java) R 31070 31070 27597 0 -1 4202560 731 0 0 0 3483 0 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285131422704 140287010768235 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31173] ppid=31070 vsize=28834900 memory=932 CPUtime=34.86 cores=0-7 /proc/31072/task/31173/stat : 31173 (java) R 31070 31070 27597 0 -1 4202560 478 0 0 0 3486 0 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285132476384 140287010768353 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31174] ppid=31070 vsize=28834900 memory=1492 CPUtime=34.58 cores=0-7 /proc/31072/task/31174/stat : 31174 (java) R 31070 31070 27597 0 -1 4202560 949 0 0 0 3457 1 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285135634208 140287010768289 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31175] ppid=31070 vsize=28834900 memory=876 CPUtime=34.35 cores=0-7 /proc/31072/task/31175/stat : 31175 (java) R 31070 31070 27597 0 -1 4202560 1055 0 0 0 3435 0 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285447679848 140287010768353 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31176] ppid=31070 vsize=28834900 memory=1448 CPUtime=34.69 cores=0-7 /proc/31072/task/31176/stat : 31176 (java) R 31070 31070 27597 0 -1 4202560 1145 0 0 0 3469 0 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285445574288 140287010768353 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31177] ppid=31070 vsize=28834900 memory=1980 CPUtime=34.74 cores=0-7 /proc/31072/task/31177/stat : 31177 (java) R 31070 31070 27597 0 -1 4202560 779 0 0 0 3474 0 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285444521448 140287010768294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31178] ppid=31070 vsize=28834900 memory=2432 CPUtime=34.76 cores=0-7 /proc/31072/task/31178/stat : 31178 (java) R 31070 31070 27597 0 -1 4202560 2029 0 0 0 3475 1 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285133529440 140287010768256 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31179] ppid=31070 vsize=28834900 memory=1760 CPUtime=34.81 cores=0-7 /proc/31072/task/31179/stat : 31179 (java) R 31070 31070 27597 0 -1 4202560 919 0 0 0 3481 0 0 0 20 0 28 0 446708429 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285134581992 140287010768294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 Current children cumulated CPU time: 324.46 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 467780 KiB [startup+42.3018 s] /proc/loadavg: 8.12 8.20 8.25 9/219 31182 /proc/meminfo: memFree=30462140/32770624 swapFree=66922468/67108860 [pid=31070] ppid=31067 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/31070/stat : 31070 (xcsp3-exec) S 31067 31070 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446707713 115843072 364 33554432000 4194304 5098028 140732716921952 140732716920056 140683042304636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23617536 140732716929909 140732716930153 140732716930153 140732716933066 0 /proc/31070/statm: 28282 364 305 221 0 87 0 [pid=31072] ppid=31070 vsize=28834900 memory=466324 CPUtime=325.98 cores=0-7 /proc/31072/stat : 31072 (java) S 31070 31070 27597 0 -1 1077944320 60330 0 0 0 32533 65 0 0 20 0 28 0 446707713 29526937600 116581 33554432000 4194304 4196468 140728468984048 140728468966592 140287407402743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 /proc/31072/statm: 7208725 116581 3530 1 0 7169825 0 [pid=31072/tid=31073] ppid=31070 vsize=28834900 memory=14136632290838955 CPUtime=1.88 cores=0-7 /proc/31072/task/31073/stat : 31073 (java) S 31070 31070 27597 0 -1 1077944384 9677 0 0 0 179 9 0 0 20 0 28 0 446707714 29526937600 116581 33554432000 4194304 4196468 140728468984048 140287411643520 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31074] ppid=31070 vsize=28834900 memory=2828 CPUtime=0.06 cores=0-7 /proc/31072/task/31074/stat : 31074 (java) S 31070 31070 27597 0 -1 1077944384 323 0 0 0 3 3 0 0 20 0 28 0 446707714 29526937600 116581 33554432000 4194304 4196468 140728468984048 140287327255696 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31075] ppid=31070 vsize=28834900 memory=1456 CPUtime=0.08 cores=0-7 /proc/31072/task/31075/stat : 31075 (java) S 31070 31070 27597 0 -1 1077944384 174 0 0 0 4 4 0 0 20 0 28 0 446707715 29526937600 116581 33554432000 4194304 4196468 140728468984048 140287326202896 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31076] ppid=31070 vsize=28834900 memory=466296 CPUtime=0.07 cores=0-7 /proc/31072/task/31076/stat : 31076 (java) S 31070 31070 27597 0 -1 1077944384 209 0 0 0 3 4 0 0 20 0 28 0 446707715 29526937600 116581 33554432000 4194304 4196468 140728468984048 140287325150096 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31077] ppid=31070 vsize=28834900 memory=1172 CPUtime=0.07 cores=0-7 /proc/31072/task/31077/stat : 31077 (java) S 31070 31070 27597 0 -1 1077944384 179 0 0 0 3 4 0 0 20 0 28 0 446707715 29526937600 116581 33554432000 4194304 4196468 140728468984048 140287324097296 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31078] ppid=31070 vsize=28834900 memory=14008 CPUtime=0.08 cores=0-7 /proc/31072/task/31078/stat : 31078 (java) S 31070 31070 27597 0 -1 1077944384 1179 0 0 0 4 4 0 0 20 0 28 0 446707715 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286954166928 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31079] ppid=31070 vsize=28834900 memory=14076 CPUtime=0.07 cores=0-7 /proc/31072/task/31079/stat : 31079 (java) S 31070 31070 27597 0 -1 1077944384 150 0 0 0 3 4 0 0 20 0 28 0 446707715 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286953114128 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31080] ppid=31070 vsize=28834900 memory=2116 CPUtime=0.08 cores=0-7 /proc/31072/task/31080/stat : 31080 (java) S 31070 31070 27597 0 -1 1077944384 190 0 0 0 4 4 0 0 20 0 28 0 446707715 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286952061328 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31081] ppid=31070 vsize=28834900 memory=13188 CPUtime=0.08 cores=0-7 /proc/31072/task/31081/stat : 31081 (java) S 31070 31070 27597 0 -1 1077944384 304 0 0 0 4 4 0 0 20 0 28 0 446707715 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286951008528 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31082] ppid=31070 vsize=28834900 memory=288230574492221466 CPUtime=0.02 cores=0-7 /proc/31072/task/31082/stat : 31082 (java) S 31070 31070 27597 0 -1 1077944384 848 0 0 0 1 1 0 0 20 0 28 0 446707716 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286523161456 140287407413890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31083] ppid=31070 vsize=28834900 memory=288230583166042426 CPUtime=0 cores=0-7 /proc/31072/task/31083/stat : 31083 (java) S 31070 31070 27597 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 446707717 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286522107488 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31084] ppid=31070 vsize=28834900 memory=14136632290838955 CPUtime=0 cores=0-7 /proc/31072/task/31084/stat : 31084 (java) S 31070 31070 27597 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 446707717 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286521054592 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31085] ppid=31070 vsize=28834900 memory=1456 CPUtime=0 cores=0-7 /proc/31072/task/31085/stat : 31085 (java) S 31070 31070 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446707719 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286520002896 140287407421339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31086] ppid=31070 vsize=28834900 memory=466324 CPUtime=2.48 cores=0-7 /proc/31072/task/31086/stat : 31086 (java) S 31070 31070 27597 0 -1 1077944384 9989 0 0 0 245 3 0 0 20 0 28 0 446707719 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286518950256 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31087] ppid=31070 vsize=28834900 memory=1448 CPUtime=2.28 cores=0-7 /proc/31072/task/31087/stat : 31087 (java) S 31070 31070 27597 0 -1 1077944384 6334 0 0 0 227 1 0 0 20 0 28 0 446707719 29526937600 116581 33554432000 4194304 4196468 140728468984048 140286517897456 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31088] ppid=31070 vsize=28834900 memory=1980 CPUtime=2.59 cores=0-7 /proc/31072/task/31088/stat : 31088 (java) S 31070 31070 27597 0 -1 1077944384 9796 0 0 0 257 2 0 0 20 0 28 0 446707719 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285461915760 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31089] ppid=31070 vsize=28834900 memory=2432 CPUtime=0.99 cores=0-7 /proc/31072/task/31089/stat : 31089 (java) S 31070 31070 27597 0 -1 1077944384 7448 0 0 0 97 2 0 0 20 0 28 0 446707719 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285460862960 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31090] ppid=31070 vsize=28834900 memory=1760 CPUtime=0 cores=0-7 /proc/31072/task/31090/stat : 31090 (java) S 31070 31070 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446707719 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285459811424 140287407412949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31091] ppid=31070 vsize=28834900 memory=111636 CPUtime=0.01 cores=0-7 /proc/31072/task/31091/stat : 31091 (java) S 31070 31070 27597 0 -1 1077944384 1032 0 0 0 0 1 0 0 20 0 28 0 446707720 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285458758704 140287407413890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31172] ppid=31070 vsize=28834900 memory=800 CPUtime=35.02 cores=0-7 /proc/31072/task/31172/stat : 31172 (java) R 31070 31070 27597 0 -1 4202560 731 0 0 0 3502 0 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285131422704 140287010768395 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31173] ppid=31070 vsize=28834900 memory=4104 CPUtime=35.05 cores=0-7 /proc/31072/task/31173/stat : 31173 (java) R 31070 31070 27597 0 -1 4202560 478 0 0 0 3505 0 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285132476384 140287010768121 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31174] ppid=31070 vsize=28834900 memory=1808 CPUtime=34.77 cores=0-7 /proc/31072/task/31174/stat : 31174 (java) R 31070 31070 27597 0 -1 4202560 949 0 0 0 3476 1 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285135634208 140287010768317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31175] ppid=31070 vsize=28834900 memory=920 CPUtime=34.54 cores=0-7 /proc/31072/task/31175/stat : 31175 (java) R 31070 31070 27597 0 -1 4202560 1055 0 0 0 3454 0 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285447679848 140287010768353 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31176] ppid=31070 vsize=28834900 memory=4428 CPUtime=34.88 cores=0-7 /proc/31072/task/31176/stat : 31176 (java) R 31070 31070 27597 0 -1 4202560 1146 0 0 0 3488 0 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285445574288 140287010768016 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31177] ppid=31070 vsize=28834900 memory=1580 CPUtime=34.93 cores=0-7 /proc/31072/task/31177/stat : 31177 (java) R 31070 31070 27597 0 -1 4202560 779 0 0 0 3493 0 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285444521448 140287011149568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31178] ppid=31070 vsize=28834900 memory=1412 CPUtime=34.95 cores=0-7 /proc/31072/task/31178/stat : 31178 (java) R 31070 31070 27597 0 -1 4202560 2029 0 0 0 3494 1 0 0 20 0 28 0 446708428 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285133529576 140287011421048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 [pid=31072/tid=31179] ppid=31070 vsize=28834900 memory=280871534949664 CPUtime=35 cores=0-7 /proc/31072/task/31179/stat : 31179 (java) R 31070 31070 27597 0 -1 4202560 919 0 0 0 3500 0 0 0 20 0 28 0 446708429 29526937600 116581 33554432000 4194304 4196468 140728468984048 140285134581992 140287010768159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30511104 140728468988906 140728468989078 140728468989078 140728468991951 0 Current children cumulated CPU time: 325.98 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 467780 KiB [startup+42.4012 s] /proc/loadavg: 8.12 8.20 8.25 9/219 31182 /proc/meminfo: memFree=30462140/32770624 swapFree=66922468/67108860 [pid=31070] ppid=31067 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/31070/stat : 31070 (xcsp3-exec) S 31067 31070 27597 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446707713 115843072 364 33554432000 4194304 5098028 140732716921952 140732716920056 140683042304636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23617536 140732716929909 140732716930153 140732716930153 140732716933066 0 /proc/31070/statm: 28282 364 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB Child status: 0 Real time (s): 42.4056 CPU time (s): 326.716 CPU user time (s): 326.054 CPU system time (s): 0.661576 CPU usage (%): 770.454 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 467780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 326.054 system time used= 0.661576 maximum resident set size= 466724 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62122 page faults= 0 swaps= 0 block input operations= 0 block output operations= 200 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6965 involuntary context switches= 5011 # summary of solver processes directly reported to runsolver: # pid: 31070 # total CPU time (s): 326.716 # total CPU user time (s): 326.054 # total CPU system time (s): 0.661576 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.342084 second user time and 0.591077 second system time The end
Begin job on node141 at 2019-09-17 10:07:36 IDJOB=4399910 IDBENCH=128013 IDSOLVER=2854 FILE ID=node141/4399910-1568707698 RUNJOBID= node141-1568702487-27624 PBS_JOBID= 21703919 Free space on /tmp= 58544 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-25-5-5-9.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-4399910-1568707698/watcher-4399910-1568707698 -o /tmp/evaluation-result-4399910-1568707698/solver-4399910-1568707698 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568702487-27624 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1050068354 HOME/instance-4399910-1568707698.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 01e24d77724351f9fbbc9dc0447b7ef7 RANDOM SEED=1050068354 node141.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 : 5332.93 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 : 5332.93 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 : 5332.93 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 : 5332.93 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: 30913596 kB MemAvailable: 31827336 kB Buffers: 231096 kB Cached: 979196 kB SwapCached: 77704 kB Active: 565264 kB Inactive: 727096 kB Active(anon): 9696 kB Inactive(anon): 115632 kB Active(file): 555568 kB Inactive(file): 611464 kB Unevictable: 108632 kB Mlocked: 108632 kB SwapTotal: 67108860 kB SwapFree: 66922468 kB Dirty: 27340 kB Writeback: 0 kB AnonPages: 141468 kB Mapped: 43264 kB Shmem: 34648 kB Slab: 155520 kB SReclaimable: 125088 kB SUnreclaim: 30432 kB KernelStack: 3712 kB PageTables: 5340 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506736 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 96256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 58516 MiB End job on node141 at 2019-09-17 10:08:19