Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 32 | 12.8182 | 2.34877 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-18-3-6-8.xml |
MD5SUM | 5d7a010bf2d95efed7f70b0fa6bbffad |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 32 |
Best CPU time to get the best result obtained on this benchmark | 1.40566 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 54 |
Number of constraints | 73 |
Number of domains | 19 |
Minimum domain size | 4 |
Maximum domain size | 19 |
Distribution of domain sizes | [{"size":4,"count":6},{"size":5,"count":10},{"size":6,"count":2},{"size":19,"count":36}] |
Minimum variable degree | 2 |
Maximum variable degree | 21 |
Distribution of variable degrees | [{"degree":2,"count":18},{"degree":19,"count":17},{"degree":20,"count":1},{"degree":21,"count":18}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 19 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":36},{"arity":18,"count":18},{"arity":19,"count":18}] |
Number of extensional constraints | 36 |
Number of intensional constraints | 19 |
Distribution of constraint types | [{"type":"extension","count":36},{"type":"intension","count":19},{"type":"count","count":18}] |
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-4407280-1569347486.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407280-1569347486.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 3.46/1.11 c solve instance... 4.10/1.26 o -1000 4.79/1.39 o 6 9.58/1.97 o 11 9.58/1.97 o 12 10.37/2.01 o 13 10.37/2.06 o 14 10.37/2.07 o 22 11.13/2.19 o 24 11.13/2.19 o 32 12.58/2.33 s OPTIMUM FOUND 12.58/2.33 v <instantiation> 12.58/2.33 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] 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] 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] </list> 12.58/2.33 v <values>1 2 8 4 5 11 0 -1 9 3 16 10 6 12 13 14 15 -1 0 1 2 5 6 7 15 -1 3 4 9 8 14 13 12 11 10 -1 -1 1 1 1 4 2 3 0 1 5 -1 9 3 -2 2 1 3 0 </values> 12.58/2.33 v </instantiation>
OK 32
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 (13517 MiB free) memory of node 1: 16384 MiB (12067 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407280-1569347486/watcher-4407280-1569347486 -o /var/tmp/evaluation-result-4407280-1569347486/solver-4407280-1569347486 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1939807362 HOME/instance-4407280-1569347486.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=4194, runsolver pid=4191 Current StackSize limit: 8192 KiB [startup+0.10011 s]* /proc/loadavg: 7.46 7.87 8.02 3/210 4215 /proc/meminfo: memFree=26182452/32770624 swapFree=66956844/67108860 [pid=4194] ppid=4191 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4194/stat : 4194 (xcsp3-exec) S 4191 4194 29338 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511006373 115843072 363 33554432000 4194304 5098028 140730037588592 140730037586696 139664572260988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17125376 140730037592919 140730037593178 140730037593178 140730037596102 0 /proc/4194/statm: 28282 363 304 221 0 87 0 [pid=4196] ppid=4194 vsize=28227396 memory=29628 CPUtime=0.12 cores=0-7 /proc/4196/stat : 4196 (java) S 4194 4194 29338 0 -1 1077944320 5873 0 0 0 11 1 0 0 20 0 20 0 511006374 28904853504 7407 33554432000 4194304 4196468 140729028001840 140729027984384 139727436537591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 /proc/4196/statm: 7056849 7407 3091 1 0 7019032 0 [pid=4196/tid=4197] ppid=4194 vsize=28227396 memory=-3103912127665269910 CPUtime=0.09 cores=0-7 /proc/4196/task/4197/stat : 4197 (java) R 4194 4194 29338 0 -1 4202560 3790 0 0 0 8 1 0 0 20 0 20 0 511006374 28904853504 7407 33554432000 4194304 4196468 140729028001840 139727440776832 139727420581221 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4198] ppid=4194 vsize=28227396 memory=664954298551644168 CPUtime=0 cores=0-7 /proc/4196/task/4198/stat : 4198 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006375 28904853504 7407 33554432000 4194304 4196468 140729028001840 139727389158032 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4199] ppid=4194 vsize=28227396 memory=140666006914688 CPUtime=0 cores=0-7 /proc/4196/task/4199/stat : 4199 (java) S 4194 4194 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006375 28904853504 7407 33554432000 4194304 4196468 140729028001840 139727388105232 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4200] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4200/stat : 4200 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006375 28904853504 7407 33554432000 4194304 4196468 140729028001840 139727387052432 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4201] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4201/stat : 4201 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006375 28904853504 7407 33554432000 4194304 4196468 140729028001840 139727385999632 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4202] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4202/stat : 4202 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006375 28904853504 7407 33554432000 4194304 4196468 140729028001840 139727384947856 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4203] ppid=4194 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4196/task/4203/stat : 4203 (java) S 4194 4194 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006375 28904853504 7407 33554432000 4194304 4196468 140729028001840 139727383895056 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4204] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4204/stat : 4204 (java) S 4194 4194 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006375 28904853504 7407 33554432000 4194304 4196468 140729028001840 139727382842256 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4205] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4205/stat : 4205 (java) S 4194 4194 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006375 28904853504 7407 33554432000 4194304 4196468 140729028001840 139727381789456 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4206] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4206/stat : 4206 (java) S 4194 4194 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006376 28904853504 7407 33554432000 4194304 4196468 140729028001840 139725631351152 139727436548738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4207] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4207/stat : 4207 (java) S 4194 4194 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511006377 28904853504 7407 33554432000 4194304 4196468 140729028001840 139725630297120 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4208] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4208/stat : 4208 (java) S 4194 4194 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511006377 28904853504 7407 33554432000 4194304 4196468 140729028001840 139725629244272 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4209] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4209/stat : 4209 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006379 28904853504 7407 33554432000 4194304 4196468 140729028001840 139725628192592 139727436556187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4210] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4210/stat : 4210 (java) S 4194 4194 29338 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 511006379 28904853504 7407 33554432000 4194304 4196468 140729028001840 139725627140976 139727436548738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4211] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4211/stat : 4211 (java) R 4194 4194 29338 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 511006379 28904853504 7407 33554432000 4194304 4196468 140729028001840 139725626088176 139727421955536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4212] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4212/stat : 4212 (java) R 4194 4194 29338 0 -1 1077944384 394 0 0 0 0 0 0 0 20 0 20 0 511006379 28904853504 7407 33554432000 4194304 4196468 140729028001840 139725625035376 139727436548738 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4213] ppid=4194 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/4196/task/4213/stat : 4213 (java) R 4194 4194 29338 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 20 0 511006379 28904853504 7407 33554432000 4194304 4196468 140729028001840 139725623982576 139727415660822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4214] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4214/stat : 4214 (java) S 4194 4194 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006379 28904853504 7407 33554432000 4194304 4196468 140729028001840 139725622930016 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4215] ppid=4194 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4196/task/4215/stat : 4215 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006380 28904853504 7407 33554432000 4194304 4196468 140729028001840 139725179279920 139727436548738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31080 KiB [startup+0.210354 s]* /proc/loadavg: 7.46 7.87 8.02 3/210 4215 /proc/meminfo: memFree=26170464/32770624 swapFree=66956844/67108860 [pid=4194] ppid=4191 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4194/stat : 4194 (xcsp3-exec) S 4191 4194 29338 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511006373 115843072 363 33554432000 4194304 5098028 140730037588592 140730037586696 139664572260988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17125376 140730037592919 140730037593178 140730037593178 140730037596102 0 /proc/4194/statm: 28282 363 304 221 0 87 0 [pid=4196] ppid=4194 vsize=28227396 memory=40628 CPUtime=0.34 cores=0-7 /proc/4196/stat : 4196 (java) S 4194 4194 29338 0 -1 1077944320 9387 0 0 0 31 3 0 0 20 0 20 0 511006374 28904853504 10157 33554432000 4194304 4196468 140729028001840 140729027984384 139727436537591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 /proc/4196/statm: 7056849 10157 3312 1 0 7019032 0 [pid=4196/tid=4197] ppid=4194 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/4196/task/4197/stat : 4197 (java) R 4194 4194 29338 0 -1 4202560 6656 0 0 0 18 2 0 0 20 0 20 0 511006374 28904853504 10157 33554432000 4194304 4196468 140729028001840 139727440770320 139727046998480 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4198] ppid=4194 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/4196/task/4198/stat : 4198 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006375 28904853504 10157 33554432000 4194304 4196468 140729028001840 139727389158032 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4199] ppid=4194 vsize=28227396 memory=3475005561360336544 CPUtime=0 cores=0-7 /proc/4196/task/4199/stat : 4199 (java) S 4194 4194 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006375 28904853504 10157 33554432000 4194304 4196468 140729028001840 139727388105232 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4200] ppid=4194 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4196/task/4200/stat : 4200 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006375 28904853504 10157 33554432000 4194304 4196468 140729028001840 139727387052432 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4201] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4201/stat : 4201 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006375 28904853504 10157 33554432000 4194304 4196468 140729028001840 139727385999632 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4202] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4202/stat : 4202 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006375 28904853504 10157 33554432000 4194304 4196468 140729028001840 139727384947856 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4203] ppid=4194 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4196/task/4203/stat : 4203 (java) S 4194 4194 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006375 28904853504 10157 33554432000 4194304 4196468 140729028001840 139727383895056 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4204] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4204/stat : 4204 (java) S 4194 4194 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006375 28904853504 10157 33554432000 4194304 4196468 140729028001840 139727382842256 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4205] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4205/stat : 4205 (java) S 4194 4194 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006375 28904853504 10157 33554432000 4194304 4196468 140729028001840 139727381789456 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4206] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4206/stat : 4206 (java) S 4194 4194 29338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511006376 28904853504 10157 33554432000 4194304 4196468 140729028001840 139725631351152 139727436548738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4207] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4207/stat : 4207 (java) S 4194 4194 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511006377 28904853504 10157 33554432000 4194304 4196468 140729028001840 139725630297120 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4208] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4208/stat : 4208 (java) S 4194 4194 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511006377 28904853504 10157 33554432000 4194304 4196468 140729028001840 139725629244272 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4209] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4209/stat : 4209 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006379 28904853504 10157 33554432000 4194304 4196468 140729028001840 139725628192592 139727436556187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4210] ppid=4194 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/4196/task/4210/stat : 4210 (java) S 4194 4194 29338 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 20 0 511006379 28904853504 10157 33554432000 4194304 4196468 140729028001840 139725627140976 139727436548738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4211] ppid=4194 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/4196/task/4211/stat : 4211 (java) S 4194 4194 29338 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 20 0 511006379 28904853504 10157 33554432000 4194304 4196468 140729028001840 139725626088176 139727436548738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4212] ppid=4194 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/4196/task/4212/stat : 4212 (java) S 4194 4194 29338 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 20 0 511006379 28904853504 10157 33554432000 4194304 4196468 140729028001840 139725625035376 139727436548738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4213] ppid=4194 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/4196/task/4213/stat : 4213 (java) R 4194 4194 29338 0 -1 4202560 775 0 0 0 8 0 0 0 20 0 20 0 511006379 28904853504 10157 33554432000 4194304 4196468 140729028001840 139725623982576 139727436549526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4214] ppid=4194 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4214/stat : 4214 (java) S 4194 4194 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006379 28904853504 10157 33554432000 4194304 4196468 140729028001840 139725622930016 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4215] ppid=4194 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4196/task/4215/stat : 4215 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006380 28904853504 10157 33554432000 4194304 4196468 140729028001840 139725179279920 139727436548738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42080 KiB [startup+0.317708 s]* /proc/loadavg: 7.46 7.87 8.02 3/210 4215 /proc/meminfo: memFree=26163056/32770624 swapFree=66956844/67108860 [pid=4194] ppid=4191 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4194/stat : 4194 (xcsp3-exec) S 4191 4194 29338 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511006373 115843072 363 33554432000 4194304 5098028 140730037588592 140730037586696 139664572260988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17125376 140730037592919 140730037593178 140730037593178 140730037596102 0 /proc/4194/statm: 28282 363 304 221 0 87 0 [pid=4196] ppid=4194 vsize=28231652 memory=50176 CPUtime=0.53 cores=0-7 /proc/4196/stat : 4196 (java) S 4194 4194 29338 0 -1 1077944320 10933 0 0 0 50 3 0 0 20 0 20 0 511006374 28909211648 12544 33554432000 4194304 4196468 140729028001840 140729027984384 139727436537591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 /proc/4196/statm: 7057913 12544 3353 1 0 7019032 0 [pid=4196/tid=4197] ppid=4194 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/4196/task/4197/stat : 4197 (java) R 4194 4194 29338 0 -1 4202560 7915 0 0 0 28 2 0 0 20 0 20 0 511006374 28909211648 12609 33554432000 4194304 4196468 140729028001840 139727440768704 139727420618078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4198] ppid=4194 vsize=28231652 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/4196/task/4198/stat : 4198 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006375 28909211648 12609 33554432000 4194304 4196468 140729028001840 139727389158032 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4199] ppid=4194 vsize=28231652 memory=25148 CPUtime=0 cores=0-7 /proc/4196/task/4199/stat : 4199 (java) S 4194 4194 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006375 28909211648 12609 33554432000 4194304 4196468 140729028001840 139727388105232 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4200] ppid=4194 vsize=28231652 memory=14056 CPUtime=0 cores=0-7 /proc/4196/task/4200/stat : 4200 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006375 28909211648 12609 33554432000 4194304 4196468 140729028001840 139727387052432 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4201] ppid=4194 vsize=28231652 memory=2116 CPUtime=0 cores=0-7 /proc/4196/task/4201/stat : 4201 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006375 28909211648 12609 33554432000 4194304 4196468 140729028001840 139727385999632 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4202] ppid=4194 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4202/stat : 4202 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006375 28909211648 12609 33554432000 4194304 4196468 140729028001840 139727384947856 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4203] ppid=4194 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4203/stat : 4203 (java) S 4194 4194 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006375 28909211648 12609 33554432000 4194304 4196468 140729028001840 139727383895056 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4204] ppid=4194 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4204/stat : 4204 (java) S 4194 4194 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006375 28909211648 12609 33554432000 4194304 4196468 140729028001840 139727382842256 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4205] ppid=4194 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4205/stat : 4205 (java) S 4194 4194 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006375 28909211648 12609 33554432000 4194304 4196468 140729028001840 139727381789456 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4206] ppid=4194 vsize=28231652 memory=140665883288128 CPUtime=0 cores=0-7 /proc/4196/task/4206/stat : 4206 (java) S 4194 4194 29338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511006376 28909211648 12609 33554432000 4194304 4196468 140729028001840 139725631351152 139727436548738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4207] ppid=4194 vsize=28231652 memory=140665883292623 CPUtime=0 cores=0-7 /proc/4196/task/4207/stat : 4207 (java) S 4194 4194 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511006377 28909211648 12609 33554432000 4194304 4196468 140729028001840 139725630297120 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4208] ppid=4194 vsize=28231652 memory=1970350607106051 CPUtime=0 cores=0-7 /proc/4196/task/4208/stat : 4208 (java) S 4194 4194 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511006377 28909211648 12609 33554432000 4194304 4196468 140729028001840 139725629244272 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4209] ppid=4194 vsize=28231652 memory=2111016490398628 CPUtime=0 cores=0-7 /proc/4196/task/4209/stat : 4209 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006379 28909211648 12609 33554432000 4194304 4196468 140729028001840 139725628192592 139727436556187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4210] ppid=4194 vsize=28231652 memory=2111016490431492 CPUtime=0.02 cores=0-7 /proc/4196/task/4210/stat : 4210 (java) S 4194 4194 29338 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 20 0 511006379 28909211648 12609 33554432000 4194304 4196468 140729028001840 139725627140976 139727436548738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4211] ppid=4194 vsize=28231652 memory=2111016490403236 CPUtime=0.02 cores=0-7 /proc/4196/task/4211/stat : 4211 (java) R 4194 4194 29338 0 -1 1077944384 90 0 0 0 2 0 0 0 20 0 20 0 511006379 28909211648 12609 33554432000 4194304 4196468 140729028001840 139725626088176 139727436548738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4212] ppid=4194 vsize=28231652 memory=2111016490405540 CPUtime=0.04 cores=0-7 /proc/4196/task/4212/stat : 4212 (java) R 4194 4194 29338 0 -1 1077944384 526 0 0 0 4 0 0 0 20 0 20 0 511006379 28909211648 12609 33554432000 4194304 4196468 140729028001840 139725625035376 139727436548738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4213] ppid=4194 vsize=28231652 memory=2111016490431396 CPUtime=0.12 cores=0-7 /proc/4196/task/4213/stat : 4213 (java) S 4194 4194 29338 0 -1 1077944384 934 0 0 0 12 0 0 0 20 0 20 0 511006379 28909211648 12609 33554432000 4194304 4196468 140729028001840 139725623982576 139727436548738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4214] ppid=4194 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4214/stat : 4214 (java) S 4194 4194 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006379 28909211648 12609 33554432000 4194304 4196468 140729028001840 139725622930016 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4215] ppid=4194 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/4196/task/4215/stat : 4215 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006380 28909211648 12609 33554432000 4194304 4196468 140729028001840 139725179279920 139727436548738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51628 KiB [startup+0.700994 s] /proc/loadavg: 7.46 7.87 8.02 5/210 4215 /proc/meminfo: memFree=26133632/32770624 swapFree=66956844/67108860 [pid=4194] ppid=4191 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4194/stat : 4194 (xcsp3-exec) S 4191 4194 29338 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511006373 115843072 363 33554432000 4194304 5098028 140730037588592 140730037586696 139664572260988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17125376 140730037592919 140730037593178 140730037593178 140730037596102 0 /proc/4194/statm: 28282 363 304 221 0 87 0 [pid=4196] ppid=4194 vsize=28233776 memory=98084 CPUtime=1.95 cores=0-7 /proc/4196/stat : 4196 (java) S 4194 4194 29338 0 -1 1077944320 16171 0 0 0 189 6 0 0 20 0 20 0 511006374 28911386624 24521 33554432000 4194304 4196468 140729028001840 140729027984384 139727436537591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 /proc/4196/statm: 7058444 24521 3456 1 0 7019544 0 [pid=4196/tid=4197] ppid=4194 vsize=28233776 memory=7589243149741812069 CPUtime=0.68 cores=0-7 /proc/4196/task/4197/stat : 4197 (java) R 4194 4194 29338 0 -1 4202560 9431 0 0 0 64 4 0 0 20 0 20 0 511006374 28911386624 24521 33554432000 4194304 4196468 140729028001840 139727440773664 139727436559517 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4198] ppid=4194 vsize=28233776 memory=20194936226794 CPUtime=0 cores=0-7 /proc/4196/task/4198/stat : 4198 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006375 28911386624 24521 33554432000 4194304 4196468 140729028001840 139727389158032 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4199] ppid=4194 vsize=28233776 memory=281331767007584 CPUtime=0 cores=0-7 /proc/4196/task/4199/stat : 4199 (java) S 4194 4194 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006375 28911386624 24521 33554432000 4194304 4196468 140729028001840 139727388105232 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4200] ppid=4194 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/4196/task/4200/stat : 4200 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006375 28911386624 24521 33554432000 4194304 4196468 140729028001840 139727387052432 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 ################ # More data... # ################ [pid=4196/tid=4197] ppid=4194 vsize=28768336 memory=8317482817917895235 CPUtime=1.09 cores=0-7 /proc/4196/task/4197/stat : 4197 (java) S 4194 4194 29338 0 -1 1077944384 9572 0 0 0 104 5 0 0 20 0 28 0 511006374 29458776064 56239 33554432000 4194304 4196468 140729028001840 139727440778368 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4198] ppid=4194 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4198/stat : 4198 (java) S 4194 4194 29338 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 511006375 29458776064 56239 33554432000 4194304 4196468 140729028001840 139727389158032 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4199] ppid=4194 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4199/stat : 4199 (java) S 4194 4194 29338 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 511006375 29458776064 56239 33554432000 4194304 4196468 140729028001840 139727388105232 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4200] ppid=4194 vsize=28768336 memory=-1 CPUtime=0 cores=0-7 /proc/4196/task/4200/stat : 4200 (java) S 4194 4194 29338 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 511006375 29458776064 56239 33554432000 4194304 4196468 140729028001840 139727387052432 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4201] ppid=4194 vsize=28768336 memory=-1 CPUtime=0 cores=0-7 /proc/4196/task/4201/stat : 4201 (java) S 4194 4194 29338 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 511006375 29458776064 56239 33554432000 4194304 4196468 140729028001840 139727385999632 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4202] ppid=4194 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4202/stat : 4202 (java) S 4194 4194 29338 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 511006375 29458776064 56239 33554432000 4194304 4196468 140729028001840 139727384947856 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4203] ppid=4194 vsize=28768336 memory=-1 CPUtime=0 cores=0-7 /proc/4196/task/4203/stat : 4203 (java) S 4194 4194 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 511006375 29458776064 56239 33554432000 4194304 4196468 140729028001840 139727383895056 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4204] ppid=4194 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4204/stat : 4204 (java) S 4194 4194 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511006375 29458776064 56239 33554432000 4194304 4196468 140729028001840 139727382842256 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4205] ppid=4194 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4205/stat : 4205 (java) S 4194 4194 29338 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 511006375 29458776064 56239 33554432000 4194304 4196468 140729028001840 139727381789456 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4206] ppid=4194 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4206/stat : 4206 (java) S 4194 4194 29338 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 511006376 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725631351152 139727436548738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4207] ppid=4194 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4207/stat : 4207 (java) S 4194 4194 29338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511006377 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725630297120 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4208] ppid=4194 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4208/stat : 4208 (java) S 4194 4194 29338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 511006377 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725629244272 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4209] ppid=4194 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4209/stat : 4209 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511006379 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725628192592 139727436556187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4210] ppid=4194 vsize=28768336 memory=6944656592455360604 CPUtime=1 cores=0-7 /proc/4196/task/4210/stat : 4210 (java) R 4194 4194 29338 0 -1 4202560 1977 0 0 0 99 1 0 0 20 0 28 0 511006379 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725627127824 139727418083197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4211] ppid=4194 vsize=28768336 memory=6944656592455360604 CPUtime=1.1 cores=0-7 /proc/4196/task/4211/stat : 4211 (java) R 4194 4194 29338 0 -1 4202560 1839 0 0 0 110 0 0 0 20 0 28 0 511006379 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725626074736 139727421462644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4212] ppid=4194 vsize=28768336 memory=6944656592455359580 CPUtime=1.06 cores=0-7 /proc/4196/task/4212/stat : 4212 (java) R 4194 4194 29338 0 -1 4202560 2235 0 0 0 106 0 0 0 20 0 28 0 511006379 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725625028568 139727420655856 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4213] ppid=4194 vsize=28768336 memory=3620137908895587999 CPUtime=0.76 cores=0-7 /proc/4196/task/4213/stat : 4213 (java) R 4194 4194 29338 0 -1 1077944384 3150 0 0 0 75 1 0 0 20 0 28 0 511006379 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725623982576 139727436548738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4214] ppid=4194 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4214/stat : 4214 (java) S 4194 4194 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511006379 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725622930016 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4215] ppid=4194 vsize=28768336 memory=-1 CPUtime=0 cores=0-7 /proc/4196/task/4215/stat : 4215 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511006380 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725179279920 139727436548738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4250] ppid=4194 vsize=28768336 memory=-1 CPUtime=0.03 cores=0-7 /proc/4196/task/4250/stat : 4250 (java) R 4194 4194 29338 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 28 0 511006571 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725168200280 139727054107189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4251] ppid=4194 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7 /proc/4196/task/4251/stat : 4251 (java) R 4194 4194 29338 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 28 0 511006571 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725162942000 139727054984564 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4252] ppid=4194 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/4196/task/4252/stat : 4252 (java) R 4194 4194 29338 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 28 0 511006571 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725163996376 139727053718779 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4253] ppid=4194 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/4196/task/4253/stat : 4253 (java) R 4194 4194 29338 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 28 0 511006571 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725167153456 139727054405797 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4254] ppid=4194 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/4196/task/4254/stat : 4254 (java) R 4194 4194 29338 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 28 0 511006571 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725161886536 139727054107104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4255] ppid=4194 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/4196/task/4255/stat : 4255 (java) R 4194 4194 29338 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 28 0 511006571 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725160840392 139727054610555 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4256] ppid=4194 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/4196/task/4256/stat : 4256 (java) R 4194 4194 29338 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 28 0 511006571 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725166103624 139727054984170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4257] ppid=4194 vsize=28768336 memory=281331766987872 CPUtime=0 cores=0-7 /proc/4196/task/4257/stat : 4257 (java) R 4194 4194 29338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 28 0 511006572 29458776064 56239 33554432000 4194304 4196468 140729028001840 139725165050720 139727054106984 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 Current children cumulated CPU time: 10.37 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 226408 KiB [startup+2.20471 s] /proc/loadavg: 7.46 7.87 8.02 13/219 4257 /proc/meminfo: memFree=25988584/32770624 swapFree=66956844/67108860 [pid=4194] ppid=4191 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4194/stat : 4194 (xcsp3-exec) S 4191 4194 29338 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511006373 115843072 363 33554432000 4194304 5098028 140730037588592 140730037586696 139664572260988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17125376 140730037592919 140730037593178 140730037593178 140730037596102 0 /proc/4194/statm: 28282 363 304 221 0 87 0 [pid=4196] ppid=4194 vsize=28769364 memory=257172 CPUtime=11.81 cores=0-7 /proc/4196/stat : 4196 (java) S 4194 4194 29338 0 -1 1077944320 22355 0 0 0 1162 19 0 0 20 0 28 0 511006374 29459828736 64293 33554432000 4194304 4196468 140729028001840 140729027984384 139727436537591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 /proc/4196/statm: 7192341 64293 3512 1 0 7153441 0 [pid=4196/tid=4197] ppid=4194 vsize=28769364 memory=-6512908002052677417 CPUtime=1.09 cores=0-7 /proc/4196/task/4197/stat : 4197 (java) S 4194 4194 29338 0 -1 1077944384 9575 0 0 0 104 5 0 0 20 0 28 0 511006374 29459828736 64293 33554432000 4194304 4196468 140729028001840 139727440778368 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4198] ppid=4194 vsize=28769364 memory=-6658962840967544659 CPUtime=0.03 cores=0-7 /proc/4196/task/4198/stat : 4198 (java) S 4194 4194 29338 0 -1 1077944384 75 0 0 0 2 1 0 0 20 0 28 0 511006375 29459828736 64293 33554432000 4194304 4196468 140729028001840 139727389158032 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4199] ppid=4194 vsize=28769364 memory=11201815000886 CPUtime=0.01 cores=0-7 /proc/4196/task/4199/stat : 4199 (java) S 4194 4194 29338 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 28 0 511006375 29459828736 64293 33554432000 4194304 4196468 140729028001840 139727388105232 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4200] ppid=4194 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/4196/task/4200/stat : 4200 (java) S 4194 4194 29338 0 -1 1077944384 25 0 0 0 0 1 0 0 20 0 28 0 511006375 29459828736 64293 33554432000 4194304 4196468 140729028001840 139727387052432 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4201] ppid=4194 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/4196/task/4201/stat : 4201 (java) S 4194 4194 29338 0 -1 1077944384 64 0 0 0 1 1 0 0 20 0 28 0 511006375 29459828736 64293 33554432000 4194304 4196468 140729028001840 139727385999632 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4202] ppid=4194 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/4196/task/4202/stat : 4202 (java) S 4194 4194 29338 0 -1 1077944384 67 0 0 0 1 1 0 0 20 0 28 0 511006375 29459828736 64293 33554432000 4194304 4196468 140729028001840 139727384947856 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4203] ppid=4194 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7 /proc/4196/task/4203/stat : 4203 (java) S 4194 4194 29338 0 -1 1077944384 67 0 0 0 1 1 0 0 20 0 28 0 511006375 29459828736 64293 33554432000 4194304 4196468 140729028001840 139727383895056 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4204] ppid=4194 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/4196/task/4204/stat : 4204 (java) S 4194 4194 29338 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 28 0 511006375 29459828736 64293 33554432000 4194304 4196468 140729028001840 139727382842256 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4205] ppid=4194 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/4196/task/4205/stat : 4205 (java) S 4194 4194 29338 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 28 0 511006375 29459828736 64293 33554432000 4194304 4196468 140729028001840 139727381789456 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4206] ppid=4194 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4206/stat : 4206 (java) S 4194 4194 29338 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 511006376 29459828736 64293 33554432000 4194304 4196468 140729028001840 139725631351152 139727436548738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4207] ppid=4194 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4207/stat : 4207 (java) S 4194 4194 29338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511006377 29459828736 64293 33554432000 4194304 4196468 140729028001840 139725630297184 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4208] ppid=4194 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4208/stat : 4208 (java) S 4194 4194 29338 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 511006377 29459828736 64293 33554432000 4194304 4196468 140729028001840 139725629244288 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4209] ppid=4194 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4209/stat : 4209 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511006379 29459828736 64293 33554432000 4194304 4196468 140729028001840 139725628192592 139727436556187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4210] ppid=4194 vsize=28769364 memory=7019467088057086516 CPUtime=1.11 cores=0-7 /proc/4196/task/4210/stat : 4210 (java) R 4194 4194 29338 0 -1 4202560 1999 0 0 0 110 1 0 0 20 0 28 0 511006379 29459828736 64293 33554432000 4194304 4196468 140729028001840 139725627140976 139727418082185 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4211] ppid=4194 vsize=28769364 memory=5792262887553650768 CPUtime=1.17 cores=0-7 /proc/4196/task/4211/stat : 4211 (java) S 4194 4194 29338 0 -1 1077944384 1857 0 0 0 117 0 0 0 20 0 28 0 511006379 29459828736 64293 33554432000 4194304 4196468 140729028001840 139725626088176 139727436548738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4212] ppid=4194 vsize=28769364 memory=7525346122465109312 CPUtime=1.11 cores=0-7 /proc/4196/task/4212/stat : 4212 (java) S 4194 4194 29338 0 -1 1077944384 2249 0 0 0 111 0 0 0 20 0 28 0 511006379 29459828736 64293 33554432000 4194304 4196468 140729028001840 139725625035376 139727436548738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4213] ppid=4194 vsize=28769364 memory=5864345774621481062 CPUtime=0.8 cores=0-7 /proc/4196/task/4213/stat : 4213 (java) S 4194 4194 29338 0 -1 1077944384 3205 0 0 0 79 1 0 0 20 0 28 0 511006379 29459828736 64293 33554432000 4194304 4196468 140729028001840 139725623982576 139727436548738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4214] ppid=4194 vsize=28769364 memory=7235404859093772129 CPUtime=0 cores=0-7 /proc/4196/task/4214/stat : 4214 (java) S 4194 4194 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511006379 29459828736 64293 33554432000 4194304 4196468 140729028001840 139725622930016 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4215] ppid=4194 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4215/stat : 4215 (java) R 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511006380 29459828736 64293 33554432000 4194304 4196468 140729028001840 139725179279920 139727436548738 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 Current children cumulated CPU time: 11.81 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 258624 KiB [startup+2.30171 s] /proc/loadavg: 7.46 7.87 8.02 13/219 4257 /proc/meminfo: memFree=25988584/32770624 swapFree=66956844/67108860 [pid=4194] ppid=4191 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4194/stat : 4194 (xcsp3-exec) S 4191 4194 29338 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511006373 115843072 363 33554432000 4194304 5098028 140730037588592 140730037586696 139664572260988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17125376 140730037592919 140730037593178 140730037593178 140730037596102 0 /proc/4194/statm: 28282 363 304 221 0 87 0 [pid=4196] ppid=4194 vsize=28769364 memory=257216 CPUtime=12.58 cores=0-7 /proc/4196/stat : 4196 (java) S 4194 4194 29338 0 -1 1077944320 22391 0 0 0 1239 19 0 0 20 0 28 0 511006374 29459828736 64304 33554432000 4194304 4196468 140729028001840 140729027984384 139727436537591 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 /proc/4196/statm: 7192341 64304 3512 1 0 7153441 0 [pid=4196/tid=4197] ppid=4194 vsize=28769364 memory=0 CPUtime=1.09 cores=0-7 /proc/4196/task/4197/stat : 4197 (java) S 4194 4194 29338 0 -1 1077944384 9575 0 0 0 104 5 0 0 20 0 28 0 511006374 29459828736 64304 33554432000 4194304 4196468 140729028001840 139727440778368 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4198] ppid=4194 vsize=28769364 memory=0 CPUtime=0.03 cores=0-7 /proc/4196/task/4198/stat : 4198 (java) S 4194 4194 29338 0 -1 1077944384 75 0 0 0 2 1 0 0 20 0 28 0 511006375 29459828736 64304 33554432000 4194304 4196468 140729028001840 139727389158032 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4199] ppid=4194 vsize=28769364 memory=1452 CPUtime=0.01 cores=0-7 /proc/4196/task/4199/stat : 4199 (java) S 4194 4194 29338 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 28 0 511006375 29459828736 64304 33554432000 4194304 4196468 140729028001840 139727388105232 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4200] ppid=4194 vsize=28769364 memory=214024 CPUtime=0.01 cores=0-7 /proc/4196/task/4200/stat : 4200 (java) S 4194 4194 29338 0 -1 1077944384 25 0 0 0 0 1 0 0 20 0 28 0 511006375 29459828736 64304 33554432000 4194304 4196468 140729028001840 139727387052432 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4201] ppid=4194 vsize=28769364 memory=140670301881983 CPUtime=0.02 cores=0-7 /proc/4196/task/4201/stat : 4201 (java) S 4194 4194 29338 0 -1 1077944384 64 0 0 0 1 1 0 0 20 0 28 0 511006375 29459828736 64304 33554432000 4194304 4196468 140729028001840 139727385999632 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4202] ppid=4194 vsize=28769364 memory=7307184289356141163 CPUtime=0.02 cores=0-7 /proc/4196/task/4202/stat : 4202 (java) S 4194 4194 29338 0 -1 1077944384 67 0 0 0 1 1 0 0 20 0 28 0 511006375 29459828736 64304 33554432000 4194304 4196468 140729028001840 139727384947856 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4203] ppid=4194 vsize=28769364 memory=6370155173630722145 CPUtime=0.02 cores=0-7 /proc/4196/task/4203/stat : 4203 (java) S 4194 4194 29338 0 -1 1077944384 67 0 0 0 1 1 0 0 20 0 28 0 511006375 29459828736 64304 33554432000 4194304 4196468 140729028001840 139727383895056 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4204] ppid=4194 vsize=28769364 memory=1452 CPUtime=0.01 cores=0-7 /proc/4196/task/4204/stat : 4204 (java) S 4194 4194 29338 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 28 0 511006375 29459828736 64304 33554432000 4194304 4196468 140729028001840 139727382842256 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4205] ppid=4194 vsize=28769364 memory=223252 CPUtime=0.01 cores=0-7 /proc/4196/task/4205/stat : 4205 (java) S 4194 4194 29338 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 28 0 511006375 29459828736 64304 33554432000 4194304 4196468 140729028001840 139727381789456 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4206] ppid=4194 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4206/stat : 4206 (java) S 4194 4194 29338 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 511006376 29459828736 64304 33554432000 4194304 4196468 140729028001840 139725631351152 139727436548738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4207] ppid=4194 vsize=28769364 memory=55 CPUtime=0 cores=0-7 /proc/4196/task/4207/stat : 4207 (java) S 4194 4194 29338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511006377 29459828736 64304 33554432000 4194304 4196468 140729028001840 139725630297184 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4208] ppid=4194 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4208/stat : 4208 (java) S 4194 4194 29338 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 511006377 29459828736 64304 33554432000 4194304 4196468 140729028001840 139725629244288 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4209] ppid=4194 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4196/task/4209/stat : 4209 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511006379 29459828736 64304 33554432000 4194304 4196468 140729028001840 139725628192592 139727436556187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4210] ppid=4194 vsize=28769364 memory=0 CPUtime=1.14 cores=0-7 /proc/4196/task/4210/stat : 4210 (java) R 4194 4194 29338 0 -1 4202560 2009 0 0 0 113 1 0 0 20 0 28 0 511006379 29459828736 64304 33554432000 4194304 4196468 140729028001840 139725627129256 139727418057278 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4211] ppid=4194 vsize=28769364 memory=288230574492221466 CPUtime=1.18 cores=0-7 /proc/4196/task/4211/stat : 4211 (java) S 4194 4194 29338 0 -1 1077944384 1860 0 0 0 118 0 0 0 20 0 28 0 511006379 29459828736 64304 33554432000 4194304 4196468 140729028001840 139725626088176 139727436548738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4212] ppid=4194 vsize=28769364 memory=0 CPUtime=1.16 cores=0-7 /proc/4196/task/4212/stat : 4212 (java) R 4194 4194 29338 0 -1 4202560 2252 0 0 0 116 0 0 0 20 0 28 0 511006379 29459828736 64304 33554432000 4194304 4196468 140729028001840 139725625023248 139727414132368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4213] ppid=4194 vsize=28769364 memory=0 CPUtime=0.8 cores=0-7 /proc/4196/task/4213/stat : 4213 (java) S 4194 4194 29338 0 -1 1077944384 3207 0 0 0 79 1 0 0 20 0 28 0 511006379 29459828736 64304 33554432000 4194304 4196468 140729028001840 139725623982672 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4214] ppid=4194 vsize=28769364 memory=-7023579799431922829 CPUtime=0 cores=0-7 /proc/4196/task/4214/stat : 4214 (java) S 4194 4194 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511006379 29459828736 64304 33554432000 4194304 4196468 140729028001840 139725622930016 139727436547797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 [pid=4196/tid=4215] ppid=4194 vsize=28769364 memory=4426639978525455914 CPUtime=0 cores=0-7 /proc/4196/task/4215/stat : 4215 (java) S 4194 4194 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511006380 29459828736 64304 33554432000 4194304 4196468 140729028001840 139725179279920 139727436548738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28090368 140729028010972 140729028011147 140729028011147 140729028014031 0 Current children cumulated CPU time: 12.58 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 258668 KiB Child status: 0 Real time (s): 2.34877 CPU time (s): 12.8182 CPU user time (s): 12.6142 CPU system time (s): 0.204055 CPU usage (%): 545.741 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 258668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.6142 system time used= 0.204055 maximum resident set size= 258556 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22967 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4003 involuntary context switches= 263 # summary of solver processes directly reported to runsolver: # pid: 4194 # total CPU time (s): 12.8182 # total CPU user time (s): 12.6142 # total CPU system time (s): 0.204055 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.046968 second user time and 0.061168 second system time The end
Begin job on node105 at 2019-09-24 18:49:45 IDJOB=4407280 IDBENCH=128005 IDSOLVER=2872 FILE ID=node105/4407280-1569347486 RUNJOBID= node105-1569332278-29365 PBS_JOBID= 21705070 Free space on /var/tmp= 13180 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-18-3-6-8.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 /var/tmp/evaluation-result-4407280-1569347486/watcher-4407280-1569347486 -o /var/tmp/evaluation-result-4407280-1569347486/solver-4407280-1569347486 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1939807362 HOME/instance-4407280-1569347486.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5d7a010bf2d95efed7f70b0fa6bbffad RANDOM SEED=1939807362 node105.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.00 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.00 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.00 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.00 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: 26199988 kB MemAvailable: 31798800 kB Buffers: 117876 kB Cached: 5612540 kB SwapCached: 48344 kB Active: 2859696 kB Inactive: 2920540 kB Active(anon): 4788 kB Inactive(anon): 99568 kB Active(file): 2854908 kB Inactive(file): 2820972 kB Unevictable: 110928 kB Mlocked: 110928 kB SwapTotal: 67108860 kB SwapFree: 66956844 kB Dirty: 26372 kB Writeback: 0 kB AnonPages: 176272 kB Mapped: 54468 kB Shmem: 45920 kB Slab: 380448 kB SReclaimable: 351392 kB SUnreclaim: 29056 kB KernelStack: 3360 kB PageTables: 5460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506352 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 131072 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13152 MiB End job on node105 at 2019-09-24 18:49:48