Trace number 4397322

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-fpga/
Pb-fpga45-44-sat.xml
MD5SUM5bcfa8fa7457011a5ed18201858fb80b
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 benchmark16.3776
Satisfiable
(Un)Satisfiability was proved
Number of variables2970
Number of constraints2113
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2970}]
Minimum variable degree3
Maximum variable degree45
Distribution of variable degrees[{"degree":3,"count":1980},{"degree":45,"count":990}]
Minimum constraint arity22
Maximum constraint arity45
Distribution of constraint arities[{"arity":22,"count":22},{"arity":23,"count":2002},{"arity":44,"count":45},{"arity":45,"count":44}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":2113}]
Optimization problemNO
Type of objective

Solver Data 

0.20/0.26	c root propagations     : 0           
0.20/0.26	c restarts enabled, print stats at every restarts
0.20/0.26	c
0.20/0.26	c
0.20/0.26	c
0.20/0.26	c This is cosoco 2.00 --  
0.20/0.26	c
0.20/0.26	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397322-1568583462.xml 
0.20/0.26	c ========================================[ Problem Statistics ]===========================================
0.20/0.26	c |                                                                                                       
0.20/0.26	c |  Parse time        :         0.23 s 
0.20/0.26	c |
0.20/0.26	c |               Variables: 2970
0.20/0.26	c |            Domain Sizes: 2..2
0.20/0.26	c |
0.20/0.26	c |             Constraints: 2113
0.20/0.26	c |                   Arity: 22..45
0.20/0.26	c | 
0.20/0.26	c |                   Types: 
0.20/0.26	c |                          Sum: 2113
0.20/0.26	c |                          
0.20/0.26	c =========================================================================================================
0.20/0.26	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.31/0.41	c 101            4120           76251          40430          0              0              2641   2700   2633
0.51/0.53	c 211            7284           136897         56239          0              0              2538   2598   2530
0.60/0.67	c 332            10669          220109         87994          0              0              2324   2426   2377
0.69/0.78	c 465            14383          270465         106738         0              0              2267   2301   2266
0.79/0.88	c 611            18792          294215         125158         0              0              1650   1725   1676
0.89/0.99	c 771            23890          322104         146760         0              0              1610   1766   1654
1.10/1.11	c 947            28749          355463         178398         0              0              1727   1788   1752
1.19/1.22	c 1140           32408          397276         221317         0              0              1651   1738   1667
1.29/1.36	c 1352           35836          454476         267980         0              0              1527   1611   1544
1.49/1.54	c 1585           39337          534763         322701         0              0              1214   1351   1255
1.69/1.73	c 1841           47086          588109         367914         0              0              918   1639   1572
1.79/1.87	c 2122           53100          630826         399264         0              0              1633   1767   1704
2.10/2.18	c 2431           63656          735756         488963         0              0              1466   1586   1516
2.38/2.45	c 2770           68874          831582         568627         0              0              994   1160   1041
2.58/2.68	c 3142           80085          905370         642948         0              0              1773   1871   1823
2.88/2.95	c 3551           88860          1001325        748863         0              0              1491   1737   1572
3.28/3.32	c 4000           99425          1132926        843237         0              0              1241   1414   1323
3.68/3.72	c 4493           107856         1273211        961164         0              0              924   1025   964
3.99/4.08	c 5035           122637         1388650        1059309        0              0              568   1827   1662
4.28/4.33	c 5631           131925         1477605        1165086        0              0              1606   1728   1645
4.48/4.59	c 6286           143701         1560033        1234654        0              0              1765   1830   1787
4.88/4.92	c 7006           158314         1683596        1342661        0              0              1730   1890   1811
5.18/5.29	c 7798           175907         1804587        1451259        0              0              1735   1880   1828
5.58/5.66	c 8669           193464         1938457        1570590        0              0              1775   1863   1834
6.18/6.29	c 9627           218669         2203463        1797572        0              0              1752   1829   1797
6.99/7.09	c 10680          247271         2483723        2096325        0              0              1452   1584   1540
8.09/8.18	c 11838          277729         2806570        2379440        0              0              808   1766   1051
8.99/9.04	c 13111          316101         3075192        2670639        0              0              1547   1686   1643
9.99/10.09	c 14511          347065         3427300        3002472        0              0              1182   1350   1224
11.28/11.30	c 16051          383073         3805015        3378087        0              0              1093   1212   1156
12.78/12.88	c 17745          414595         4366887        3889818        0              0              662   796   726
13.99/14.08	c 19608          465670         4745216        4216333        0              0              226   1747   1536
15.28/15.32	c 21657          524312         5118639        4566552        0              0              1536   1711   1628
16.68/16.79	c 23910          591913         5587480        5097245        0              0              1564   1818   1644
18.38/18.47	c 26388          670332         6111625        5630557        0              0              1139   1828   1628
20.09/20.13	c 29113          733385         6726678        6311638        0              0              1500   1681   1584
22.88/22.90	c 32110          816448         7725684        7196946        0              0              901   1647   1314
24.38/24.48	c 35406          887605         8244938        7734588        0              0              1431   1710   1620
26.38/26.46	c 39031          970072         8996236        8515022        0              0              1621   1730   1688
29.48/29.58	c 43018          1079700        10191742       9765335        0              0              1466   1663   1574
34.09/34.13	c 47403          1202589        11837027       11307036       0              0              1059   1312   1172
38.68/38.74	c 52226          1327094        13205149       12685317       0              0              890   1056   974
41.28/41.34	c 57531          1450092        14055076       13547224       0              0              852   1731   1688
44.38/44.46	c 63366          1576703        15226622       14670454       0              0              1578   1694   1646
50.37/50.46	c 69784          1755130        17187729       16639190       0              0              1128   1267   1206
55.47/55.51	c 76843          1884665        19069657       18243178       0              0              731   1268   1167
57.87/58.00	c 84607          2004951        20025080       19118184       0              0              800   1835   1753
61.27/61.34	c 93147          2167922        21339935       20257848       0              0              1718   1819   1777
65.97/66.08	c 102541         2383711        23113786       21795959       0              0              1613   1769   1695
74.07/74.12	c 112874         2711525        26121819       24637169       0              0              1503   1687   1608
84.97/85.05	c 124240         3117242        30162647       28715627       0              0              1408   1612   1542
95.66/95.75	c 136742         3583909        33302674       31574618       0              0              1347   1580   1473
100.36/100.43	c 150494         3818433        35201017       33242436       0              0              1271   1886   1848
107.16/107.28	c 165621         4192385        37867611       35469016       0              0              1736   1876   1847
118.86/118.95	c 182260         4720365        42866153       40737424       0              0              1690   1838   1791
138.26/138.31	c 200562         5538615        48106695       45921288       0              0              1195   1519   1356
150.16/150.29	c 220694         6197424        52522368       50280265       0              0              789   1862   1828
173.56/173.64	c 242839         7214716        60714221       58332946       0              0              1451   1736   1621
184.76/184.87	c 267198         7806614        64747275       62381960       0              0              1324   1910   1795
198.36/198.47	c 293992         8565405        69884703       67187387       0              0              1770   1913   1860
219.45/219.53	c 323465         9702599        76805920       74203177       0              0              1609   1786   1738
255.45/255.56	c 355885         10947899       89899626       86768565       0              0              1242   1606   1396
270.25/270.39	c 391547         11742730       95142360       91493158       0              0              1670   1912   1817
299.55/299.67	c 430775         13297860       106486349      103435247      0              0              1695   1881   1823
324.06/324.18	c 473925         14625852       115210688      112474683      0              0              1128   1897   1799
372.44/372.50	c 521390         16342288       132998526      129650361      0              0              1298   1822   1467
391.74/391.84	c 573601         17154318       140186992      135371120      0              0              866   1961   1799
409.44/409.51	c 631033         18169818       147247091      141410242      0              0              1859   1949   1927
451.34/451.45	c 694208         20387372       163870780      157897647      0              0              1704   1907   1837
508.83/508.90	c 763700         22662745       184888047      179703323      0              0              1167   1809   1557
577.73/577.83	c 840141         24841120       207671632      202144479      0              0              1102   1557   1238
621.04/621.13	c 924226         27034342       223390447      217131014      0              0              993   1900   1804
680.72/680.86	c 1016719        29383121       245146240      237912218      0              0              1409   1735   1553
765.52/765.67	c 1118461        32030164       272822237      262269086      0              0              1071   1574   1197
800.11/800.28	c 1230377        33744495       285978795      273989857      0              0              996   1944   1819
858.21/858.33	c 1353484        36707043       309263168      297633842      0              0              1718   1889   1831
961.60/961.74	c 1488901        40793897       349585889      340203192      0              0              1479   1852   1612
1080.91/1081.08	c 1637859        44976769       389823079      376526608      0              0              970   1676   1387
1194.00/1194.13	c 1801712        48867008       428081997      412464770      0              0              841   1918   1411
1252.99/1253.15	c 1981950        51863976       452158173      434507668      0              0              1752   1911   1839
1335.48/1335.63	c 2180211        56080522       485993531      463226985      0              0              1598   1891   1834
1472.27/1472.49	c 2398298        62449206       537834973      527067774      0              0              1572   1815   1726
1660.36/1660.58	c 2638193        70033596       599122246      593071815      0              0              663   1545   1479
1775.25/1775.44	c 2902077        76112736       640955690      627915000      0              0              1072   1875   1794
1915.04/1915.27	c 3192349        83096557       694255090      679546234      0              0              1634   1841   1768
2063.73/2063.90	c 3511648        90518311       750989104      732290037      0              0              1583   1871   1789
2400.01/2400.20	
2400.01/2400.20	c *** INTERRUPTED ***
2400.01/2400.20	c restarts              : 86          
2400.01/2400.20	c conflicts             : 3851127      (1605 /sec)
2400.01/2400.20	c decisions             : 104749783    (43646 /sec)
2400.01/2400.20	c propagations          : 841800339   (350754 /sec)
2400.01/2400.20	c root propagations     : 0           
2400.01/2400.20	c filter calls          : 868814072      (362010 /sec)
2400.01/2400.20	c useless filter calls  : 810618580      (93 %)
2400.01/2400.20	c Memory used           : 87.56 MB
2400.01/2400.20	c CPU time              : 2399.97 s
2400.01/2400.20	c real time             : 2400.2 s
2400.01/2400.20	
2400.01/2400.20	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15210 MiB free)
  memory of node 1: 16384 MiB (15574 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397322-1568583462/watcher-4397322-1568583462 -o /tmp/evaluation-result-4397322-1568583462/solver-4397322-1568583462 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568572734-23144 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397322-1568583462.xml 

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

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

solver pid=26708, runsolver pid=26705

[startup+0.100307 s]*
/proc/loadavg: 2.08 2.03 2.05 3/205 26709
/proc/meminfo: memFree=31514140/32770624 swapFree=67010832/67108860
[pid=26708] ppid=26705 vsize=38068 memory=14480 CPUtime=0.1 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 3794 0 0 0 10 0 0 0 20 0 1 0 434268869 38981632 3620 33554432000 4194304 6211092 140731404522048 140731404516408 140254472866789 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 9517 3620 837 493 0 2822 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38068 KiB
Current children cumulated memory: 14480 KiB

[startup+0.209902 s]*
/proc/loadavg: 2.08 2.03 2.05 3/205 26709
/proc/meminfo: memFree=31497408/32770624 swapFree=67010832/67108860
[pid=26708] ppid=26705 vsize=54732 memory=31148 CPUtime=0.2 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 7972 0 0 0 20 0 0 0 20 0 1 0 434268869 56045568 7787 33554432000 4194304 6211092 140731404522048 140731404516408 5755215 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 13683 7787 837 493 0 6988 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54732 KiB
Current children cumulated memory: 31148 KiB

[startup+0.309829 s]*
/proc/loadavg: 2.08 2.03 2.05 3/205 26709
/proc/meminfo: memFree=31493192/32770624 swapFree=67010832/67108860
[pid=26708] ppid=26705 vsize=59064 memory=35604 CPUtime=0.31 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 9097 0 0 0 30 1 0 0 20 0 1 0 434268869 60481536 8901 33554432000 4194304 6211092 140731404522048 140731404516408 140254472866789 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 14766 8901 874 493 0 8071 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 59064 KiB
Current children cumulated memory: 35604 KiB

[startup+0.700314 s]
/proc/loadavg: 2.08 2.03 2.05 3/205 26709
/proc/meminfo: memFree=31468764/32770624 swapFree=67010832/67108860
[pid=26708] ppid=26705 vsize=86540 memory=62796 CPUtime=0.69 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 15884 0 0 0 67 2 0 0 20 0 1 0 434268869 88616960 15699 33554432000 4194304 6211092 140731404522048 140731404516408 140254472935979 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 21635 15699 875 493 0 14940 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 86540 KiB
Current children cumulated memory: 62796 KiB

[startup+1.50025 s]
/proc/loadavg: 2.08 2.03 2.05 4/205 26709
/proc/meminfo: memFree=31463804/32770624 swapFree=67010832/67108860
[pid=26708] ppid=26705 vsize=88036 memory=64116 CPUtime=1.49 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 16254 0 0 0 147 2 0 0 20 0 1 0 434268869 90148864 16029 33554432000 4194304 6211092 140731404522048 140731404516408 5155353 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22009 16029 875 493 0 15314 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 88036 KiB
Current children cumulated memory: 64116 KiB

[startup+3.1098 s]
/proc/loadavg: 2.08 2.03 2.05 3/205 26709
/proc/meminfo: memFree=31462388/32770624 swapFree=67010832/67108860
[pid=26708] ppid=26705 vsize=88440 memory=64776 CPUtime=3.09 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 24699 0 0 0 307 2 0 0 20 0 1 0 434268869 90562560 16194 33554432000 4194304 6211092 140731404522048 140731404520008 5250254 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22110 16194 875 493 0 15415 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 88440 KiB
Current children cumulated memory: 64776 KiB

[startup+6.30033 s]
/proc/loadavg: 2.08 2.03 2.05 3/206 26711
/proc/meminfo: memFree=31461748/32770624 swapFree=67010832/67108860
[pid=26708] ppid=26705 vsize=88984 memory=65336 CPUtime=6.28 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 33850 0 0 0 626 2 0 0 20 0 1 0 434268869 91119616 16334 33554432000 4194304 6211092 140731404522048 140731404520008 5009168 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22246 16334 875 493 0 15551 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 88984 KiB
Current children cumulated memory: 65336 KiB

[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.05 3/205 26711
/proc/meminfo: memFree=31461864/32770624 swapFree=67010832/67108860
[pid=26708] ppid=26705 vsize=88984 memory=65376 CPUtime=12.68 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 42117 0 0 0 1265 3 0 0 20 0 1 0 434268869 91119616 16344 33554432000 4194304 6211092 140731404522048 140731404520008 5250251 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22246 16344 875 493 0 15551 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 88984 KiB
Current children cumulated memory: 65376 KiB

[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.05 3/205 26711
/proc/meminfo: memFree=31462096/32770624 swapFree=67010832/67108860
[pid=26708] ppid=26705 vsize=89120 memory=65464 CPUtime=25.48 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 58030 0 0 0 2545 3 0 0 20 0 1 0 434268869 91258880 16366 33554432000 4194304 6211092 140731404522048 140731404520008 5380267 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22280 16366 875 493 0 15585 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 89120 KiB
Current children cumulated memory: 65464 KiB

[startup+51.1098 s]
/proc/loadavg: 2.10 2.04 2.05 3/206 26713
/proc/meminfo: memFree=31461112/32770624 swapFree=67010832/67108860
[pid=26708] ppid=26705 vsize=89120 memory=65496 CPUtime=51.08 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 66819 0 0 0 5105 3 0 0 20 0 1 0 434268869 91258880 16374 33554432000 4194304 6211092 140731404522048 140731404520008 5409424 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22280 16374 875 493 0 15585 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 89120 KiB
Current children cumulated memory: 65496 KiB

[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/205 26717
/proc/meminfo: memFree=31460384/32770624 swapFree=67010832/67108860
[pid=26708] ppid=26705 vsize=89260 memory=65900 CPUtime=102.26 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 68933 0 0 0 10222 4 0 0 20 0 1 0 434268869 91402240 16475 33554432000 4194304 6211092 140731404522048 140731404519640 5155341 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22315 16475 875 493 0 15620 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 89260 KiB
Current children cumulated memory: 65900 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/206 26722
/proc/meminfo: memFree=31461028/32770624 swapFree=67010832/67108860
[pid=26708] ppid=26705 vsize=89392 memory=65996 CPUtime=162.26 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 69508 0 0 0 16222 4 0 0 20 0 1 0 434268869 91537408 16499 33554432000 4194304 6211092 140731404522048 140731404520008 5380267 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22348 16499 875 493 0 15653 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 89392 KiB
Current children cumulated memory: 65996 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/205 26731
/proc/meminfo: memFree=31461104/32770624 swapFree=67010836/67108860
[pid=26708] ppid=26705 vsize=89524 memory=66096 CPUtime=222.25 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 70105 0 0 0 22221 4 0 0 20 0 1 0 434268869 91672576 16524 33554432000 4194304 6211092 140731404522048 140731404519480 5409444 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22381 16524 875 493 0 15686 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 89524 KiB
Current children cumulated memory: 66096 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/204 26737
/proc/meminfo: memFree=31460344/32770624 swapFree=67010836/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66120 CPUtime=282.25 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 70667 0 0 0 28221 4 0 0 20 0 1 0 434268869 91807744 16530 33554432000 4194304 6211092 140731404522048 140731404519640 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16530 875 493 0 15719 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66120 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 26742
/proc/meminfo: memFree=31460604/32770624 swapFree=67010836/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66240 CPUtime=342.25 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 71246 0 0 0 34221 4 0 0 20 0 1 0 434268869 91807744 16560 33554432000 4194304 6211092 140731404522048 140731404520008 5158160 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16560 875 493 0 15719 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66240 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 26747
/proc/meminfo: memFree=31460204/32770624 swapFree=67010836/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66240 CPUtime=402.24 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 71804 0 0 0 40220 4 0 0 20 0 1 0 434268869 91807744 16560 33554432000 4194304 6211092 140731404522048 140731404520008 5409424 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16560 875 493 0 15719 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66240 KiB

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/205 26753
/proc/meminfo: memFree=31460196/32770624 swapFree=67010836/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66264 CPUtime=462.24 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 72332 0 0 0 46220 4 0 0 20 0 1 0 434268869 91807744 16566 33554432000 4194304 6211092 140731404522048 140731404520008 5409444 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16566 875 493 0 15719 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66264 KiB


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

/proc/26708/statm: 22414 16579 875 493 0 15719 0
Current children cumulated CPU time: 1602.16 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66316 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 26959
/proc/meminfo: memFree=31175780/32770624 swapFree=67010836/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66316 CPUtime=1662.16 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 76641 0 0 0 166212 4 0 0 20 0 1 0 434268869 91807744 16579 33554432000 4194304 6211092 140731404522048 140731404520008 5409439 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16579 875 493 0 15719 0
Current children cumulated CPU time: 1662.16 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66316 KiB

[startup+1722.3 s]
/proc/loadavg: 2.70 2.19 2.10 3/205 26965
/proc/meminfo: memFree=31174936/32770624 swapFree=67010836/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66316 CPUtime=1722.15 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 76826 0 0 0 172211 4 0 0 20 0 1 0 434268869 91807744 16579 33554432000 4194304 6211092 140731404522048 140731404520008 5250279 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16579 875 493 0 15719 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66316 KiB

[startup+1782.3 s]
/proc/loadavg: 2.35 2.20 2.11 3/205 26969
/proc/meminfo: memFree=31175248/32770624 swapFree=67010836/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66316 CPUtime=1782.15 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 77036 0 0 0 178211 4 0 0 20 0 1 0 434268869 91807744 16579 33554432000 4194304 6211092 140731404522048 140731404520008 5250289 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16579 875 493 0 15719 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66316 KiB

[startup+1842.3 s]
/proc/loadavg: 2.13 2.16 2.11 3/205 26973
/proc/meminfo: memFree=31174644/32770624 swapFree=67010836/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66316 CPUtime=1842.15 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 77217 0 0 0 184211 4 0 0 20 0 1 0 434268869 91807744 16579 33554432000 4194304 6211092 140731404522048 140731404520008 5250224 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16579 875 493 0 15719 0
Current children cumulated CPU time: 1842.15 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66316 KiB

[startup+1902.3 s]
/proc/loadavg: 2.05 2.13 2.10 3/204 26981
/proc/meminfo: memFree=31174148/32770624 swapFree=67010836/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66316 CPUtime=1902.14 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 77398 0 0 0 190210 4 0 0 20 0 1 0 434268869 91807744 16579 33554432000 4194304 6211092 140731404522048 140731404520008 5156256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16579 875 493 0 15719 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66316 KiB

[startup+1962.3 s]
/proc/loadavg: 2.02 2.11 2.09 3/204 26985
/proc/meminfo: memFree=31174876/32770624 swapFree=67010836/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66316 CPUtime=1962.14 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 77612 0 0 0 196210 4 0 0 20 0 1 0 434268869 91807744 16579 33554432000 4194304 6211092 140731404522048 140731404520008 5155800 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16579 875 493 0 15719 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66316 KiB

[startup+2022.3 s]
/proc/loadavg: 2.10 2.12 2.10 3/204 26995
/proc/meminfo: memFree=31174652/32770624 swapFree=67010840/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66316 CPUtime=2022.13 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 77797 0 0 0 202209 4 0 0 20 0 1 0 434268869 91807744 16579 33554432000 4194304 6211092 140731404522048 140731404520008 5250279 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16579 875 493 0 15719 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66316 KiB

[startup+2082.3 s]
/proc/loadavg: 2.04 2.10 2.09 3/204 27001
/proc/meminfo: memFree=31174684/32770624 swapFree=67010840/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66316 CPUtime=2082.13 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 78007 0 0 0 208209 4 0 0 20 0 1 0 434268869 91807744 16579 33554432000 4194304 6211092 140731404522048 140731404520008 5156517 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16579 875 493 0 15719 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66316 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.08 2.09 3/205 27006
/proc/meminfo: memFree=31174844/32770624 swapFree=67010840/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66316 CPUtime=2142.12 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 78190 0 0 0 214208 4 0 0 20 0 1 0 434268869 91807744 16579 33554432000 4194304 6211092 140731404522048 140731404520008 5409424 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16579 875 493 0 15719 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66316 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.07 2.08 3/205 27010
/proc/meminfo: memFree=31174824/32770624 swapFree=67010840/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66316 CPUtime=2202.12 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 78373 0 0 0 220208 4 0 0 20 0 1 0 434268869 91807744 16579 33554432000 4194304 6211092 140731404522048 140731404520008 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16579 875 493 0 15719 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66316 KiB

[startup+2262.3 s]
/proc/loadavg: 2.08 2.08 2.09 3/205 27016
/proc/meminfo: memFree=31174196/32770624 swapFree=67010840/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66316 CPUtime=2262.12 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 78558 0 0 0 226208 4 0 0 20 0 1 0 434268869 91807744 16579 33554432000 4194304 6211092 140731404522048 140731404520008 5156440 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16579 875 493 0 15719 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66316 KiB

[startup+2322.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/205 27020
/proc/meminfo: memFree=31174232/32770624 swapFree=67010840/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66316 CPUtime=2322.11 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 78742 0 0 0 232207 4 0 0 20 0 1 0 434268869 91807744 16579 33554432000 4194304 6211092 140731404522048 140731404520008 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16579 875 493 0 15719 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66316 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.06 2.07 3/205 27024
/proc/meminfo: memFree=31173520/32770624 swapFree=67010840/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66316 CPUtime=2382.11 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 78926 0 0 0 238207 4 0 0 20 0 1 0 434268869 91807744 16579 33554432000 4194304 6211092 140731404522048 140731404520008 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16579 875 493 0 15719 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66316 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.01 2.05 2.07 3/205 27027
/proc/meminfo: memFree=31173760/32770624 swapFree=67010840/67108860
[pid=26708] ppid=26705 vsize=89656 memory=66316 CPUtime=2400.01 cores=0,2,4,6
/proc/26708/stat : 26708 (cosoco) R 26705 26708 23113 0 -1 4202496 79108 0 0 0 239997 4 0 0 20 0 1 0 434268869 91807744 16579 33554432000 4194304 6211092 140731404522048 140731404520008 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15593472 140731404530699 140731404530801 140731404530801 140731404533710 0
/proc/26708/statm: 22414 16579 875 493 0 15719 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66316 KiB

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

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

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

Child status: 1
Real time (s): 2400.2
CPU time (s): 2400.02
CPU user time (s): 2399.97
CPU system time (s): 0.045996
CPU usage (%): 99.9924
Max. virtual memory (cumulated for all children) (KiB): 89656
Max. memory (cumulated for all children) (KiB): 66316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.045996
maximum resident set size= 66380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79160
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= 40
involuntary context switches= 662


# summary of solver processes directly reported to runsolver:
#   pid: 26708
#   total CPU time (s): 2400.02
#   total CPU user time (s): 2399.97
#   total CPU system time (s): 0.045996

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.35388 second user time and 15.9 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-15 23:36:52
IDJOB=4397322
IDBENCH=134701
IDSOLVER=2849
FILE ID=node132/4397322-1568583462
RUNJOBID= node132-1568572734-23144
PBS_JOBID= 21703322
Free space on /tmp= 61620 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-fpga/Pb-fpga45-44-sat.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397322-1568583462/watcher-4397322-1568583462 -o /tmp/evaluation-result-4397322-1568583462/solver-4397322-1568583462 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568572734-23144 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397322-1568583462.xml

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

MD5SUM BENCH= 5bcfa8fa7457011a5ed18201858fb80b
RANDOM SEED=812140096

node132.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.95
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.95
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.95
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.95
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:        31523500 kB
MemAvailable:   31912100 kB
Buffers:           97424 kB
Cached:           568052 kB
SwapCached:         5980 kB
Active:           411188 kB
Inactive:         264168 kB
Active(anon):       6920 kB
Inactive(anon):    32208 kB
Active(file):     404268 kB
Inactive(file):   231960 kB
Unevictable:      109604 kB
Mlocked:          109604 kB
SwapTotal:      67108860 kB
SwapFree:       67010832 kB
Dirty:              2728 kB
Writeback:             0 kB
AnonPages:        115800 kB
Mapped:            36764 kB
Shmem:             20624 kB
Slab:             165864 kB
SReclaimable:     136416 kB
SUnreclaim:        29448 kB
KernelStack:        3648 kB
PageTables:         5808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     507632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61616 MiB
End job on node132 at 2019-09-16 00:16:52