Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 90 | 378.73 | 48.1313 |
Name | Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-02.xml |
MD5SUM | fbff45376af17ae2a145abecb1f2c180 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 90 |
Best CPU time to get the best result obtained on this benchmark | 226.554 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 32 |
Number of constraints | 62 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 180 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":180,"count":31}] |
Minimum variable degree | 3 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":1},{"degree":6,"count":1},{"degree":7,"count":10},{"degree":8,"count":17},{"degree":9,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":2,"count":58},{"arity":30,"count":4}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 58 |
Distribution of constraint types | [{"type":"intension","count":58},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407398-1569347565.xml" -tl '2016s' -p 8 0.09/0.20 c Choco e747e1e 0.09/0.20 c [HOME/instance-4407398-1569347565.xml, -tl, 2016s, -p, 8] 0.30/0.24 c 8 solvers in parallel 0.30/0.31 c parse instance... 1.59/0.73 c solve instance... 2.30/0.85 o 109 3.49/1.01 o 107 3.49/1.06 o 103 4.21/1.16 o 102 5.76/1.35 o 100 6.55/1.49 o 99 7.25/1.53 o 98 11.28/2.05 o 96 17.65/2.81 o 95 39.06/5.58 o 94 52.60/7.29 o 92 53.45/7.40 o 91 70.11/9.50 o 90 378.57/48.11 s OPTIMUM FOUND 378.57/48.11 v <instantiation> 378.57/48.11 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] </list> 378.57/48.11 v <values>0 6 0 0 14 7 20 25 32 12 52 14 18 42 61 30 18 19 40 61 27 73 71 50 62 40 53 79 49 85 71 90 </values> 378.57/48.11 v </instantiation>
OK 90
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 (13554 MiB free) memory of node 1: 16384 MiB (14261 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407398-1569347565/watcher-4407398-1569347565 -o /var/tmp/evaluation-result-4407398-1569347565/solver-4407398-1569347565 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1396051300 HOME/instance-4407398-1569347565.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=21543, runsolver pid=21540 Current StackSize limit: 8192 KiB [startup+0.1001 s]* /proc/loadavg: 8.30 7.89 7.92 2/212 21564 /proc/meminfo: memFree=28466140/32770624 swapFree=67023936/67108860 [pid=21543] ppid=21540 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21543/stat : 21543 (xcsp3-exec) S 21540 21543 16140 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511029026 115843072 363 33554432000 4194304 5098028 140722281840576 140722281838680 140397852041852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10506240 140722281845591 140722281845850 140722281845850 140722281848774 0 /proc/21543/statm: 28282 363 304 221 0 87 0 [pid=21545] ppid=21543 vsize=28227396 memory=29396 CPUtime=0.09 cores=0-7 /proc/21545/stat : 21545 (java) S 21543 21543 16140 0 -1 1077944320 5791 0 0 0 8 1 0 0 20 0 20 0 511029026 28904853504 7349 33554432000 4194304 4196468 140734681928800 140734681911344 140043367821047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 /proc/21545/statm: 7056849 7349 3050 1 0 7019032 0 [pid=21545/tid=21546] ppid=21543 vsize=28227396 memory=4134930498285298233 CPUtime=0.06 cores=0-7 /proc/21545/task/21546/stat : 21546 (java) R 21543 21543 16140 0 -1 4202560 3824 0 0 0 6 0 0 0 20 0 20 0 511029026 28904853504 7349 33554432000 4194304 4196468 140734681928800 140043372046896 140043351901534 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21547] ppid=21543 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21545/task/21547/stat : 21547 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029027 28904853504 7349 33554432000 4194304 4196468 140734681928800 140043320441872 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21548] ppid=21543 vsize=28227396 memory=139987113612928 CPUtime=0 cores=0-7 /proc/21545/task/21548/stat : 21548 (java) S 21543 21543 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511029027 28904853504 7349 33554432000 4194304 4196468 140734681928800 140043319389328 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21549] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21549/stat : 21549 (java) S 21543 21543 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511029027 28904853504 7349 33554432000 4194304 4196468 140734681928800 140043318336272 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21550] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21550/stat : 21550 (java) S 21543 21543 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511029027 28904853504 7349 33554432000 4194304 4196468 140734681928800 140043317283728 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21551] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21551/stat : 21551 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029027 28904853504 7349 33554432000 4194304 4196468 140734681928800 140043316230672 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21552] ppid=21543 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21545/task/21552/stat : 21552 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029027 28904853504 7349 33554432000 4194304 4196468 140734681928800 140042913569424 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21553] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21553/stat : 21553 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029027 28904853504 7349 33554432000 4194304 4196468 140734681928800 140042912516368 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21554] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21554/stat : 21554 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029027 28904853504 7349 33554432000 4194304 4196468 140734681928800 140042911463824 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21555] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21555/stat : 21555 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029028 28904853504 7349 33554432000 4194304 4196468 140734681928800 140041965767408 140043367832194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21556] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21556/stat : 21556 (java) S 21543 21543 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511029029 28904853504 7349 33554432000 4194304 4196468 140734681928800 140041964713632 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21557] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21557/stat : 21557 (java) S 21543 21543 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511029029 28904853504 7349 33554432000 4194304 4196468 140734681928800 140041963660528 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21558] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21558/stat : 21558 (java) S 21543 21543 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511029032 28904853504 7349 33554432000 4194304 4196468 140734681928800 140041962609104 140043367839643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21559] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21559/stat : 21559 (java) S 21543 21543 16140 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 511029033 28904853504 7349 33554432000 4194304 4196468 140734681928800 140041961556208 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21560] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21560/stat : 21560 (java) S 21543 21543 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511029033 28904853504 7349 33554432000 4194304 4196468 140734681928800 140041960503664 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21561] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21561/stat : 21561 (java) S 21543 21543 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511029033 28904853504 7349 33554432000 4194304 4196468 140734681928800 140041959450608 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21562] ppid=21543 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21545/task/21562/stat : 21562 (java) S 21543 21543 16140 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 20 0 511029034 28904853504 7349 33554432000 4194304 4196468 140734681928800 140041958398064 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21563] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21563/stat : 21563 (java) S 21543 21543 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511029034 28904853504 7349 33554432000 4194304 4196468 140734681928800 140041957346272 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21564] ppid=21543 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21545/task/21564/stat : 21564 (java) S 21543 21543 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511029034 28904853504 7349 33554432000 4194304 4196468 140734681928800 140041956293808 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30848 KiB [startup+0.210505 s]* /proc/loadavg: 8.30 7.89 7.92 2/212 21564 /proc/meminfo: memFree=28440228/32770624 swapFree=67023936/67108860 [pid=21543] ppid=21540 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21543/stat : 21543 (xcsp3-exec) S 21540 21543 16140 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511029026 115843072 363 33554432000 4194304 5098028 140722281840576 140722281838680 140397852041852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10506240 140722281845591 140722281845850 140722281845850 140722281848774 0 /proc/21543/statm: 28282 363 304 221 0 87 0 [pid=21545] ppid=21543 vsize=28227396 memory=40460 CPUtime=0.3 cores=0-7 /proc/21545/stat : 21545 (java) S 21543 21543 16140 0 -1 1077944320 9364 0 0 0 27 3 0 0 20 0 20 0 511029026 28904853504 10115 33554432000 4194304 4196468 140734681928800 140734681911344 140043367821047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 /proc/21545/statm: 7056849 10115 3260 1 0 7019032 0 [pid=21545/tid=21546] ppid=21543 vsize=28227396 memory=8318255677412212789 CPUtime=0.18 cores=0-7 /proc/21545/task/21546/stat : 21546 (java) R 21543 21543 16140 0 -1 4202560 6639 0 0 0 16 2 0 0 20 0 20 0 511029026 28904853504 10115 33554432000 4194304 4196468 140734681928800 140043372027776 140043353514513 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21547] ppid=21543 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/21545/task/21547/stat : 21547 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029027 28904853504 10115 33554432000 4194304 4196468 140734681928800 140043320441872 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21548] ppid=21543 vsize=28227396 memory=3978561416762365600 CPUtime=0 cores=0-7 /proc/21545/task/21548/stat : 21548 (java) S 21543 21543 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511029027 28904853504 10115 33554432000 4194304 4196468 140734681928800 140043319389328 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21549] ppid=21543 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21545/task/21549/stat : 21549 (java) S 21543 21543 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511029027 28904853504 10115 33554432000 4194304 4196468 140734681928800 140043318336272 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21550] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21550/stat : 21550 (java) S 21543 21543 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511029027 28904853504 10115 33554432000 4194304 4196468 140734681928800 140043317283728 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21551] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21551/stat : 21551 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029027 28904853504 10115 33554432000 4194304 4196468 140734681928800 140043316230672 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21552] ppid=21543 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21545/task/21552/stat : 21552 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029027 28904853504 10115 33554432000 4194304 4196468 140734681928800 140042913569424 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21553] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21553/stat : 21553 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029027 28904853504 10115 33554432000 4194304 4196468 140734681928800 140042912516368 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21554] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21554/stat : 21554 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029027 28904853504 10115 33554432000 4194304 4196468 140734681928800 140042911463824 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21555] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21555/stat : 21555 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029028 28904853504 10115 33554432000 4194304 4196468 140734681928800 140041965767408 140043367832194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21556] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21556/stat : 21556 (java) S 21543 21543 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511029029 28904853504 10115 33554432000 4194304 4196468 140734681928800 140041964713632 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21557] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21557/stat : 21557 (java) S 21543 21543 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511029029 28904853504 10115 33554432000 4194304 4196468 140734681928800 140041963660528 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21558] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21558/stat : 21558 (java) S 21543 21543 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511029032 28904853504 10115 33554432000 4194304 4196468 140734681928800 140041962609104 140043367839643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21559] ppid=21543 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/21545/task/21559/stat : 21559 (java) S 21543 21543 16140 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 20 0 511029033 28904853504 10115 33554432000 4194304 4196468 140734681928800 140041961556208 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21560] ppid=21543 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21545/task/21560/stat : 21560 (java) S 21543 21543 16140 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 20 0 511029033 28904853504 10115 33554432000 4194304 4196468 140734681928800 140041960503664 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21561] ppid=21543 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/21545/task/21561/stat : 21561 (java) S 21543 21543 16140 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 511029033 28904853504 10115 33554432000 4194304 4196468 140734681928800 140041959450608 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21562] ppid=21543 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/21545/task/21562/stat : 21562 (java) S 21543 21543 16140 0 -1 1077944384 747 0 0 0 7 0 0 0 20 0 20 0 511029034 28904853504 10115 33554432000 4194304 4196468 140734681928800 140041958398064 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21563] ppid=21543 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21563/stat : 21563 (java) S 21543 21543 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511029034 28904853504 10115 33554432000 4194304 4196468 140734681928800 140041957346272 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21564] ppid=21543 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21545/task/21564/stat : 21564 (java) S 21543 21543 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511029034 28904853504 10115 33554432000 4194304 4196468 140734681928800 140041956293808 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41912 KiB [startup+0.651527 s]* /proc/loadavg: 8.30 7.89 7.92 2/212 21564 /proc/meminfo: memFree=28416696/32770624 swapFree=67023936/67108860 [pid=21543] ppid=21540 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21543/stat : 21543 (xcsp3-exec) S 21540 21543 16140 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511029026 115843072 363 33554432000 4194304 5098028 140722281840576 140722281838680 140397852041852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10506240 140722281845591 140722281845850 140722281845850 140722281848774 0 /proc/21543/statm: 28282 363 304 221 0 87 0 [pid=21545] ppid=21543 vsize=28233776 memory=84728 CPUtime=1.35 cores=0-7 /proc/21545/stat : 21545 (java) S 21543 21543 16140 0 -1 1077944320 14842 0 0 0 129 6 0 0 20 0 20 0 511029026 28911386624 21182 33554432000 4194304 4196468 140734681928800 140734681911344 140043367821047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 /proc/21545/statm: 7058444 21182 3451 1 0 7019544 0 [pid=21545/tid=21546] ppid=21543 vsize=28233776 memory=6791534058613427641 CPUtime=0.62 cores=0-7 /proc/21545/task/21546/stat : 21546 (java) R 21543 21543 16140 0 -1 4202560 9387 0 0 0 58 4 0 0 20 0 20 0 511029026 28911386624 21182 33554432000 4194304 4196468 140734681928800 140043372057776 140043367832982 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21547] ppid=21543 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21547/stat : 21547 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029027 28911386624 21182 33554432000 4194304 4196468 140734681928800 140043320441872 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21548] ppid=21543 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21548/stat : 21548 (java) S 21543 21543 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511029027 28911386624 21182 33554432000 4194304 4196468 140734681928800 140043319389328 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21549] ppid=21543 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21549/stat : 21549 (java) S 21543 21543 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511029027 28911386624 21182 33554432000 4194304 4196468 140734681928800 140043318336272 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21550] ppid=21543 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21550/stat : 21550 (java) S 21543 21543 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511029027 28911386624 21182 33554432000 4194304 4196468 140734681928800 140043317283728 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21551] ppid=21543 vsize=28233776 memory=2244 CPUtime=0 cores=0-7 /proc/21545/task/21551/stat : 21551 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029027 28911386624 21182 33554432000 4194304 4196468 140734681928800 140043316230672 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21552] ppid=21543 vsize=28233776 memory=139987010024367 CPUtime=0 cores=0-7 /proc/21545/task/21552/stat : 21552 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029027 28911386624 21182 33554432000 4194304 4196468 140734681928800 140042913569424 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21553] ppid=21543 vsize=28233776 memory=139987010026672 CPUtime=0 cores=0-7 /proc/21545/task/21553/stat : 21553 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029027 28911386624 21182 33554432000 4194304 4196468 140734681928800 140042912516368 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21554] ppid=21543 vsize=28233776 memory=139987010028976 CPUtime=0 cores=0-7 /proc/21545/task/21554/stat : 21554 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029027 28911386624 21182 33554432000 4194304 4196468 140734681928800 140042911463824 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21555] ppid=21543 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21555/stat : 21555 (java) S 21543 21543 16140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511029028 28911386624 21182 33554432000 4194304 4196468 140734681928800 140041965767408 140043367832194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21556] ppid=21543 vsize=28233776 memory=279974020064912 CPUtime=0 cores=0-7 /proc/21545/task/21556/stat : 21556 (java) S 21543 21543 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511029029 28911386624 21182 33554432000 4194304 4196468 140734681928800 140041964713632 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21557] ppid=21543 vsize=28233776 memory=279974020071824 CPUtime=0 cores=0-7 /proc/21545/task/21557/stat : 21557 (java) S 21543 21543 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511029029 28911386624 21182 33554432000 4194304 4196468 140734681928800 140041963660528 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21558] ppid=21543 vsize=28233776 memory=279974020013104 CPUtime=0 cores=0-7 /proc/21545/task/21558/stat : 21558 (java) S 21543 21543 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511029032 28911386624 21182 33554432000 4194304 4196468 140734681928800 140041962609104 140043367839643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21559] ppid=21543 vsize=28233776 memory=279974020085648 CPUtime=0.13 cores=0-7 /proc/21545/task/21559/stat : 21559 (java) S 21543 21543 16140 0 -1 1077944384 900 0 0 0 13 0 0 0 20 0 20 0 511029033 28911386624 21182 33554432000 4194304 4196468 140734681928800 140041961556208 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21560] ppid=21543 vsize=28233776 memory=279974020092560 CPUtime=0.12 cores=0-7 /proc/21545/task/21560/stat : 21560 (java) S 21543 21543 16140 0 -1 1077944384 887 0 0 0 12 0 0 0 20 0 20 0 511029033 28911386624 21182 33554432000 4194304 4196468 140734681928800 140041960503664 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21561] ppid=21543 vsize=28233776 memory=279974020090256 CPUtime=0.09 cores=0-7 /proc/21545/task/21561/stat : 21561 (java) S 21543 21543 16140 0 -1 1077944384 418 0 0 0 9 0 0 0 20 0 20 0 511029033 28911386624 21182 33554432000 4194304 4196468 140734681928800 140041959450608 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21562] ppid=21543 vsize=28233776 memory=279974020106416 CPUtime=0.36 cores=0-7 /proc/21545/task/21562/stat : 21562 (java) R 21543 21543 16140 0 -1 4202560 1938 0 0 0 36 0 0 0 20 0 20 0 511029034 28911386624 21182 33554432000 4194304 4196468 140734681928800 140041958398192 140043360917883 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21563] ppid=21543 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/21545/task/21563/stat : 21563 (java) S 21543 21543 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511029034 28911386624 21182 33554432000 4194304 4196468 140734681928800 140041957346272 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21564] ppid=21543 vsize=28233776 memory=-1 CPUtime=0 cores=0-7 /proc/21545/task/21564/stat : 21564 (java) S 21543 21543 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511029034 28911386624 21182 33554432000 4194304 4196468 140734681928800 140041956293808 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 Current children cumulated CPU time: 1.35 s Current children cumulated vsize: 28346904 KiB Current children cumulated memory: 86180 KiB [startup+0.71042 s]* /proc/loadavg: 8.30 7.89 7.92 6/212 21564 /proc/meminfo: memFree=28409684/32770624 swapFree=67023936/67108860 [pid=21543] ppid=21540 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21543/stat : 21543 (xcsp3-exec) S 21540 21543 16140 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511029026 115843072 363 33554432000 4194304 5098028 140722281840576 140722281838680 140397852041852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10506240 140722281845591 140722281845850 140722281845850 140722281848774 0 /proc/21543/statm: 28282 363 304 221 0 87 0 [pid=21545] ppid=21543 vsize=28233776 memory=91596 CPUtime=1.59 cores=0-7 /proc/21545/stat : 21545 (java) S 21543 21543 16140 0 -1 1077944320 15058 0 0 0 153 6 0 0 20 0 20 0 511029026 28911386624 22899 33554432000 4194304 4196468 140734681928800 140734681911344 140043367821047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 /proc/21545/statm: 7058444 22899 3453 1 0 7019544 0 [pid=21545/tid=21546] ppid=21543 vsize=28233776 memory=8318255677412212789 CPUtime=0.67 cores=0-7 /proc/21545/task/21546/stat : 21546 (java) R 21543 21543 16140 0 -1 4202560 9416 0 0 0 63 4 0 0 20 0 20 0 511029026 28911386624 22899 33554432000 4194304 4196468 140734681928800 140043372058624 140043351901534 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21547] ppid=21543 vsize=28233776 memory=288230596134830447 CPUtime=0 cores=0-7 /proc/21545/task/21547/stat : 21547 (java) S 21543 21543 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511029027 28911386624 22899 33554432000 4194304 4196468 140734681928800 140043320441872 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21548] ppid=21543 vsize=28233776 memory=3544809585752807072 CPUtime=0 cores=0-7 /proc/21545/task/21548/stat : 21548 (java) S 21543 21543 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511029027 28911386624 22899 33554432000 4194304 4196468 140734681928800 140043319389328 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21549] ppid=21543 vsize=28233776 memory=-1 CPUtime=0 cores=0-7 /proc/21545/task/21549/stat : 21549 (java) S 21543 21543 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511029027 28911386624 22899 33554432000 4194304 4196468 140734681928800 140043318336272 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 ################ # More data... # ################ [pid=21545/tid=21562] ppid=21543 vsize=28835928 memory=14064 CPUtime=0.81 cores=0-7 /proc/21545/task/21562/stat : 21562 (java) S 21543 21543 16140 0 -1 1077944384 7123 0 0 0 79 2 0 0 20 0 28 0 511029034 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041958398064 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21563] ppid=21543 vsize=28835928 memory=23168 CPUtime=0 cores=0-7 /proc/21545/task/21563/stat : 21563 (java) S 21543 21543 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511029034 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041957346272 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21564] ppid=21543 vsize=28835928 memory=2256 CPUtime=0 cores=0-7 /proc/21545/task/21564/stat : 21564 (java) S 21543 21543 16140 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 28 0 511029034 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041956293808 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21669] ppid=21543 vsize=28835928 memory=12328 CPUtime=37.82 cores=0-7 /proc/21545/task/21669/stat : 21669 (java) R 21543 21543 16140 0 -1 4202560 325 0 0 0 3782 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041944152528 140043003010101 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21670] ppid=21543 vsize=28835928 memory=500 CPUtime=37.82 cores=0-7 /proc/21545/task/21670/stat : 21670 (java) R 21543 21543 16140 0 -1 4202560 253 0 0 0 3782 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041940996312 140043003014055 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21671] ppid=21543 vsize=28835928 memory=1584 CPUtime=37.92 cores=0-7 /proc/21545/task/21671/stat : 21671 (java) R 21543 21543 16140 0 -1 4202560 328 0 0 0 3792 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041947311672 140043353765206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21672] ppid=21543 vsize=28835928 memory=1740 CPUtime=37.91 cores=0-7 /proc/21545/task/21672/stat : 21672 (java) R 21543 21543 16140 0 -1 4202560 1059 0 0 0 3791 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041937846424 140043001631883 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21673] ppid=21543 vsize=28835928 memory=924 CPUtime=37.63 cores=0-7 /proc/21545/task/21673/stat : 21673 (java) R 21543 21543 16140 0 -1 4202560 719 0 0 0 3763 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041942048400 140043002109631 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21674] ppid=21543 vsize=28835928 memory=1452 CPUtime=37.49 cores=0-7 /proc/21545/task/21674/stat : 21674 (java) R 21543 21543 16140 0 -1 4202560 570 0 0 0 3749 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041943100840 140043002706673 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21675] ppid=21543 vsize=28835928 memory=245560 CPUtime=37.89 cores=0-7 /proc/21545/task/21675/stat : 21675 (java) R 21543 21543 16140 0 -1 4202560 1205 0 0 0 3789 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041936793976 140043003014134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21676] ppid=21543 vsize=28835928 memory=1244 CPUtime=37.88 cores=0-7 /proc/21545/task/21676/stat : 21676 (java) R 21543 21543 16140 0 -1 4202560 597 0 0 0 3788 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041935741072 140043000605172 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 Current children cumulated CPU time: 373.78 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 247012 KiB [startup+47.9014 s] /proc/loadavg: 8.24 7.95 7.94 9/220 21679 /proc/meminfo: memFree=28252412/32770624 swapFree=67023936/67108860 [pid=21543] ppid=21540 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21543/stat : 21543 (xcsp3-exec) S 21540 21543 16140 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511029026 115843072 363 33554432000 4194304 5098028 140722281840576 140722281838680 140397852041852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10506240 140722281845591 140722281845850 140722281845850 140722281848774 0 /proc/21543/statm: 28282 363 304 221 0 87 0 [pid=21545] ppid=21543 vsize=28835928 memory=245560 CPUtime=376.97 cores=0-7 /proc/21545/stat : 21545 (java) S 21543 21543 16140 0 -1 1077944320 76365 0 0 0 37667 30 0 0 20 0 28 0 511029026 29527990272 61390 33554432000 4194304 4196468 140734681928800 140734681911344 140043367821047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 /proc/21545/statm: 7208982 61390 3533 1 0 7170082 0 [pid=21545/tid=21546] ppid=21543 vsize=28835928 memory=1760 CPUtime=0.71 cores=0-7 /proc/21545/task/21546/stat : 21546 (java) S 21543 21543 16140 0 -1 1077944384 9664 0 0 0 67 4 0 0 20 0 28 0 511029026 29527990272 61390 33554432000 4194304 4196468 140734681928800 140043372061824 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21547] ppid=21543 vsize=28835928 memory=1172 CPUtime=0.03 cores=0-7 /proc/21545/task/21547/stat : 21547 (java) S 21543 21543 16140 0 -1 1077944384 3540 0 0 0 2 1 0 0 20 0 28 0 511029027 29527990272 61390 33554432000 4194304 4196468 140734681928800 140043320441872 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21548] ppid=21543 vsize=28835928 memory=6308 CPUtime=0.01 cores=0-7 /proc/21545/task/21548/stat : 21548 (java) S 21543 21543 16140 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 28 0 511029027 29527990272 61390 33554432000 4194304 4196468 140734681928800 140043319389328 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21549] ppid=21543 vsize=28835928 memory=828 CPUtime=0.02 cores=0-7 /proc/21545/task/21549/stat : 21549 (java) S 21543 21543 16140 0 -1 1077944384 1132 0 0 0 2 0 0 0 20 0 28 0 511029027 29527990272 61390 33554432000 4194304 4196468 140734681928800 140043318336272 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21550] ppid=21543 vsize=28835928 memory=736 CPUtime=0.02 cores=0-7 /proc/21545/task/21550/stat : 21550 (java) S 21543 21543 16140 0 -1 1077944384 416 0 0 0 2 0 0 0 20 0 28 0 511029027 29527990272 61390 33554432000 4194304 4196468 140734681928800 140043317283728 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21551] ppid=21543 vsize=28835928 memory=1608 CPUtime=0.02 cores=0-7 /proc/21545/task/21551/stat : 21551 (java) S 21543 21543 16140 0 -1 1077944384 586 0 0 0 2 0 0 0 20 0 28 0 511029027 29527990272 61390 33554432000 4194304 4196468 140734681928800 140043316230672 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21552] ppid=21543 vsize=28835928 memory=1076 CPUtime=0.02 cores=0-7 /proc/21545/task/21552/stat : 21552 (java) S 21543 21543 16140 0 -1 1077944384 1280 0 0 0 2 0 0 0 20 0 28 0 511029027 29527990272 61390 33554432000 4194304 4196468 140734681928800 140042913569424 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21553] ppid=21543 vsize=28835928 memory=3124 CPUtime=0.02 cores=0-7 /proc/21545/task/21553/stat : 21553 (java) S 21543 21543 16140 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 28 0 511029027 29527990272 61390 33554432000 4194304 4196468 140734681928800 140042912516368 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21554] ppid=21543 vsize=28835928 memory=1244 CPUtime=0.02 cores=0-7 /proc/21545/task/21554/stat : 21554 (java) S 21543 21543 16140 0 -1 1077944384 302 0 0 0 2 0 0 0 20 0 28 0 511029027 29527990272 61390 33554432000 4194304 4196468 140734681928800 140042911463824 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21555] ppid=21543 vsize=28835928 memory=14064 CPUtime=0.02 cores=0-7 /proc/21545/task/21555/stat : 21555 (java) S 21543 21543 16140 0 -1 1077944384 1595 0 0 0 2 0 0 0 20 0 28 0 511029028 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041965767408 140043367832194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21556] ppid=21543 vsize=28835928 memory=23168 CPUtime=0 cores=0-7 /proc/21545/task/21556/stat : 21556 (java) S 21543 21543 16140 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 511029029 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041964713696 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21557] ppid=21543 vsize=28835928 memory=2256 CPUtime=0 cores=0-7 /proc/21545/task/21557/stat : 21557 (java) S 21543 21543 16140 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 511029029 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041963660544 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21558] ppid=21543 vsize=28835928 memory=12328 CPUtime=0 cores=0-7 /proc/21545/task/21558/stat : 21558 (java) S 21543 21543 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511029032 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041962609104 140043367839643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21559] ppid=21543 vsize=28835928 memory=500 CPUtime=2.92 cores=0-7 /proc/21545/task/21559/stat : 21559 (java) S 21543 21543 16140 0 -1 1077944384 14517 0 0 0 289 3 0 0 20 0 28 0 511029033 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041961556208 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21560] ppid=21543 vsize=28835928 memory=1584 CPUtime=2.73 cores=0-7 /proc/21545/task/21560/stat : 21560 (java) S 21543 21543 16140 0 -1 1077944384 12965 0 0 0 270 3 0 0 20 0 28 0 511029033 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041960503664 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21561] ppid=21543 vsize=28835928 memory=1740 CPUtime=2.61 cores=0-7 /proc/21545/task/21561/stat : 21561 (java) S 21543 21543 16140 0 -1 1077944384 11609 0 0 0 258 3 0 0 20 0 28 0 511029033 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041959450608 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21562] ppid=21543 vsize=28835928 memory=924 CPUtime=0.81 cores=0-7 /proc/21545/task/21562/stat : 21562 (java) S 21543 21543 16140 0 -1 1077944384 7123 0 0 0 79 2 0 0 20 0 28 0 511029034 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041958398064 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21563] ppid=21543 vsize=28835928 memory=1940 CPUtime=0 cores=0-7 /proc/21545/task/21563/stat : 21563 (java) S 21543 21543 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511029034 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041957346272 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21564] ppid=21543 vsize=28835928 memory=1996 CPUtime=0 cores=0-7 /proc/21545/task/21564/stat : 21564 (java) S 21543 21543 16140 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 28 0 511029034 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041956293808 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21669] ppid=21543 vsize=28835928 memory=2508 CPUtime=38.21 cores=0-7 /proc/21545/task/21669/stat : 21669 (java) R 21543 21543 16140 0 -1 4202560 325 0 0 0 3821 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041944152528 140043001774670 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21670] ppid=21543 vsize=28835928 memory=1532 CPUtime=38.22 cores=0-7 /proc/21545/task/21670/stat : 21670 (java) R 21543 21543 16140 0 -1 4202560 253 0 0 0 3822 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041940996312 140043002704384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21671] ppid=21543 vsize=28835928 memory=288230574492221466 CPUtime=38.32 cores=0-7 /proc/21545/task/21671/stat : 21671 (java) R 21543 21543 16140 0 -1 4202560 328 0 0 0 3832 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041947311672 140043001775845 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21672] ppid=21543 vsize=28835928 memory=288230596050944315 CPUtime=38.31 cores=0-7 /proc/21545/task/21672/stat : 21672 (java) R 21543 21543 16140 0 -1 4202560 1059 0 0 0 3831 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041937846424 140043002708071 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21673] ppid=21543 vsize=28835928 memory=15816698942982814 CPUtime=38.03 cores=0-7 /proc/21545/task/21673/stat : 21673 (java) R 21543 21543 16140 0 -1 4202560 719 0 0 0 3803 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041942048536 140042995836020 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21674] ppid=21543 vsize=28835928 memory=4100 CPUtime=37.89 cores=0-7 /proc/21545/task/21674/stat : 21674 (java) R 21543 21543 16140 0 -1 4202560 570 0 0 0 3789 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041943100840 140043002168625 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21675] ppid=21543 vsize=28835928 memory=1412 CPUtime=38.29 cores=0-7 /proc/21545/task/21675/stat : 21675 (java) R 21543 21543 16140 0 -1 4202560 1205 0 0 0 3829 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041936793976 140043002168620 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21676] ppid=21543 vsize=28835928 memory=3356 CPUtime=38.28 cores=0-7 /proc/21545/task/21676/stat : 21676 (java) R 21543 21543 16140 0 -1 4202560 597 0 0 0 3828 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041935741072 140043003478276 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 Current children cumulated CPU time: 376.97 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 247012 KiB [startup+48.1014 s] /proc/loadavg: 8.24 7.95 7.94 9/220 21679 /proc/meminfo: memFree=28252412/32770624 swapFree=67023936/67108860 [pid=21543] ppid=21540 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/21543/stat : 21543 (xcsp3-exec) S 21540 21543 16140 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511029026 115843072 363 33554432000 4194304 5098028 140722281840576 140722281838680 140397852041852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10506240 140722281845591 140722281845850 140722281845850 140722281848774 0 /proc/21543/statm: 28282 363 304 221 0 87 0 [pid=21545] ppid=21543 vsize=28835928 memory=245560 CPUtime=378.57 cores=0-7 /proc/21545/stat : 21545 (java) S 21543 21543 16140 0 -1 1077944320 76365 0 0 0 37827 30 0 0 20 0 28 0 511029026 29527990272 61390 33554432000 4194304 4196468 140734681928800 140734681911344 140043367821047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 /proc/21545/statm: 7208982 61390 3533 1 0 7170082 0 [pid=21545/tid=21546] ppid=21543 vsize=28835928 memory=6791534058613427641 CPUtime=0.71 cores=0-7 /proc/21545/task/21546/stat : 21546 (java) S 21543 21543 16140 0 -1 1077944384 9664 0 0 0 67 4 0 0 20 0 28 0 511029026 29527990272 61390 33554432000 4194304 4196468 140734681928800 140043372061824 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21547] ppid=21543 vsize=28835928 memory=4872558044660077418 CPUtime=0.03 cores=0-7 /proc/21545/task/21547/stat : 21547 (java) S 21543 21543 16140 0 -1 1077944384 3540 0 0 0 2 1 0 0 20 0 28 0 511029027 29527990272 61390 33554432000 4194304 4196468 140734681928800 140043320441872 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21548] ppid=21543 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/21545/task/21548/stat : 21548 (java) S 21543 21543 16140 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 28 0 511029027 29527990272 61390 33554432000 4194304 4196468 140734681928800 140043319389328 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21549] ppid=21543 vsize=28835928 memory=0 CPUtime=0.02 cores=0-7 /proc/21545/task/21549/stat : 21549 (java) S 21543 21543 16140 0 -1 1077944384 1132 0 0 0 2 0 0 0 20 0 28 0 511029027 29527990272 61390 33554432000 4194304 4196468 140734681928800 140043318336272 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21550] ppid=21543 vsize=28835928 memory=0 CPUtime=0.02 cores=0-7 /proc/21545/task/21550/stat : 21550 (java) S 21543 21543 16140 0 -1 1077944384 416 0 0 0 2 0 0 0 20 0 28 0 511029027 29527990272 61390 33554432000 4194304 4196468 140734681928800 140043317283728 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21551] ppid=21543 vsize=28835928 memory=0 CPUtime=0.02 cores=0-7 /proc/21545/task/21551/stat : 21551 (java) S 21543 21543 16140 0 -1 1077944384 586 0 0 0 2 0 0 0 20 0 28 0 511029027 29527990272 61390 33554432000 4194304 4196468 140734681928800 140043316230672 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21552] ppid=21543 vsize=28835928 memory=0 CPUtime=0.02 cores=0-7 /proc/21545/task/21552/stat : 21552 (java) S 21543 21543 16140 0 -1 1077944384 1280 0 0 0 2 0 0 0 20 0 28 0 511029027 29527990272 61390 33554432000 4194304 4196468 140734681928800 140042913569424 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21553] ppid=21543 vsize=28835928 memory=0 CPUtime=0.02 cores=0-7 /proc/21545/task/21553/stat : 21553 (java) S 21543 21543 16140 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 28 0 511029027 29527990272 61390 33554432000 4194304 4196468 140734681928800 140042912516368 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21554] ppid=21543 vsize=28835928 memory=6791534058613427641 CPUtime=0.02 cores=0-7 /proc/21545/task/21554/stat : 21554 (java) S 21543 21543 16140 0 -1 1077944384 302 0 0 0 2 0 0 0 20 0 28 0 511029027 29527990272 61390 33554432000 4194304 4196468 140734681928800 140042911463824 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21555] ppid=21543 vsize=28835928 memory=2508 CPUtime=0.02 cores=0-7 /proc/21545/task/21555/stat : 21555 (java) S 21543 21543 16140 0 -1 1077944384 1595 0 0 0 2 0 0 0 20 0 28 0 511029028 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041965767408 140043367832194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21556] ppid=21543 vsize=28835928 memory=1532 CPUtime=0 cores=0-7 /proc/21545/task/21556/stat : 21556 (java) S 21543 21543 16140 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 511029029 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041964713696 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21557] ppid=21543 vsize=28835928 memory=836 CPUtime=0 cores=0-7 /proc/21545/task/21557/stat : 21557 (java) S 21543 21543 16140 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 511029029 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041963660544 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21558] ppid=21543 vsize=28835928 memory=1760 CPUtime=0 cores=0-7 /proc/21545/task/21558/stat : 21558 (java) S 21543 21543 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511029032 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041962609104 140043367839643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21559] ppid=21543 vsize=28835928 memory=111632 CPUtime=2.92 cores=0-7 /proc/21545/task/21559/stat : 21559 (java) S 21543 21543 16140 0 -1 1077944384 14517 0 0 0 289 3 0 0 20 0 28 0 511029033 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041961556208 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21560] ppid=21543 vsize=28835928 memory=804 CPUtime=2.73 cores=0-7 /proc/21545/task/21560/stat : 21560 (java) S 21543 21543 16140 0 -1 1077944384 12965 0 0 0 270 3 0 0 20 0 28 0 511029033 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041960503664 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21561] ppid=21543 vsize=28835928 memory=1800 CPUtime=2.61 cores=0-7 /proc/21545/task/21561/stat : 21561 (java) S 21543 21543 16140 0 -1 1077944384 11609 0 0 0 258 3 0 0 20 0 28 0 511029033 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041959450608 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21562] ppid=21543 vsize=28835928 memory=916 CPUtime=0.81 cores=0-7 /proc/21545/task/21562/stat : 21562 (java) S 21543 21543 16140 0 -1 1077944384 7123 0 0 0 79 2 0 0 20 0 28 0 511029034 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041958398064 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21563] ppid=21543 vsize=28835928 memory=4992 CPUtime=0 cores=0-7 /proc/21545/task/21563/stat : 21563 (java) S 21543 21543 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511029034 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041957346272 140043367831253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21564] ppid=21543 vsize=28835928 memory=4100 CPUtime=0 cores=0-7 /proc/21545/task/21564/stat : 21564 (java) S 21543 21543 16140 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 28 0 511029034 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041956293808 140043367832194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21669] ppid=21543 vsize=28835928 memory=1412 CPUtime=38.41 cores=0-7 /proc/21545/task/21669/stat : 21669 (java) R 21543 21543 16140 0 -1 4202560 325 0 0 0 3841 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041944152528 140043002707154 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21670] ppid=21543 vsize=28835928 memory=3356 CPUtime=38.42 cores=0-7 /proc/21545/task/21670/stat : 21670 (java) R 21543 21543 16140 0 -1 4202560 253 0 0 0 3842 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041940996312 140043001632425 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21671] ppid=21543 vsize=28835928 memory=65 CPUtime=38.52 cores=0-7 /proc/21545/task/21671/stat : 21671 (java) R 21543 21543 16140 0 -1 4202560 328 0 0 0 3852 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041947311672 140043002708071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21672] ppid=21543 vsize=28835928 memory=7594875934875673176 CPUtime=38.51 cores=0-7 /proc/21545/task/21672/stat : 21672 (java) R 21543 21543 16140 0 -1 4202560 1059 0 0 0 3851 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041937846424 140043002327085 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21673] ppid=21543 vsize=28835928 memory=7594875934875673176 CPUtime=38.23 cores=0-7 /proc/21545/task/21673/stat : 21673 (java) R 21543 21543 16140 0 -1 4202560 719 0 0 0 3823 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041942048536 140043001631750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21674] ppid=21543 vsize=28835928 memory=7014472308239393645 CPUtime=38.09 cores=0-7 /proc/21545/task/21674/stat : 21674 (java) R 21543 21543 16140 0 -1 4202560 570 0 0 0 3809 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041943100840 140043002024649 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21675] ppid=21543 vsize=28835928 memory=7740618224032049510 CPUtime=38.49 cores=0-7 /proc/21545/task/21675/stat : 21675 (java) R 21543 21543 16140 0 -1 4202560 1205 0 0 0 3849 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041936793976 140043002799759 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 [pid=21545/tid=21676] ppid=21543 vsize=28835928 memory=7893295687695687954 CPUtime=38.48 cores=0-7 /proc/21545/task/21676/stat : 21676 (java) R 21543 21543 16140 0 -1 4202560 597 0 0 0 3848 0 0 0 20 0 28 0 511029976 29527990272 61390 33554432000 4194304 4196468 140734681928800 140041935741072 140043002706777 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17293312 140734681932764 140734681932939 140734681932939 140734681935823 0 Current children cumulated CPU time: 378.57 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 247012 KiB Child status: 0 Real time (s): 48.1313 CPU time (s): 378.73 CPU user time (s): 378.41 CPU system time (s): 0.319641 CPU usage (%): 786.867 Max. virtual memory (cumulated for all children) (KiB): 28949776 Max. memory (cumulated for all children) (KiB): 249492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 378.41 system time used= 0.319641 maximum resident set size= 251152 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77538 page faults= 0 swaps= 0 block input operations= 8 block output operations= 192 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7617 involuntary context switches= 5588 # summary of solver processes directly reported to runsolver: # pid: 21543 # total CPU time (s): 378.73 # total CPU user time (s): 378.41 # total CPU system time (s): 0.319641 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.35709 second user time and 0.599976 second system time The end
Begin job on node150 at 2019-09-24 19:52:05 IDJOB=4407398 IDBENCH=129796 IDSOLVER=2872 FILE ID=node150/4407398-1569347565 RUNJOBID= node150-1569335938-16167 PBS_JOBID= 21705047 Free space on /var/tmp= 13480 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j30/Rcpsp-j30-29-02.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-4407398-1569347565/watcher-4407398-1569347565 -o /var/tmp/evaluation-result-4407398-1569347565/solver-4407398-1569347565 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1396051300 HOME/instance-4407398-1569347565.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fbff45376af17ae2a145abecb1f2c180 RANDOM SEED=1396051300 node150.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.79 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.79 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.79 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.79 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: 28484304 kB MemAvailable: 31816304 kB Buffers: 103076 kB Cached: 3336144 kB SwapCached: 8116 kB Active: 3362992 kB Inactive: 111820 kB Active(anon): 3704 kB Inactive(anon): 83520 kB Active(file): 3359288 kB Inactive(file): 28300 kB Unevictable: 109416 kB Mlocked: 109416 kB SwapTotal: 67108860 kB SwapFree: 67023936 kB Dirty: 26144 kB Writeback: 0 kB AnonPages: 147464 kB Mapped: 53348 kB Shmem: 42756 kB Slab: 401736 kB SReclaimable: 372872 kB SUnreclaim: 28864 kB KernelStack: 3728 kB PageTables: 5396 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515340 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /var/tmp at the end= 13456 MiB End job on node150 at 2019-09-24 19:52:53