Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 79 | 203.936 | 26.9294 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-6.xml |
MD5SUM | 0bc86e74ae8fed70a43ec92abb2586e2 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 79 |
Best CPU time to get the best result obtained on this benchmark | 47.6613 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 75 |
Number of constraints | 101 |
Number of domains | 25 |
Minimum domain size | 3 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":3,"count":2},{"size":4,"count":8},{"size":5,"count":13},{"size":6,"count":2},{"size":26,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 28 |
Distribution of variable degrees | [{"degree":2,"count":25},{"degree":26,"count":24},{"degree":27,"count":1},{"degree":28,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 26 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":50},{"arity":25,"count":25},{"arity":26,"count":25}] |
Number of extensional constraints | 50 |
Number of intensional constraints | 26 |
Distribution of constraint types | [{"type":"extension","count":50},{"type":"intension","count":26},{"type":"count","count":25}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407111-1569351711.xml" -tl '20160s' -p 8 0.11/0.18 c Choco e747e1e 0.11/0.18 c [HOME/instance-4407111-1569351711.xml, -tl, 20160s, -p, 8] 0.32/0.22 c 8 solvers in parallel 0.32/0.28 c parse instance... 4.89/1.86 c solve instance... 5.17/1.98 o -1000 15.44/3.20 o -944 15.44/3.29 o 0 20.15/3.85 o 37 20.15/3.86 o 48 20.15/3.89 o 58 36.02/5.81 o 66 36.74/5.94 o 67 36.74/5.99 o 69 38.35/6.12 o 73 53.44/8.01 o 78 54.89/8.23 o 79 203.88/26.91 s OPTIMUM FOUND 203.88/26.91 v <instantiation> 203.88/26.91 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] </list> 203.88/26.91 v <values>1 2 3 4 9 0 11 6 13 8 5 10 7 18 -1 16 17 12 19 24 15 20 21 22 23 0 1 2 3 4 23 20 19 6 5 22 21 18 7 -1 15 16 17 8 9 14 13 12 11 10 -3 2 5 5 5 0 4 5 -2 9 7 7 5 3 0 2 9 5 1 -5 7 3 -3 5 3 </values> 203.88/26.91 v </instantiation>
OK 79
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 (13725 MiB free) memory of node 1: 16384 MiB (14453 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407111-1569351711/watcher-4407111-1569351711 -o /tmp/evaluation-result-4407111-1569351711/solver-4407111-1569351711 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569348342-32335 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1455362239 HOME/instance-4407111-1569351711.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=930, runsolver pid=927 Current StackSize limit: 8192 KiB [startup+0.100154 s]* /proc/loadavg: 7.91 8.07 8.14 3/212 951 /proc/meminfo: memFree=28839616/32770624 swapFree=66999256/67108860 [pid=930] ppid=927 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/930/stat : 930 (xcsp3-exec) S 927 930 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511424148 115843072 364 33554432000 4194304 5098028 140733132223808 140733132221912 140173093134972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19828736 140733132227445 140733132227689 140733132227689 140733132230602 0 /proc/930/statm: 28282 364 305 221 0 87 0 [pid=932] ppid=930 vsize=28227396 memory=28760 CPUtime=0.11 cores=0-7 /proc/932/stat : 932 (java) S 930 930 32308 0 -1 1077944320 5686 0 0 0 10 1 0 0 20 0 20 0 511424149 28904853504 7190 33554432000 4194304 4196468 140733262238864 140733262221408 140574469144311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 /proc/932/statm: 7056849 7190 3120 1 0 7019032 0 [pid=932/tid=933] ppid=930 vsize=28227396 memory=8318255677412212789 CPUtime=0.08 cores=0-7 /proc/932/task/933/stat : 933 (java) R 930 930 32308 0 -1 4202560 3607 0 0 0 8 0 0 0 20 0 20 0 511424149 28904853504 7190 33554432000 4194304 4196468 140733262238864 140574473383552 140574453187941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=934] ppid=930 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/932/task/934/stat : 934 (java) S 930 930 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511424150 28904853504 7190 33554432000 4194304 4196468 140733262238864 140574421764752 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=935] ppid=930 vsize=28227396 memory=4123248006721246880 CPUtime=0 cores=0-7 /proc/932/task/935/stat : 935 (java) S 930 930 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511424150 28904853504 7190 33554432000 4194304 4196468 140733262238864 140574420711952 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=936] ppid=930 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/932/task/936/stat : 936 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424150 28904853504 7190 33554432000 4194304 4196468 140733262238864 140574419659152 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=937] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/937/stat : 937 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424150 28904853504 7190 33554432000 4194304 4196468 140733262238864 140574418606352 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=938] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/938/stat : 938 (java) S 930 930 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511424150 28904853504 7190 33554432000 4194304 4196468 140733262238864 140574417554576 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=939] ppid=930 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/932/task/939/stat : 939 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424150 28904853504 7190 33554432000 4194304 4196468 140733262238864 140574416501776 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=940] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/940/stat : 940 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424150 28904853504 7190 33554432000 4194304 4196468 140733262238864 140574415448976 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=941] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/941/stat : 941 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424150 28904853504 7190 33554432000 4194304 4196468 140733262238864 140574013119248 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=942] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/942/stat : 942 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424151 28904853504 7190 33554432000 4194304 4196468 140733262238864 140573451127152 140574469155458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=943] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/943/stat : 943 (java) S 930 930 32308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511424152 28904853504 7190 33554432000 4194304 4196468 140733262238864 140573450073120 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=944] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/944/stat : 944 (java) S 930 930 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511424152 28904853504 7190 33554432000 4194304 4196468 140733262238864 140573449020272 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=945] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/945/stat : 945 (java) S 930 930 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511424154 28904853504 7190 33554432000 4194304 4196468 140733262238864 140573447968592 140574469162907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=946] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/946/stat : 946 (java) R 930 930 32308 0 -1 4202560 305 0 0 0 0 0 0 0 20 0 20 0 511424154 28904853504 7190 33554432000 4194304 4196468 140733262238864 140573446916976 140574469156246 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=947] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/947/stat : 947 (java) S 930 930 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511424154 28904853504 7190 33554432000 4194304 4196468 140733262238864 140573445864176 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=948] ppid=930 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/932/task/948/stat : 948 (java) S 930 930 32308 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511424154 28904853504 7190 33554432000 4194304 4196468 140733262238864 140573444811376 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=949] ppid=930 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/932/task/949/stat : 949 (java) R 930 930 32308 0 -1 4202560 351 0 0 0 1 0 0 0 20 0 20 0 511424154 28904853504 7190 33554432000 4194304 4196468 140733262238864 140573443758576 140574453224798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=950] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/950/stat : 950 (java) S 930 930 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511424154 28904853504 7190 33554432000 4194304 4196468 140733262238864 140573442706016 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=951] ppid=930 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/932/task/951/stat : 951 (java) S 930 930 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511424155 28904853504 7190 33554432000 4194304 4196468 140733262238864 140573441653296 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30216 KiB [startup+0.210623 s]* /proc/loadavg: 7.91 8.07 8.14 2/212 951 /proc/meminfo: memFree=28826572/32770624 swapFree=66999256/67108860 [pid=930] ppid=927 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/930/stat : 930 (xcsp3-exec) S 927 930 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511424148 115843072 364 33554432000 4194304 5098028 140733132223808 140733132221912 140173093134972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19828736 140733132227445 140733132227689 140733132227689 140733132230602 0 /proc/930/statm: 28282 364 305 221 0 87 0 [pid=932] ppid=930 vsize=28227396 memory=40320 CPUtime=0.32 cores=0-7 /proc/932/stat : 932 (java) S 930 930 32308 0 -1 1077944320 9345 0 0 0 30 2 0 0 20 0 20 0 511424149 28904853504 10080 33554432000 4194304 4196468 140733262238864 140733262221408 140574469144311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 /proc/932/statm: 7056849 10080 3286 1 0 7019032 0 [pid=932/tid=933] ppid=930 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/932/task/933/stat : 933 (java) R 930 930 32308 0 -1 4202560 6589 0 0 0 18 2 0 0 20 0 20 0 511424149 28904853504 10080 33554432000 4194304 4196468 140733262238864 140574473374960 140574095125640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=934] ppid=930 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/932/task/934/stat : 934 (java) S 930 930 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511424150 28904853504 10080 33554432000 4194304 4196468 140733262238864 140574421764752 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=935] ppid=930 vsize=28227396 memory=4123248006721246880 CPUtime=0 cores=0-7 /proc/932/task/935/stat : 935 (java) S 930 930 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511424150 28904853504 10080 33554432000 4194304 4196468 140733262238864 140574420711952 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=936] ppid=930 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/932/task/936/stat : 936 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424150 28904853504 10080 33554432000 4194304 4196468 140733262238864 140574419659152 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=937] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/937/stat : 937 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424150 28904853504 10080 33554432000 4194304 4196468 140733262238864 140574418606352 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=938] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/938/stat : 938 (java) S 930 930 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511424150 28904853504 10080 33554432000 4194304 4196468 140733262238864 140574417554576 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=939] ppid=930 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/932/task/939/stat : 939 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424150 28904853504 10080 33554432000 4194304 4196468 140733262238864 140574416501776 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=940] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/940/stat : 940 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424150 28904853504 10080 33554432000 4194304 4196468 140733262238864 140574415448976 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=941] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/941/stat : 941 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424150 28904853504 10080 33554432000 4194304 4196468 140733262238864 140574013119248 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=942] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/942/stat : 942 (java) S 930 930 32308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511424151 28904853504 10080 33554432000 4194304 4196468 140733262238864 140573451127152 140574469155458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=943] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/943/stat : 943 (java) S 930 930 32308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511424152 28904853504 10080 33554432000 4194304 4196468 140733262238864 140573450073120 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=944] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/944/stat : 944 (java) S 930 930 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511424152 28904853504 10080 33554432000 4194304 4196468 140733262238864 140573449020272 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=945] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/945/stat : 945 (java) S 930 930 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511424154 28904853504 10080 33554432000 4194304 4196468 140733262238864 140573447968592 140574469162907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=946] ppid=930 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/932/task/946/stat : 946 (java) S 930 930 32308 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 511424154 28904853504 10080 33554432000 4194304 4196468 140733262238864 140573446916976 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=947] ppid=930 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/932/task/947/stat : 947 (java) S 930 930 32308 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 20 0 511424154 28904853504 10080 33554432000 4194304 4196468 140733262238864 140573445864176 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=948] ppid=930 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/932/task/948/stat : 948 (java) S 930 930 32308 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 20 0 511424154 28904853504 10080 33554432000 4194304 4196468 140733262238864 140573444811376 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=949] ppid=930 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/932/task/949/stat : 949 (java) R 930 930 32308 0 -1 4202560 790 0 0 0 7 0 0 0 20 0 20 0 511424154 28904853504 10080 33554432000 4194304 4196468 140733262238864 140573443758576 140574455123150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=950] ppid=930 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/932/task/950/stat : 950 (java) S 930 930 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511424154 28904853504 10080 33554432000 4194304 4196468 140733262238864 140573442706016 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=951] ppid=930 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/932/task/951/stat : 951 (java) S 930 930 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511424155 28904853504 10080 33554432000 4194304 4196468 140733262238864 140573441653296 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41776 KiB [startup+0.310628 s]* /proc/loadavg: 7.91 8.07 8.14 3/212 951 /proc/meminfo: memFree=28819912/32770624 swapFree=66999256/67108860 [pid=930] ppid=927 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/930/stat : 930 (xcsp3-exec) S 927 930 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511424148 115843072 364 33554432000 4194304 5098028 140733132223808 140733132221912 140173093134972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19828736 140733132227445 140733132227689 140733132227689 140733132230602 0 /proc/930/statm: 28282 364 305 221 0 87 0 [pid=932] ppid=930 vsize=28231652 memory=48936 CPUtime=0.51 cores=0-7 /proc/932/stat : 932 (java) S 930 930 32308 0 -1 1077944320 11015 0 0 0 48 3 0 0 20 0 20 0 511424149 28909211648 12234 33554432000 4194304 4196468 140733262238864 140733262221408 140574469144311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 /proc/932/statm: 7057913 12234 3318 1 0 7019032 0 [pid=932/tid=933] ppid=930 vsize=28231652 memory=0 CPUtime=0.29 cores=0-7 /proc/932/task/933/stat : 933 (java) R 930 930 32308 0 -1 4202560 8099 0 0 0 27 2 0 0 20 0 20 0 511424149 28909211648 12315 33554432000 4194304 4196468 140733262238864 140574473375424 140574469166237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=934] ppid=930 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/932/task/934/stat : 934 (java) S 930 930 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511424150 28909211648 12315 33554432000 4194304 4196468 140733262238864 140574421764752 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=935] ppid=930 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/932/task/935/stat : 935 (java) S 930 930 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511424150 28909211648 12315 33554432000 4194304 4196468 140733262238864 140574420711952 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=936] ppid=930 vsize=28231652 memory=139664283446112 CPUtime=0 cores=0-7 /proc/932/task/936/stat : 936 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424150 28909211648 12315 33554432000 4194304 4196468 140733262238864 140574419659152 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=937] ppid=930 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/932/task/937/stat : 937 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424150 28909211648 12315 33554432000 4194304 4196468 140733262238864 140574418606352 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=938] ppid=930 vsize=28231652 memory=4026532020 CPUtime=0 cores=0-7 /proc/932/task/938/stat : 938 (java) S 930 930 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511424150 28909211648 12315 33554432000 4194304 4196468 140733262238864 140574417554576 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=939] ppid=930 vsize=28231652 memory=331 CPUtime=0 cores=0-7 /proc/932/task/939/stat : 939 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424150 28909211648 12315 33554432000 4194304 4196468 140733262238864 140574416501776 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=940] ppid=930 vsize=28231652 memory=4066715 CPUtime=0 cores=0-7 /proc/932/task/940/stat : 940 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424150 28909211648 12315 33554432000 4194304 4196468 140733262238864 140574415448976 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=941] ppid=930 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/932/task/941/stat : 941 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424150 28909211648 12315 33554432000 4194304 4196468 140733262238864 140574013119248 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=942] ppid=930 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/932/task/942/stat : 942 (java) S 930 930 32308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511424151 28909211648 12315 33554432000 4194304 4196468 140733262238864 140573451127152 140574469155458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=943] ppid=930 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/932/task/943/stat : 943 (java) S 930 930 32308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511424152 28909211648 12315 33554432000 4194304 4196468 140733262238864 140573450073120 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=944] ppid=930 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/932/task/944/stat : 944 (java) S 930 930 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511424152 28909211648 12315 33554432000 4194304 4196468 140733262238864 140573449020272 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=945] ppid=930 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/932/task/945/stat : 945 (java) S 930 930 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511424154 28909211648 12315 33554432000 4194304 4196468 140733262238864 140573447968592 140574469162907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=946] ppid=930 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7 /proc/932/task/946/stat : 946 (java) S 930 930 32308 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 20 0 511424154 28909211648 12315 33554432000 4194304 4196468 140733262238864 140573446916976 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=947] ppid=930 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7 /proc/932/task/947/stat : 947 (java) S 930 930 32308 0 -1 1077944384 78 0 0 0 2 0 0 0 20 0 20 0 511424154 28909211648 12315 33554432000 4194304 4196468 140733262238864 140573445864176 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=948] ppid=930 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/932/task/948/stat : 948 (java) S 930 930 32308 0 -1 1077944384 244 0 0 0 3 0 0 0 20 0 20 0 511424154 28909211648 12315 33554432000 4194304 4196468 140733262238864 140573444811376 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=949] ppid=930 vsize=28231652 memory=0 CPUtime=0.12 cores=0-7 /proc/932/task/949/stat : 949 (java) S 930 930 32308 0 -1 1077944384 940 0 0 0 12 0 0 0 20 0 20 0 511424154 28909211648 12315 33554432000 4194304 4196468 140733262238864 140573443758576 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=950] ppid=930 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/932/task/950/stat : 950 (java) S 930 930 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511424154 28909211648 12315 33554432000 4194304 4196468 140733262238864 140573442706016 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=951] ppid=930 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/932/task/951/stat : 951 (java) S 930 930 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511424155 28909211648 12315 33554432000 4194304 4196468 140733262238864 140573441653296 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50392 KiB [startup+0.700931 s] /proc/loadavg: 7.91 8.07 8.14 6/212 951 /proc/meminfo: memFree=28788644/32770624 swapFree=66999256/67108860 [pid=930] ppid=927 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/930/stat : 930 (xcsp3-exec) S 927 930 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511424148 115843072 364 33554432000 4194304 5098028 140733132223808 140733132221912 140173093134972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19828736 140733132227445 140733132227689 140733132227689 140733132230602 0 /proc/930/statm: 28282 364 305 221 0 87 0 [pid=932] ppid=930 vsize=28233776 memory=128952 CPUtime=2.01 cores=0-7 /proc/932/stat : 932 (java) S 930 930 32308 0 -1 1077944320 17248 0 0 0 195 6 0 0 20 0 20 0 511424149 28911386624 32238 33554432000 4194304 4196468 140733262238864 140733262221408 140574469144311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 /proc/932/statm: 7058444 32238 3447 1 0 7019544 0 [pid=932/tid=933] ppid=930 vsize=28233776 memory=279328567396416 CPUtime=0.68 cores=0-7 /proc/932/task/933/stat : 933 (java) R 930 930 32308 0 -1 4202560 9226 0 0 0 64 4 0 0 20 0 20 0 511424149 28911386624 32238 33554432000 4194304 4196468 140733262238864 140574473378320 140574095199271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=934] ppid=930 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/932/task/934/stat : 934 (java) S 930 930 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511424150 28911386624 32238 33554432000 4194304 4196468 140733262238864 140574421764752 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=935] ppid=930 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/932/task/935/stat : 935 (java) S 930 930 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511424150 28911386624 32238 33554432000 4194304 4196468 140733262238864 140574420711952 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=936] ppid=930 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/932/task/936/stat : 936 (java) S 930 930 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511424150 28911386624 32238 33554432000 4194304 4196468 140733262238864 140574419659152 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 ################ # More data... # ################ [pid=932/tid=949] ppid=930 vsize=28768336 memory=6084 CPUtime=0.92 cores=0-7 /proc/932/task/949/stat : 949 (java) S 930 930 32308 0 -1 1077944384 8312 0 0 0 89 3 0 0 20 0 28 0 511424154 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573443758576 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=950] ppid=930 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/932/task/950/stat : 950 (java) S 930 930 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511424154 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573442706016 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=951] ppid=930 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/932/task/951/stat : 951 (java) S 930 930 32308 0 -1 1077944384 1088 0 0 0 0 1 0 0 20 0 28 0 511424155 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573441653296 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1050] ppid=930 vsize=28768336 memory=2241 CPUtime=18.03 cores=0-7 /proc/932/task/1050/stat : 1050 (java) R 930 930 32308 0 -1 4202560 532 0 0 0 1803 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573427178248 140574102449955 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1051] ppid=930 vsize=28768336 memory=0 CPUtime=18.13 cores=0-7 /proc/932/task/1051/stat : 1051 (java) R 930 930 32308 0 -1 4202560 280 0 0 0 1813 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573430337272 140574102450138 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1052] ppid=930 vsize=28768336 memory=3504 CPUtime=18.15 cores=0-7 /proc/932/task/1052/stat : 1052 (java) R 930 930 32308 0 -1 4202560 666 0 0 0 1815 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573426127848 140574102450216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1053] ppid=930 vsize=28768336 memory=65196 CPUtime=18.05 cores=0-7 /proc/932/task/1053/stat : 1053 (java) R 930 930 32308 0 -1 4202560 790 0 0 0 1805 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573424022728 140574102450216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1054] ppid=930 vsize=28768336 memory=3028 CPUtime=18.12 cores=0-7 /proc/932/task/1054/stat : 1054 (java) R 930 930 32308 0 -1 4202560 652 0 0 0 1812 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573428232072 140574102450090 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1055] ppid=930 vsize=28768336 memory=2012 CPUtime=17.77 cores=0-7 /proc/932/task/1055/stat : 1055 (java) R 930 930 32308 0 -1 4202560 575 0 0 0 1777 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573429286776 140574102449673 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1056] ppid=930 vsize=28768336 memory=1436 CPUtime=18.01 cores=0-7 /proc/932/task/1056/stat : 1056 (java) R 930 930 32308 0 -1 4202560 982 0 0 0 1801 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573422969672 140574102450264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1057] ppid=930 vsize=28768336 memory=776 CPUtime=17.97 cores=0-7 /proc/932/task/1057/stat : 1057 (java) R 930 930 32308 0 -1 4202560 619 0 0 0 1797 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573425076488 140574102450216 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 Current children cumulated CPU time: 199.84 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 465944 KiB [startup+26.8083 s] /proc/loadavg: 7.72 8.00 8.12 9/221 1082 /proc/meminfo: memFree=28405136/32770624 swapFree=66999256/67108860 [pid=930] ppid=927 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/930/stat : 930 (xcsp3-exec) S 927 930 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511424148 115843072 364 33554432000 4194304 5098028 140733132223808 140733132221912 140173093134972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19828736 140733132227445 140733132227689 140733132227689 140733132230602 0 /proc/930/statm: 28282 364 305 221 0 87 0 [pid=932] ppid=930 vsize=28768336 memory=464488 CPUtime=203.07 cores=0-7 /proc/932/stat : 932 (java) S 930 930 32308 0 -1 1077944320 53288 0 0 0 20241 66 0 0 20 0 28 0 511424149 29458776064 116122 33554432000 4194304 4196468 140733262238864 140733262221408 140574469144311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 /proc/932/statm: 7192084 116122 3524 1 0 7153184 0 [pid=932/tid=933] ppid=930 vsize=28768336 memory=4639059877604708710 CPUtime=1.78 cores=0-7 /proc/932/task/933/stat : 933 (java) S 930 930 32308 0 -1 1077944384 9785 0 0 0 172 6 0 0 20 0 28 0 511424149 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574473385088 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=934] ppid=930 vsize=28768336 memory=6080538253841618792 CPUtime=0.09 cores=0-7 /proc/932/task/934/stat : 934 (java) S 930 930 32308 0 -1 1077944384 178 0 0 0 4 5 0 0 20 0 28 0 511424150 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574421764752 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=935] ppid=930 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7 /proc/932/task/935/stat : 935 (java) S 930 930 32308 0 -1 1077944384 210 0 0 0 3 4 0 0 20 0 28 0 511424150 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574420711952 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=936] ppid=930 vsize=28768336 memory=6947385649911455296 CPUtime=0.09 cores=0-7 /proc/932/task/936/stat : 936 (java) S 930 930 32308 0 -1 1077944384 344 0 0 0 4 5 0 0 20 0 28 0 511424150 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574419659152 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=937] ppid=930 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/932/task/937/stat : 937 (java) S 930 930 32308 0 -1 1077944384 145 0 0 0 4 4 0 0 20 0 28 0 511424150 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574418606352 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=938] ppid=930 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/932/task/938/stat : 938 (java) S 930 930 32308 0 -1 1077944384 220 0 0 0 4 4 0 0 20 0 28 0 511424150 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574417554576 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=939] ppid=930 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7 /proc/932/task/939/stat : 939 (java) S 930 930 32308 0 -1 1077944384 184 0 0 0 5 4 0 0 20 0 28 0 511424150 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574416501776 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=940] ppid=930 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/932/task/940/stat : 940 (java) S 930 930 32308 0 -1 1077944384 222 0 0 0 4 4 0 0 20 0 28 0 511424150 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574415448976 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=941] ppid=930 vsize=28768336 memory=796 CPUtime=0.06 cores=0-7 /proc/932/task/941/stat : 941 (java) S 930 930 32308 0 -1 1077944384 151 0 0 0 3 3 0 0 20 0 28 0 511424150 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574013119248 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=942] ppid=930 vsize=28768336 memory=4108 CPUtime=0.02 cores=0-7 /proc/932/task/942/stat : 942 (java) S 930 930 32308 0 -1 1077944384 607 0 0 0 1 1 0 0 20 0 28 0 511424151 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573451127152 140574469155458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=943] ppid=930 vsize=28768336 memory=1712 CPUtime=0 cores=0-7 /proc/932/task/943/stat : 943 (java) S 930 930 32308 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 511424152 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573450073184 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=944] ppid=930 vsize=28768336 memory=1808 CPUtime=0 cores=0-7 /proc/932/task/944/stat : 944 (java) S 930 930 32308 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 511424152 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573449020288 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=945] ppid=930 vsize=28768336 memory=920 CPUtime=0 cores=0-7 /proc/932/task/945/stat : 945 (java) S 930 930 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511424154 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573447968592 140574469162907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=946] ppid=930 vsize=28768336 memory=4836 CPUtime=2.14 cores=0-7 /proc/932/task/946/stat : 946 (java) S 930 930 32308 0 -1 1077944384 9528 0 0 0 212 2 0 0 20 0 28 0 511424154 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573446916976 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=947] ppid=930 vsize=28768336 memory=464488 CPUtime=1.94 cores=0-7 /proc/932/task/947/stat : 947 (java) S 930 930 32308 0 -1 1077944384 7341 0 0 0 192 2 0 0 20 0 28 0 511424154 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573445864176 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=948] ppid=930 vsize=28768336 memory=4108 CPUtime=1.72 cores=0-7 /proc/932/task/948/stat : 948 (java) S 930 930 32308 0 -1 1077944384 4986 0 0 0 171 1 0 0 20 0 28 0 511424154 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573444811376 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=949] ppid=930 vsize=28768336 memory=1456 CPUtime=0.92 cores=0-7 /proc/932/task/949/stat : 949 (java) S 930 930 32308 0 -1 1077944384 8312 0 0 0 89 3 0 0 20 0 28 0 511424154 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573443758576 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=950] ppid=930 vsize=28768336 memory=464488 CPUtime=0 cores=0-7 /proc/932/task/950/stat : 950 (java) S 930 930 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511424154 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573442706016 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=951] ppid=930 vsize=28768336 memory=288230574492221466 CPUtime=0.01 cores=0-7 /proc/932/task/951/stat : 951 (java) S 930 930 32308 0 -1 1077944384 1088 0 0 0 0 1 0 0 20 0 28 0 511424155 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573441653296 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1050] ppid=930 vsize=28768336 memory=297237795305685307 CPUtime=18.44 cores=0-7 /proc/932/task/1050/stat : 1050 (java) R 930 930 32308 0 -1 4202560 532 0 0 0 1844 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573427178248 140574102449941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1051] ppid=930 vsize=28768336 memory=15823283127847349 CPUtime=18.53 cores=0-7 /proc/932/task/1051/stat : 1051 (java) R 930 930 32308 0 -1 4202560 280 0 0 0 1853 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573430337272 140574102450216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1052] ppid=930 vsize=28768336 memory=5787495302057518400 CPUtime=18.56 cores=0-7 /proc/932/task/1052/stat : 1052 (java) R 930 930 32308 0 -1 4202560 666 0 0 0 1856 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573426127848 140574102450095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1053] ppid=930 vsize=28768336 memory=5931329040891795810 CPUtime=18.45 cores=0-7 /proc/932/task/1053/stat : 1053 (java) R 930 930 32308 0 -1 4202560 790 0 0 0 1845 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573424022728 140574102450019 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1054] ppid=930 vsize=28768336 memory=4640212204814424427 CPUtime=18.53 cores=0-7 /proc/932/task/1054/stat : 1054 (java) R 930 930 32308 0 -1 4202560 652 0 0 0 1853 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573428232072 140574102450216 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1055] ppid=930 vsize=28768336 memory=7373332033878715712 CPUtime=18.17 cores=0-7 /proc/932/task/1055/stat : 1055 (java) R 930 930 32308 0 -1 4202560 575 0 0 0 1817 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573429286776 140574102450124 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1056] ppid=930 vsize=28768336 memory=7295943917242040420 CPUtime=18.42 cores=0-7 /proc/932/task/1056/stat : 1056 (java) R 930 930 32308 0 -1 4202560 982 0 0 0 1842 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573422969672 140574102894760 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1057] ppid=930 vsize=28768336 memory=6008198003625582929 CPUtime=18.37 cores=0-7 /proc/932/task/1057/stat : 1057 (java) R 930 930 32308 0 -1 4202560 619 0 0 0 1837 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573425076488 140574104060776 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 Current children cumulated CPU time: 203.07 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 465944 KiB [startup+26.9093 s] /proc/loadavg: 7.72 8.00 8.12 9/221 1082 /proc/meminfo: memFree=28405136/32770624 swapFree=66999256/67108860 [pid=930] ppid=927 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/930/stat : 930 (xcsp3-exec) S 927 930 32308 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511424148 115843072 364 33554432000 4194304 5098028 140733132223808 140733132221912 140173093134972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19828736 140733132227445 140733132227689 140733132227689 140733132230602 0 /proc/930/statm: 28282 364 305 221 0 87 0 [pid=932] ppid=930 vsize=28768336 memory=464488 CPUtime=203.88 cores=0-7 /proc/932/stat : 932 (java) S 930 930 32308 0 -1 1077944320 53288 0 0 0 20322 66 0 0 20 0 28 0 511424149 29458776064 116122 33554432000 4194304 4196468 140733262238864 140733262221408 140574469144311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 /proc/932/statm: 7192084 116122 3524 1 0 7153184 0 [pid=932/tid=933] ppid=930 vsize=28768336 memory=464488 CPUtime=1.78 cores=0-7 /proc/932/task/933/stat : 933 (java) S 930 930 32308 0 -1 1077944384 9785 0 0 0 172 6 0 0 20 0 28 0 511424149 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574473385088 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=934] ppid=930 vsize=28768336 memory=1456 CPUtime=0.09 cores=0-7 /proc/932/task/934/stat : 934 (java) S 930 930 32308 0 -1 1077944384 178 0 0 0 4 5 0 0 20 0 28 0 511424150 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574421764752 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=935] ppid=930 vsize=28768336 memory=428612 CPUtime=0.07 cores=0-7 /proc/932/task/935/stat : 935 (java) S 930 930 32308 0 -1 1077944384 210 0 0 0 3 4 0 0 20 0 28 0 511424150 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574420711952 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=936] ppid=930 vsize=28768336 memory=1456 CPUtime=0.09 cores=0-7 /proc/932/task/936/stat : 936 (java) S 930 930 32308 0 -1 1077944384 344 0 0 0 4 5 0 0 20 0 28 0 511424150 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574419659152 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=937] ppid=930 vsize=28768336 memory=3504 CPUtime=0.08 cores=0-7 /proc/932/task/937/stat : 937 (java) S 930 930 32308 0 -1 1077944384 145 0 0 0 4 4 0 0 20 0 28 0 511424150 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574418606352 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=938] ppid=930 vsize=28768336 memory=3604 CPUtime=0.08 cores=0-7 /proc/932/task/938/stat : 938 (java) S 930 930 32308 0 -1 1077944384 220 0 0 0 4 4 0 0 20 0 28 0 511424150 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574417554576 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=939] ppid=930 vsize=28768336 memory=2828 CPUtime=0.09 cores=0-7 /proc/932/task/939/stat : 939 (java) S 930 930 32308 0 -1 1077944384 184 0 0 0 5 4 0 0 20 0 28 0 511424150 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574416501776 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=940] ppid=930 vsize=28768336 memory=288230574492221466 CPUtime=0.08 cores=0-7 /proc/932/task/940/stat : 940 (java) S 930 930 32308 0 -1 1077944384 222 0 0 0 4 4 0 0 20 0 28 0 511424150 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574415448976 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=941] ppid=930 vsize=28768336 memory=288230596050944315 CPUtime=0.06 cores=0-7 /proc/932/task/941/stat : 941 (java) S 930 930 32308 0 -1 1077944384 151 0 0 0 3 3 0 0 20 0 28 0 511424150 29458776064 116122 33554432000 4194304 4196468 140733262238864 140574013119248 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=942] ppid=930 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7 /proc/932/task/942/stat : 942 (java) S 930 930 32308 0 -1 1077944384 607 0 0 0 1 1 0 0 20 0 28 0 511424151 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573451127152 140574469155458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=943] ppid=930 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/932/task/943/stat : 943 (java) S 930 930 32308 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 511424152 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573450073184 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=944] ppid=930 vsize=28768336 memory=279328567824656 CPUtime=0 cores=0-7 /proc/932/task/944/stat : 944 (java) S 930 930 32308 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 511424152 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573449020288 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=945] ppid=930 vsize=28768336 memory=7228952860318393920 CPUtime=0 cores=0-7 /proc/932/task/945/stat : 945 (java) S 930 930 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511424154 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573447968592 140574469162907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=946] ppid=930 vsize=28768336 memory=279328566831168 CPUtime=2.14 cores=0-7 /proc/932/task/946/stat : 946 (java) S 930 930 32308 0 -1 1077944384 9528 0 0 0 212 2 0 0 20 0 28 0 511424154 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573446916976 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=947] ppid=930 vsize=28768336 memory=6944656592455097440 CPUtime=1.94 cores=0-7 /proc/932/task/947/stat : 947 (java) S 930 930 32308 0 -1 1077944384 7341 0 0 0 192 2 0 0 20 0 28 0 511424154 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573445864176 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=948] ppid=930 vsize=28768336 memory=0 CPUtime=1.72 cores=0-7 /proc/932/task/948/stat : 948 (java) S 930 930 32308 0 -1 1077944384 4986 0 0 0 171 1 0 0 20 0 28 0 511424154 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573444811376 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=949] ppid=930 vsize=28768336 memory=464488 CPUtime=0.92 cores=0-7 /proc/932/task/949/stat : 949 (java) S 930 930 32308 0 -1 1077944384 8312 0 0 0 89 3 0 0 20 0 28 0 511424154 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573443758576 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=950] ppid=930 vsize=28768336 memory=1456 CPUtime=0 cores=0-7 /proc/932/task/950/stat : 950 (java) S 930 930 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511424154 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573442706016 140574469154517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=951] ppid=930 vsize=28768336 memory=464488 CPUtime=0.01 cores=0-7 /proc/932/task/951/stat : 951 (java) S 930 930 32308 0 -1 1077944384 1088 0 0 0 0 1 0 0 20 0 28 0 511424155 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573441653296 140574469155458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1050] ppid=930 vsize=28768336 memory=1456 CPUtime=18.54 cores=0-7 /proc/932/task/1050/stat : 1050 (java) R 930 930 32308 0 -1 4202560 532 0 0 0 1854 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573427178248 140574102450046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1051] ppid=930 vsize=28768336 memory=464488 CPUtime=18.63 cores=0-7 /proc/932/task/1051/stat : 1051 (java) R 930 930 32308 0 -1 4202560 280 0 0 0 1863 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573430337272 140574102450202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1052] ppid=930 vsize=28768336 memory=1456 CPUtime=18.66 cores=0-7 /proc/932/task/1052/stat : 1052 (java) R 930 930 32308 0 -1 4202560 666 0 0 0 1866 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573426127848 140574102450193 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1053] ppid=930 vsize=28768336 memory=464488 CPUtime=18.55 cores=0-7 /proc/932/task/1053/stat : 1053 (java) R 930 930 32308 0 -1 4202560 790 0 0 0 1855 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573424022728 140574102450095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1054] ppid=930 vsize=28768336 memory=6947385649911455296 CPUtime=18.63 cores=0-7 /proc/932/task/1054/stat : 1054 (java) R 930 930 32308 0 -1 4202560 652 0 0 0 1863 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573428232072 140574102450211 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1055] ppid=930 vsize=28768336 memory=6225210976067676010 CPUtime=18.27 cores=0-7 /proc/932/task/1055/stat : 1055 (java) R 930 930 32308 0 -1 4202560 575 0 0 0 1827 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573429286776 140574102449955 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1056] ppid=930 vsize=28768336 memory=1456 CPUtime=18.52 cores=0-7 /proc/932/task/1056/stat : 1056 (java) R 930 930 32308 0 -1 4202560 982 0 0 0 1852 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573422969672 140574102450243 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 [pid=932/tid=1057] ppid=930 vsize=28768336 memory=464488 CPUtime=18.47 cores=0-7 /proc/932/task/1057/stat : 1057 (java) R 930 930 32308 0 -1 4202560 619 0 0 0 1847 0 0 0 20 0 28 0 511424971 29458776064 116122 33554432000 4194304 4196468 140733262238864 140573425076488 140574102449955 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39309312 140733262246890 140733262247062 140733262247062 140733262249935 0 Current children cumulated CPU time: 203.88 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 465944 KiB Child status: 0 Real time (s): 26.9294 CPU time (s): 203.936 CPU user time (s): 203.258 CPU system time (s): 0.677715 CPU usage (%): 757.298 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 471200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 203.258 system time used= 0.677715 maximum resident set size= 469744 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54872 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6556 involuntary context switches= 3352 # summary of solver processes directly reported to runsolver: # pid: 930 # total CPU time (s): 203.936 # total CPU user time (s): 203.258 # total CPU system time (s): 0.677715 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.247242 second user time and 0.371947 second system time The end
Begin job on node103 at 2019-09-24 21:00:52 IDJOB=4407111 IDBENCH=128027 IDSOLVER=2871 FILE ID=node103/4407111-1569351711 RUNJOBID= node103-1569348342-32335 PBS_JOBID= 21705080 Free space on /tmp= 20860 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-25-5-5-6.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407111-1569351711/watcher-4407111-1569351711 -o /tmp/evaluation-result-4407111-1569351711/solver-4407111-1569351711 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569348342-32335 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1455362239 HOME/instance-4407111-1569351711.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0bc86e74ae8fed70a43ec92abb2586e2 RANDOM SEED=1455362239 node103.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.74 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.74 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.74 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.74 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: 28854576 kB MemAvailable: 31848400 kB Buffers: 56288 kB Cached: 3213908 kB SwapCached: 7000 kB Active: 3169584 kB Inactive: 116284 kB Active(anon): 5416 kB Inactive(anon): 67432 kB Active(file): 3164168 kB Inactive(file): 48852 kB Unevictable: 107728 kB Mlocked: 107728 kB SwapTotal: 67108860 kB SwapFree: 66999256 kB Dirty: 27020 kB Writeback: 0 kB AnonPages: 126852 kB Mapped: 57616 kB Shmem: 49080 kB Slab: 221660 kB SReclaimable: 193280 kB SUnreclaim: 28380 kB KernelStack: 3728 kB PageTables: 6084 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514816 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 20832 MiB End job on node103 at 2019-09-24 21:01:19