Trace number 4389420

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2? (TO) 2520.02 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.25	c root propagations     : 0           
0.21/0.25	c restarts enabled, print stats at every restarts
0.21/0.25	c
0.21/0.25	c
0.21/0.25	c
0.21/0.25	c This is cosoco 2.00 --  
0.21/0.25	c
0.21/0.25	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389420-1568349058.xml 
0.21/0.25	c ========================================[ Problem Statistics ]===========================================
0.21/0.25	c |                                                                                                       
0.21/0.25	c |  Parse time        :         0.22 s 
0.21/0.25	c |
0.21/0.25	c |               Variables: 2970
0.21/0.25	c |            Domain Sizes: 2..2
0.21/0.25	c |
0.21/0.25	c |             Constraints: 2113
0.21/0.25	c |                   Arity: 22..45
0.21/0.25	c | 
0.21/0.25	c |                   Types: 
0.21/0.25	c |                          Sum: 2113
0.21/0.25	c |                          
0.21/0.25	c =========================================================================================================
0.21/0.25	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.31/0.40	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.66	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.98	c 771            23890          322104         146760         0              0              1610   1766   1654
1.00/1.10	c 947            28749          355463         178398         0              0              1727   1788   1752
1.19/1.21	c 1140           32408          397276         221317         0              0              1651   1738   1667
1.29/1.35	c 1352           35836          454476         267980         0              0              1527   1611   1544
1.49/1.53	c 1585           39337          534763         322701         0              0              1214   1351   1255
1.69/1.71	c 1841           47086          588109         367914         0              0              918   1639   1572
1.79/1.85	c 2122           53100          630826         399264         0              0              1633   1767   1704
2.10/2.16	c 2431           63656          735756         488963         0              0              1466   1586   1516
2.39/2.42	c 2770           68874          831582         568627         0              0              994   1160   1041
2.59/2.66	c 3142           80085          905370         642948         0              0              1773   1871   1823
2.89/2.92	c 3551           88860          1001325        748863         0              0              1491   1737   1572
3.19/3.28	c 4000           99425          1132926        843237         0              0              1241   1414   1323
3.59/3.68	c 4493           107856         1273211        961164         0              0              924   1025   964
4.00/4.03	c 5035           122637         1388650        1059309        0              0              568   1827   1662
4.19/4.29	c 5631           131925         1477605        1165086        0              0              1606   1728   1645
4.49/4.54	c 6286           143701         1560033        1234654        0              0              1765   1830   1787
4.79/4.87	c 7006           158314         1683596        1342661        0              0              1730   1890   1811
5.19/5.24	c 7798           175907         1804587        1451259        0              0              1735   1880   1828
5.59/5.62	c 8669           193464         1938457        1570590        0              0              1775   1863   1834
6.19/6.25	c 9627           218669         2203463        1797572        0              0              1752   1829   1797
7.00/7.04	c 10680          247271         2483723        2096325        0              0              1452   1584   1540
8.10/8.13	c 11838          277729         2806570        2379440        0              0              808   1766   1051
8.89/8.97	c 13111          316101         3075192        2670639        0              0              1547   1686   1643
9.99/10.02	c 14511          347065         3427300        3002472        0              0              1182   1350   1224
11.19/11.22	c 16051          383073         3805015        3378087        0              0              1093   1212   1156
12.79/12.80	c 17745          414595         4366887        3889818        0              0              662   796   726
13.89/13.99	c 19608          465670         4745216        4216333        0              0              226   1747   1536
15.19/15.23	c 21657          524312         5118639        4566552        0              0              1536   1711   1628
16.59/16.69	c 23910          591913         5587480        5097245        0              0              1564   1818   1644
18.29/18.36	c 26388          670332         6111625        5630557        0              0              1139   1828   1628
19.89/20.00	c 29113          733385         6726678        6311638        0              0              1500   1681   1584
22.69/22.75	c 32110          816448         7725684        7196946        0              0              901   1647   1314
24.29/24.33	c 35406          887605         8244938        7734588        0              0              1431   1710   1620
26.19/26.29	c 39031          970072         8996236        8515022        0              0              1621   1730   1688
29.29/29.39	c 43018          1079700        10191742       9765335        0              0              1466   1663   1574
33.78/33.90	c 47403          1202589        11837027       11307036       0              0              1059   1312   1172
38.38/38.48	c 52226          1327094        13205149       12685317       0              0              890   1056   974
40.99/41.06	c 57531          1450092        14055076       13547224       0              0              852   1731   1688
44.10/44.16	c 63366          1576703        15226622       14670454       0              0              1578   1694   1646
49.99/50.04	c 69784          1755130        17187729       16639190       0              0              1128   1267   1206
54.99/55.04	c 76843          1884665        19069657       18243178       0              0              731   1268   1167
57.48/57.50	c 84607          2004951        20025080       19118184       0              0              800   1835   1753
60.78/60.80	c 93147          2167922        21339935       20257848       0              0              1718   1819   1777
65.47/65.50	c 102541         2383711        23113786       21795959       0              0              1613   1769   1695
73.37/73.47	c 112874         2711525        26121819       24637169       0              0              1503   1687   1608
84.26/84.34	c 124240         3117242        30162647       28715627       0              0              1408   1612   1542
94.86/94.94	c 136742         3583909        33302674       31574618       0              0              1347   1580   1473
99.46/99.55	c 150494         3818433        35201017       33242436       0              0              1271   1886   1848
106.26/106.32	c 165621         4192385        37867611       35469016       0              0              1736   1876   1847
117.76/117.87	c 182260         4720365        42866153       40737424       0              0              1690   1838   1791
136.97/137.04	c 200562         5538615        48106695       45921288       0              0              1195   1519   1356
148.76/148.84	c 220694         6197424        52522368       50280265       0              0              789   1862   1828
171.87/171.92	c 242839         7214716        60714221       58332946       0              0              1451   1736   1621
182.87/182.98	c 267198         7806614        64747275       62381960       0              0              1324   1910   1795
196.27/196.36	c 293992         8565405        69884703       67187387       0              0              1770   1913   1860
217.08/217.17	c 323465         9702599        76805920       74203177       0              0              1609   1786   1738
252.77/252.88	c 355885         10947899       89899626       86768565       0              0              1242   1606   1396
267.47/267.50	c 391547         11742730       95142360       91493158       0              0              1670   1912   1817
296.37/296.47	c 430775         13297860       106486349      103435247      0              0              1695   1881   1823
320.57/320.62	c 473925         14625852       115210688      112474683      0              0              1128   1897   1799
368.37/368.48	c 521390         16342288       132998526      129650361      0              0              1298   1822   1467
387.47/387.53	c 573601         17154318       140186992      135371120      0              0              866   1961   1799
404.87/404.92	c 631033         18169818       147247091      141410242      0              0              1859   1949   1927
446.27/446.34	c 694208         20387372       163870780      157897647      0              0              1704   1907   1837
503.27/503.36	c 763700         22662745       184888047      179703323      0              0              1167   1809   1557
571.67/571.79	c 840141         24841120       207671632      202144479      0              0              1102   1557   1238
614.48/614.52	c 924226         27034342       223390447      217131014      0              0              993   1900   1804
673.68/673.73	c 1016719        29383121       245146240      237912218      0              0              1409   1735   1553
757.99/758.08	c 1118461        32030164       272822237      262269086      0              0              1071   1574   1197
792.19/792.21	c 1230377        33744495       285978795      273989857      0              0              996   1944   1819
849.49/849.54	c 1353484        36707043       309263168      297633842      0              0              1718   1889   1831
952.10/952.19	c 1488901        40793897       349585889      340203192      0              0              1479   1852   1612
1070.79/1070.82	c 1637859        44976769       389823079      376526608      0              0              970   1676   1387
1183.10/1183.18	c 1801712        48867008       428081997      412464770      0              0              841   1918   1411
1241.39/1241.41	c 1981950        51863976       452158173      434507668      0              0              1752   1911   1839
1322.89/1322.90	c 2180211        56080522       485993531      463226985      0              0              1598   1891   1834
1458.39/1458.42	c 2398298        62449206       537834973      527067774      0              0              1572   1815   1726
1645.19/1645.21	c 2638193        70033596       599122246      593071815      0              0              663   1545   1479
1758.10/1758.19	c 2902077        76112736       640955690      627915000      0              0              1072   1875   1794
1896.30/1896.39	c 3192349        83096557       694255090      679546234      0              0              1634   1841   1768
2043.20/2043.26	c 3511648        90518311       750989104      732290037      0              0              1583   1871   1789
2388.90/2388.99	c 3862876        105261855      873444150      846084013      0              0              1350   1789   1572
2520.01/2520.00	
2520.01/2520.00	c *** INTERRUPTED ***
2520.01/2520.00	c restarts              : 87          
2520.01/2520.00	c conflicts             : 4056276      (1610 /sec)
2520.01/2520.00	c decisions             : 110765884    (43955 /sec)
2520.01/2520.00	c propagations          : 892712093   (354256 /sec)
2520.01/2520.00	c root propagations     : 0           
2520.01/2520.00	c filter calls          : 918306753      (364413 /sec)
2520.01/2520.00	c useless filter calls  : 856753712      (93 %)
2520.01/2520.00	c Memory used           : 87.56 MB
2520.01/2520.00	c CPU time              : 2519.96 s
2520.01/2520.00	c real time             : 2520.01 s
2520.01/2520.00	
2520.01/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 (13992 MiB free)
  memory of node 1: 16384 MiB (13740 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389420-1568349058/watcher-4389420-1568349058 -o /tmp/evaluation-result-4389420-1568349058/solver-4389420-1568349058 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3496 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389420-1568349058.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=8163, runsolver pid=8160

[startup+0.100138 s]*
/proc/loadavg: 2.01 2.02 2.05 3/199 8164
/proc/meminfo: memFree=28388132/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=38696 memory=15096 CPUtime=0.1 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 3954 0 0 0 10 0 0 0 20 0 1 0 411174625 39624704 3774 33554432000 4194304 6210612 140722696045776 140722696042312 139807937686501 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 9674 3774 834 493 0 2979 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38696 KiB
Current children cumulated memory: 15096 KiB

[startup+0.209677 s]*
/proc/loadavg: 2.01 2.02 2.05 3/199 8164
/proc/meminfo: memFree=28371020/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=54992 memory=31392 CPUtime=0.21 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 8011 0 0 0 20 1 0 0 20 0 1 0 411174625 56311808 7848 33554432000 4194304 6210612 140722696045776 140722696042312 5729862 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 13748 7848 834 493 0 7053 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54992 KiB
Current children cumulated memory: 31392 KiB

[startup+0.309553 s]*
/proc/loadavg: 2.01 2.02 2.05 3/199 8164
/proc/meminfo: memFree=28366556/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=60912 memory=37440 CPUtime=0.31 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 9530 0 0 0 30 1 0 0 20 0 1 0 411174625 62373888 9360 33554432000 4194304 6210612 140722696045776 140722696042312 139807937686501 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 15228 9360 870 493 0 8533 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 60912 KiB
Current children cumulated memory: 37440 KiB

[startup+0.700369 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 8164
/proc/meminfo: memFree=28342560/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=86540 memory=62784 CPUtime=0.69 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 15881 0 0 0 67 2 0 0 20 0 1 0 411174625 88616960 15696 33554432000 4194304 6210612 140722696045776 140722696043368 5157176 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 21635 15696 872 493 0 14940 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 86540 KiB
Current children cumulated memory: 62784 KiB

[startup+1.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 8164
/proc/meminfo: memFree=28337496/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=88036 memory=64104 CPUtime=1.49 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 16251 0 0 0 147 2 0 0 20 0 1 0 411174625 90148864 16026 33554432000 4194304 6210612 140722696045776 140722696043736 5249729 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22009 16026 872 493 0 15314 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 88036 KiB
Current children cumulated memory: 64104 KiB

[startup+3.10924 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 8164
/proc/meminfo: memFree=28336940/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=88440 memory=64760 CPUtime=3.1 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 24701 0 0 0 308 2 0 0 20 0 1 0 411174625 90562560 16190 33554432000 4194304 6210612 140722696045776 140722696043736 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22110 16190 872 493 0 15415 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 88440 KiB
Current children cumulated memory: 64760 KiB

[startup+6.30028 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 8164
/proc/meminfo: memFree=28336204/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=88984 memory=65360 CPUtime=6.29 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 34005 0 0 0 627 2 0 0 20 0 1 0 411174625 91119616 16340 33554432000 4194304 6210612 140722696045776 140722696043736 5155838 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22246 16340 872 493 0 15551 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 88984 KiB
Current children cumulated memory: 65360 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8164
/proc/meminfo: memFree=28336112/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=88984 memory=65360 CPUtime=12.69 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 42119 0 0 0 1267 2 0 0 20 0 1 0 411174625 91119616 16340 33554432000 4194304 6210612 140722696045776 140722696043736 5409293 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22246 16340 872 493 0 15551 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 88984 KiB
Current children cumulated memory: 65360 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8166
/proc/meminfo: memFree=28335520/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89120 memory=65448 CPUtime=25.49 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 58020 0 0 0 2546 3 0 0 20 0 1 0 411174625 91258880 16362 33554432000 4194304 6210612 140722696045776 140722696043736 5380096 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22280 16362 872 493 0 15585 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 89120 KiB
Current children cumulated memory: 65448 KiB

[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8167
/proc/meminfo: memFree=28334860/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89120 memory=65480 CPUtime=51.09 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 66894 0 0 0 5105 4 0 0 20 0 1 0 411174625 91258880 16370 33554432000 4194304 6210612 140722696045776 140722696043736 5409284 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22280 16370 872 493 0 15585 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 89120 KiB
Current children cumulated memory: 65480 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 8172
/proc/meminfo: memFree=28334500/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89260 memory=65756 CPUtime=102.26 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 68705 0 0 0 10222 4 0 0 20 0 1 0 411174625 91402240 16439 33554432000 4194304 6210612 140722696045776 140722696043368 5409301 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22315 16439 872 493 0 15620 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 89260 KiB
Current children cumulated memory: 65756 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 8178
/proc/meminfo: memFree=28334076/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89392 memory=66020 CPUtime=162.27 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 68857 0 0 0 16223 4 0 0 20 0 1 0 411174625 91537408 16505 33554432000 4194304 6210612 140722696045776 140722696043736 5409293 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22348 16505 872 493 0 15653 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 89392 KiB
Current children cumulated memory: 66020 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 8182
/proc/meminfo: memFree=28334168/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89524 memory=66048 CPUtime=222.27 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 69024 0 0 0 22223 4 0 0 20 0 1 0 411174625 91672576 16512 33554432000 4194304 6210612 140722696045776 140722696043736 5249738 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22381 16512 872 493 0 15686 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 89524 KiB
Current children cumulated memory: 66048 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 8186
/proc/meminfo: memFree=28334380/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66168 CPUtime=282.27 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 69196 0 0 0 28223 4 0 0 20 0 1 0 411174625 91807744 16542 33554432000 4194304 6210612 140722696045776 140722696043368 5249691 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16542 872 493 0 15719 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66168 KiB

[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 8192
/proc/meminfo: memFree=28334212/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66204 CPUtime=342.27 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 69375 0 0 0 34223 4 0 0 20 0 1 0 411174625 91807744 16551 33554432000 4194304 6210612 140722696045776 140722696043736 5155366 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16551 872 493 0 15719 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66204 KiB

[startup+402.3 s]
/proc/loadavg: 2.44 2.16 2.09 3/199 8196
/proc/meminfo: memFree=28334232/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66224 CPUtime=402.27 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 69547 0 0 0 40223 4 0 0 20 0 1 0 411174625 91807744 16556 33554432000 4194304 6210612 140722696045776 140722696043736 5380107 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16556 872 493 0 15719 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66224 KiB

[startup+462.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/199 8200
/proc/meminfo: memFree=28333856/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66248 CPUtime=462.27 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 69719 0 0 0 46223 4 0 0 20 0 1 0 411174625 91807744 16562 33554432000 4194304 6210612 140722696045776 140722696043736 5380107 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16562 872 493 0 15719 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66248 KiB


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

/proc/8163/statm: 22414 16570 872 493 0 15719 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66280 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 8383
/proc/meminfo: memFree=28238248/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66280 CPUtime=1782.29 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 72305 0 0 0 178224 5 0 0 20 0 1 0 411174625 91807744 16570 33554432000 4194304 6210612 140722696045776 140722696043736 5249712 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16570 872 493 0 15719 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66280 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/200 8395
/proc/meminfo: memFree=28237656/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66280 CPUtime=1842.29 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 72346 0 0 0 184224 5 0 0 20 0 1 0 411174625 91807744 16570 33554432000 4194304 6210612 140722696045776 140722696043736 5155436 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16570 872 493 0 15719 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66280 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/201 8422
/proc/meminfo: memFree=28237788/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66280 CPUtime=1902.3 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 72493 0 0 0 190225 5 0 0 20 0 1 0 411174625 91807744 16570 33554432000 4194304 6210612 140722696045776 140722696043736 5409264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16570 872 493 0 15719 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66280 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/201 8428
/proc/meminfo: memFree=28236784/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66280 CPUtime=1962.3 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 72541 0 0 0 196225 5 0 0 20 0 1 0 411174625 91807744 16570 33554432000 4194304 6210612 140722696045776 140722696043736 5409301 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16570 872 493 0 15719 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66280 KiB

[startup+2022.3 s]
/proc/loadavg: 2.39 2.09 2.07 3/201 8432
/proc/meminfo: memFree=28236928/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66280 CPUtime=2022.3 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 72585 0 0 0 202225 5 0 0 20 0 1 0 411174625 91807744 16570 33554432000 4194304 6210612 140722696045776 140722696043736 5409305 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16570 872 493 0 15719 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66280 KiB

[startup+2082.3 s]
/proc/loadavg: 2.25 2.12 2.08 3/201 8436
/proc/meminfo: memFree=28237384/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66280 CPUtime=2082.3 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 72747 0 0 0 208225 5 0 0 20 0 1 0 411174625 91807744 16570 33554432000 4194304 6210612 140722696045776 140722696043736 5409279 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16570 872 493 0 15719 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66280 KiB

[startup+2142.3 s]
/proc/loadavg: 2.09 2.10 2.07 3/200 8442
/proc/meminfo: memFree=28236448/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66288 CPUtime=2142.3 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 72821 0 0 0 214225 5 0 0 20 0 1 0 411174625 91807744 16572 33554432000 4194304 6210612 140722696045776 140722696043736 5249681 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16572 872 493 0 15719 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66288 KiB

[startup+2202.3 s]
/proc/loadavg: 2.03 2.08 2.06 3/199 8446
/proc/meminfo: memFree=28236508/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66288 CPUtime=2202.3 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 72899 0 0 0 220225 5 0 0 20 0 1 0 411174625 91807744 16572 33554432000 4194304 6210612 140722696045776 140722696043736 5155171 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16572 872 493 0 15719 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66288 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/199 8450
/proc/meminfo: memFree=28235756/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66288 CPUtime=2262.3 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 72974 0 0 0 226225 5 0 0 20 0 1 0 411174625 91807744 16572 33554432000 4194304 6210612 140722696045776 140722696043736 5409284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16572 872 493 0 15719 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66288 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/199 8456
/proc/meminfo: memFree=28235608/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66288 CPUtime=2322.3 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 73049 0 0 0 232225 5 0 0 20 0 1 0 411174625 91807744 16572 33554432000 4194304 6210612 140722696045776 140722696043736 5409293 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16572 872 493 0 15719 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66288 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 8460
/proc/meminfo: memFree=28235688/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66288 CPUtime=2382.3 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 73128 0 0 0 238225 5 0 0 20 0 1 0 411174625 91807744 16572 33554432000 4194304 6210612 140722696045776 140722696043736 5156469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16572 872 493 0 15719 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66288 KiB

[startup+2442.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/199 8471
/proc/meminfo: memFree=28235720/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66288 CPUtime=2442.3 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 73264 0 0 0 244225 5 0 0 20 0 1 0 411174625 91807744 16572 33554432000 4194304 6210612 140722696045776 140722696043736 5380107 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16572 872 493 0 15719 0
Current children cumulated CPU time: 2442.3 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66288 KiB

[startup+2502.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/199 8477
/proc/meminfo: memFree=28236036/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66288 CPUtime=2502.3 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 73316 0 0 0 250225 5 0 0 20 0 1 0 411174625 91807744 16572 33554432000 4194304 6210612 140722696045776 140722696043736 5409293 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16572 872 493 0 15719 0
Current children cumulated CPU time: 2502.3 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66288 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.01 2.04 2.05 3/199 8478
/proc/meminfo: memFree=28235712/32770624 swapFree=66998520/67108860
[pid=8163] ppid=8160 vsize=89656 memory=66288 CPUtime=2520.01 cores=1,3,5,7
/proc/8163/stat : 8163 (cosoco) R 8160 8163 3464 0 -1 4202496 73360 0 0 0 251996 5 0 0 20 0 1 0 411174625 91807744 16572 33554432000 4194304 6210612 140722696045776 140722696043736 5154977 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 41521152 140722696049675 140722696049777 140722696049777 140722696052686 0
/proc/8163/statm: 22414 16572 872 493 0 15719 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 89656 KiB
Current children cumulated memory: 66288 KiB

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

[startup+2520.01 s]
# the end of solver process 8163 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.97 s, system=0.059 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): 2520.02
CPU user time (s): 2519.97
CPU system time (s): 0.059
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 89656
Max. memory (cumulated for all children) (KiB): 66288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.97
system time used= 0.059
maximum resident set size= 66356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73414
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= 34
involuntary context switches= 719


# summary of solver processes directly reported to runsolver:
#   pid: 8163
#   total CPU time (s): 2520.02
#   total CPU user time (s): 2519.97
#   total CPU system time (s): 0.059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.86236 second user time and 15.9631 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-13 06:30:18
IDJOB=4389420
IDBENCH=134701
IDSOLVER=2829
FILE ID=node127/4389420-1568349058
RUNJOBID= node127-1568329019-3496
PBS_JOBID= 21701156
Free space on /tmp= 58820 MiB

SOLVER NAME= cosoco 2
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-4389420-1568349058/watcher-4389420-1568349058 -o /tmp/evaluation-result-4389420-1568349058/solver-4389420-1568349058 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3496 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389420-1568349058.xml

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

MD5SUM BENCH= 5bcfa8fa7457011a5ed18201858fb80b
RANDOM SEED=36097584

node127.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.55
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.55
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.55
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.55
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:        28397912 kB
MemAvailable:   31858524 kB
Buffers:          145104 kB
Cached:          3568804 kB
SwapCached:         6780 kB
Active:          2003732 kB
Inactive:        1727208 kB
Active(anon):       9444 kB
Inactive(anon):    48636 kB
Active(file):    1994288 kB
Inactive(file):  1678572 kB
Unevictable:      109044 kB
Mlocked:          109044 kB
SwapTotal:      67108860 kB
SwapFree:       66998520 kB
Dirty:              2976 kB
Writeback:             0 kB
AnonPages:        128452 kB
Mapped:            45468 kB
Shmem:             32692 kB
Slab:             237256 kB
SReclaimable:     207172 kB
SUnreclaim:        30084 kB
KernelStack:        3760 kB
PageTables:         5612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     532700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 58816 MiB
End job on node127 at 2019-09-13 07:12:18