Trace number 4267299

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-mini 1.12? (TO) 2400.01 2399.7

General information on the benchmark

NameLangford/Langford-m2-s1/
LangfordBin-90.xml
MD5SUM2a5b3790b47e1c2f5ad8b085143681cb
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables360
Number of constraints270
Number of domains2
Minimum domain size90
Maximum domain size180
Distribution of domain sizes[{"size":90,"count":180},{"size":180,"count":180}]
Minimum variable degree2
Maximum variable degree180
Distribution of variable degrees[{"degree":2,"count":180},{"degree":180,"count":180}]
Minimum constraint arity2
Maximum constraint arity181
Distribution of constraint arities[{"arity":2,"count":90},{"arity":181,"count":180}]
Number of extensional constraints0
Number of intensional constraints90
Distribution of constraint types[{"type":"intension","count":90},{"type":"element","count":180}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.11	c root propagations     : 0           
0.10/0.11	c restarts enabled, print stats at every restarts
0.10/0.11	c
0.10/0.11	c
0.10/0.11	c
0.10/0.11	c This is cosoco 1.12 --  
0.10/0.11	c
0.10/0.11	c command line: cosoco -lc -model -restarts HOME/instance-4267299-1502605528.xml 
0.10/0.11	c ========================================[ Problem Statistics ]===========================================
0.10/0.11	c |                                                                                                       
0.10/0.11	c |  Parse time        :         0.11 s 
0.10/0.11	c |
0.10/0.11	c |               Variables: 360
0.10/0.11	c |            Domain Sizes: 90..180
0.10/0.11	c |
0.10/0.11	c |             Constraints: 270
0.10/0.11	c |                   Arity: 2..181  -- Binary: 90
0.10/0.11	c | 
0.10/0.11	c |                   Types: 
0.10/0.11	c |                          Element Constant: 180
0.10/0.11	c |                          Intension: 90
0.10/0.11	c |                          
0.10/0.11	c =========================================================================================================
0.10/0.11	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.21/0.22	c 101            329            95162          51844          0              0              116   122   115
0.31/0.32	c 211            548            196707         108828         0              0              98   99   97   
0.31/0.41	c 332            774            307380         172922         0              0              102   106   102
0.51/0.53	c 465            1064           479096         271091         0              0              106   110   105
0.60/0.65	c 611            1457           619471         334838         0              0              123   126   122
0.79/0.81	c 771            1901           868952         504131         0              0              108   120   113
0.89/0.99	c 947            2302           1168858        712325         0              0              109   119   109
1.19/1.21	c 1140           2848           1558441        947664         0              0              107   119   108
1.29/1.33	c 1352           3390           1697650        1019375        1              0              1   135   81   
1.49/1.51	c 1585           3876           1987916        1178746        1              0              109   121   110
1.69/1.73	c 1841           4538           2346711        1408122        1              0              106   126   110
1.89/2.00	c 2122           5417           2803919        1672404        1              0              106   129   115
2.19/2.26	c 2431           6182           3277971        1978431        1              0              110   129   114
2.49/2.59	c 2770           7483           3824861        2263922        1              0              111   139   121
3.00/3.02	c 3142           9298           4637102        2690273        1              0              127   137   128
3.49/3.53	c 3551           11314          5547524        3167482        2              0              1   138   105  
3.89/4.00	c 4000           13318          6344079        3602111        2              0              119   145   125
4.19/4.26	c 4493           14486          6781397        3794508        2              0              117   134   124
4.69/4.74	c 5035           16385          7656799        4266927        2              0              111   131   118
5.19/5.28	c 5631           19123          8637306        4797664        3              0              1   146   110  
5.89/5.97	c 6286           22893          9860734        5376446        3              0              111   142   123
6.49/6.57	c 7006           25763          11023307       5983420        4              0              1   144   110  
7.29/7.34	c 7798           29712          12601343       6758959        4              0              120   147   129
8.29/8.32	c 8669           34625          14571997       7769707        4              0              112   145   130
8.79/8.81	c 9627           36849          15700136       8367093        5              0              1   143   118  
9.39/9.49	c 10680          40289          17101312       9018605        5              0              115   142   127
10.39/10.41	c 11838          44812          18961933       10009150       5              0              117   141   127
11.39/11.44	c 13111          50057          21191652       11122639       5              0              115   143   128
12.79/12.84	c 14511          57676          23878097       12430875       5              0              110   139   127
14.10/14.14	c 16051          64470          26274926       13497163       5              0              116   139   123
15.29/15.34	c 17745          70457          28750898       14672022       5              0              117   136   124
16.39/16.47	c 19608          75444          31411387       15943913       5              0              114   135   122
17.29/17.33	c 21657          78415          33952569       17388657       5              0              124   144   129
19.00/19.08	c 23910          89591          38561274       19368315       5              0              128   167   145
21.19/21.23	c 26388          109221         44818981       21797438       5              0              132   178   161
22.89/22.94	c 29113          124368         49909467       23652453       6              0              1   176   141  
24.69/24.70	c 32110          134503         54871242       25873781       6              0              121   168   134
26.49/26.54	c 35406          146177         60208488       28042041       6              0              125   152   135
28.10/28.12	c 39031          157885         64338190       29491492       6              0              126   160   134
29.59/29.61	c 43018          167485         68830920       31106998       7              0              1   161   136  
31.39/31.40	c 47403          181495         73902483       32867970       7              0              124   153   139
33.10/33.13	c 52226          191531         79307309       34775672       7              0              127   149   136
34.69/34.74	c 57531          200074         84728015       37048643       7              0              131   154   139
35.69/35.79	c 63366          209082         88819202       38331327       7              0              135   163   144
37.39/37.46	c 69784          220188         95121773       40425982       7              0              129   152   135
39.29/39.35	c 76843          233976         102250031      43169693       7              0              132   151   137
41.79/41.87	c 84607          249791         110009335      46424194       7              0              129   143   132
45.49/45.50	c 93147          269406         121877494      51404509       7              0              120   145   128
47.29/47.37	c 102541         282162         129264248      54170934       7              0              134   150   137
50.49/50.58	c 112874         298537         141523716      59503335       7              0              132   142   135
52.49/52.58	c 124240         315344         149928928      61714266       7              0              141   155   143
54.69/54.78	c 136742         332155         159548585      64326331       7              0              134   147   137
57.19/57.23	c 150494         350663         169470325      68141228       7              0              138   161   139
61.10/61.12	c 165621         369845         186820113      75335832       7              0              132   149   137
66.39/66.43	c 182260         412790         207316860      82886544       7              0              134   151   141
70.19/70.23	c 200562         441634         223428379      88346679       7              0              129   151   136
76.39/76.43	c 220694         478950         250139515      98629937       7              0              134   161   141
80.90/80.99	c 242839         507052         271040020      106582600      7              0              130   156   139
89.60/89.62	c 267198         554047         310497388      122048785      7              0              131   158   138
95.11/95.13	c 293992         600310         336780503      129012607      7              0              134   161   145
104.30/104.36	c 323465         662418         373155035      142836837      7              0              126   149   133
108.90/108.98	c 355885         701999         393486098      151554965      7              0              133   155   137
113.70/113.74	c 391547         748106         415225826      157560587      7              0              133   154   138
122.80/122.80	c 430775         811508         456272450      173292473      7              0              129   154   136
131.30/131.33	c 473925         879329         495490537      184715289      7              0              132   151   139
142.90/142.94	c 521390         966456         548920491      201864158      7              0              128   156   138
167.11/167.15	c 573601         1145063        641516877      235346023      7              0              130   154   139
178.51/178.55	c 631033         1231282        698528973      254877409      7              0              132   158   141
190.31/190.39	c 694208         1330509        757038492      273081219      7              0              133   158   142
202.81/202.85	c 763700         1438638        820282827      289812382      7              0              132   160   145
218.71/218.77	c 840141         1566678        896032300      314728138      7              0              130   159   139
236.51/236.51	c 924226         1711109        994374915      345221887      7              0              136   166   150
249.03/249.09	c 1016719        1827931        1063047837     365800632      7              0              133   159   146
268.42/268.43	c 1118461        2000170        1159673529     395978201      7              0              129   160   141
292.92/292.94	c 1230377        2210171        1284439683     436297235      7              0              131   165   141
313.53/313.51	c 1353484        2412306        1392068321     466113267      7              0              127   165   145
336.33/336.35	c 1488901        2629317        1517602330     504846202      7              0              130   165   146
360.43/360.46	c 1637859        2859168        1646896154     547194418      7              0              130   168   146
388.23/388.21	c 1801712        3116356        1805651898     597220652      7              0              136   169   150
422.74/422.77	c 1981950        3483027        2004961039     653668440      7              0              135   171   150
460.34/460.31	c 2180211        3818258        2221829375     713727619      7              0              133   167   143
498.45/498.46	c 2398298        4195934        2446089919     777216113      7              0              131   171   150
562.86/562.84	c 2638193        4850302        2782044716     878791825      7              0              131   172   146
630.77/630.71	c 2902077        5625253        3161138995     988406045      7              0              132   173   152
688.27/688.25	c 3192349        6254302        3502863227     1083228661     7              0              132   172   152
761.38/761.30	c 3511648        7066163        3906852153     1205878980     7              0              133   173   149
850.00/849.93	c 3862876        7879591        4420821240     1359919082     7              0              133   173   148
938.81/938.71	c 4249226        8973502        4920480093     1504012684     7              0              137   174   152
1023.62/1023.50	c 4674211        10019984       5405075662     1653380961     7              0              139   174   150
1096.83/1096.71	c 5141694        11049699       5861252179     1794436740     7              0              140   168   152
1157.04/1156.90	c 5655925        11779961       6259352564     1915422390     7              0              143   164   150
1254.16/1254.08	c 6221579        13008975       6839311418     2125202145     7              0              138   166   150
1318.17/1318.05	c 6843798        13834040       7251311378     2240412475     7              0              145   161   149
1447.38/1447.24	c 7528238        15664028       8018569321     2457924587     7              0              140   166   152
1511.98/1511.84	c 8281122        16611007       8460089957     2582779428     8              0              1   163   152  
1604.10/1603.99	c 9109294        18024434       9073983372     2761199309     8              0              143   160   149
1687.11/1686.98	c 10020283       19531395       9680299497     2936459565     8              0              145   161   156
1783.12/1782.99	c 11022370       20681852       10373798847    3098192732     8              0              145   163   152
1869.93/1869.74	c 12124665       22073924       10953360048    3240683989     8              0              141   159   149
1964.14/1963.95	c 13337189       23633108       11630496920    3404005288     8              0              143   160   152
2061.16/2060.91	c 14670965       25419601       12320728267    3579821351     8              0              143   154   150
2188.47/2188.29	c 16138118       27688055       13170404901    3799547442     8              0              139   153   147
2341.30/2341.02	c 17751986       30028897       14120497719    4115217570     8              0              141   152   145
2400.00/2399.70	
2400.00/2399.70	c *** INTERRUPTED ***
2400.00/2399.70	c restarts              : 103         
2400.00/2399.70	c conflicts             : 18657131     (7774 /sec)
2400.00/2399.70	c decisions             : 31354133     (13064 /sec)
2400.00/2399.70	c propagations          : 4232323507  (1763462 /sec)
2400.00/2399.70	c root propagations     : 0           
2400.00/2399.70	c filter calls          : 14455107196    (6022941 /sec)
2400.00/2399.70	c useless filter calls  : 11340192225    (78 %)
2400.00/2399.70	c Memory used           : 29.91 MB
2400.00/2399.70	c CPU time              : 2400.01 s
2400.00/2399.70	
2400.00/2399.70	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 (14135 MiB free)
  memory of node 1: 16384 MiB (12351 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267299-1502605528/watcher-4267299-1502605528 -o /tmp/evaluation-result-4267299-1502605528/solver-4267299-1502605528 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502602193-30974 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267299-1502605528.xml 

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

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


[startup+0.100149 s]*
/proc/loadavg: 1.93 1.97 1.95 3/187 31446
/proc/meminfo: memFree=27120960/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=29228 memory=5868 CPUtime=0.1 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 1635 0 0 0 10 0 0 0 20 0 1 0 93640601 29929472 1467 33554432000 4194304 5748600 140734524747504 140734524744152 140180065500133 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7307 1467 780 380 0 725 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29228 KiB
Current children cumulated memory: 5868 KiB

[startup+0.20944 s]*
/proc/loadavg: 1.93 1.97 1.95 3/187 31446
/proc/meminfo: memFree=27120216/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30092 memory=6912 CPUtime=0.21 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 1892 0 0 0 21 0 0 0 20 0 1 0 93640601 30814208 1728 33554432000 4194304 5748600 140734524747504 140734524744152 4920173 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7523 1728 816 380 0 941 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30092 KiB
Current children cumulated memory: 6912 KiB

[startup+0.308901 s]*
/proc/loadavg: 1.93 1.97 1.95 3/187 31446
/proc/meminfo: memFree=27120216/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30092 memory=6912 CPUtime=0.31 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 1892 0 0 0 31 0 0 0 20 0 1 0 93640601 30814208 1728 33554432000 4194304 5748600 140734524747504 140734524744152 4920158 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7523 1728 816 380 0 941 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30092 KiB
Current children cumulated memory: 6912 KiB

[startup+0.700271 s]
/proc/loadavg: 1.93 1.97 1.95 3/187 31446
/proc/meminfo: memFree=27120216/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30092 memory=6912 CPUtime=0.69 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 1893 0 0 0 69 0 0 0 20 0 1 0 93640601 30814208 1728 33554432000 4194304 5748600 140734524747504 140734524744152 4973048 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7523 1728 816 380 0 941 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30092 KiB
Current children cumulated memory: 6912 KiB

[startup+1.50027 s]
/proc/loadavg: 1.93 1.97 1.95 3/187 31446
/proc/meminfo: memFree=27119704/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30092 memory=6912 CPUtime=1.49 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 1893 0 0 0 149 0 0 0 20 0 1 0 93640601 30814208 1728 33554432000 4194304 5748600 140734524747504 140734524744904 4920173 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7523 1728 816 380 0 941 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 30092 KiB
Current children cumulated memory: 6912 KiB

[startup+3.10893 s]
/proc/loadavg: 1.93 1.97 1.95 3/187 31446
/proc/meminfo: memFree=27119516/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30224 memory=6968 CPUtime=3.1 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 2758 0 0 0 310 0 0 0 20 0 1 0 93640601 30949376 1742 33554432000 4194304 5748600 140734524747504 140734524744904 4920177 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7556 1742 816 380 0 974 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 30224 KiB
Current children cumulated memory: 6968 KiB

[startup+6.30027 s]
/proc/loadavg: 1.93 1.97 1.95 3/187 31446
/proc/meminfo: memFree=27119640/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30224 memory=6996 CPUtime=6.29 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 3650 0 0 0 629 0 0 0 20 0 1 0 93640601 30949376 1749 33554432000 4194304 5748600 140734524747504 140734524744904 4920086 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7556 1749 816 380 0 974 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 30224 KiB
Current children cumulated memory: 6996 KiB

[startup+12.7003 s]
/proc/loadavg: 1.95 1.97 1.95 3/187 31446
/proc/meminfo: memFree=27120204/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30224 memory=7052 CPUtime=12.69 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 4541 0 0 0 1269 0 0 0 20 0 1 0 93640601 30949376 1763 33554432000 4194304 5748600 140734524747504 140734524744904 4954367 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7556 1763 816 380 0 974 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 30224 KiB
Current children cumulated memory: 7052 KiB

[startup+25.5003 s]
/proc/loadavg: 1.88 1.96 1.95 3/187 31446
/proc/meminfo: memFree=27121196/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30356 memory=7136 CPUtime=25.49 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 6350 0 0 0 2549 0 0 0 20 0 1 0 93640601 31084544 1784 33554432000 4194304 5748600 140734524747504 140734524744904 5122557 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7589 1784 816 380 0 1007 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 30356 KiB
Current children cumulated memory: 7136 KiB

[startup+51.109 s]
/proc/loadavg: 1.92 1.96 1.95 3/187 31446
/proc/meminfo: memFree=27121384/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30356 memory=7212 CPUtime=51.1 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 6781 0 0 0 5110 0 0 0 20 0 1 0 93640601 31084544 1803 33554432000 4194304 5748600 140734524747504 140734524744904 4873499 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7589 1803 816 380 0 1007 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 30356 KiB
Current children cumulated memory: 7212 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 1.96 1.95 3/187 31447
/proc/meminfo: memFree=27121024/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30488 memory=7244 CPUtime=102.3 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 7218 0 0 0 10230 0 0 0 20 0 1 0 93640601 31219712 1811 33554432000 4194304 5748600 140734524747504 140734524744904 4920228 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7622 1811 816 380 0 1040 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 7244 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/187 31448
/proc/meminfo: memFree=27120568/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30488 memory=7272 CPUtime=162.31 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 7657 0 0 0 16231 0 0 0 20 0 1 0 93640601 31219712 1818 33554432000 4194304 5748600 140734524747504 140734524744904 5000320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7622 1818 816 380 0 1040 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 7272 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.98 1.95 3/187 31449
/proc/meminfo: memFree=27120316/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30488 memory=7292 CPUtime=222.31 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 8102 0 0 0 22231 0 0 0 20 0 1 0 93640601 31219712 1823 33554432000 4194304 5748600 140734524747504 140734524744904 4973063 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7622 1823 816 380 0 1040 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 7292 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.98 1.95 3/186 31450
/proc/meminfo: memFree=27120840/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30488 memory=7292 CPUtime=282.32 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 8106 0 0 0 28232 0 0 0 20 0 1 0 93640601 31219712 1823 33554432000 4194304 5748600 140734524747504 140734524744904 4920173 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7622 1823 816 380 0 1040 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 7292 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 31452
/proc/meminfo: memFree=27120584/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30488 memory=7328 CPUtime=342.33 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 8556 0 0 0 34233 0 0 0 20 0 1 0 93640601 31219712 1832 33554432000 4194304 5748600 140734524747504 140734524744904 5000320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7622 1832 816 380 0 1040 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 7328 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 31453
/proc/meminfo: memFree=27119956/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30488 memory=7340 CPUtime=402.34 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 8558 0 0 0 40234 0 0 0 20 0 1 0 93640601 31219712 1835 33554432000 4194304 5748600 140734524747504 140734524744904 4873275 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7622 1835 816 380 0 1040 0
Current children cumulated CPU time: 402.34 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 7340 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 31454
/proc/meminfo: memFree=27120100/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30488 memory=7344 CPUtime=462.34 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 9011 0 0 0 46234 0 0 0 20 0 1 0 93640601 31219712 1836 33554432000 4194304 5748600 140734524747504 140734524744904 5000320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7622 1836 816 380 0 1040 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 7344 KiB


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

/proc/31445/statm: 7622 1845 816 380 0 1040 0
Current children cumulated CPU time: 1662.5 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 7380 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 31493
/proc/meminfo: memFree=27119252/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30488 memory=7380 CPUtime=1722.51 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 13590 0 0 0 172251 0 0 0 20 0 1 0 93640601 31219712 1845 33554432000 4194304 5748600 140734524747504 140734524744904 4920181 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7622 1845 816 380 0 1040 0
Current children cumulated CPU time: 1722.51 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 7380 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 31502
/proc/meminfo: memFree=27118360/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30488 memory=7384 CPUtime=1782.52 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 13892 0 0 0 178252 0 0 0 20 0 1 0 93640601 31219712 1846 33554432000 4194304 5748600 140734524747504 140734524744904 4920181 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7622 1846 816 380 0 1040 0
Current children cumulated CPU time: 1782.52 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 7384 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 31503
/proc/meminfo: memFree=27118868/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30488 memory=7384 CPUtime=1842.53 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 14051 0 0 0 184253 0 0 0 20 0 1 0 93640601 31219712 1846 33554432000 4194304 5748600 140734524747504 140734524744904 4920173 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7622 1846 816 380 0 1040 0
Current children cumulated CPU time: 1842.53 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 7384 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 31504
/proc/meminfo: memFree=27118736/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30488 memory=7384 CPUtime=1902.54 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 14513 0 0 0 190254 0 0 0 20 0 1 0 93640601 31219712 1846 33554432000 4194304 5748600 140734524747504 140734524744904 5000320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7622 1846 816 380 0 1040 0
Current children cumulated CPU time: 1902.54 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 7384 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 31505
/proc/meminfo: memFree=27118748/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30488 memory=7384 CPUtime=1962.54 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 14513 0 0 0 196254 0 0 0 20 0 1 0 93640601 31219712 1846 33554432000 4194304 5748600 140734524747504 140734524744904 4920090 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7622 1846 816 380 0 1040 0
Current children cumulated CPU time: 1962.54 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 7384 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 31506
/proc/meminfo: memFree=27118504/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30488 memory=7384 CPUtime=2022.55 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 14825 0 0 0 202255 0 0 0 20 0 1 0 93640601 31219712 1846 33554432000 4194304 5748600 140734524747504 140734524744904 5000320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7622 1846 816 380 0 1040 0
Current children cumulated CPU time: 2022.55 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 7384 KiB

[startup+2082.3 s]
/proc/loadavg: 2.53 2.13 2.00 3/187 31507
/proc/meminfo: memFree=27118740/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30488 memory=7384 CPUtime=2082.56 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 14975 0 0 0 208256 0 0 0 20 0 1 0 93640601 31219712 1846 33554432000 4194304 5748600 140734524747504 140734524744904 4920090 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7622 1846 816 380 0 1040 0
Current children cumulated CPU time: 2082.56 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 7384 KiB

[startup+2142.3 s]
/proc/loadavg: 2.19 2.10 2.00 3/187 31508
/proc/meminfo: memFree=27118868/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30488 memory=7388 CPUtime=2142.57 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 15252 0 0 0 214257 0 0 0 20 0 1 0 93640601 31219712 1847 33554432000 4194304 5748600 140734524747504 140734524744904 5119552 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7622 1847 816 380 0 1040 0
Current children cumulated CPU time: 2142.57 s
Current children cumulated vsize: 30488 KiB
Current children cumulated memory: 7388 KiB

[startup+2202.3 s]
/proc/loadavg: 2.07 2.09 2.00 3/187 31509
/proc/meminfo: memFree=27118864/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30620 memory=7388 CPUtime=2202.58 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 15439 0 0 0 220258 0 0 0 20 0 1 0 93640601 31354880 1847 33554432000 4194304 5748600 140734524747504 140734524744648 5119552 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7655 1847 816 380 0 1073 0
Current children cumulated CPU time: 2202.58 s
Current children cumulated vsize: 30620 KiB
Current children cumulated memory: 7388 KiB

[startup+2262.3 s]
/proc/loadavg: 2.03 2.07 2.00 3/187 31510
/proc/meminfo: memFree=27118604/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30620 memory=7392 CPUtime=2262.58 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 15756 0 0 0 226258 0 0 0 20 0 1 0 93640601 31354880 1848 33554432000 4194304 5748600 140734524747504 140734524744648 5000352 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7655 1848 816 380 0 1073 0
Current children cumulated CPU time: 2262.58 s
Current children cumulated vsize: 30620 KiB
Current children cumulated memory: 7392 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.06 2.00 3/187 31511
/proc/meminfo: memFree=27118548/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30620 memory=7392 CPUtime=2322.59 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 15756 0 0 0 232259 0 0 0 20 0 1 0 93640601 31354880 1848 33554432000 4194304 5748600 140734524747504 140734524744648 4920177 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7655 1848 816 380 0 1073 0
Current children cumulated CPU time: 2322.59 s
Current children cumulated vsize: 30620 KiB
Current children cumulated memory: 7392 KiB

[startup+2382.3 s]
/proc/loadavg: 2.09 2.08 2.01 3/188 31520
/proc/meminfo: memFree=27118280/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30620 memory=7392 CPUtime=2382.6 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 16220 0 0 0 238260 0 0 0 20 0 1 0 93640601 31354880 1848 33554432000 4194304 5748600 140734524747504 140734524744904 4920173 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7655 1848 816 380 0 1073 0
Current children cumulated CPU time: 2382.6 s
Current children cumulated vsize: 30620 KiB
Current children cumulated memory: 7392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.7 s]
/proc/loadavg: 2.07 2.07 2.01 3/188 31642
/proc/meminfo: memFree=27105636/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30620 memory=7392 CPUtime=2400 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 16220 0 0 0 240000 0 0 0 20 0 1 0 93640601 31354880 1848 33554432000 4194304 5748600 140734524747504 140734524744904 5000323 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7655 1848 816 380 0 1073 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 30620 KiB
Current children cumulated memory: 7392 KiB

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

[startup+2399.7 s]
# the end of solver process 31445 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400.01 s, system=0.006 s

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

[startup+2399.7 s]
/proc/loadavg: 2.07 2.07 2.01 3/188 31642
/proc/meminfo: memFree=27105636/32770624 swapFree=67108860/67108860
[pid=31445] ppid=31442 vsize=30620 memory=7392 CPUtime=2400 cores=1,3,5,7
/proc/31445/stat : 31445 (cosoco) R 31442 31445 30942 0 -1 4202496 16220 0 0 0 240000 0 0 0 20 0 1 0 93640601 31354880 1848 33554432000 4194304 5748600 140734524747504 140734524744904 5000323 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 29319168 140734524748991 140734524749086 140734524749086 140734524751822 0
/proc/31445/statm: 7655 1848 816 380 0 1073 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 30620 KiB
Current children cumulated memory: 7392 KiB

Child status: 1
Real time (s): 2399.7
CPU time (s): 2400.01
CPU user time (s): 2400.01
CPU system time (s): 0.006
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (KiB): 30620
Max. memory (cumulated for all children) (KiB): 7392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.006
maximum resident set size= 7460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16255
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= 7
involuntary context switches= 724


# summary of solver processes directly reported to runsolver:
#   pid: 31445
#   total CPU time (s): 2400.01
#   total CPU user time (s): 2400.01
#   total CPU system time (s): 0.006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.64408 second user time and 14.7186 second system time

The end

Launcher Data 

Begin job on node114 at 2017-08-13 08:11:09
IDJOB=4267299
IDBENCH=124367
IDSOLVER=2657
FILE ID=node114/4267299-1502605528
RUNJOBID= node114-1502602193-30974
PBS_JOBID= 20628297
Free space on /tmp= 61696 MiB

SOLVER NAME= cosoco-mini 1.12
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-90.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267299-1502605528/watcher-4267299-1502605528 -o /tmp/evaluation-result-4267299-1502605528/solver-4267299-1502605528 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502602193-30974 --watchdog 2560  cosoco -lc -model -restarts HOME/instance-4267299-1502605528.xml

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

MD5SUM BENCH= 2a5b3790b47e1c2f5ad8b085143681cb
RANDOM SEED=1044256115

node114.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	: 5332.98
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	: 5332.98
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	: 5332.98
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	: 5332.98
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:        27123204 kB
MemAvailable:   31989368 kB
Buffers:          138868 kB
Cached:          5017508 kB
SwapCached:            0 kB
Active:           379956 kB
Inactive:        4833116 kB
Active(anon):      59192 kB
Inactive(anon):    25036 kB
Active(file):     320764 kB
Inactive(file):  4808080 kB
Unevictable:        6520 kB
Mlocked:            6520 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2064 kB
Writeback:             0 kB
AnonPages:         62956 kB
Mapped:            44880 kB
Shmem:             25224 kB
Slab:             131436 kB
SReclaimable:     106312 kB
SUnreclaim:        25124 kB
KernelStack:        3360 kB
PageTables:         5144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     352624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 61696 MiB
End job on node114 at 2017-08-13 08:51:09