Trace number 4241456

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
R1: cosoco 1.1? (TO) 2400.04 2399.8999

General information on the benchmark

NameSchurrLemma/SchurrLemma-nor-s1/
SchurrLemma-nor-067-4.xml
MD5SUM22c6c6446a04b334dd8f238e60106d6c
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 variables67
Number of constraints1089
Number of domains1
Minimum domain size4
Maximum domain size4
Distribution of domain sizes[{"size":4,"count":67}]
Minimum variable degree33
Maximum variable degree65
Distribution of variable degrees[{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":2},{"degree":36,"count":2},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":41,"count":2},{"degree":42,"count":2},{"degree":43,"count":2},{"degree":44,"count":2},{"degree":45,"count":2},{"degree":46,"count":2},{"degree":47,"count":2},{"degree":48,"count":2},{"degree":49,"count":4},{"degree":50,"count":2},{"degree":51,"count":2},{"degree":52,"count":2},{"degree":53,"count":2},{"degree":54,"count":2},{"degree":55,"count":2},{"degree":56,"count":2},{"degree":57,"count":2},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":2},{"degree":61,"count":2},{"degree":62,"count":2},{"degree":63,"count":2},{"degree":64,"count":2},{"degree":65,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":1089}]
Number of extensional constraints0
Number of intensional constraints1089
Distribution of constraint types[{"type":"intension","count":1089}]
Optimization problemNO
Type of objective

Solver Data 

1.11/1.29	c root propagations     : 0           
1.11/1.29	c restarts enabled, print stats at every restarts
1.11/1.29	c
1.11/1.29	c
1.11/1.29	c
1.11/1.29	c This is cosoco 1.0 --  
1.11/1.29	c
1.11/1.29	c ========================================[ Problem Statistics ]===========================================
1.11/1.29	c |                                                                                                       
1.11/1.29	c |  Parse time        :         1.20 s 
1.11/1.29	c |
1.11/1.29	c |               Variables: 67
1.11/1.29	c |            Domain Sizes: 4..4
1.11/1.29	c |
1.11/1.29	c |             Constraints: 1089
1.11/1.29	c |                   Arity: 3..3  -- Ternary: 1089
1.11/1.29	c | 
1.11/1.29	c |                   Types: 
1.11/1.29	c |                          Intension: 1089
1.11/1.29	c |                          
1.11/1.29	c =========================================================================================================
1.11/1.29	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.20/1.35	c 101            331            105019         6879           0              0              21   36   26   
1.30/1.43	c 211            745            223431         14121          0              0              15   26   20   
1.40/1.50	c 332            1251           347347         21069          0              0              13   26   20   
1.40/1.59	c 465            1759           485947         29479          0              0              14   35   20   
1.50/1.69	c 611            2290           656223         39751          0              0              15   29   22   
1.60/1.79	c 771            2825           832863         50373          0              0              17   27   22   
1.80/1.91	c 947            3525           1040618        62867          0              0              20   32   24   
1.90/2.04	c 1140           4232           1249546        77017          0              0              15   32   22   
2.00/2.18	c 1352           5004           1495378        92226          0              0              18   29   22   
2.21/2.34	c 1585           5929           1757073        109181         0              0              17   32   23   
2.30/2.45	c 1841           6602           1966839        122755         0              0              26   39   30   
2.50/2.63	c 2122           7615           2262413        141126         0              0              15   32   22   
2.70/2.86	c 2431           8844           2637250        163294         0              0              16   28   21   
3.00/3.10	c 2770           10130          3041281        187944         0              0              15   28   21   
3.10/3.29	c 3142           11446          3384916        211038         0              0              15   34   25   
3.40/3.55	c 3551           12976          3825907        238998         0              0              15   38   23   
3.70/3.82	c 4000           14337          4268879        266064         0              0              18   39   24   
3.80/3.96	c 4493           15696          4528280        286437         0              0              21   41   31   
4.10/4.26	c 5035           17543          5041653        321869         0              0              16   33   22   
4.50/4.63	c 5631           19747          5671573        364062         0              0              16   33   23   
4.70/4.85	c 6286           21725          6093708        393599         0              0              20   39   29   
5.20/5.30	c 7006           24331          6873753        440839         0              0              17   32   24   
5.70/5.84	c 7798           27290          7796478        498883         0              0              16   31   23   
6.30/6.43	c 8669           30065          8792607        562176         0              0              19   31   23   
6.61/6.79	c 9627           33065          9456476        609786         0              0              19   39   29   
7.30/7.43	c 10680          37083          10535546       681464         0              0              13   36   22   
8.00/8.11	c 11838          40676          11721187       758146         0              0              20   34   30   
8.60/8.79	c 13111          44998          12863934       837542         0              0              15   31   23   
9.70/9.80	c 14511          51213          14592803       936073         0              0              13   35   23   
10.50/10.69	c 16051          55654          16137076       1035607        0              0              19   36   30   
11.50/11.67	c 17745          61666          17828177       1142432        0              0              14   40   24   
12.60/12.79	c 19608          68473          19755808       1259923        0              0              14   38   22   
14.00/14.18	c 21657          75822          22084567       1404454        0              0              14   31   22   
15.50/15.69	c 23910          84551          24646007       1559457        0              0              15   35   22   
17.00/17.15	c 26388          93461          27110791       1717788        0              0              13   33   22   
18.50/18.67	c 29113          103367         29768638       1889293        0              0              13   42   25   
20.30/20.47	c 32110          113024         32843129       2080355        0              0              15   34   24   
22.20/22.36	c 35406          125166         36100321       2296547        0              0              13   37   23   
24.50/24.67	c 39031          137597         40012941       2534570        0              0              14   33   23   
27.10/27.27	c 43018          151426         44463564       2809391        0              0              15   34   22   
30.10/30.27	c 47403          168216         49594833       3116737        0              0              13   30   22   
31.91/32.01	c 52226          183230         52798769       3345659        0              0              14   43   30   
34.60/34.77	c 57531          201258         57727107       3660341        0              0              14   40   25   
37.90/38.08	c 63366          219458         63464555       4028606        0              0              16   34   26   
41.90/42.07	c 69784          242722         70229113       4442560        0              0              12   37   22   
45.80/45.98	c 76843          264361         76927553       4863671        0              0              13   36   24   
50.61/50.79	c 84607          290728         85065241       5361507        0              0              14   37   22   
55.40/55.59	c 93147          319636         93237373       5873979        0              0              12   37   23   
60.30/60.46	c 102541         352640         101726353      6443686        0              0              14   45   25   
65.41/65.51	c 112874         382772         110660022      7024605        0              0              14   43   26   
70.51/70.60	c 124240         419329         119587853      7674162        0              0              13   43   26   
78.71/78.81	c 136742         466023         133590575      8542810        0              0              11   37   22   
86.41/86.50	c 150494         513779         146548112      9432735        0              0              12   40   22   
94.31/94.45	c 165621         563326         160363206      10336388       0              0              12   42   25   
104.81/104.99	c 182260         623855         178358979      11445541       0              0              13   39   22   
114.42/114.58	c 200562         686610         194701150      12548147       0              0              11   46   23   
126.21/126.33	c 220694         752251         215306562      13839392       0              0              14   38   25   
138.62/138.75	c 242839         831060         237258387      15154525       0              0              14   40   24   
151.41/151.52	c 267198         916428         259231368      16619725       0              0              12   41   24   
169.22/169.35	c 293992         1021904        289730967      18430177       0              0              12   41   22   
187.32/187.40	c 323465         1118046        320853885      20422701       0              0              13   35   25   
207.42/207.51	c 355885         1237859        355075319      22494078       0              0              11   46   22   
230.82/230.99	c 391547         1369623        395770678      24958418       0              0              14   35   22   
248.42/248.56	c 430775         1487718        426741642      26960192       0              0              14   42   26   
274.53/274.68	c 473925         1644809        471541974      29713931       0              0              11   37   22   
300.83/300.90	c 521390         1810964        515754048      32669610       0              0              11   41   22   
330.83/330.99	c 573601         1976279        568042786      36009033       0              0              14   46   26   
359.83/359.94	c 631033         2179125        618564991      39415841       0              0              11   45   25   
399.94/400.00	c 694208         2405051        687623307      43678175       0              0              12   46   24   
433.84/433.94	c 763700         2649921        747495570      47777522       0              0              11   45   25   
478.25/478.37	c 840141         2927477        823929312      52509704       0              0              11   38   23   
535.45/535.53	c 924226         3246749        921637794      58610883       0              0              13   40   23   
575.55/575.62	c 1016719        3539821        992339704      63342101       0              0              10   52   29   
635.87/635.95	c 1118461        3914246        1093520551     70023768       0              0              10   41   22   
692.77/692.88	c 1230377        4310209        1192103396     76694726       0              0              10   46   25   
771.27/771.35	c 1353484        4774571        1327582111     85043666       0              0              10   45   23   
866.58/866.64	c 1488901        5332312        1489661748     94912328       0              0              11   38   22   
938.79/938.83	c 1637859        5836273        1616569532     103058966      0              0              11   55   28   
1014.60/1014.68	c 1801712        6339619        1751800659     112102929      0              0              11   52   28   
1114.41/1114.49	c 1981950        6976124        1923012186     122854482      0              0              9   46   23    
1206.12/1206.17	c 2180211        7665048        2084610972     133902724      0              0              10   52   27   
1321.63/1321.66	c 2398298        8456083        2283814903     147567537      0              0              10   45   24   
1458.24/1458.24	c 2638193        9291709        2519040250     162668369      0              0              11   45   24   
1612.95/1612.96	c 2902077        10256499       2779314503     179933932      0              0              9   43   22    
1780.98/1780.94	c 3192349        11327117       3063344836     197989792      0              0              9   48   23    
1908.48/1908.47	c 3511648        12343031       3295765277     214196282      0              0              12   50   28   
2132.90/2132.80	c 3862876        13642393       3684031227     238671346      0              0              12   45   25   
2352.62/2352.58	c 4249226        15037210       4066812634     262533814      0              0              9   40   24

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241456-1502108216/watcher-4241456-1502108216 -o /tmp/evaluation-result-4241456-1502108216/solver-4241456-1502108216 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16652 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241456-1502108216.xml 

pid=26086
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 26089
/proc/meminfo: memFree=31668900/32770624 swapFree=0/420508
[pid=26089] ppid=26086 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/26089/stat : 26089 (runsolver) D 26086 26089 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13042587 24240128 106 18446744073709551615 4194304 4338465 140727877802480 140727877800120 140519742042839 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 37273600 140727877804191 140727877804618 140727877804618 140727877808074 0
/proc/26089/statm: 5918 106 53 36 0 2156 0

[startup+0.101423 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 26089
/proc/meminfo: memFree=31668900/32770624 swapFree=0/420508
[pid=26089] ppid=26086 vsize=27140 CPUtime=0.01 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 970 0 0 0 1 0 0 0 20 0 1 0 13042587 27791360 766 18446744073709551615 4194304 5970956 140729740653168 140729740649768 5396133 0 0 1 0 0 0 0 17 6 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 6785 766 683 434 0 149 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27140

[startup+0.200497 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 26089
/proc/meminfo: memFree=31668900/32770624 swapFree=0/420508
[pid=26089] ppid=26086 vsize=27384 CPUtime=0.1 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 1106 0 0 0 10 0 0 0 20 0 1 0 13042587 28041216 951 18446744073709551615 4194304 5970956 140729740653168 140729740647000 140421800740074 0 0 1 0 0 0 0 17 6 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 6846 951 783 434 0 210 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 27384

[startup+0.300499 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 26089
/proc/meminfo: memFree=31668900/32770624 swapFree=0/420508
[pid=26089] ppid=26086 vsize=27508 CPUtime=0.2 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 1165 0 0 0 20 0 0 0 20 0 1 0 13042587 28168192 982 18446744073709551615 4194304 5970956 140729740653168 140729740647000 140421792337512 0 0 1 0 0 0 0 17 0 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 6877 982 783 434 0 241 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 27508

[startup+0.700229 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 26089
/proc/meminfo: memFree=31668900/32770624 swapFree=0/420508
[pid=26089] ppid=26086 vsize=28496 CPUtime=0.6 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 1398 0 0 0 60 0 0 0 20 0 1 0 13042587 29179904 1229 18446744073709551615 4194304 5970956 140729740653168 140729740647000 5219542 0 0 1 0 0 0 0 17 0 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7124 1229 783 434 0 488 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 28496

[startup+1.50017 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 26090
/proc/meminfo: memFree=31666444/32770624 swapFree=0/420504
[pid=26089] ppid=26086 vsize=30212 CPUtime=1.4 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 1865 0 0 0 140 0 0 0 20 0 1 0 13042587 30937088 1657 18446744073709551615 4194304 5970956 140729740653168 140729740647000 5070322 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1657 817 434 0 917 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 30212

[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 26090
/proc/meminfo: memFree=31665204/32770624 swapFree=0/420504
[pid=26089] ppid=26086 vsize=30212 CPUtime=3 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 2695 0 0 0 300 0 0 0 20 0 1 0 13042587 30937088 1712 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4961194 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1712 820 434 0 917 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 30212

[startup+6.30017 s]
/proc/loadavg: 1.92 2.00 2.04 3/183 26090
/proc/meminfo: memFree=31665080/32770624 swapFree=0/420516
[pid=26089] ppid=26086 vsize=30212 CPUtime=6.2 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 3525 0 0 0 620 0 0 0 20 0 1 0 13042587 30937088 1713 18446744073709551615 4194304 5970956 140729740653168 140729740650504 5052062 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1713 820 434 0 917 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 30212

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/183 26090
/proc/meminfo: memFree=31665328/32770624 swapFree=0/420524
[pid=26089] ppid=26086 vsize=30212 CPUtime=12.6 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 4355 0 0 0 1260 0 0 0 20 0 1 0 13042587 30937088 1713 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4968175 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1713 820 434 0 917 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 30212

[startup+25.5003 s]
/proc/loadavg: 1.88 1.98 2.03 3/183 26090
/proc/meminfo: memFree=31665532/32770624 swapFree=0/420532
[pid=26089] ppid=26086 vsize=30212 CPUtime=25.4 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 6015 0 0 0 2540 0 0 0 20 0 1 0 13042587 30937088 1713 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4965055 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1713 820 434 0 917 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 30212

[startup+51.1003 s]
/proc/loadavg: 1.92 1.98 2.03 3/183 26091
/proc/meminfo: memFree=31665496/32770624 swapFree=0/420556
[pid=26089] ppid=26086 vsize=30212 CPUtime=51 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 6847 0 0 0 5100 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 5098928 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 30212

[startup+102.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/183 26093
/proc/meminfo: memFree=31665628/32770624 swapFree=0/420624
[pid=26089] ppid=26086 vsize=30212 CPUtime=102.21 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 7678 0 0 0 10221 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4964477 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 30212

[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/182 26095
/proc/meminfo: memFree=31665616/32770624 swapFree=0/420680
[pid=26089] ppid=26086 vsize=30212 CPUtime=162.21 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 8509 0 0 0 16221 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4964447 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 30212

[startup+222.306 s]
/proc/loadavg: 2.05 2.01 2.05 3/181 26097
/proc/meminfo: memFree=31665764/32770624 swapFree=0/420732
[pid=26089] ppid=26086 vsize=30212 CPUtime=222.23 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 9340 0 0 0 22223 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4964366 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 30212

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 26099
/proc/meminfo: memFree=31665588/32770624 swapFree=0/420772
[pid=26089] ppid=26086 vsize=30212 CPUtime=282.23 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 9340 0 0 0 28223 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4965168 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 30212

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 26101
/proc/meminfo: memFree=31665972/32770624 swapFree=0/420816
[pid=26089] ppid=26086 vsize=30212 CPUtime=342.23 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 10171 0 0 0 34223 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 5327850 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 30212

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26103
/proc/meminfo: memFree=31665724/32770624 swapFree=0/420848
[pid=26089] ppid=26086 vsize=30212 CPUtime=402.24 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 10171 0 0 0 40224 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4968239 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 30212

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 26120
/proc/meminfo: memFree=31661712/32770624 swapFree=0/420920
[pid=26089] ppid=26086 vsize=30212 CPUtime=462.24 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 11002 0 0 0 46224 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4964406 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 30212

[startup+522.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 26122
/proc/meminfo: memFree=31661316/32770624 swapFree=0/420948
[pid=26089] ppid=26086 vsize=30212 CPUtime=522.25 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 11002 0 0 0 52225 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4961194 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 30212

[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 26124
/proc/meminfo: memFree=31664688/32770624 swapFree=0/420980
[pid=26089] ppid=26086 vsize=30212 CPUtime=582.26 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 11833 0 0 0 58226 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 5069728 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 30212


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26354
/proc/meminfo: memFree=31475396/32770624 swapFree=0/421760
[pid=26089] ppid=26086 vsize=30212 CPUtime=1542.35 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 18469 0 0 0 154235 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4964452 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 30212

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26356
/proc/meminfo: memFree=31475348/32770624 swapFree=0/421804
[pid=26089] ppid=26086 vsize=30212 CPUtime=1602.35 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 18469 0 0 0 160235 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4965178 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 30212

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 26372
/proc/meminfo: memFree=31471460/32770624 swapFree=0/421880
[pid=26089] ppid=26086 vsize=30212 CPUtime=1662.36 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 19300 0 0 0 166236 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4964371 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 30212

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 26374
/proc/meminfo: memFree=31471336/32770624 swapFree=0/421908
[pid=26089] ppid=26086 vsize=30212 CPUtime=1722.37 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 19300 0 0 0 172237 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4964701 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 30212

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26376
/proc/meminfo: memFree=31473864/32770624 swapFree=0/421936
[pid=26089] ppid=26086 vsize=30212 CPUtime=1782.37 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 20131 0 0 0 178237 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4964258 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 30212

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26378
/proc/meminfo: memFree=31473740/32770624 swapFree=0/421964
[pid=26089] ppid=26086 vsize=30212 CPUtime=1842.38 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 20131 0 0 0 184238 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 5098928 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 1842.38
Current children cumulated vsize (KiB) 30212

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26380
/proc/meminfo: memFree=31473996/32770624 swapFree=0/421992
[pid=26089] ppid=26086 vsize=30212 CPUtime=1902.38 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 20950 0 0 0 190238 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 5070320 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 1902.38
Current children cumulated vsize (KiB) 30212

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26382
/proc/meminfo: memFree=31473748/32770624 swapFree=0/422028
[pid=26089] ppid=26086 vsize=30212 CPUtime=1962.39 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 20962 0 0 0 196239 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4964406 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 1962.39
Current children cumulated vsize (KiB) 30212

[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 26384
/proc/meminfo: memFree=31473892/32770624 swapFree=0/422048
[pid=26089] ppid=26086 vsize=30212 CPUtime=2022.39 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 21781 0 0 0 202239 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4967787 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 2022.39
Current children cumulated vsize (KiB) 30212

[startup+2082.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/181 26386
/proc/meminfo: memFree=31474388/32770624 swapFree=0/422080
[pid=26089] ppid=26086 vsize=30212 CPUtime=2082.4 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 21781 0 0 0 208240 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4961411 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 2082.4
Current children cumulated vsize (KiB) 30212

[startup+2142.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 26388
/proc/meminfo: memFree=31474264/32770624 swapFree=0/422108
[pid=26089] ppid=26086 vsize=30212 CPUtime=2142.4 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 22612 0 0 0 214240 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4965148 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 2142.4
Current children cumulated vsize (KiB) 30212

[startup+2202.31 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 26390
/proc/meminfo: memFree=31474512/32770624 swapFree=0/422136
[pid=26089] ppid=26086 vsize=30212 CPUtime=2202.42 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 22612 0 0 0 220242 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 5070976 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 2202.42
Current children cumulated vsize (KiB) 30212

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 26406
/proc/meminfo: memFree=31469544/32770624 swapFree=0/422196
[pid=26089] ppid=26086 vsize=30212 CPUtime=2262.42 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 23431 0 0 0 226242 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4961411 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 2262.42
Current children cumulated vsize (KiB) 30212

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 26408
/proc/meminfo: memFree=31469448/32770624 swapFree=0/422228
[pid=26089] ppid=26086 vsize=30212 CPUtime=2322.42 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 23431 0 0 0 232242 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 5098928 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 2322.42
Current children cumulated vsize (KiB) 30212

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 26410
/proc/meminfo: memFree=31472472/32770624 swapFree=0/422252
[pid=26089] ppid=26086 vsize=30212 CPUtime=2382.43 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 24262 0 0 0 238243 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4908985 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 2382.43
Current children cumulated vsize (KiB) 30212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.9 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 26410
/proc/meminfo: memFree=31472472/32770624 swapFree=0/422260
[pid=26089] ppid=26086 vsize=30212 CPUtime=2400.03 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 24262 0 0 0 240003 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4964797 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 30212

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 26089 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2399.9 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 26410
/proc/meminfo: memFree=31472472/32770624 swapFree=0/422260
[pid=26089] ppid=26086 vsize=30212 CPUtime=2400.03 cores=0,2,4,6
/proc/26089/stat : 26089 (cosoco) R 26086 26089 9955 0 -1 4202496 24262 0 0 0 240003 0 0 0 20 0 1 0 13042587 30937088 1714 18446744073709551615 4194304 5970956 140729740653168 140729740650504 4964797 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 25759744 140729740661196 140729740661326 140729740661326 140729740664782 0
/proc/26089/statm: 7553 1714 820 434 0 917 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 30212

Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.04
CPU user time (s): 2400.03
CPU system time (s): 0.008
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 30212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.008
maximum resident set size= 6904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24283
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= 10
involuntary context switches= 632

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.89162 second user time and 9.02555 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-07 14:02:53
IDJOB=4241456
IDBENCH=140599
IDSOLVER=2620
FILE ID=node125/4241456-1502108216
RUNJOBID= node125-1502042574-16652
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/SchurrLemma/SchurrLemma-nor-s1/SchurrLemma-nor-067-4.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241456-1502108216/watcher-4241456-1502108216 -o /tmp/evaluation-result-4241456-1502108216/solver-4241456-1502108216 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16652 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4241456-1502108216.xml

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

MD5SUM BENCH= 22c6c6446a04b334dd8f238e60106d6c
RANDOM SEED=325033912

node125.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.07
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.07
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.07
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.07
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:        31669444 kB
MemAvailable:   32016348 kB
Buffers:          145656 kB
Cached:           490184 kB
SwapCached:            0 kB
Active:           256356 kB
Inactive:         437224 kB
Active(anon):      58320 kB
Inactive(anon):    16716 kB
Active(file):     198036 kB
Inactive(file):   420508 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2160 kB
Writeback:             0 kB
AnonPages:         57988 kB
Mapped:            33580 kB
Shmem:             17060 kB
Slab:             112720 kB
SReclaimable:      88392 kB
SUnreclaim:        24328 kB
KernelStack:        3216 kB
PageTables:         4808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     312188 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:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62024 MiB
End job on node125 at 2017-08-07 14:42:53