Trace number 4407960

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) 2519.19 2520.01

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 benchmark6.71118
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-4407960-1569803692.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.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.44	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.71	c 4493           107856         1273211        961164         0              0              924   1025   964
3.99/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.94	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.69/5.70	c 8669           193464         1938457        1570590        0              0              1775   1863   1834
6.29/6.35	c 9627           218669         2203463        1797572        0              0              1752   1829   1797
7.10/7.15	c 10680          247271         2483723        2096325        0              0              1452   1584   1540
8.19/8.24	c 11838          277729         2806570        2379440        0              0              808   1766   1051
9.09/9.11	c 13111          316101         3075192        2670639        0              0              1547   1686   1643
10.09/10.16	c 14511          347065         3427300        3002472        0              0              1182   1350   1224
11.28/11.36	c 16051          383073         3805015        3378087        0              0              1093   1212   1156
12.88/12.93	c 17745          414595         4366887        3889818        0              0              662   796   726
14.09/14.15	c 19608          465670         4745216        4216333        0              0              226   1747   1536
15.39/15.42	c 21657          524312         5118639        4566552        0              0              1536   1711   1628
16.89/16.91	c 23910          591913         5587480        5097245        0              0              1564   1818   1644
18.59/18.62	c 26388          670332         6111625        5630557        0              0              1139   1828   1628
20.28/20.30	c 29113          733385         6726678        6311638        0              0              1500   1681   1584
22.99/23.07	c 32110          816448         7725684        7196946        0              0              901   1647   1314
24.58/24.69	c 35406          887605         8244938        7734588        0              0              1431   1710   1620
26.68/26.70	c 39031          970072         8996236        8515022        0              0              1621   1730   1688
29.77/29.85	c 43018          1079700        10191742       9765335        0              0              1466   1663   1574
34.27/34.38	c 47403          1202589        11837027       11307036       0              0              1059   1312   1172
38.88/38.96	c 52226          1327094        13205149       12685317       0              0              890   1056   974
41.58/41.62	c 57531          1450092        14055076       13547224       0              0              852   1731   1688
44.68/44.78	c 63366          1576703        15226622       14670454       0              0              1578   1694   1646
50.67/50.79	c 69784          1755130        17187729       16639190       0              0              1128   1267   1206
55.87/55.97	c 76843          1884665        19069657       18243178       0              0              731   1268   1167
58.57/58.66	c 84607          2004951        20025080       19118184       0              0              800   1835   1753
62.17/62.29	c 93147          2167922        21339935       20257848       0              0              1718   1819   1777
67.27/67.39	c 102541         2383711        23113786       21795959       0              0              1613   1769   1695
75.87/75.93	c 112874         2711525        26121819       24637169       0              0              1503   1687   1608
87.35/87.45	c 124240         3117242        30162647       28715627       0              0              1408   1612   1542
98.05/98.11	c 136742         3583909        33302674       31574618       0              0              1347   1580   1473
102.64/102.78	c 150494         3818433        35201017       33242436       0              0              1271   1886   1848
109.53/109.66	c 165621         4192385        37867611       35469016       0              0              1736   1876   1847
121.22/121.33	c 182260         4720365        42866153       40737424       0              0              1690   1838   1791
140.42/140.56	c 200562         5538615        48106695       45921288       0              0              1195   1519   1356
152.42/152.52	c 220694         6197424        52522368       50280265       0              0              789   1862   1828
175.61/175.79	c 242839         7214716        60714221       58332946       0              0              1451   1736   1621
186.80/187.00	c 267198         7806614        64747275       62381960       0              0              1324   1910   1795
200.40/200.56	c 293992         8565405        69884703       67187387       0              0              1770   1913   1860
221.49/221.60	c 323465         9702599        76805920       74203177       0              0              1609   1786   1738
257.28/257.48	c 355885         10947899       89899626       86768565       0              0              1242   1606   1396
272.18/272.30	c 391547         11742730       95142360       91493158       0              0              1670   1912   1817
301.47/301.64	c 430775         13297860       106486349      103435247      0              0              1695   1881   1823
326.06/326.20	c 473925         14625852       115210688      112474683      0              0              1128   1897   1799
374.15/374.35	c 521390         16342288       132998526      129650361      0              0              1298   1822   1467
393.44/393.65	c 573601         17154318       140186992      135371120      0              0              866   1961   1799
411.14/411.32	c 631033         18169818       147247091      141410242      0              0              1859   1949   1927
452.93/453.19	c 694208         20387372       163870780      157897647      0              0              1704   1907   1837
510.21/510.44	c 763700         22662745       184888047      179703323      0              0              1167   1809   1557
578.68/578.92	c 840141         24841120       207671632      202144479      0              0              1102   1557   1238
621.88/622.12	c 924226         27034342       223390447      217131014      0              0              993   1900   1804
681.45/681.71	c 1016719        29383121       245146240      237912218      0              0              1409   1735   1553
765.93/766.21	c 1118461        32030164       272822237      262269086      0              0              1071   1574   1197
800.42/800.74	c 1230377        33744495       285978795      273989857      0              0              996   1944   1819
858.60/858.92	c 1353484        36707043       309263168      297633842      0              0              1718   1889   1831
961.68/962.06	c 1488901        40793897       349585889      340203192      0              0              1479   1852   1612
1080.53/1080.90	c 1637859        44976769       389823079      376526608      0              0              970   1676   1387
1193.00/1193.44	c 1801712        48867008       428081997      412464770      0              0              841   1918   1411
1251.88/1252.33	c 1981950        51863976       452158173      434507668      0              0              1752   1911   1839
1334.35/1334.86	c 2180211        56080522       485993531      463226985      0              0              1598   1891   1834
1471.22/1471.77	c 2398298        62449206       537834973      527067774      0              0              1572   1815   1726
1658.16/1658.72	c 2638193        70033596       599122246      593071815      0              0              663   1545   1479
1772.12/1772.72	c 2902077        76112736       640955690      627915000      0              0              1072   1875   1794
1911.67/1912.39	c 3192349        83096557       694255090      679546234      0              0              1634   1841   1768
2059.82/2060.50	c 3511648        90518311       750989104      732290037      0              0              1583   1871   1789
2406.32/2407.12	c 3862876        105261855      873444150      846084013      0              0              1350   1789   1572
2519.18/2520.00	
2519.18/2520.00	c *** INTERRUPTED ***
2519.18/2520.00	c restarts              : 87          
2519.18/2520.00	c conflicts             : 4031345      (1600 /sec)
2519.18/2520.00	c decisions             : 110016725    (43673 /sec)
2519.18/2520.00	c propagations          : 885985721   (351704 /sec)
2519.18/2520.00	c root propagations     : 0           
2519.18/2520.00	c filter calls          : 911848200      (361970 /sec)
2519.18/2520.00	c useless filter calls  : 850768669      (93 %)
2519.18/2520.00	c Memory used           : 87.56 MB
2519.18/2520.00	c CPU time              : 2519.12 s
2519.18/2520.00	c real time             : 2520 s
2519.18/2520.00	
2519.18/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407960-1569803692/watcher-4407960-1569803692 -o /tmp/evaluation-result-4407960-1569803692/solver-4407960-1569803692 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569783168-25107 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407960-1569803692.xml 

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

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

solver pid=29141, runsolver pid=29138

[startup+0.100244 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 29142
/proc/meminfo: memFree=31373092/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=38572 memory=14980 CPUtime=0.09 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 3913 0 0 0 9 0 0 0 20 0 1 0 556625528 39497728 3745 33554432000 4194304 6211132 140730729376736 140730729371096 140358076386277 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 9643 3745 837 493 0 2948 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38572 KiB
Current children cumulated memory: 14980 KiB

[startup+0.209653 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 29142
/proc/meminfo: memFree=31355980/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=54868 memory=31276 CPUtime=0.21 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 7988 0 0 0 20 1 0 0 20 0 1 0 556625528 56184832 7819 33554432000 4194304 6211132 140730729376736 140730729371096 140358076434336 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 13717 7819 837 493 0 7022 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54868 KiB
Current children cumulated memory: 31276 KiB

[startup+0.309607 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 29142
/proc/meminfo: memFree=31351888/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=59592 memory=36128 CPUtime=0.31 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 9216 0 0 0 30 1 0 0 20 0 1 0 556625528 61022208 9032 33554432000 4194304 6211132 140730729376736 140730729374328 140358076386277 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 14898 9032 874 493 0 8203 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 59592 KiB
Current children cumulated memory: 36128 KiB

[startup+0.700344 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 29142
/proc/meminfo: memFree=31327352/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=86540 memory=62792 CPUtime=0.69 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 15884 0 0 0 67 2 0 0 20 0 1 0 556625528 88616960 15698 33554432000 4194304 6211132 140730729376736 140730729374328 5409471 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 21635 15698 875 493 0 14940 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 86540 KiB
Current children cumulated memory: 62792 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 29142
/proc/meminfo: memFree=31322516/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=88036 memory=64112 CPUtime=1.49 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 16254 0 0 0 147 2 0 0 20 0 1 0 556625528 90148864 16028 33554432000 4194304 6211132 140730729376736 140730729374168 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22009 16028 875 493 0 15314 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 88036 KiB
Current children cumulated memory: 64112 KiB

[startup+3.10946 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 29142
/proc/meminfo: memFree=31321688/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=88440 memory=64772 CPUtime=3.09 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 24700 0 0 0 307 2 0 0 20 0 1 0 556625528 90562560 16193 33554432000 4194304 6211132 140730729376736 140730729374696 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22110 16193 875 493 0 15415 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 88440 KiB
Current children cumulated memory: 64772 KiB

[startup+6.30029 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 29142
/proc/meminfo: memFree=31320656/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=88984 memory=65332 CPUtime=6.29 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 33852 0 0 0 626 3 0 0 20 0 1 0 556625528 91119616 16333 33554432000 4194304 6211132 140730729376736 140730729374696 5390120 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22246 16333 875 493 0 15551 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 88984 KiB
Current children cumulated memory: 65332 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 29142
/proc/meminfo: memFree=31320660/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=88984 memory=65372 CPUtime=12.68 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 42117 0 0 0 1265 3 0 0 20 0 1 0 556625528 91119616 16343 33554432000 4194304 6211132 140730729376736 140730729374696 5156288 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22246 16343 875 493 0 15551 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 88984 KiB
Current children cumulated memory: 65372 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29145
/proc/meminfo: memFree=31320296/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89120 memory=65460 CPUtime=25.48 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 58302 0 0 0 2544 4 0 0 20 0 1 0 556625528 91258880 16365 33554432000 4194304 6211132 140730729376736 140730729374696 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22280 16365 875 493 0 15585 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 89120 KiB
Current children cumulated memory: 65460 KiB

[startup+51.1092 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 29146
/proc/meminfo: memFree=31320416/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89120 memory=65492 CPUtime=51.08 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 66802 0 0 0 5103 5 0 0 20 0 1 0 556625528 91258880 16373 33554432000 4194304 6211132 140730729376736 140730729374696 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22280 16373 875 493 0 15585 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 89120 KiB
Current children cumulated memory: 65492 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 29211
/proc/meminfo: memFree=29679304/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89120 memory=65540 CPUtime=102.24 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 75967 0 0 0 10219 5 0 0 20 0 1 0 556625528 91258880 16385 33554432000 4194304 6211132 140730729376736 140730729374696 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22280 16385 875 493 0 15585 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 89120 KiB
Current children cumulated memory: 65540 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 29217
/proc/meminfo: memFree=29508488/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89392 memory=66012 CPUtime=162.21 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 76816 0 0 0 16216 5 0 0 20 0 1 0 556625528 91537408 16503 33554432000 4194304 6211132 140730729376736 140730729374696 5155373 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22348 16503 875 493 0 15653 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 89392 KiB
Current children cumulated memory: 66012 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 29222
/proc/meminfo: memFree=29507804/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89524 memory=66096 CPUtime=222.19 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 77407 0 0 0 22214 5 0 0 20 0 1 0 556625528 91672576 16524 33554432000 4194304 6211132 140730729376736 140730729374696 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22381 16524 875 493 0 15686 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 89524 KiB
Current children cumulated memory: 66096 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 29226
/proc/meminfo: memFree=29508072/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66104 CPUtime=282.18 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 77958 0 0 0 28213 5 0 0 20 0 1 0 556625528 91807744 16526 33554432000 4194304 6211132 140730729376736 140730729374328 5380299 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16526 875 493 0 15719 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66104 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 29239
/proc/meminfo: memFree=29508404/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66236 CPUtime=342.16 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 78532 0 0 0 34211 5 0 0 20 0 1 0 556625528 91807744 16559 33554432000 4194304 6211132 140730729376736 140730729374696 5156211 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16559 875 493 0 15719 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66236 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 29244
/proc/meminfo: memFree=29507528/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66236 CPUtime=402.14 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 79084 0 0 0 40209 5 0 0 20 0 1 0 556625528 91807744 16559 33554432000 4194304 6211132 140730729376736 140730729374696 5155836 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16559 875 493 0 15719 0
Current children cumulated CPU time: 402.14 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66236 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 29248
/proc/meminfo: memFree=29506740/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66260 CPUtime=462.12 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 79601 0 0 0 46207 5 0 0 20 0 1 0 556625528 91807744 16565 33554432000 4194304 6211132 140730729376736 140730729374696 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16565 875 493 0 15719 0
Current children cumulated CPU time: 462.12 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66260 KiB


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

/proc/29141/statm: 22414 16573 875 493 0 15719 0
Current children cumulated CPU time: 1721.74 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66292 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/198 29369
/proc/meminfo: memFree=29464924/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66292 CPUtime=1781.72 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 87500 0 0 0 178166 6 0 0 20 0 1 0 556625528 91807744 16573 33554432000 4194304 6211132 140730729376736 140730729374696 5155844 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16573 875 493 0 15719 0
Current children cumulated CPU time: 1781.72 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66292 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/198 29374
/proc/meminfo: memFree=29465344/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66292 CPUtime=1841.7 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 87658 0 0 0 184164 6 0 0 20 0 1 0 556625528 91807744 16573 33554432000 4194304 6211132 140730729376736 140730729374696 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16573 875 493 0 15719 0
Current children cumulated CPU time: 1841.7 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66292 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/198 29378
/proc/meminfo: memFree=29465260/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66292 CPUtime=1901.68 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 87816 0 0 0 190162 6 0 0 20 0 1 0 556625528 91807744 16573 33554432000 4194304 6211132 140730729376736 140730729374696 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16573 875 493 0 15719 0
Current children cumulated CPU time: 1901.68 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66292 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 29384
/proc/meminfo: memFree=29464800/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66292 CPUtime=1961.66 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 88018 0 0 0 196160 6 0 0 20 0 1 0 556625528 91807744 16573 33554432000 4194304 6211132 140730729376736 140730729374696 5155687 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16573 875 493 0 15719 0
Current children cumulated CPU time: 1961.66 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66292 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 29389
/proc/meminfo: memFree=29465532/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66292 CPUtime=2021.64 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 88182 0 0 0 202158 6 0 0 20 0 1 0 556625528 91807744 16573 33554432000 4194304 6211132 140730729376736 140730729374696 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16573 875 493 0 15719 0
Current children cumulated CPU time: 2021.64 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66292 KiB

[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/198 29393
/proc/meminfo: memFree=29465160/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66292 CPUtime=2081.62 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 88383 0 0 0 208156 6 0 0 20 0 1 0 556625528 91807744 16573 33554432000 4194304 6211132 140730729376736 140730729374696 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16573 875 493 0 15719 0
Current children cumulated CPU time: 2081.62 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66292 KiB

[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 29407
/proc/meminfo: memFree=29464872/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66300 CPUtime=2141.6 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 88544 0 0 0 214154 6 0 0 20 0 1 0 556625528 91807744 16575 33554432000 4194304 6211132 140730729376736 140730729374696 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16575 875 493 0 15719 0
Current children cumulated CPU time: 2141.6 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66300 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 29436
/proc/meminfo: memFree=29464068/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66300 CPUtime=2201.58 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 88705 0 0 0 220152 6 0 0 20 0 1 0 556625528 91807744 16575 33554432000 4194304 6211132 140730729376736 140730729374696 5380299 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16575 875 493 0 15719 0
Current children cumulated CPU time: 2201.58 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66300 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29440
/proc/meminfo: memFree=29464320/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66300 CPUtime=2261.56 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 88868 0 0 0 226150 6 0 0 20 0 1 0 556625528 91807744 16575 33554432000 4194304 6211132 140730729376736 140730729374696 5409489 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16575 875 493 0 15719 0
Current children cumulated CPU time: 2261.56 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66300 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29446
/proc/meminfo: memFree=29463248/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66300 CPUtime=2321.54 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 89030 0 0 0 232148 6 0 0 20 0 1 0 556625528 91807744 16575 33554432000 4194304 6211132 140730729376736 140730729374696 5380288 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16575 875 493 0 15719 0
Current children cumulated CPU time: 2321.54 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66300 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29450
/proc/meminfo: memFree=29464724/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66300 CPUtime=2381.52 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 89192 0 0 0 238146 6 0 0 20 0 1 0 556625528 91807744 16575 33554432000 4194304 6211132 140730729376736 140730729374696 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16575 875 493 0 15719 0
Current children cumulated CPU time: 2381.52 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66300 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 29454
/proc/meminfo: memFree=29464796/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66300 CPUtime=2441.5 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 89393 0 0 0 244144 6 0 0 20 0 1 0 556625528 91807744 16575 33554432000 4194304 6211132 140730729376736 140730729374696 5409493 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16575 875 493 0 15719 0
Current children cumulated CPU time: 2441.5 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66300 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 29460
/proc/meminfo: memFree=29464356/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66300 CPUtime=2501.48 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 89556 0 0 0 250142 6 0 0 20 0 1 0 556625528 91807744 16575 33554432000 4194304 6211132 140730729376736 140730729374696 5380288 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16575 875 493 0 15719 0
Current children cumulated CPU time: 2501.48 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66300 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 29460
/proc/meminfo: memFree=29464752/32770624 swapFree=66986684/67108860
[pid=29141] ppid=29138 vsize=89656 memory=66300 CPUtime=2519.18 cores=1,3,5,7
/proc/29141/stat : 29141 (cosoco) R 29138 29141 25075 0 -1 4202496 89717 0 0 0 251912 6 0 0 20 0 1 0 556625528 91807744 16575 33554432000 4194304 6211132 140730729376736 140730729374696 5155711 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 32468992 140730729378827 140730729378929 140730729378929 140730729381838 0
/proc/29141/statm: 22414 16575 875 493 0 15719 0
Current children cumulated CPU time: 2519.18 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66300 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.19
CPU user time (s): 2519.12
CPU system time (s): 0.06298
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 89656
Max. memory (cumulated for all children) (KiB): 66300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.12
system time used= 0.06298
maximum resident set size= 66364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89770
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= 43
involuntary context switches= 13263


# summary of solver processes directly reported to runsolver:
#   pid: 29141
#   total CPU time (s): 2519.19
#   total CPU user time (s): 2519.12
#   total CPU system time (s): 0.06298

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.0636 second user time and 15.9831 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-30 01:24:26
IDJOB=4407960
IDBENCH=134701
IDSOLVER=2874
FILE ID=node104/4407960-1569803692
RUNJOBID= node104-1569783168-25107
PBS_JOBID= 21705839
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-4407960-1569803692/watcher-4407960-1569803692 -o /tmp/evaluation-result-4407960-1569803692/solver-4407960-1569803692 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569783168-25107 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4407960-1569803692.xml

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

MD5SUM BENCH= 5bcfa8fa7457011a5ed18201858fb80b
RANDOM SEED=679281364

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        31383300 kB
MemAvailable:   31609336 kB
Buffers:          196704 kB
Cached:           359312 kB
SwapCached:        22760 kB
Active:           528916 kB
Inactive:         286076 kB
Active(anon):     250136 kB
Inactive(anon):    91348 kB
Active(file):     278780 kB
Inactive(file):   194728 kB
Unevictable:      109640 kB
Mlocked:          109640 kB
SwapTotal:      67108860 kB
SwapFree:       66986684 kB
Dirty:              2764 kB
Writeback:             0 kB
AnonPages:        347744 kB
Mapped:            28432 kB
Shmem:             73632 kB
Slab:             166736 kB
SReclaimable:     136728 kB
SUnreclaim:        30008 kB
KernelStack:        3552 kB
PageTables:         5880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     793236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    296960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62024 MiB
End job on node104 at 2019-09-30 02:06:26