Trace number 4408198

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) 2520.05 2519.9

General information on the benchmark

NamePrimes/
Primes-m1-p15/Primes-15-40-3-5.xml
MD5SUM25f96b3bf5c8370c442a7a32cdfe0f98
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 benchmark208.669
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Number of domains1
Minimum domain size46
Maximum domain size46
Distribution of domain sizes[{"size":46,"count":91}]
Minimum variable degree0
Maximum variable degree6
Distribution of variable degrees[{"degree":0,"count":9},{"degree":1,"count":19},{"degree":2,"count":29},{"degree":3,"count":25},{"degree":4,"count":15},{"degree":6,"count":3}]
Minimum constraint arity3
Maximum constraint arity8
Distribution of constraint arities[{"arity":3,"count":3},{"arity":4,"count":8},{"arity":5,"count":9},{"arity":6,"count":5},{"arity":7,"count":6},{"arity":8,"count":9}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":40}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 420         
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 2.00 --  
0.00/0.00	c
0.00/0.00	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408198-1569800854.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.01 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 100
0.00/0.00	c |            Domain Sizes: 46..46
0.00/0.00	c |
0.00/0.00	c |             Constraints: 40
0.00/0.00	c |                   Arity: 3..8  -- Ternary: 3
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Sum: 40
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.00	c remove useless variable x[1]
0.00/0.00	c remove useless variable x[7]
0.00/0.00	c remove useless variable x[20]
0.00/0.00	c remove useless variable x[30]
0.00/0.00	c remove useless variable x[36]
0.00/0.00	c remove useless variable x[52]
0.00/0.00	c remove useless variable x[77]
0.00/0.00	c remove useless variable x[91]
0.00/0.00	c remove useless variable x[92]
0.00/0.01	c 101            162            2188           17689          26             0              2   37   29    
0.00/0.01	c 211            314            4339           34186          26             0              3   33   24    
0.00/0.02	c 332            558            6897           60518          26             0              7   66   39    
0.00/0.02	c 465            816            9305           95161          26             0              3   61   46    
0.00/0.02	c 611            1051           11492          116402         26             0              3   51   35    
0.00/0.03	c 771            1300           13624          149497         26             0              3   46   34    
0.00/0.04	c 947            1572           16961          180239         26             0              3   67   34    
0.00/0.04	c 1140           1803           19190          216626         26             0              3   36   31    
0.00/0.05	c 1352           2105           22296          249618         26             0              4   69   53    
0.00/0.05	c 1585           2507           26157          290847         26             0              5   60   49    
0.00/0.06	c 1841           3071           30780          339535         26             0              7   47   33    
0.00/0.07	c 2122           3462           33659          374903         26             0              3   58   49    
0.00/0.07	c 2431           3903           37688          420393         26             0              3   56   44    
0.00/0.08	c 2770           4332           42033          477108         26             0              3   54   49    
0.00/0.10	c 3142           4851           56169          548036         26             0              3   37   30    
0.10/0.11	c 3551           5407           66110          599277         26             0              3   49   35    
0.10/0.12	c 4000           6044           73537          649931         26             0              3   52   37    
0.10/0.14	c 4493           6738           83360          750904         26             0              2   47   29    
0.10/0.16	c 5035           7506           92468          834827         26             0              5   46   36    
0.10/0.17	c 5631           8227           104788         918575         26             0              2   29   26    
0.10/0.19	c 6286           9325           114812         1018238        26             0              3   49   40    
0.21/0.21	c 7006           10603          130517         1131873        26             0              2   52   36    
0.21/0.23	c 7798           11583          142076         1204112        26             0              2   53   42    
0.21/0.26	c 8669           12995          162417         1371955        26             0              2   44   37    
0.21/0.30	c 9627           14795          183465         1610399        26             0              2   60   40    
0.31/0.33	c 10680          16477          197997         1791320        26             0              2   49   43    
0.31/0.36	c 11838          17928          220548         1967845        26             0              2   58   25    
0.31/0.39	c 13111          19620          235770         2146384        26             0              2   48   40    
0.41/0.44	c 14511          21571          261945         2381538        26             0              2   36   27    
0.41/0.48	c 16051          23654          280087         2615589        26             0              2   52   36    
0.41/0.51	c 17745          26047          300823         2847731        26             0              2   48   36    
0.51/0.57	c 19608          28695          339660         3160285        26             0              2   53   38    
0.60/0.62	c 21657          31442          376888         3442725        26             0              2   45   43    
0.69/0.70	c 23910          34445          433905         3794221        26             0              2   36   28    
0.69/0.78	c 26388          37763          487963         4191752        26             0              2   44   37    
0.79/0.86	c 29113          41800          548429         4642661        26             0              2   45   34    
0.89/0.95	c 32110          46035          599226         5120958        26             0              2   45   38    
1.00/1.04	c 35406          50107          661298         5607671        26             0              2   49   40    
1.10/1.13	c 39031          55194          724069         6023971        26             0              2   52   36    
1.19/1.26	c 43018          60887          819520         6559940        26             0              2   44   34    
1.39/1.42	c 47403          67309          948560         7149657        26             0              2   40   25    
1.49/1.59	c 52226          74411          1064608        8088222        26             0              5   59   42    
1.69/1.78	c 57531          81567          1168622        9153936        26             0              2   51   31    
1.89/1.98	c 63366          88816          1312298        10292503       26             0              4   46   38    
2.10/2.12	c 69784          97063          1393673        10981269       26             0              2   65   46    
2.19/2.28	c 76843          106696         1520216        11721680       26             0              2   58   37    
2.49/2.52	c 84607          117663         1688102        12745544       26             0              2   42   30    
2.69/2.73	c 93147          129230         1842560        13648217       26             0              2   48   35    
3.10/3.13	c 102541         143768         2024247        16189018       26             0              2   43   35    
3.39/3.47	c 112874         158157         2246234        17748357       26             0              2   41   33    
3.79/3.85	c 124240         173846         2481785        19530428       26             0              2   51   41    
4.19/4.27	c 136742         190619         2708209        21853245       26             0              2   52   37    
4.59/4.63	c 150494         209132         2946327        23594517       26             0              2   55   34    
4.89/4.92	c 165621         227242         3112358        25098308       26             0              2   58   42    
5.29/5.34	c 182260         250519         3355011        27641906       26             0              2   60   40    
5.79/5.84	c 200562         272489         3606171        31049569       26             0              2   65   34    
6.19/6.25	c 220694         296416         3834732        33243377       26             0              2   59   39    
7.10/7.12	c 242839         325303         4275335        37821760       26             0              2   48   32    
7.59/7.64	c 267198         357673         4633829        40085592       26             0              6   48   38    
8.10/8.16	c 293992         389229         4946556        42854820       26             0              2   65   41    
8.79/8.87	c 323465         427981         5407508        46787322       26             0              2   65   42    
9.49/9.53	c 355885         474019         5874904        50207595       26             0              3   59   39    
10.29/10.39	c 391547         521676         6459439        54905519       26             0              2   59   33    
11.69/11.72	c 430775         580591         7345730        61631013       26             0              5   59   39    
13.00/13.08	c 473925         634660         8233877        68819330       26             0              2   49   40    
14.10/14.19	c 521390         697486         8886684        75825289       26             0              2   59   39    
15.89/15.99	c 573601         774141         9897503        86192628       26             0              2   51   38    
18.10/18.19	c 631033         856428         11129825       98356058       26             0              2   52   39    
19.89/19.92	c 694208         929919         12246246       107339681      26             0              2   51   40    
22.19/22.28	c 763700         1042393        13595646       122089447      26             0              2   56   42    
25.00/25.09	c 840141         1139598        15091426       138634609      26             0              5   51   34    
27.59/27.66	c 924226         1256416        16473908       154988939      26             0              2   50   40    
30.29/30.34	c 1016719        1374788        18026402       171029306      26             0              2   52   33    
32.89/32.99	c 1118461        1518514        19654053       186103688      26             0              2   64   43    
36.20/36.23	c 1230377        1674971        21961852       201900057      26             0              2   59   40    
39.40/39.41	c 1353484        1828356        24025057       218079654      26             0              2   59   35    
42.60/42.61	c 1488901        1977260        25530314       236919525      26             0              7   64   40    
47.50/47.52	c 1637859        2171350        27930451       272011163      26             0              2   49   37    
52.20/52.29	c 1801712        2380842        31414244       293787869      26             0              2   59   33    
58.00/58.08	c 1981950        2621908        35075310       322768974      26             0              2   49   35    
63.20/63.23	c 2180211        2873471        37932497       349280598      26             0              2   59   42    
69.50/69.58	c 2398298        3142100        41699349       383548847      26             0              2   48   29    
75.01/75.04	c 2638193        3441413        44414130       418647451      26             0              2   47   35    
81.40/81.42	c 2902077        3755918        47285830       461194319      26             0              2   59   42    
90.11/90.18	c 3192349        4130732        52064974       512842086      26             0              2   61   34    
104.11/104.18	c 3511648        4599267        60632062       589072829      26             0              2   53   33    
115.30/115.30	c 3862876        5092762        66717898       651945795      26             0              2   59   38    
125.90/125.90	c 4249226        5677731        73422421       712539585      26             0              2   63   41    
138.50/138.50	c 4674211        6203574        81734562       774969096      26             0              5   59   39    
155.60/155.69	c 5141694        7021877        92220519       876623664      26             0              2   63   42    
170.11/170.13	c 5655925        7701629        101658796      946359556      26             0              3   59   34    
188.70/188.70	c 6221579        8550294        112089397      1059801748     26             0              3   64   39    
209.51/209.57	c 6843798        9424652        125225992      1164384915     26             0              2   57   35    
233.31/233.31	c 7528238        10297783       140823276      1287471612     26             0              2   54   37    
256.51/256.54	c 8281122        11373953       155535718      1420950678     26             0              2   59   35    
291.21/291.28	c 9109294        12339942       175254444      1608376659     26             0              3   51   39    
319.12/319.13	c 10020283       13488270       191719664      1756270542     26             0              2   55   28    
342.31/342.36	c 11022370       14901070       209240517      1891381055     26             0              5   59   37    
382.82/382.83	c 12124665       16446601       232324190      2110472730     26             0              2   56   34    
426.32/426.36	c 13337189       18418414       262830473      2358341899     26             0              2   65   38    
460.42/460.43	c 14670965       20474830       285169035      2547072972     26             0              2   62   41    
511.13/511.17	c 16138118       22717759       324152617      2809798309     26             0              6   54   40    
566.83/566.82	c 17751986       24949887       359461859      3112713872     26             0              5   60   31    
626.63/626.69	c 19527240       27096670       395974154      3436773129     26             0              4   59   42    
688.23/688.30	c 21480019       29681900       434399921      3765102723     26             0              2   60   41    
742.84/742.85	c 23628075       32425523       471363638      4052899286     26             0              2   62   33    
818.64/818.63	c 25990936       35972074       519319304      4484677630     26             0              2   62   37    
916.05/916.07	c 28590083       39659675       576095375      5031768249     26             0              2   58   30    
1009.35/1009.37	c 31449144       43818953       629791121      5564282283     26             0              2   58   34    
1098.76/1098.70	c 34594111       48520711       690559457      6045731525     26             0              2   57   35    
1200.36/1200.39	c 38053574       53269816       755525735      6572765762     26             0              2   54   33    
1288.87/1288.83	c 41858983       58139745       810747852      7056598846     26             0              2   64   44    
1428.88/1428.89	c 46044932       63499872       901231343      7757679732     26             0              2   55   38    
1595.99/1596.00	c 50649475       70669360       1016980643     8583351355     26             0              2   54   36    
1717.49/1717.40	c 55714472       77663357       1100118178     9233259912     26             0              4   61   45    
1924.11/1924.10	c 61285968       85800063       1237638941     10298254602    26             0              2   58   26    
2091.41/2091.33	c 67414613       94784651       1357819961     11165836424    26             0              2   58   30    
2300.73/2300.64	c 74156122       106069236      1508274128     12190680908    26             0              2   65   36    
2520.04/2519.90	
2520.04/2519.90	c *** INTERRUPTED ***
2520.04/2519.90	c restarts              : 118         
2520.04/2519.90	c conflicts             : 80727993     (32034 /sec)
2520.04/2519.90	c decisions             : 114533572    (45449 /sec)
2520.04/2519.90	c propagations          : 13478807809 (5348639 /sec)
2520.04/2519.90	c root propagations     : 420         
2520.04/2519.90	c filter calls          : 1623901397     (644394 /sec)
2520.04/2519.90	c useless filter calls  : 795722518      (49 %)
2520.04/2519.90	c Memory used           : 26.72 MB
2520.04/2519.90	c CPU time              : 2520.04 s
2520.04/2519.90	c real time             : 2519.9 s
2520.04/2519.90	
2520.04/2519.90	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 (15148 MiB free)
  memory of node 1: 16384 MiB (15582 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408198-1569800854/watcher-4408198-1569800854 -o /tmp/evaluation-result-4408198-1569800854/solver-4408198-1569800854 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1569787350-17999 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408198-1569800854.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=21029, runsolver pid=21026
Current StackSize limit: 8192 KiB


[startup+0.100156 s]*
/proc/loadavg: 1.92 2.03 2.07 3/199 21030
/proc/meminfo: memFree=31469236/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=3952 CPUtime=0.1 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1163 0 0 0 10 0 0 0 20 0 1 0 556352093 28016640 988 33554432000 4194304 6211132 140723573067872 140723573064408 5149721 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 988 865 493 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+0.209277 s]*
/proc/loadavg: 1.92 2.03 2.07 3/199 21030
/proc/meminfo: memFree=31469236/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=3952 CPUtime=0.21 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1163 0 0 0 21 0 0 0 20 0 1 0 556352093 28016640 988 33554432000 4194304 6211132 140723573067872 140723573064408 5150764 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 988 865 493 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+0.308804 s]*
/proc/loadavg: 1.92 2.03 2.07 3/199 21030
/proc/meminfo: memFree=31469236/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=3952 CPUtime=0.31 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1163 0 0 0 31 0 0 0 20 0 1 0 556352093 28016640 988 33554432000 4194304 6211132 140723573067872 140723573064408 5149718 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 988 865 493 0 145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+0.700275 s]
/proc/loadavg: 1.92 2.03 2.07 3/199 21030
/proc/meminfo: memFree=31469236/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=3952 CPUtime=0.69 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1163 0 0 0 69 0 0 0 20 0 1 0 556352093 28016640 988 33554432000 4194304 6211132 140723573067872 140723573064408 5149706 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 988 865 493 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+1.50027 s]
/proc/loadavg: 1.92 2.03 2.07 3/199 21030
/proc/meminfo: memFree=31469240/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=3952 CPUtime=1.49 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1163 0 0 0 149 0 0 0 20 0 1 0 556352093 28016640 988 33554432000 4194304 6211132 140723573067872 140723573065832 5193760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 988 865 493 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+3.10889 s]
/proc/loadavg: 1.93 2.02 2.06 3/199 21030
/proc/meminfo: memFree=31469464/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=3952 CPUtime=3.1 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1211 0 0 0 310 0 0 0 20 0 1 0 556352093 28016640 988 33554432000 4194304 6211132 140723573067872 140723573065832 5193760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 988 865 493 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+6.30026 s]
/proc/loadavg: 1.93 2.02 2.06 3/199 21030
/proc/meminfo: memFree=31469464/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=6.29 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1283 0 0 0 629 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5149721 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+12.7003 s]
/proc/loadavg: 1.94 2.02 2.06 3/199 21030
/proc/meminfo: memFree=31468968/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=12.69 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1343 0 0 0 1269 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5149019 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.02 2.06 3/199 21032
/proc/meminfo: memFree=31468596/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=25.49 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1463 0 0 0 2549 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5193760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+51.1089 s]
/proc/loadavg: 1.97 2.02 2.06 3/199 21033
/proc/meminfo: memFree=31468356/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=51.1 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1523 0 0 0 5110 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5389998 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.02 2.06 3/199 21036
/proc/meminfo: memFree=31468060/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=102.3 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1585 0 0 0 10230 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5149714 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21042
/proc/meminfo: memFree=31467524/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=162.3 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1646 0 0 0 16230 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5149680 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21053
/proc/meminfo: memFree=31467532/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=222.31 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1708 0 0 0 22231 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5148808 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21057
/proc/meminfo: memFree=31467844/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=282.31 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1708 0 0 0 28231 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5149690 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21063
/proc/meminfo: memFree=31467328/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=342.31 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1769 0 0 0 34231 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5149714 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21067
/proc/meminfo: memFree=31467300/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=402.32 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1769 0 0 0 40232 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5149714 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21071
/proc/meminfo: memFree=31467712/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=462.32 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 1830 0 0 0 46232 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5149714 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB


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

/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 1782.4 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21284
/proc/meminfo: memFree=31469820/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=1842.4 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 2489 0 0 0 184240 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5397486 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 1842.4 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21288
/proc/meminfo: memFree=31469628/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=1902.4 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 2538 0 0 0 190240 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5150084 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 1902.4 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21294
/proc/meminfo: memFree=31468596/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=1962.41 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 2550 0 0 0 196241 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5149721 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 1962.41 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21305
/proc/meminfo: memFree=31467976/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=2022.41 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 2599 0 0 0 202241 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5186301 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 2022.41 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21309
/proc/meminfo: memFree=31468148/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=2082.41 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 2599 0 0 0 208241 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5193760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 2082.41 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21315
/proc/meminfo: memFree=31468920/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=2142.42 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 2660 0 0 0 214242 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5193760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 2142.42 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21319
/proc/meminfo: memFree=31468828/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=2202.42 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 2660 0 0 0 220242 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5150109 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21323
/proc/meminfo: memFree=31468660/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=2262.42 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 2709 0 0 0 226242 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5150147 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 2262.42 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+2322.3 s]
/proc/loadavg: 2.44 2.12 2.08 3/199 21330
/proc/meminfo: memFree=31468316/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=2322.43 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 2721 0 0 0 232243 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5149714 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 2322.43 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+2382.3 s]
/proc/loadavg: 2.23 2.13 2.08 3/199 21334
/proc/meminfo: memFree=31468432/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=2382.43 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 2770 0 0 0 238243 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5150734 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 2382.43 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+2442.3 s]
/proc/loadavg: 2.08 2.10 2.08 3/199 21338
/proc/meminfo: memFree=31468724/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=2442.43 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 2770 0 0 0 244243 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5149023 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 2442.43 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

[startup+2502.3 s]
/proc/loadavg: 2.03 2.09 2.07 3/199 21345
/proc/meminfo: memFree=31468788/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=2502.44 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 2819 0 0 0 250244 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5148745 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 2502.44 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.02 2.08 2.07 3/199 21346
/proc/meminfo: memFree=31469344/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=2520.04 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 2819 0 0 0 252004 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5151115 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

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

[startup+2519.9 s]
# the end of solver process 21029 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.04 s, system=0.003 s

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

[startup+2519.9 s]
/proc/loadavg: 2.02 2.08 2.07 3/199 21346
/proc/meminfo: memFree=31469344/32770624 swapFree=66975648/67108860
[pid=21029] ppid=21026 vsize=27360 memory=4004 CPUtime=2520.04 cores=1,3,5,7
/proc/21029/stat : 21029 (cosoco) R 21026 21029 17967 0 -1 4202496 2819 0 0 0 252004 0 0 0 20 0 1 0 556352093 28016640 1001 33554432000 4194304 6211132 140723573067872 140723573065832 5151115 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 25026560 140723573072907 140723573073009 140723573073009 140723573075918 0
/proc/21029/statm: 6840 1001 877 493 0 145 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4004 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.05
CPU user time (s): 2520.04
CPU system time (s): 0.003
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 27360
Max. memory (cumulated for all children) (KiB): 4004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.04
system time used= 0.003
maximum resident set size= 4068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2868
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= 6
involuntary context switches= 632


# summary of solver processes directly reported to runsolver:
#   pid: 21029
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2520.04
#   total CPU system time (s): 0.003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62408 second user time and 17.0156 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-30 01:46:50
IDJOB=4408198
IDBENCH=133399
IDSOLVER=2874
FILE ID=node125/4408198-1569800854
RUNJOBID= node125-1569787350-17999
PBS_JOBID= 21705828
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Primes/Primes-m1-p15/Primes-15-40-3-5.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408198-1569800854/watcher-4408198-1569800854 -o /tmp/evaluation-result-4408198-1569800854/solver-4408198-1569800854 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1569787350-17999 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408198-1569800854.xml

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

MD5SUM BENCH= 25f96b3bf5c8370c442a7a32cdfe0f98
RANDOM SEED=505559505

node125.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.29
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.29
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.29
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.29
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:        31469236 kB
MemAvailable:   31843052 kB
Buffers:          198728 kB
Cached:           513456 kB
SwapCached:        29880 kB
Active:           399612 kB
Inactive:         351584 kB
Active(anon):      22160 kB
Inactive(anon):    97756 kB
Active(file):     377452 kB
Inactive(file):   253828 kB
Unevictable:      107476 kB
Mlocked:          107476 kB
SwapTotal:      67108860 kB
SwapFree:       66975648 kB
Dirty:              2828 kB
Writeback:             0 kB
AnonPages:        134584 kB
Mapped:            28556 kB
Shmem:             72028 kB
Slab:             146388 kB
SReclaimable:     116740 kB
SUnreclaim:        29648 kB
KernelStack:        3760 kB
PageTables:         5508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     573044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 62024 MiB
End job on node125 at 2019-09-30 02:28:50