Trace number 4389658

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? (TO) 2519.93 2520.01

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-4389658-1568340303.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 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.08	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.10/0.11	c 3142           4851           56169          548036         26             0              3   37   30    
0.10/0.12	c 3551           5407           66110          599277         26             0              3   49   35    
0.10/0.13	c 4000           6044           73537          649931         26             0              3   52   37    
0.10/0.15	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.18	c 5631           8227           104788         918575         26             0              2   29   26    
0.10/0.20	c 6286           9325           114812         1018238        26             0              3   49   40    
0.20/0.22	c 7006           10603          130517         1131873        26             0              2   52   36    
0.20/0.24	c 7798           11583          142076         1204112        26             0              2   53   42    
0.20/0.27	c 8669           12995          162417         1371955        26             0              2   44   37    
0.20/0.31	c 9627           14795          183465         1610399        26             0              2   60   40    
0.30/0.34	c 10680          16477          197997         1791320        26             0              2   49   43    
0.30/0.37	c 11838          17928          220548         1967845        26             0              2   58   25    
0.30/0.40	c 13111          19620          235770         2146384        26             0              2   48   40    
0.40/0.45	c 14511          21571          261945         2381538        26             0              2   36   27    
0.40/0.49	c 16051          23654          280087         2615589        26             0              2   52   36    
0.50/0.52	c 17745          26047          300823         2847731        26             0              2   48   36    
0.50/0.58	c 19608          28695          339660         3160285        26             0              2   53   38    
0.60/0.64	c 21657          31442          376888         3442725        26             0              2   45   43    
0.69/0.71	c 23910          34445          433905         3794221        26             0              2   36   28    
0.69/0.79	c 26388          37763          487963         4191752        26             0              2   44   37    
0.79/0.87	c 29113          41800          548429         4642661        26             0              2   45   34    
0.89/0.96	c 32110          46035          599226         5120958        26             0              2   45   38    
1.00/1.06	c 35406          50107          661298         5607671        26             0              2   49   40    
1.10/1.15	c 39031          55194          724069         6023971        26             0              2   52   36    
1.19/1.28	c 43018          60887          819520         6559940        26             0              2   44   34    
1.39/1.44	c 47403          67309          948560         7149657        26             0              2   40   25    
1.59/1.61	c 52226          74411          1064608        8088222        26             0              5   59   42    
1.79/1.80	c 57531          81567          1168622        9153936        26             0              2   51   31    
2.00/2.01	c 63366          88816          1312298        10292503       26             0              4   46   38    
2.10/2.14	c 69784          97063          1393673        10981269       26             0              2   65   46    
2.29/2.31	c 76843          106696         1520216        11721680       26             0              2   58   37    
2.49/2.54	c 84607          117663         1688102        12745544       26             0              2   42   30    
2.69/2.76	c 93147          129230         1842560        13648217       26             0              2   48   35    
3.10/3.17	c 102541         143768         2024247        16189018       26             0              2   43   35    
3.49/3.52	c 112874         158157         2246234        17748357       26             0              2   41   33    
3.79/3.89	c 124240         173846         2481785        19530428       26             0              2   51   41    
4.29/4.33	c 136742         190619         2708209        21853245       26             0              2   52   37    
4.59/4.69	c 150494         209132         2946327        23594517       26             0              2   55   34    
4.89/4.98	c 165621         227242         3112358        25098308       26             0              2   58   42    
5.39/5.41	c 182260         250519         3355011        27641906       26             0              2   60   40    
5.89/5.92	c 200562         272489         3606171        31049569       26             0              2   65   34    
6.29/6.33	c 220694         296416         3834732        33243377       26             0              2   59   39    
7.19/7.21	c 242839         325303         4275335        37821760       26             0              2   48   32    
7.69/7.74	c 267198         357673         4633829        40085592       26             0              6   48   38    
8.19/8.26	c 293992         389229         4946556        42854820       26             0              2   65   41    
8.89/8.98	c 323465         427981         5407508        46787322       26             0              2   65   42    
9.59/9.65	c 355885         474019         5874904        50207595       26             0              3   59   39    
10.49/10.52	c 391547         521676         6459439        54905519       26             0              2   59   33    
11.78/11.86	c 430775         580591         7345730        61631013       26             0              5   59   39    
13.18/13.25	c 473925         634660         8233877        68819330       26             0              2   49   40    
14.28/14.36	c 521390         697486         8886684        75825289       26             0              2   59   39    
16.09/16.19	c 573601         774141         9897503        86192628       26             0              2   51   38    
18.38/18.41	c 631033         856428         11129825       98356058       26             0              2   52   39    
20.09/20.17	c 694208         929919         12246246       107339681      26             0              2   51   40    
22.48/22.56	c 763700         1042393        13595646       122089447      26             0              2   56   42    
25.38/25.41	c 840141         1139598        15091426       138634609      26             0              5   51   34    
27.99/28.01	c 924226         1256416        16473908       154988939      26             0              2   50   40    
30.68/30.72	c 1016719        1374788        18026402       171029306      26             0              2   52   33    
33.38/33.40	c 1118461        1518514        19654053       186103688      26             0              2   64   43    
36.58/36.67	c 1230377        1674971        21961852       201900057      26             0              2   59   40    
39.78/39.89	c 1353484        1828356        24025057       218079654      26             0              2   59   35    
43.09/43.14	c 1488901        1977260        25530314       236919525      26             0              7   64   40    
48.09/48.13	c 1637859        2171350        27930451       272011163      26             0              2   49   37    
52.88/52.93	c 1801712        2380842        31414244       293787869      26             0              2   59   33    
58.68/58.79	c 1981950        2621908        35075310       322768974      26             0              2   49   35    
63.88/64.00	c 2180211        2873471        37932497       349280598      26             0              2   59   42    
70.38/70.44	c 2398298        3142100        41699349       383548847      26             0              2   48   29    
75.88/75.97	c 2638193        3441413        44414130       418647451      26             0              2   47   35    
82.38/82.44	c 2902077        3755918        47285830       461194319      26             0              2   59   42    
91.28/91.34	c 3192349        4130732        52064974       512842086      26             0              2   61   34    
105.38/105.48	c 3511648        4599267        60632062       589072829      26             0              2   53   33    
116.68/116.75	c 3862876        5092762        66717898       651945795      26             0              2   59   38    
127.38/127.47	c 4249226        5677731        73422421       712539585      26             0              2   63   41    
140.18/140.21	c 4674211        6203574        81734562       774969096      26             0              5   59   39    
157.48/157.59	c 5141694        7021877        92220519       876623664      26             0              2   63   42    
172.18/172.24	c 5655925        7701629        101658796      946359556      26             0              3   59   34    
190.88/191.00	c 6221579        8550294        112089397      1059801748     26             0              3   64   39    
212.08/212.12	c 6843798        9424652        125225992      1164384915     26             0              2   57   35    
235.98/236.09	c 7528238        10297783       140823276      1287471612     26             0              2   54   37    
259.47/259.56	c 8281122        11373953       155535718      1420950678     26             0              2   59   35    
294.67/294.74	c 9109294        12339942       175254444      1608376659     26             0              3   51   39    
322.87/322.91	c 10020283       13488270       191719664      1756270542     26             0              2   55   28    
346.27/346.31	c 11022370       14901070       209240517      1891381055     26             0              5   59   37    
387.17/387.24	c 12124665       16446601       232324190      2110472730     26             0              2   56   34    
431.17/431.20	c 13337189       18418414       262830473      2358341899     26             0              2   65   38    
465.47/465.57	c 14670965       20474830       285169035      2547072972     26             0              2   62   41    
516.67/516.75	c 16138118       22717759       324152617      2809798309     26             0              6   54   40    
572.87/572.91	c 17751986       24949887       359461859      3112713872     26             0              5   60   31    
633.36/633.40	c 19527240       27096670       395974154      3436773129     26             0              4   59   42    
695.66/695.75	c 21480019       29681900       434399921      3765102723     26             0              2   60   41    
750.66/750.70	c 23628075       32425523       471363638      4052899286     26             0              2   62   33    
827.26/827.33	c 25990936       35972074       519319304      4484677630     26             0              2   62   37    
925.66/925.72	c 28590083       39659675       576095375      5031768249     26             0              2   58   30    
1020.06/1020.12	c 31449144       43818953       629791121      5564282283     26             0              2   58   34    
1110.15/1110.25	c 34594111       48520711       690559457      6045731525     26             0              2   57   35    
1212.96/1213.01	c 38053574       53269816       755525735      6572765762     26             0              2   54   33    
1302.25/1302.38	c 41858983       58139745       810747852      7056598846     26             0              2   64   44    
1443.74/1443.83	c 46044932       63499872       901231343      7757679732     26             0              2   55   38    
1612.64/1612.74	c 50649475       70669360       1016980643     8583351355     26             0              2   54   36    
1735.14/1735.21	c 55714472       77663357       1100118178     9233259912     26             0              4   61   45    
1943.13/1943.25	c 61285968       85800063       1237638941     10298254602    26             0              2   58   26    
2111.52/2111.61	c 67414613       94784651       1357819961     11165836424    26             0              2   58   30    
2322.52/2322.65	c 74156122       106069236      1508274128     12190680908    26             0              2   65   36    
2519.92/2520.00	
2519.92/2520.00	c *** INTERRUPTED ***
2519.92/2520.00	c restarts              : 118         
2519.92/2520.00	c conflicts             : 79953965     (31729 /sec)
2519.92/2520.00	c decisions             : 113510009    (45045 /sec)
2519.92/2520.00	c propagations          : 13333745970 (5291323 /sec)
2519.92/2520.00	c root propagations     : 420         
2519.92/2520.00	c filter calls          : 1610655714     (639168 /sec)
2519.92/2520.00	c useless filter calls  : 789071865      (48 %)
2519.92/2520.00	c Memory used           : 26.72 MB
2519.92/2520.00	c CPU time              : 2519.93 s
2519.92/2520.00	c real time             : 2520.01 s
2519.92/2520.00	
2519.92/2520.00	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 (15066 MiB free)
  memory of node 1: 16384 MiB (15381 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389658-1568340303/watcher-4389658-1568340303 -o /tmp/evaluation-result-4389658-1568340303/solver-4389658-1568340303 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568311987-15586 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389658-1568340303.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=21074, runsolver pid=21071
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.100905 s]*
/proc/loadavg: 2.53 2.15 2.09 3/201 21075
/proc/meminfo: memFree=31178724/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3952 CPUtime=0.1 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1158 0 0 0 10 0 0 0 20 0 1 0 410269048 28016640 988 33554432000 4194304 6210612 140733555620320 140733555618280 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 988 866 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.209427 s]*
/proc/loadavg: 2.53 2.15 2.09 3/201 21075
/proc/meminfo: memFree=31178388/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3952 CPUtime=0.2 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1158 0 0 0 20 0 0 0 20 0 1 0 410269048 28016640 988 33554432000 4194304 6210612 140733555620320 140733555618280 5149439 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 988 866 493 0 145 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+0.308928 s]*
/proc/loadavg: 2.53 2.15 2.09 3/201 21075
/proc/meminfo: memFree=31178488/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3952 CPUtime=0.3 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1158 0 0 0 30 0 0 0 20 0 1 0 410269048 28016640 988 33554432000 4194304 6210612 140733555620320 140733555618280 5148576 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 988 866 493 0 145 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+0.700275 s]
/proc/loadavg: 2.53 2.15 2.09 3/201 21075
/proc/meminfo: memFree=31178228/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3952 CPUtime=0.69 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1158 0 0 0 69 0 0 0 20 0 1 0 410269048 28016640 988 33554432000 4194304 6210612 140733555620320 140733555618280 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 988 866 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.50028 s]
/proc/loadavg: 2.53 2.15 2.09 3/201 21075
/proc/meminfo: memFree=31178228/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3952 CPUtime=1.49 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1158 0 0 0 149 0 0 0 20 0 1 0 410269048 28016640 988 33554432000 4194304 6210612 140733555620320 140733555618280 5185913 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 988 866 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.109 s]
/proc/loadavg: 2.53 2.15 2.09 3/200 21075
/proc/meminfo: memFree=31177900/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=3.1 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1219 0 0 0 310 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5148840 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+6.30027 s]
/proc/loadavg: 2.41 2.13 2.08 3/200 21075
/proc/meminfo: memFree=31177900/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=6.29 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1280 0 0 0 629 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+12.7003 s]
/proc/loadavg: 2.37 2.13 2.08 3/200 21075
/proc/meminfo: memFree=31177932/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=12.68 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1341 0 0 0 1268 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5389795 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+25.5003 s]
/proc/loadavg: 2.29 2.13 2.08 3/200 21076
/proc/meminfo: memFree=31178012/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=25.48 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1463 0 0 0 2548 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5148496 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+51.109 s]
/proc/loadavg: 2.12 2.10 2.07 3/199 21078
/proc/meminfo: memFree=31178288/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=51.09 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1524 0 0 0 5109 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5150556 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+102.3 s]
/proc/loadavg: 2.05 2.08 2.07 3/199 21082
/proc/meminfo: memFree=31178224/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=102.28 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1587 0 0 0 10228 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5149290 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/199 21086
/proc/meminfo: memFree=31178224/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=162.28 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1649 0 0 0 16228 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5192880 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/199 21092
/proc/meminfo: memFree=31177672/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=222.28 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1712 0 0 0 22228 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5148579 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/199 21096
/proc/meminfo: memFree=31177536/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=282.27 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1774 0 0 0 28227 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5389806 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 21107
/proc/meminfo: memFree=31176788/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=342.27 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1837 0 0 0 34227 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5397015 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 21113
/proc/meminfo: memFree=31176288/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=402.27 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1899 0 0 0 40227 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5206688 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 21117
/proc/meminfo: memFree=31177092/32770624 swapFree=66940720/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=462.27 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 1961 0 0 0 46227 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5150151 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

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

/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 21297
/proc/meminfo: memFree=31188184/32770624 swapFree=66940728/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=1782.23 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 3221 0 0 0 178223 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5192912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 21303
/proc/meminfo: memFree=31187660/32770624 swapFree=66940728/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=1842.23 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 3270 0 0 0 184223 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5192912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+1902.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/199 21307
/proc/meminfo: memFree=31188136/32770624 swapFree=66940728/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=1902.23 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 3319 0 0 0 190223 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5149309 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+1962.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/199 21311
/proc/meminfo: memFree=31188564/32770624 swapFree=66940728/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=1962.23 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 3381 0 0 0 196223 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5185901 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 21317
/proc/meminfo: memFree=31188012/32770624 swapFree=66940728/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=2022.23 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 3430 0 0 0 202223 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5149314 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 21321
/proc/meminfo: memFree=31187600/32770624 swapFree=66940728/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=2082.23 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 3479 0 0 0 208223 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5148840 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21332
/proc/meminfo: memFree=31187988/32770624 swapFree=66940728/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=2142.22 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 3541 0 0 0 214222 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5148482 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21338
/proc/meminfo: memFree=31187988/32770624 swapFree=66940728/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=2202.22 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 3590 0 0 0 220222 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5149680 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21342
/proc/meminfo: memFree=31187468/32770624 swapFree=66940728/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=2262.22 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 3639 0 0 0 226222 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5192880 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21346
/proc/meminfo: memFree=31187884/32770624 swapFree=66940728/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=2322.22 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 3688 0 0 0 232222 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5397079 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21352
/proc/meminfo: memFree=31187316/32770624 swapFree=66940728/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=2382.22 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 3750 0 0 0 238222 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5148316 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21356
/proc/meminfo: memFree=31188312/32770624 swapFree=66940728/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=2442.21 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 3799 0 0 0 244221 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5192912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21360
/proc/meminfo: memFree=31187156/32770624 swapFree=66940728/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=2502.21 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 3848 0 0 0 250221 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5192912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 21363
/proc/meminfo: memFree=31187532/32770624 swapFree=66940728/67108860
[pid=21074] ppid=21071 vsize=27360 memory=3984 CPUtime=2519.92 cores=1,3,5,7
/proc/21074/stat : 21074 (cosoco) R 21071 21074 15554 0 -1 4202496 3897 0 0 0 251992 0 0 0 20 0 1 0 410269048 28016640 996 33554432000 4194304 6210612 140733555620320 140733555618280 5192912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 40296448 140733555622923 140733555623025 140733555623025 140733555625934 0
/proc/21074/statm: 6840 996 873 493 0 145 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3984 KiB

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

[startup+2520.01 s]
# the end of solver process 21074 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.93 s, system=0.006999 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.93
CPU user time (s): 2519.93
CPU system time (s): 0.006999
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 27360
Max. memory (cumulated for all children) (KiB): 3984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.93
system time used= 0.006999
maximum resident set size= 4052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3947
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= 660


# summary of solver processes directly reported to runsolver:
#   pid: 21074
#   total CPU time (s): 2519.93
#   total CPU user time (s): 2519.93
#   total CPU system time (s): 0.006999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.3996 second user time and 16.3151 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-13 04:04:26
IDJOB=4389658
IDBENCH=133399
IDSOLVER=2829
FILE ID=node149/4389658-1568340303
RUNJOBID= node149-1568311987-15586
PBS_JOBID= 21701127
Free space on /tmp= 57068 MiB

SOLVER NAME= cosoco 2
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-4389658-1568340303/watcher-4389658-1568340303 -o /tmp/evaluation-result-4389658-1568340303/solver-4389658-1568340303 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568311987-15586 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389658-1568340303.xml

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

MD5SUM BENCH= 25f96b3bf5c8370c442a7a32cdfe0f98
RANDOM SEED=1477143870

node149.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.81
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.81
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.81
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.81
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:        31178464 kB
MemAvailable:   31841504 kB
Buffers:          130472 kB
Cached:           831248 kB
SwapCached:        61364 kB
Active:           402176 kB
Inactive:         638228 kB
Active(anon):      46428 kB
Inactive(anon):    72292 kB
Active(file):     355748 kB
Inactive(file):   565936 kB
Unevictable:      111272 kB
Mlocked:          111272 kB
SwapTotal:      67108860 kB
SwapFree:       66940720 kB
Dirty:              2808 kB
Writeback:             8 kB
AnonPages:        130056 kB
Mapped:            45080 kB
Shmem:             31156 kB
Slab:             143128 kB
SReclaimable:     114384 kB
SUnreclaim:        28744 kB
KernelStack:        3584 kB
PageTables:         5584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     545112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 57064 MiB
End job on node149 at 2019-09-13 04:46:26