Trace number 4408582

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.09 2399.9

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.21/0.26	c root propagations     : 0           
0.21/0.26	c restarts enabled, print stats at every restarts
0.21/0.26	c
0.21/0.26	c
0.21/0.26	c
0.21/0.26	c This is cosoco 2.00 --  
0.21/0.26	c
0.21/0.26	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408582-1569800560.xml 
0.21/0.26	c ========================================[ Problem Statistics ]===========================================
0.21/0.26	c |                                                                                                       
0.21/0.26	c |  Parse time        :         0.23 s 
0.21/0.26	c |
0.21/0.26	c |               Variables: 2970
0.21/0.26	c |            Domain Sizes: 2..2
0.21/0.26	c |
0.21/0.26	c |             Constraints: 2113
0.21/0.26	c |                   Arity: 22..45
0.21/0.26	c | 
0.21/0.26	c |                   Types: 
0.21/0.26	c |                          Sum: 2113
0.21/0.26	c |                          
0.21/0.26	c =========================================================================================================
0.21/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.52	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.77	c 465            14383          270465         106738         0              0              2267   2301   2266
0.79/0.87	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.39/2.44	c 2770           68874          831582         568627         0              0              994   1160   1041
2.59/2.68	c 3142           80085          905370         642948         0              0              1773   1871   1823
2.89/2.95	c 3551           88860          1001325        748863         0              0              1491   1737   1572
3.29/3.32	c 4000           99425          1132926        843237         0              0              1241   1414   1323
3.69/3.71	c 4493           107856         1273211        961164         0              0              924   1025   964
4.00/4.07	c 5035           122637         1388650        1059309        0              0              568   1827   1662
4.29/4.33	c 5631           131925         1477605        1165086        0              0              1606   1728   1645
4.49/4.59	c 6286           143701         1560033        1234654        0              0              1765   1830   1787
4.89/4.93	c 7006           158314         1683596        1342661        0              0              1730   1890   1811
5.29/5.31	c 7798           175907         1804587        1451259        0              0              1735   1880   1828
5.59/5.69	c 8669           193464         1938457        1570590        0              0              1775   1863   1834
6.29/6.34	c 9627           218669         2203463        1797572        0              0              1752   1829   1797
7.10/7.14	c 10680          247271         2483723        2096325        0              0              1452   1584   1540
8.19/8.23	c 11838          277729         2806570        2379440        0              0              808   1766   1051
9.00/9.10	c 13111          316101         3075192        2670639        0              0              1547   1686   1643
10.10/10.15	c 14511          347065         3427300        3002472        0              0              1182   1350   1224
11.29/11.35	c 16051          383073         3805015        3378087        0              0              1093   1212   1156
12.89/12.92	c 17745          414595         4366887        3889818        0              0              662   796   726
14.10/14.14	c 19608          465670         4745216        4216333        0              0              226   1747   1536
15.39/15.41	c 21657          524312         5118639        4566552        0              0              1536   1711   1628
16.89/16.90	c 23910          591913         5587480        5097245        0              0              1564   1818   1644
18.59/18.61	c 26388          670332         6111625        5630557        0              0              1139   1828   1628
20.19/20.29	c 29113          733385         6726678        6311638        0              0              1500   1681   1584
23.00/23.06	c 32110          816448         7725684        7196946        0              0              901   1647   1314
24.59/24.67	c 35406          887605         8244938        7734588        0              0              1431   1710   1620
26.59/26.68	c 39031          970072         8996236        8515022        0              0              1621   1730   1688
29.79/29.83	c 43018          1079700        10191742       9765335        0              0              1466   1663   1574
34.29/34.37	c 47403          1202589        11837027       11307036       0              0              1059   1312   1172
38.89/38.94	c 52226          1327094        13205149       12685317       0              0              890   1056   974
41.59/41.61	c 57531          1450092        14055076       13547224       0              0              852   1731   1688
44.70/44.77	c 63366          1576703        15226622       14670454       0              0              1578   1694   1646
50.70/50.79	c 69784          1755130        17187729       16639190       0              0              1128   1267   1206
55.79/55.85	c 76843          1884665        19069657       18243178       0              0              731   1268   1167
58.29/58.37	c 84607          2004951        20025080       19118184       0              0              800   1835   1753
61.69/61.75	c 93147          2167922        21339935       20257848       0              0              1718   1819   1777
66.49/66.54	c 102541         2383711        23113786       21795959       0              0              1613   1769   1695
74.58/74.63	c 112874         2711525        26121819       24637169       0              0              1503   1687   1608
85.58/85.62	c 124240         3117242        30162647       28715627       0              0              1408   1612   1542
96.28/96.36	c 136742         3583909        33302674       31574618       0              0              1347   1580   1473
100.99/101.08	c 150494         3818433        35201017       33242436       0              0              1271   1886   1848
107.88/107.99	c 165621         4192385        37867611       35469016       0              0              1736   1876   1847
119.69/119.75	c 182260         4720365        42866153       40737424       0              0              1690   1838   1791
139.10/139.13	c 200562         5538615        48106695       45921288       0              0              1195   1519   1356
151.19/151.21	c 220694         6197424        52522368       50280265       0              0              789   1862   1828
174.59/174.61	c 242839         7214716        60714221       58332946       0              0              1451   1736   1621
185.89/185.92	c 267198         7806614        64747275       62381960       0              0              1324   1910   1795
199.59/199.60	c 293992         8565405        69884703       67187387       0              0              1770   1913   1860
220.79/220.84	c 323465         9702599        76805920       74203177       0              0              1609   1786   1738
256.90/256.98	c 355885         10947899       89899626       86768565       0              0              1242   1606   1396
271.90/271.92	c 391547         11742730       95142360       91493158       0              0              1670   1912   1817
301.40/301.46	c 430775         13297860       106486349      103435247      0              0              1695   1881   1823
326.11/326.13	c 473925         14625852       115210688      112474683      0              0              1128   1897   1799
374.60/374.60	c 521390         16342288       132998526      129650361      0              0              1298   1822   1467
394.02/394.01	c 573601         17154318       140186992      135371120      0              0              866   1961   1799
411.81/411.81	c 631033         18169818       147247091      141410242      0              0              1859   1949   1927
454.12/454.13	c 694208         20387372       163870780      157897647      0              0              1704   1907   1837
511.72/511.74	c 763700         22662745       184888047      179703323      0              0              1167   1809   1557
580.82/580.81	c 840141         24841120       207671632      202144479      0              0              1102   1557   1238
624.33/624.36	c 924226         27034342       223390447      217131014      0              0              993   1900   1804
684.23/684.24	c 1016719        29383121       245146240      237912218      0              0              1409   1735   1553
769.24/769.26	c 1118461        32030164       272822237      262269086      0              0              1071   1574   1197
804.05/804.08	c 1230377        33744495       285978795      273989857      0              0              996   1944   1819
862.44/862.47	c 1353484        36707043       309263168      297633842      0              0              1718   1889   1831
966.25/966.28	c 1488901        40793897       349585889      340203192      0              0              1479   1852   1612
1085.86/1085.90	c 1637859        44976769       389823079      376526608      0              0              970   1676   1387
1199.27/1199.22	c 1801712        48867008       428081997      412464770      0              0              841   1918   1411
1258.58/1258.52	c 1981950        51863976       452158173      434507668      0              0              1752   1911   1839
1341.79/1341.74	c 2180211        56080522       485993531      463226985      0              0              1598   1891   1834
1479.30/1479.27	c 2398298        62449206       537834973      527067774      0              0              1572   1815   1726
1667.62/1667.59	c 2638193        70033596       599122246      593071815      0              0              663   1545   1479
1783.03/1782.95	c 2902077        76112736       640955690      627915000      0              0              1072   1875   1794
1923.54/1923.45	c 3192349        83096557       694255090      679546234      0              0              1634   1841   1768
2072.85/2072.76	c 3511648        90518311       750989104      732290037      0              0              1583   1871   1789
2400.08/2399.90	
2400.08/2399.90	c *** INTERRUPTED ***
2400.08/2399.90	c restarts              : 86          
2400.08/2399.90	c conflicts             : 3843089      (1601 /sec)
2400.08/2399.90	c decisions             : 104353937    (43480 /sec)
2400.08/2399.90	c propagations          : 838677610   (349444 /sec)
2400.08/2399.90	c root propagations     : 0           
2400.08/2399.90	c filter calls          : 865205009      (360497 /sec)
2400.08/2399.90	c useless filter calls  : 807168166      (93 %)
2400.08/2399.90	c Memory used           : 87.56 MB
2400.08/2399.90	c CPU time              : 2400.04 s
2400.08/2399.90	c real time             : 2399.9 s
2400.08/2399.90	
2400.08/2399.90	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408582-1569800560/watcher-4408582-1569800560 -o /tmp/evaluation-result-4408582-1569800560/solver-4408582-1569800560 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1569783690-24391 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408582-1569800560.xml 

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

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


[startup+0.100207 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 27407
/proc/meminfo: memFree=31013208/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=38572 memory=14984 CPUtime=0.1 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 3921 0 0 0 10 0 0 0 20 0 1 0 556313424 39497728 3746 33554432000 4194304 6211132 140735211683904 140735211680440 140443796581349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 9643 3746 837 493 0 2948 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38572 KiB
Current children cumulated memory: 14984 KiB

[startup+0.209954 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 27407
/proc/meminfo: memFree=30996592/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=54992 memory=31408 CPUtime=0.21 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 8015 0 0 0 20 1 0 0 20 0 1 0 556313424 56311808 7852 33554432000 4194304 6211132 140735211683904 140735211680440 5817902 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 13748 7852 837 493 0 7053 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54992 KiB
Current children cumulated memory: 31408 KiB

[startup+0.309864 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 27407
/proc/meminfo: memFree=30992004/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=59988 memory=36660 CPUtime=0.31 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 9317 0 0 0 30 1 0 0 20 0 1 0 556313424 61427712 9099 33554432000 4194304 6211132 140735211683904 140735211680440 5185175 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 14997 9099 874 493 0 8302 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 59988 KiB
Current children cumulated memory: 36660 KiB

[startup+0.700429 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27407
/proc/meminfo: memFree=30968228/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=86540 memory=62796 CPUtime=0.69 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 15885 0 0 0 67 2 0 0 20 0 1 0 556313424 88616960 15699 33554432000 4194304 6211132 140735211683904 140735211681496 5409456 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/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.50035 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27407
/proc/meminfo: memFree=30963332/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=88036 memory=64116 CPUtime=1.49 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 16255 0 0 0 147 2 0 0 20 0 1 0 556313424 90148864 16029 33554432000 4194304 6211132 140735211683904 140735211681864 5156112 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/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.10965 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27407
/proc/meminfo: memFree=30962712/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=88440 memory=64776 CPUtime=3.1 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 24700 0 0 0 307 3 0 0 20 0 1 0 556313424 90562560 16194 33554432000 4194304 6211132 140735211683904 140735211681864 5155836 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22110 16194 875 493 0 15415 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 88440 KiB
Current children cumulated memory: 64776 KiB

[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27407
/proc/meminfo: memFree=30961600/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=88984 memory=65336 CPUtime=6.29 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 33851 0 0 0 626 3 0 0 20 0 1 0 556313424 91119616 16334 33554432000 4194304 6211132 140735211683904 140735211681864 5409508 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22246 16334 875 493 0 15551 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 88984 KiB
Current children cumulated memory: 65336 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27407
/proc/meminfo: memFree=30961724/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=88984 memory=65376 CPUtime=12.69 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 42115 0 0 0 1265 4 0 0 20 0 1 0 556313424 91119616 16344 33554432000 4194304 6211132 140735211683904 140735211681864 5155373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22246 16344 875 493 0 15551 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 88984 KiB
Current children cumulated memory: 65376 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27408
/proc/meminfo: memFree=30960948/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89120 memory=65464 CPUtime=25.49 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 58298 0 0 0 2545 4 0 0 20 0 1 0 556313424 91258880 16366 33554432000 4194304 6211132 140735211683904 140735211681864 5155832 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22280 16366 875 493 0 15585 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 89120 KiB
Current children cumulated memory: 65464 KiB

[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27410
/proc/meminfo: memFree=30960996/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89120 memory=65496 CPUtime=51.11 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 66803 0 0 0 5106 5 0 0 20 0 1 0 556313424 91258880 16374 33554432000 4194304 6211132 140735211683904 140735211681864 5250266 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22280 16374 875 493 0 15585 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 89120 KiB
Current children cumulated memory: 65496 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27414
/proc/meminfo: memFree=30960744/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89260 memory=65772 CPUtime=102.28 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 69308 0 0 0 10223 5 0 0 20 0 1 0 556313424 91402240 16443 33554432000 4194304 6211132 140735211683904 140735211681496 5380299 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22315 16443 875 493 0 15620 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 89260 KiB
Current children cumulated memory: 65772 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27418
/proc/meminfo: memFree=30960692/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89392 memory=66036 CPUtime=162.29 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 69918 0 0 0 16224 5 0 0 20 0 1 0 556313424 91537408 16509 33554432000 4194304 6211132 140735211683904 140735211681864 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22348 16509 875 493 0 15653 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 89392 KiB
Current children cumulated memory: 66036 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27424
/proc/meminfo: memFree=30960328/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89524 memory=66100 CPUtime=222.29 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 70518 0 0 0 22224 5 0 0 20 0 1 0 556313424 91672576 16525 33554432000 4194304 6211132 140735211683904 140735211681864 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22381 16525 875 493 0 15686 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 89524 KiB
Current children cumulated memory: 66100 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27428
/proc/meminfo: memFree=30961040/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66168 CPUtime=282.3 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 70588 0 0 0 28225 5 0 0 20 0 1 0 556313424 91807744 16542 33554432000 4194304 6211132 140735211683904 140735211681496 5250319 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16542 875 493 0 15719 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66168 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27432
/proc/meminfo: memFree=30961024/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66240 CPUtime=342.3 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 71182 0 0 0 34225 5 0 0 20 0 1 0 556313424 91807744 16560 33554432000 4194304 6211132 140735211683904 140735211681864 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16560 875 493 0 15719 0
Current children cumulated CPU time: 342.3 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/199 27438
/proc/meminfo: memFree=30960524/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66240 CPUtime=402.31 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 71217 0 0 0 40226 5 0 0 20 0 1 0 556313424 91807744 16560 33554432000 4194304 6211132 140735211683904 140735211681864 5409481 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16560 875 493 0 15719 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66240 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27442
/proc/meminfo: memFree=30960712/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66264 CPUtime=462.31 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 71746 0 0 0 46226 5 0 0 20 0 1 0 556313424 91807744 16566 33554432000 4194304 6211132 140735211683904 140735211681864 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16566 875 493 0 15719 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66264 KiB


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

/proc/27406/statm: 22414 16571 875 493 0 15719 0
Current children cumulated CPU time: 1662.42 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66284 KiB

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/198 27646
/proc/meminfo: memFree=28098876/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66284 CPUtime=1722.42 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 76832 0 0 0 172237 5 0 0 20 0 1 0 556313424 91807744 16571 33554432000 4194304 6211132 140735211683904 140735211681864 5409476 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16571 875 493 0 15719 0
Current children cumulated CPU time: 1722.42 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66284 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 27658
/proc/meminfo: memFree=28098072/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66296 CPUtime=1782.43 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 77070 0 0 0 178238 5 0 0 20 0 1 0 556313424 91807744 16574 33554432000 4194304 6211132 140735211683904 140735211681864 5409471 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16574 875 493 0 15719 0
Current children cumulated CPU time: 1782.43 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66296 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 27664
/proc/meminfo: memFree=28098268/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66296 CPUtime=1842.43 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 77312 0 0 0 184238 5 0 0 20 0 1 0 556313424 91807744 16574 33554432000 4194304 6211132 140735211683904 140735211681864 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16574 875 493 0 15719 0
Current children cumulated CPU time: 1842.43 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66296 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27668
/proc/meminfo: memFree=28098440/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66296 CPUtime=1902.44 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 77550 0 0 0 190239 5 0 0 20 0 1 0 556313424 91807744 16574 33554432000 4194304 6211132 140735211683904 140735211681864 5250485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16574 875 493 0 15719 0
Current children cumulated CPU time: 1902.44 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66296 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27672
/proc/meminfo: memFree=28098980/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66296 CPUtime=1962.44 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 77815 0 0 0 196239 5 0 0 20 0 1 0 556313424 91807744 16574 33554432000 4194304 6211132 140735211683904 140735211681864 5409476 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16574 875 493 0 15719 0
Current children cumulated CPU time: 1962.44 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66296 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27678
/proc/meminfo: memFree=28098212/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66296 CPUtime=2022.45 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 78078 0 0 0 202240 5 0 0 20 0 1 0 556313424 91807744 16574 33554432000 4194304 6211132 140735211683904 140735211681864 5250330 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16574 875 493 0 15719 0
Current children cumulated CPU time: 2022.45 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66296 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27682
/proc/meminfo: memFree=28098108/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66296 CPUtime=2082.45 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 78338 0 0 0 208240 5 0 0 20 0 1 0 556313424 91807744 16574 33554432000 4194304 6211132 140735211683904 140735211681864 5409497 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16574 875 493 0 15719 0
Current children cumulated CPU time: 2082.45 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66296 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27686
/proc/meminfo: memFree=28098332/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66304 CPUtime=2142.46 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 78621 0 0 0 214241 5 0 0 20 0 1 0 556313424 91807744 16576 33554432000 4194304 6211132 140735211683904 140735211681864 5409489 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16576 875 493 0 15719 0
Current children cumulated CPU time: 2142.46 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66304 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27692
/proc/meminfo: memFree=28098504/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66304 CPUtime=2202.46 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 78621 0 0 0 220241 5 0 0 20 0 1 0 556313424 91807744 16576 33554432000 4194304 6211132 140735211683904 140735211681864 5155687 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16576 875 493 0 15719 0
Current children cumulated CPU time: 2202.46 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66304 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27696
/proc/meminfo: memFree=28093720/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66304 CPUtime=2262.47 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 78910 0 0 0 226242 5 0 0 20 0 1 0 556313424 91807744 16576 33554432000 4194304 6211132 140735211683904 140735211681864 5250319 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16576 875 493 0 15719 0
Current children cumulated CPU time: 2262.47 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66304 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27700
/proc/meminfo: memFree=28092012/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66304 CPUtime=2322.47 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 78910 0 0 0 232242 5 0 0 20 0 1 0 556313424 91807744 16576 33554432000 4194304 6211132 140735211683904 140735211681864 5155402 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16576 875 493 0 15719 0
Current children cumulated CPU time: 2322.47 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66304 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27714
/proc/meminfo: memFree=28079132/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66304 CPUtime=2382.48 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 79198 0 0 0 238243 5 0 0 20 0 1 0 556313424 91807744 16576 33554432000 4194304 6211132 140735211683904 140735211681864 5409471 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16576 875 493 0 15719 0
Current children cumulated CPU time: 2382.48 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66304 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27714
/proc/meminfo: memFree=28077276/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66304 CPUtime=2400.08 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 79198 0 0 0 240003 5 0 0 20 0 1 0 556313424 91807744 16576 33554432000 4194304 6211132 140735211683904 140735211681864 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16576 875 493 0 15719 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66304 KiB

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

[startup+2399.9 s]
# the end of solver process 27406 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400.04 s, system=0.058005 s

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

[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27714
/proc/meminfo: memFree=28077276/32770624 swapFree=66957812/67108860
[pid=27406] ppid=27403 vsize=89656 memory=66304 CPUtime=2400.08 cores=0,2,4,6
/proc/27406/stat : 27406 (cosoco) R 27403 27406 24360 0 -1 4202496 79198 0 0 0 240003 5 0 0 20 0 1 0 556313424 91807744 16576 33554432000 4194304 6211132 140735211683904 140735211681864 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25919488 140735211693067 140735211693169 140735211693169 140735211696078 0
/proc/27406/statm: 22414 16576 875 493 0 15719 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66304 KiB

Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.09
CPU user time (s): 2400.04
CPU system time (s): 0.058005
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 89656
Max. memory (cumulated for all children) (KiB): 66304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.058005
maximum resident set size= 66368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79251
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= 39
involuntary context switches= 3000


# summary of solver processes directly reported to runsolver:
#   pid: 27406
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2400.04
#   total CPU system time (s): 0.058005

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.85898 second user time and 15.977 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-30 00:40:56
IDJOB=4408582
IDBENCH=134701
IDSOLVER=2875
FILE ID=node105/4408582-1569800560
RUNJOBID= node105-1569783690-24391
PBS_JOBID= 21705838
Free space on /tmp= 62028 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-4408582-1569800560/watcher-4408582-1569800560 -o /tmp/evaluation-result-4408582-1569800560/solver-4408582-1569800560 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1569783690-24391 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408582-1569800560.xml

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

MD5SUM BENCH= 5bcfa8fa7457011a5ed18201858fb80b
RANDOM SEED=2039568997

node105.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.00
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.00
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.00
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.00
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:        31023132 kB
MemAvailable:   31832220 kB
Buffers:          217100 kB
Cached:           931108 kB
SwapCached:        48112 kB
Active:           506080 kB
Inactive:         693572 kB
Active(anon):      18928 kB
Inactive(anon):   111884 kB
Active(file):     487152 kB
Inactive(file):   581688 kB
Unevictable:      110516 kB
Mlocked:          110516 kB
SwapTotal:      67108860 kB
SwapFree:       66957812 kB
Dirty:              2744 kB
Writeback:             0 kB
AnonPages:        115876 kB
Mapped:            28040 kB
Shmem:             70752 kB
Slab:             140848 kB
SReclaimable:     112164 kB
SUnreclaim:        28684 kB
KernelStack:        3600 kB
PageTables:         5528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     562460 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:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62024 MiB
End job on node105 at 2019-09-30 01:20:56