Trace number 4408663

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0? (TO) 2400.06 2400.2

General information on the benchmark

NameRandom/Random-RB-2-50-23/
rand-2-50-23-587-230-39.xml
MD5SUM6ed171dcccdb92ebb130c3872609e61b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2044.77
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints462
Number of domains1
Minimum domain size23
Maximum domain size23
Distribution of domain sizes[{"size":23,"count":50}]
Minimum variable degree11
Maximum variable degree27
Distribution of variable degrees[{"degree":11,"count":2},{"degree":13,"count":4},{"degree":14,"count":2},{"degree":15,"count":4},{"degree":16,"count":5},{"degree":17,"count":1},{"degree":18,"count":6},{"degree":19,"count":4},{"degree":20,"count":9},{"degree":21,"count":2},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":27,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":462}]
Number of extensional constraints462
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":462}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.18	c root propagations     : 0           
0.10/0.18	c restarts enabled, print stats at every restarts
0.10/0.18	c
0.10/0.18	c
0.10/0.18	c
0.10/0.18	c This is cosoco 2.00 --  
0.10/0.18	c
0.10/0.18	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408663-1569789795.xml 
0.10/0.18	c ========================================[ Problem Statistics ]===========================================
0.10/0.18	c |                                                                                                       
0.10/0.18	c |  Parse time        :         0.17 s 
0.10/0.18	c |
0.10/0.18	c |               Variables: 50
0.10/0.18	c |            Domain Sizes: 23..23
0.10/0.18	c |
0.10/0.18	c |             Constraints: 462
0.10/0.18	c |                   Arity: 2..2  -- Binary: 462
0.10/0.18	c | 
0.10/0.18	c |                   Types: 
0.10/0.18	c |                          Extension: 462  (nb tuples: 121..254) -- (shared: 0)
0.10/0.18	c |                          
0.10/0.18	c =========================================================================================================
0.10/0.18	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.19	c 101            215            71367          24088          0              0              8   16   11    
0.10/0.20	c 211            485            156232         52523          0              0              7   16   11    
0.10/0.21	c 332            853            260734         85751          0              0              8   17   11    
0.21/0.22	c 465            1250           371926         120942         0              0              7   15   12    
0.21/0.24	c 611            1660           495319         163880         0              0              8   16   12    
0.21/0.25	c 771            2053           617503         204941         0              0              8   15   11    
0.21/0.27	c 947            2529           756893         247933         0              0              8   17   12    
0.21/0.28	c 1140           2994           895377         288656         0              0              10   17   12   
0.21/0.31	c 1352           3623           1076726        353756         0              0              7   16   10    
0.30/0.33	c 1585           4348           1268964        411350         0              0              8   19   13    
0.30/0.35	c 1841           5043           1471299        481018         0              0              7   17   11    
0.30/0.38	c 2122           5825           1701897        564443         0              0              6   16   11    
0.30/0.41	c 2431           6725           1955192        638821         0              0              8   18   12    
0.41/0.45	c 2770           7654           2233658        734075         0              0              7   16   11    
0.41/0.49	c 3142           8826           2567317        845324         0              0              7   17   11    
0.50/0.53	c 3551           9938           2914586        968025         0              0              7   18   11    
0.50/0.57	c 4000           10978          3241440        1075387        0              0              9   16   12    
0.60/0.61	c 4493           12331          3617722        1190600        0              0              9   18   13    
0.60/0.66	c 5035           13980          4064983        1326280        0              0              7   18   12    
0.69/0.71	c 5631           15638          4524303        1467314        0              0              8   18   12    
0.69/0.77	c 6286           17459          5021427        1626218        0              0              8   18   12    
0.79/0.84	c 7006           19250          5563847        1814370        0              0              6   16   10    
0.89/0.91	c 7798           21372          6187324        2011574        0              0              9   18   13    
0.89/0.99	c 8669           23686          6879417        2232389        0              0              8   18   12    
1.00/1.07	c 9627           26296          7623630        2476186        0              0              8   19   12    
1.10/1.18	c 10680          29049          8472538        2771893        0              0              8   18   11    
1.19/1.29	c 11838          32032          9365022        3089722        0              0              7   18   11    
1.39/1.40	c 13111          35609          10363623       3397008        0              0              8   19   13    
1.49/1.53	c 14511          39499          11485844       3744320        0              0              8   19   12    
1.59/1.67	c 16051          43684          12703118       4139939        0              0              8   19   13    
1.79/1.83	c 17745          48319          14051306       4564090        0              0              8   19   12    
2.00/2.01	c 19608          53735          15578552       5058036        0              0              7   20   12    
2.19/2.21	c 21657          59559          17247130       5656021        0              0              6   18   12    
2.39/2.43	c 23910          66033          19091450       6246730        0              0              6   19   11    
2.59/2.68	c 26388          72768          21145219       6944828        0              0              7   18   11    
2.89/2.91	c 29113          79684          23171286       7600143        0              0              7   17   12    
3.19/3.20	c 32110          88195          25607868       8400793        0              0              6   18   11    
3.49/3.53	c 35406          97459          28350899       9297205        0              0              7   22   12    
3.79/3.87	c 39031          107762         31218011       10265175       0              0              6   20   12    
4.19/4.29	c 43018          119180         34561750       11461077       0              0              6   17   11    
4.69/4.74	c 47403          131938         38243212       12756429       0              0              6   19   11    
5.19/5.21	c 52226          145143         42156731       14038331       0              0              7   18   12    
5.59/5.68	c 57531          159406         46299851       15332945       0              0              6   18   12    
6.19/6.22	c 63366          175889         50985075       16814646       0              0              7   20   12    
6.69/6.76	c 69784          192844         55786350       18319345       0              0              8   20   13    
7.39/7.45	c 76843          214092         61666611       20269521       0              0              7   21   13    
8.10/8.17	c 84607          236884         68046058       22216426       0              0              7   19   13    
8.89/8.97	c 93147          260257         74825515       24450923       0              0              6   19   11    
9.79/9.86	c 102541         286025         82345208       26951397       0              0              6   21   12    
10.79/10.86	c 112874         315735         90881997       29676823       0              0              6   20   13    
11.79/11.88	c 124240         347257         99780037       32490527       0              0              5   19   12    
13.00/13.06	c 136742         382313         109821696      35823190       0              0              5   19   11    
14.29/14.38	c 150494         420123         120822781      39531437       0              0              5   21   11    
15.79/15.89	c 165621         463185         133321655      43743316       0              0              6   21   11    
17.39/17.46	c 182260         509419         146697205      48111441       0              0              6   19   12    
19.19/19.24	c 200562         560445         161565209      53115002       0              0              6   21   12    
21.10/21.13	c 220694         615741         177775266      58339911       0              0              6   19   11    
23.19/23.24	c 242839         677398         195405631      64303170       0              0              5   20   12    
25.49/25.56	c 267198         743912         215132957      70676389       0              0              6   20   12    
28.10/28.13	c 293992         820723         236937870      77863868       0              0              5   20   11    
30.79/30.88	c 323465         904410         260662462      85332060       0              0              5   20   12    
33.89/34.00	c 355885         992371         286868300      94040979       0              0              7   21   12    
37.39/37.47	c 391547         1097210        316924587      103544250      0              0              5   21   12    
41.19/41.21	c 430775         1210772        349392624      113861898      0              0              5   21   13    
45.29/45.33	c 473925         1328087        384053303      125380050      0              0              5   19   12    
49.89/49.92	c 521390         1452630        422294119      138054479      0              0              5   20   10    
54.89/54.92	c 573601         1601640        465484297      151819583      0              0              5   22   12    
59.99/60.10	c 631033         1762318        511382114      166115877      0              0              5   21   12    
65.88/65.93	c 694208         1939578        562071085      182088563      0              0              4   22   12    
72.58/72.61	c 763700         2142397        619003921      200499722      0              0              5   20   12    
80.09/80.14	c 840141         2354187        681004224      221943953      0              0              5   22   11    
88.09/88.11	c 924226         2596785        748982427      243885831      0              0              4   23   12    
97.28/97.34	c 1016719        2860206        824768837      269738463      0              0              4   21   12    
107.28/107.35	c 1118461        3145294        908410467      297625703      0              0              5   20   11    
117.88/117.92	c 1230377        3466538        1000240928     326243156      0              0              4   21   12    
128.99/129.05	c 1353484        3812317        1098299639     356704114      0              0              6   22   12    
141.28/141.36	c 1488901        4183454        1204406735     390997154      0              0              5   22   12    
155.09/155.19	c 1637859        4629462        1326079075     428665654      0              0              4   24   12    
171.09/171.12	c 1801712        5089417        1460192900     472320460      0              0              5   21   11    
189.18/189.24	c 1981950        5616067        1610725101     523098635      0              0              4   22   11    
207.78/207.84	c 2180211        6170323        1767859155     574734103      0              0              5   21   12    
229.18/229.27	c 2398298        6755113        1944697948     634423570      0              0              5   20   11    
252.27/252.39	c 2638193        7410559        2137768537     698527742      0              0              5   22   12    
278.87/278.93	c 2902077        8170937        2356208854     774133640      0              0              5   22   11    
305.77/305.83	c 3192349        8987360        2591403806     847402669      0              0              5   22   12    
334.77/334.87	c 3511648        9921307        2848623575     926873876      0              0              4   24   13    
366.77/366.81	c 3862876        10901076       3131009006     1013310921     0              0              6   22   13    
404.47/404.58	c 4249226        12019679       3448695235     1119929663     0              0              4   22   11    
443.86/443.95	c 4674211        13208783       3791805767     1227140350     0              0              5   24   12    
487.97/488.10	c 5141694        14544990       4170266256     1350572010     0              0              4   23   12    
537.26/537.38	c 5655925        15967457       4586361944     1486856798     0              0              4   22   12    
593.35/593.42	c 6221579        17604656       5055427094     1644417597     0              0              5   24   12    
649.85/649.99	c 6843798        19387452       5555106592     1798717092     0              0              4   24   12    
714.75/714.82	c 7528238        21362234       6108557411     1981352123     0              0              4   22   12    
789.74/789.88	c 8281122        23537505       6733130967     2187313858     0              0              4   23   12    
871.54/871.62	c 9109294        25812711       7414073101     2413300808     0              0              4   22   11    
960.33/960.43	c 10020283       28341842       8151134511     2663168256     0              0              3   22   11    
1057.93/1058.07	c 11022370       31110549       8971046281     2933068015     0              0              4   21   11    
1163.32/1163.46	c 12124665       34208245       9872122704     3224092281     0              0              4   24   12    
1281.51/1281.65	c 13337189       37759480       10871832306    3552207896     0              0              3   24   12    
1408.31/1408.45	c 14670965       41559666       11967183262    3897736150     0              0              4   22   12    
1554.30/1554.41	c 16138118       45506310       13156315265    4306613512     0              0              4   23   11    
1715.90/1716.04	c 17751986       50314069       14510748019    4755895519     0              0              3   23   12    
1892.99/1893.13	c 19527240       55413044       15987146873    5243853610     0              0              4   23   12    
2087.07/2087.25	c 21480019       61126670       17610712080    5788084349     0              0              3   24   12    
2298.05/2298.20	c 23628075       67339142       19371323612    6375302746     0              0              3   23   12    
2400.05/2400.20	
2400.05/2400.20	c *** INTERRUPTED ***
2400.05/2400.20	c restarts              : 106         
2400.05/2400.20	c conflicts             : 24692510     (10288 /sec)
2400.05/2400.20	c decisions             : 70403691     (29334 /sec)
2400.05/2400.20	c propagations          : 6655346171  (2772999 /sec)
2400.05/2400.20	c root propagations     : 0           
2400.05/2400.20	c filter calls          : 20249719141    (8437196 /sec)
2400.05/2400.20	c useless filter calls  : 16520427138    (81 %)
2400.05/2400.20	c Memory used           : 27.49 MB
2400.05/2400.20	c CPU time              : 2400.05 s
2400.05/2400.20	c real time             : 2400.19 s
2400.05/2400.20	
2400.05/2400.20	s UNKNOWN

Verifier Data


Watcher Data 

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 (15285 MiB free)
  memory of node 1: 16384 MiB (15436 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408663-1569789795/watcher-4408663-1569789795 -o /tmp/evaluation-result-4408663-1569789795/solver-4408663-1569789795 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569787540-6946 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408663-1569789795.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7302, runsolver pid=7299
Current StackSize limit: 8192 KiB


[startup+0.100195 s]*
/proc/loadavg: 2.00 2.01 1.87 3/193 7303
/proc/meminfo: memFree=31449960/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=27756 memory=3800 CPUtime=0.1 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 1176 0 0 0 10 0 0 0 20 0 1 0 555251730 28422144 950 33554432000 4194304 6211132 140720780026688 140720780023224 5485016 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 6939 950 811 493 0 244 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 3800 KiB

[startup+0.209336 s]*
/proc/loadavg: 2.00 2.01 1.87 3/193 7303
/proc/meminfo: memFree=31443264/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4448 CPUtime=0.21 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 1322 0 0 0 21 0 0 0 20 0 1 0 555251730 28823552 1112 33554432000 4194304 6211132 140720780026688 140720780023224 5017472 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1112 811 493 0 342 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4448 KiB

[startup+0.308911 s]*
/proc/loadavg: 2.00 2.01 1.87 3/193 7303
/proc/meminfo: memFree=31437684/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4448 CPUtime=0.3 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 1322 0 0 0 30 0 0 0 20 0 1 0 555251730 28823552 1112 33554432000 4194304 6211132 140720780026688 140720780023224 5017182 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1112 811 493 0 342 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4448 KiB

[startup+0.700334 s]
/proc/loadavg: 2.00 2.01 1.87 3/193 7303
/proc/meminfo: memFree=31426304/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4448 CPUtime=0.69 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 1322 0 0 0 69 0 0 0 20 0 1 0 555251730 28823552 1112 33554432000 4194304 6211132 140720780026688 140720780024648 5017485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1112 811 493 0 342 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4448 KiB

[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 1.87 3/197 7315
/proc/meminfo: memFree=31425128/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4448 CPUtime=1.49 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 1322 0 0 0 149 0 0 0 20 0 1 0 555251730 28823552 1112 33554432000 4194304 6211132 140720780026688 140720780024648 5017348 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1112 811 493 0 342 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4448 KiB

[startup+3.10913 s]
/proc/loadavg: 1.84 1.98 1.86 3/197 7315
/proc/meminfo: memFree=31408336/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=3.1 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 1563 0 0 0 310 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017472 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+6.30033 s]
/proc/loadavg: 1.84 1.98 1.86 3/197 7315
/proc/meminfo: memFree=31388832/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=6.29 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 1804 0 0 0 629 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017344 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+12.7003 s]
/proc/loadavg: 1.86 1.98 1.86 3/197 7315
/proc/meminfo: memFree=31346876/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=12.69 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 2045 0 0 0 1269 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017583 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 1.87 3/198 7317
/proc/meminfo: memFree=31319024/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=25.49 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 2527 0 0 0 2549 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017344 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+51.109 s]
/proc/loadavg: 1.93 1.99 1.87 3/197 7318
/proc/meminfo: memFree=31317464/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=51.09 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 2768 0 0 0 5109 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017348 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 1.99 1.87 3/197 7322
/proc/meminfo: memFree=31316432/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=102.28 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 3009 0 0 0 10228 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5397258 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+162.3 s]
/proc/loadavg: 2.38 2.08 1.91 3/197 7327
/proc/meminfo: memFree=31317192/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=162.28 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 3250 0 0 0 16228 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+222.3 s]
/proc/loadavg: 2.24 2.11 1.93 3/197 7331
/proc/meminfo: memFree=31316832/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=222.28 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 3491 0 0 0 22228 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017462 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+282.3 s]
/proc/loadavg: 2.09 2.09 1.94 3/198 7343
/proc/meminfo: memFree=31316592/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=282.27 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 3732 0 0 0 28227 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017476 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+342.3 s]
/proc/loadavg: 2.03 2.07 1.94 3/198 7349
/proc/meminfo: memFree=31316844/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=342.27 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 3973 0 0 0 34227 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.06 1.95 3/198 7353
/proc/meminfo: memFree=31316700/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=402.27 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 4214 0 0 0 40227 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017536 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.05 1.95 3/198 7357
/proc/meminfo: memFree=31316524/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=462.26 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 4455 0 0 0 46226 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017186 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB


################
# More data... #
################

/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 1602.2 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/198 7551
/proc/meminfo: memFree=31449764/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=1662.19 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 9179 0 0 0 166219 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017277 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 1662.19 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/198 7555
/proc/meminfo: memFree=31449536/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=1722.19 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 9420 0 0 0 172219 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/197 7561
/proc/meminfo: memFree=31449832/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=1782.18 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 9649 0 0 0 178218 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5397397 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/197 7565
/proc/meminfo: memFree=31450172/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=1842.18 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 9878 0 0 0 184218 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/197 7569
/proc/meminfo: memFree=31449644/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=1902.18 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 10119 0 0 0 190218 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017569 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/197 7575
/proc/meminfo: memFree=31449520/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=1962.17 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 10348 0 0 0 196217 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017296 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/197 7579
/proc/meminfo: memFree=31449644/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=2022.17 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 10577 0 0 0 202217 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017248 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+2082.3 s]
/proc/loadavg: 2.07 2.03 1.97 3/196 7590
/proc/meminfo: memFree=31451336/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=2082.17 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 10806 0 0 0 208217 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5389476 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 2082.17 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 1.97 3/197 7597
/proc/meminfo: memFree=31450420/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=2142.16 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 11047 0 0 0 214216 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017564 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 2142.16 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/197 7601
/proc/meminfo: memFree=31449912/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=2202.16 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 11276 0 0 0 220216 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017373 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/197 7605
/proc/meminfo: memFree=31449976/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=2262.16 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 11505 0 0 0 226216 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017418 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 1.97 3/197 7611
/proc/meminfo: memFree=31449696/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=2322.15 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 11746 0 0 0 232215 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5017267 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+2382.3 s]
/proc/loadavg: 2.09 2.04 1.98 3/197 7616
/proc/meminfo: memFree=31449696/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=2382.15 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 11974 0 0 0 238215 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5397407 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.06 2.04 1.98 3/197 7618
/proc/meminfo: memFree=31450068/32770624 swapFree=66941828/67108860
[pid=7302] ppid=7299 vsize=28148 memory=4640 CPUtime=2400.05 cores=0,2,4,6
/proc/7302/stat : 7302 (cosoco) R 7299 7302 6915 0 -1 4202496 12202 0 0 0 240005 0 0 0 20 0 1 0 555251730 28823552 1160 33554432000 4194304 6211132 140720780026688 140720780024648 5397511 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 27054080 140720780030987 140720780031089 140720780031089 140720780033998 0
/proc/7302/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2400.2 s]
# the end of solver process 7302 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400.05 s, system=0.004999 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2400.2
CPU time (s): 2400.06
CPU user time (s): 2400.05
CPU system time (s): 0.004999
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 28148
Max. memory (cumulated for all children) (KiB): 4640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.004999
maximum resident set size= 4704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12251
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 3021


# summary of solver processes directly reported to runsolver:
#   pid: 7302
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2400.05
#   total CPU system time (s): 0.004999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.15071 second user time and 14.9457 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-29 22:45:43
IDJOB=4408663
IDBENCH=122171
IDSOLVER=2875
FILE ID=node139/4408663-1569789795
RUNJOBID= node139-1569787540-6946
PBS_JOBID= 21705823
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Random/Random-RB-2-50-23/rand-2-50-23-587-230-39.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408663-1569789795/watcher-4408663-1569789795 -o /tmp/evaluation-result-4408663-1569789795/solver-4408663-1569789795 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569787540-6946 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408663-1569789795.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 6ed171dcccdb92ebb130c3872609e61b
RANDOM SEED=240987012

node139.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.57
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.57
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.57
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.57
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:        31460164 kB
MemAvailable:   31808032 kB
Buffers:          205636 kB
Cached:           482460 kB
SwapCached:        64664 kB
Active:           406960 kB
Inactive:         356568 kB
Active(anon):      27864 kB
Inactive(anon):   128344 kB
Active(file):     379096 kB
Inactive(file):   228224 kB
Unevictable:      108212 kB
Mlocked:          108212 kB
SwapTotal:      67108860 kB
SwapFree:       66941828 kB
Dirty:              9272 kB
Writeback:             0 kB
AnonPages:        114904 kB
Mapped:            26572 kB
Shmem:             72116 kB
Slab:             142092 kB
SReclaimable:     112764 kB
SUnreclaim:        29328 kB
KernelStack:        3440 kB
PageTables:         5668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     542380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 62024 MiB
End job on node139 at 2019-09-29 23:25:43