Trace number 4242024

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.05 2400.6

General information on the benchmark

NameOrtholatin/Ortholatin-m1-s1/
Ortholatin-018.xml
MD5SUMbf2163a04ce45209eed2b79696dcc2b5
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 variables972
Number of constraints329
Number of domains2
Minimum domain size18
Maximum domain size324
Distribution of domain sizes[{"size":18,"count":648},{"size":324,"count":324}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":936},{"degree":3,"count":36}]
Minimum constraint arity3
Maximum constraint arity324
Distribution of constraint arities[{"arity":3,"count":324},{"arity":18,"count":2},{"arity":324,"count":3}]
Number of extensional constraints324
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":324},{"type":"allDifferent","count":3},{"type":"instantiation","count":2}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.04	c root propagations     : 8024        
0.00/0.04	c restarts enabled, print stats at every restarts
0.00/0.04	c
0.00/0.04	c
0.00/0.04	c
0.00/0.04	c This is cosoco 1.0 --  
0.00/0.04	c
0.00/0.04	c ========================================[ Problem Statistics ]===========================================
0.00/0.04	c |                                                                                                       
0.00/0.04	c |  Parse time        :         0.02 s 
0.00/0.04	c |
0.00/0.04	c |               Variables: 972
0.00/0.04	c |            Domain Sizes: 18..324
0.00/0.04	c |
0.00/0.04	c |             Constraints: 433
0.00/0.04	c |                   Arity: 1..324  -- Unary: 36  -- Ternary: 324
0.00/0.04	c | 
0.00/0.04	c |                   Types: 
0.00/0.04	c |                          All Different: 73
0.00/0.04	c |                          Extension: 324  (nb tuples: 324..324) -- (shared: 323)
0.00/0.04	c |                          Unary: 36
0.00/0.04	c |                          
0.00/0.04	c =========================================================================================================
0.00/0.04	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.07	c 101            297            3617           25820          428            0              153   197   175
0.09/0.18	c 211            1047           15234          134535         428            0              148   313   296
0.19/0.20	c 332            1312           18173          146298         428            0              142   145   141
0.19/0.23	c 465            1598           21226          158844         428            0              151   154   150
0.19/0.26	c 611            1903           24352          171956         428            0              157   160   155
0.19/0.29	c 771            2225           27533          185418         428            0              163   163   161
0.29/0.32	c 947            2581           30894          200209         428            0              166   181   165
0.29/0.35	c 1140           2968           34235          215718         428            0              175   193   187
0.29/0.38	c 1352           3378           37760          232060         428            0              190   199   194
0.39/0.43	c 1585           3872           43169          258996         428            0              193   202   199
0.39/0.47	c 1841           4343           47021          277998         428            0              201   208   205
0.49/0.51	c 2122           4854           51678          298733         428            0              214   229   217
0.49/0.59	c 2431           5485           60246          336630         428            0              215   271   258
0.69/0.70	c 2770           6351           72726          411136         428            0              232   256   247
0.69/0.76	c 3142           6999           79028          438691         428            0              1   277   207  
0.89/0.91	c 3551           8022           96353          565198         428            0              229   284   265
0.89/0.97	c 4000           8643           101213         584854         428            0              150   173   165
0.99/1.07	c 4493           9500           111729         633646         428            0              216   313   263
1.10/1.18	c 5035           10367          120729         672080         428            0              230   307   275
1.29/1.31	c 5631           11369          132407         725354         428            0              260   381   339
1.39/1.47	c 6286           12716          150359         840794         428            0              315   325   317
1.59/1.60	c 7006           13944          161990         913316         428            0              143   398   335
1.69/1.76	c 7798           15270          174195         979628         428            0              158   499   430
1.99/2.01	c 8669           17568          198948         1260272        428            0              1   566   512  
2.20/2.24	c 9627           19568          231955         1574812        428            0              236   245   239
2.30/2.39	c 10680          21508          245346         1705344        428            0              195   259   251
2.49/2.58	c 11838          23099          258559         1762347        428            0              145   376   299
2.79/2.86	c 13111          25066          287069         1906110        428            0              175   238   225
3.09/3.12	c 14511          27295          306792         2033650        428            0              129   488   396
3.40/3.49	c 16051          29996          342564         2291968        428            0              216   527   421
3.79/3.84	c 17745          33627          378476         2646271        428            0              136   297   288
4.19/4.25	c 19608          37293          417811         2919815        428            0              169   273   265
4.59/4.65	c 21657          40699          449177         3192028        428            0              213   496   417
5.09/5.16	c 23910          44770          495618         3664244        428            0              188   573   480
5.60/5.68	c 26388          49428          540834         4134886        428            0              116   530   408
6.09/6.12	c 29113          53184          568234         4332569        428            0              104   483   343
6.79/6.81	c 32110          58477          636913         4867375        428            0              120   563   452
7.39/7.43	c 35406          64361          689276         5396662        428            0              110   564   472
7.79/7.89	c 39031          69052          724585         5617288        428            0              74   368   269 
8.59/8.65	c 43018          76338          786093         6268678        428            0              153   506   412
9.49/9.55	c 47403          84196          869043         6856910        428            0              170   557   473
10.49/10.50	c 52226          91644          948389         7506137        428            0              199   389   375
11.29/11.33	c 57531          98768          1014583        7877261        428            0              192   352   228
12.49/12.50	c 63366          109201         1131573        8765059        428            0              159   368   337
13.69/13.73	c 69784          120632         1242369        9744951        428            0              195   538   371
14.89/14.99	c 76843          134377         1347576        10977686       428            0              1   592   401  
16.19/16.25	c 84607          145849         1446378        11661929       428            0              211   474   375
17.88/17.94	c 93147          158961         1592951        12771727       428            0              204   598   529
18.98/19.05	c 102541         171757         1674293        13396829       428            0              166   337   326
20.68/20.70	c 112874         188195         1813185        14697616       428            0              199   635   402
22.88/22.97	c 124240         207023         2029657        16416553       428            0              163   468   375
25.08/25.10	c 136742         226707         2233142        18009378       428            0              160   370   334
29.79/29.84	c 150494         259708         2759638        22433373       428            0              176   411   385
32.48/32.56	c 165621         280772         3012697        23999158       428            0              103   342   302
35.19/35.23	c 182260         303047         3211485        25489352       428            0              138   632   495
38.78/38.84	c 200562         329857         3539862        27581871       428            0              149   557   344
42.48/42.56	c 220694         367977         3848967        31191019       428            0              122   475   422
45.38/45.49	c 242839         394547         4068404        32159515       428            0              74   320   299 
50.18/50.29	c 267198         443144         4563398        38332171       428            0              104   430   380
54.98/55.03	c 293992         488163         4917368        42012607       428            0              145   590   482
59.27/59.37	c 323465         533791         5319557        45373390       428            0              101   503   459
63.37/63.45	c 355885         581388         5750793        48979188       428            0              150   409   388
68.47/68.54	c 391547         634316         6224320        53045689       428            0              181   490   452
74.17/74.29	c 430775         687322         6776592        55889674       428            0              172   375   359
80.47/80.54	c 473925         755988         7352823        61101124       428            0              124   695   472
88.37/88.44	c 521390         841154         8170859        68842806       428            0              128   659   498
95.96/96.05	c 573601         910092         8811780        72290739       428            0              114   386   360
105.06/105.12	c 631033         1013548        9559486        80913684       428            0              131   474   432
115.16/115.22	c 694208         1102732        10524303       88447211       428            0              120   406   367
129.06/129.11	c 763700         1237490        11944750       102909181      428            0              126   613   494
143.15/143.20	c 840141         1360848        13231291       114428740      428            0              101   705   599
153.96/154.01	c 924226         1481094        14146223       121344678      428            0              108   397   368
171.05/171.10	c 1016719        1653033        15723523       137376174      428            0              111   521   372
185.14/185.22	c 1118461        1798821        16943199       146168047      428            0              128   711   490
201.25/201.37	c 1230377        1981950        18564848       165432136      428            0              132   439   389
226.43/226.53	c 1353484        2216596        21052427       189504611      428            0              109   589   489
259.33/259.50	c 1488901        2549563        24077480       227930786      428            0              55   595   531 
286.92/287.05	c 1637859        2845901        26646227       263933666      428            0              88   578   483 
308.61/308.71	c 1801712        3076788        28476846       275959027      428            0              86   442   412 
342.81/342.90	c 1981950        3388309        31428240       303690877      428            0              84   713   556 
381.90/382.10	c 2180211        3809328        35746447       356228527      428            0              58   539   473 
416.09/416.22	c 2398298        4130290        38373938       379248498      428            0              48   742   590 
465.08/465.21	c 2638193        4581078        43313967       422879117      428            0              56   623   565 
529.66/529.83	c 2902077        5199438        49757019       496051375      428            0              149   708   601
590.95/591.18	c 3192349        5770642        55886875       558968790      428            0              55   729   624 
668.03/668.20	c 3511648        6453248        64734714       646288474      428            0              101   754   669
729.82/730.06	c 3862876        7055757        70135419       695407879      428            0              52   639   529 
825.20/825.47	c 4249226        8170628        80572386       845239683      428            0              93   583   551 
911.38/911.67	c 4674211        9020752        89059971       941678897      428            0              39   665   575 
974.86/975.11	c 5141694        9630296        94285345       969725358      428            0              45   344   331 
1038.95/1039.25	c 5655925        10365978       99550478       1010489338     428            0              96   626   388 
1165.72/1166.03	c 6221579        11751010       112016074      1172869993     428            0              117   548   494
1241.90/1242.26	c 6843798        12605477       118036893      1215848789     428            0              81   419   404 
1337.08/1337.42	c 7528238        13612183       125992318      1273892352     428            0              105   486   435
1482.14/1482.59	c 8281122        14937296       139045838      1407427066     428            0              144   747   591
1649.51/1649.90	c 9109294        16509488       155685476      1565159446     428            0              126   697   580
1831.07/1831.52	c 10020283       18259119       172482234      1733188658     428            0              118   637   563
1978.63/1979.18	c 11022370       19753329       184221302      1810547085     428            0              99   437   422 
2269.66/2270.23	c 12124665       22219903       212938277      2125571258     428            0              113   761   628

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-4242024-1500657044/watcher-4242024-1500657044 -o /tmp/evaluation-result-4242024-1500657044/solver-4242024-1500657044 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500648174-2495 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242024-1500657044.xml 

pid=3822
running on 8 cores: 0,2,4,6,8,10,12,14

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/243 3825
/proc/meminfo: memFree=32028316/32770624 swapFree=5804/210544
[pid=3825] ppid=3822 vsize=28440 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 1330 0 0 0 0 0 0 0 20 0 1 0 971873 29122560 1162 33554432000 4194304 5970956 140723598841824 140723598841016 139699079052261 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 7110 1162 715 434 0 474 0

[startup+0.100126 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 3825
/proc/meminfo: memFree=32028316/32770624 swapFree=5804/210544
[pid=3825] ppid=3822 vsize=32936 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 2498 0 0 0 9 0 0 0 20 0 1 0 971873 33726464 2284 33554432000 4194304 5970956 140723598841824 140723598839160 139699079052261 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 8234 2284 774 434 0 1598 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32936

[startup+0.200327 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 3825
/proc/meminfo: memFree=32028316/32770624 swapFree=5804/210544
[pid=3825] ppid=3822 vsize=33864 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 2755 0 0 0 19 0 0 0 20 0 1 0 971873 34676736 2548 33554432000 4194304 5970956 140723598841824 140723598839160 4976780 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 8466 2548 777 434 0 1830 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33864

[startup+0.300281 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 3825
/proc/meminfo: memFree=32028316/32770624 swapFree=5804/210544
[pid=3825] ppid=3822 vsize=33864 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 2755 0 0 0 29 0 0 0 20 0 1 0 971873 34676736 2548 33554432000 4194304 5970956 140723598841824 140723598839160 4934432 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 8466 2548 777 434 0 1830 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33864

[startup+0.70024 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 3825
/proc/meminfo: memFree=32028316/32770624 swapFree=5804/210544
[pid=3825] ppid=3822 vsize=34128 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 2806 0 0 0 69 0 0 0 20 0 1 0 971873 34947072 2614 33554432000 4194304 5970956 140723598841824 140723598839160 4974138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 8532 2614 777 434 0 1896 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34128

[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 3826
/proc/meminfo: memFree=32020260/32770624 swapFree=5804/210680
[pid=3825] ppid=3822 vsize=34524 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 2894 0 0 0 149 0 0 0 20 0 1 0 971873 35352576 2680 33554432000 4194304 5970956 140723598841824 140723598839160 139699079052261 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 8631 2680 777 434 0 1995 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34524

[startup+3.10029 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 3826
/proc/meminfo: memFree=32018764/32770624 swapFree=5804/210680
[pid=3825] ppid=3822 vsize=35448 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 5214 0 0 0 309 0 0 0 20 0 1 0 971873 36298752 2964 33554432000 4194304 5970956 140723598841824 140723598839160 4970597 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 8862 2964 777 434 0 2226 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35448

[startup+6.30028 s]
/proc/loadavg: 1.92 2.00 2.04 3/244 3826
/proc/meminfo: memFree=32017220/32770624 swapFree=5804/210572
[pid=3825] ppid=3822 vsize=35580 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 7355 0 0 0 629 0 0 0 20 0 1 0 971873 36433920 2995 33554432000 4194304 5970956 140723598841824 140723598839160 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 8895 2995 777 434 0 2259 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35580

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/244 3826
/proc/meminfo: memFree=32016832/32770624 swapFree=5804/210572
[pid=3825] ppid=3822 vsize=35712 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 9505 0 0 0 1269 0 0 0 20 0 1 0 971873 36569088 3028 33554432000 4194304 5970956 140723598841824 140723598839160 4978376 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 8928 3028 777 434 0 2292 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35712

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.05 3/244 3826
/proc/meminfo: memFree=32016436/32770624 swapFree=5804/210584
[pid=3825] ppid=3822 vsize=36240 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 14067 0 0 0 2548 0 0 0 20 0 1 0 971873 37109760 3185 33554432000 4194304 5970956 140723598841824 140723598839160 4934366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9060 3185 777 434 0 2424 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36240

[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.05 3/244 3826
/proc/meminfo: memFree=32015584/32770624 swapFree=5804/210608
[pid=3825] ppid=3822 vsize=36376 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 16402 0 0 0 5108 0 0 0 20 0 1 0 971873 37249024 3196 33554432000 4194304 5970956 140723598841824 140723598839160 4969902 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9094 3196 777 434 0 2458 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36376

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 3827
/proc/meminfo: memFree=32014260/32770624 swapFree=5804/210700
[pid=3825] ppid=3822 vsize=36520 CPUtime=102.27 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 16744 0 0 0 10227 0 0 0 20 0 1 0 971873 37396480 3196 33554432000 4194304 5970956 140723598841824 140723598839160 4977769 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9130 3196 777 434 0 2494 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 36520

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 3828
/proc/meminfo: memFree=32014736/32770624 swapFree=5804/210760
[pid=3825] ppid=3822 vsize=36520 CPUtime=162.25 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 17080 0 0 0 16225 0 0 0 20 0 1 0 971873 37396480 3225 33554432000 4194304 5970956 140723598841824 140723598839160 5322345 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9130 3225 777 434 0 2494 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 36520

[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 3829
/proc/meminfo: memFree=32015092/32770624 swapFree=5804/210816
[pid=3825] ppid=3822 vsize=36520 CPUtime=222.24 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 17430 0 0 0 22224 0 0 0 20 0 1 0 971873 37396480 3242 33554432000 4194304 5970956 140723598841824 140723598839160 4974124 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9130 3242 777 434 0 2494 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 36520

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 3830
/proc/meminfo: memFree=32016008/32770624 swapFree=5804/210856
[pid=3825] ppid=3822 vsize=36520 CPUtime=282.22 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 17786 0 0 0 28222 0 0 0 20 0 1 0 971873 37396480 3246 33554432000 4194304 5970956 140723598841824 140723598839160 4976698 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9130 3246 777 434 0 2494 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 36520

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 3831
/proc/meminfo: memFree=32016188/32770624 swapFree=5804/210900
[pid=3825] ppid=3822 vsize=36652 CPUtime=342.21 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 18161 0 0 0 34221 0 0 0 20 0 1 0 971873 37531648 3257 33554432000 4194304 5970956 140723598841824 140723598838520 5093213 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9163 3257 777 434 0 2527 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 36652

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 3832
/proc/meminfo: memFree=32016860/32770624 swapFree=5804/210932
[pid=3825] ppid=3822 vsize=36652 CPUtime=402.19 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 18553 0 0 0 40219 0 0 0 20 0 1 0 971873 37531648 3278 33554432000 4194304 5970956 140723598841824 140723598839160 4977079 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9163 3278 777 434 0 2527 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 36652

[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 3833
/proc/meminfo: memFree=32017288/32770624 swapFree=5804/210976
[pid=3825] ppid=3822 vsize=36652 CPUtime=462.18 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 18914 0 0 0 46218 0 0 0 20 0 1 0 971873 37531648 3289 33554432000 4194304 5970956 140723598841824 140723598839160 4977368 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9163 3289 777 434 0 2527 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 36652

[startup+522.3 s]
/proc/loadavg: 2.17 2.07 2.06 3/243 3834
/proc/meminfo: memFree=32017076/32770624 swapFree=5804/211008
[pid=3825] ppid=3822 vsize=36784 CPUtime=522.17 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 19283 0 0 0 52217 0 0 0 20 0 1 0 971873 37666816 3302 33554432000 4194304 5970956 140723598841824 140723598838744 4974138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9196 3302 777 434 0 2560 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 36784

[startup+582.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/243 3842
/proc/meminfo: memFree=32015980/32770624 swapFree=5804/211060
[pid=3825] ppid=3822 vsize=36916 CPUtime=582.15 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 19712 0 0 0 58215 0 0 0 20 0 1 0 971873 37801984 3323 33554432000 4194304 5970956 140723598841824 140723598838792 4969795 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9229 3323 777 434 0 2593 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 36916


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4130
/proc/meminfo: memFree=32036884/32770624 swapFree=5804/211824
[pid=3825] ppid=3822 vsize=37048 CPUtime=1481.94 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 25900 0 0 0 148194 0 0 0 20 0 1 0 971873 37937152 3364 33554432000 4194304 5970956 140723598841824 140723598839160 4970920 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9262 3364 777 434 0 2626 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 37048

[startup+1542.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 4131
/proc/meminfo: memFree=32036116/32770624 swapFree=5804/211824
[pid=3825] ppid=3822 vsize=37048 CPUtime=1541.94 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 26410 0 0 0 154194 0 0 0 20 0 1 0 971873 37937152 3369 33554432000 4194304 5970956 140723598841824 140723598839160 4974750 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9262 3369 777 434 0 2626 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 37048

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4132
/proc/meminfo: memFree=32036968/32770624 swapFree=5804/211908
[pid=3825] ppid=3822 vsize=37048 CPUtime=1601.92 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 26758 0 0 0 160192 0 0 0 20 0 1 0 971873 37937152 3369 33554432000 4194304 5970956 140723598841824 140723598839160 4978176 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9262 3369 777 434 0 2626 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 37048

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4133
/proc/meminfo: memFree=32036608/32770624 swapFree=5804/211908
[pid=3825] ppid=3822 vsize=37048 CPUtime=1661.9 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 27241 0 0 0 166190 0 0 0 20 0 1 0 971873 37937152 3370 33554432000 4194304 5970956 140723598841824 140723598839160 4970000 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9262 3370 777 434 0 2626 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 37048

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4134
/proc/meminfo: memFree=32036976/32770624 swapFree=5804/212000
[pid=3825] ppid=3822 vsize=37048 CPUtime=1721.89 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 27619 0 0 0 172189 0 0 0 20 0 1 0 971873 37937152 3370 33554432000 4194304 5970956 140723598841824 140723598839160 4971813 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9262 3370 777 434 0 2626 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 37048

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4143
/proc/meminfo: memFree=32036176/32770624 swapFree=5804/212000
[pid=3825] ppid=3822 vsize=37048 CPUtime=1781.87 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 27916 0 0 0 178187 0 0 0 20 0 1 0 971873 37937152 3371 33554432000 4194304 5970956 140723598841824 140723598839160 4969744 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9262 3371 777 434 0 2626 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 37048

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4144
/proc/meminfo: memFree=32035972/32770624 swapFree=5804/212104
[pid=3825] ppid=3822 vsize=37048 CPUtime=1841.86 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 28394 0 0 0 184186 0 0 0 20 0 1 0 971873 37937152 3371 33554432000 4194304 5970956 140723598841824 140723598839160 4971810 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9262 3371 777 434 0 2626 0
Current children cumulated CPU time (s) 1841.86
Current children cumulated vsize (KiB) 37048

[startup+1902.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/244 4145
/proc/meminfo: memFree=32033384/32770624 swapFree=5804/212104
[pid=3825] ppid=3822 vsize=37048 CPUtime=1901.85 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 28668 0 0 0 190185 0 0 0 20 0 1 0 971873 37937152 3371 33554432000 4194304 5970956 140723598841824 140723598839160 4974138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9262 3371 777 434 0 2626 0
Current children cumulated CPU time (s) 1901.85
Current children cumulated vsize (KiB) 37048

[startup+1962.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/244 4146
/proc/meminfo: memFree=32034372/32770624 swapFree=5804/212184
[pid=3825] ppid=3822 vsize=37048 CPUtime=1961.83 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 28946 0 0 0 196183 0 0 0 20 0 1 0 971873 37937152 3371 33554432000 4194304 5970956 140723598841824 140723598839160 4969805 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9262 3371 777 434 0 2626 0
Current children cumulated CPU time (s) 1961.83
Current children cumulated vsize (KiB) 37048

[startup+2022.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/244 4147
/proc/meminfo: memFree=32035568/32770624 swapFree=5804/212244
[pid=3825] ppid=3822 vsize=37048 CPUtime=2021.82 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 29421 0 0 0 202182 0 0 0 20 0 1 0 971873 37937152 3371 33554432000 4194304 5970956 140723598841824 140723598839160 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9262 3371 777 434 0 2626 0
Current children cumulated CPU time (s) 2021.82
Current children cumulated vsize (KiB) 37048

[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 4148
/proc/meminfo: memFree=32035688/32770624 swapFree=5804/212296
[pid=3825] ppid=3822 vsize=37180 CPUtime=2081.81 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 29816 0 0 0 208181 0 0 0 20 0 1 0 971873 38072320 3386 33554432000 4194304 5970956 140723598841824 140723598838520 4971752 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9295 3386 777 434 0 2659 0
Current children cumulated CPU time (s) 2081.81
Current children cumulated vsize (KiB) 37180

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4149
/proc/meminfo: memFree=32035032/32770624 swapFree=5804/212296
[pid=3825] ppid=3822 vsize=37180 CPUtime=2141.79 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 30123 0 0 0 214179 0 0 0 20 0 1 0 971873 38072320 3395 33554432000 4194304 5970956 140723598841824 140723598838520 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9295 3395 777 434 0 2659 0
Current children cumulated CPU time (s) 2141.79
Current children cumulated vsize (KiB) 37180

[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4150
/proc/meminfo: memFree=32035672/32770624 swapFree=5804/212372
[pid=3825] ppid=3822 vsize=37180 CPUtime=2201.78 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 30427 0 0 0 220178 0 0 0 20 0 1 0 971873 38072320 3395 33554432000 4194304 5970956 140723598841824 140723598838520 4977138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9295 3395 777 434 0 2659 0
Current children cumulated CPU time (s) 2201.78
Current children cumulated vsize (KiB) 37180

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4151
/proc/meminfo: memFree=32034768/32770624 swapFree=5804/212372
[pid=3825] ppid=3822 vsize=37180 CPUtime=2261.76 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 30732 0 0 0 226176 0 0 0 20 0 1 0 971873 38072320 3395 33554432000 4194304 5970956 140723598841824 140723598838520 5311648 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9295 3395 777 434 0 2659 0
Current children cumulated CPU time (s) 2261.76
Current children cumulated vsize (KiB) 37180

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 4152
/proc/meminfo: memFree=32037260/32770624 swapFree=5804/212272
[pid=3825] ppid=3822 vsize=37180 CPUtime=2321.75 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 31265 0 0 0 232175 0 0 0 20 0 1 0 971873 38072320 3395 33554432000 4194304 5970956 140723598841824 140723598839160 4974811 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9295 3395 777 434 0 2659 0
Current children cumulated CPU time (s) 2321.75
Current children cumulated vsize (KiB) 37180

[startup+2382.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4161
/proc/meminfo: memFree=32034480/32770624 swapFree=5804/212272
[pid=3825] ppid=3822 vsize=37180 CPUtime=2381.74 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 31609 0 0 0 238174 0 0 0 20 0 1 0 971873 38072320 3395 33554432000 4194304 5970956 140723598841824 140723598839160 5322311 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9295 3395 777 434 0 2659 0
Current children cumulated CPU time (s) 2381.74
Current children cumulated vsize (KiB) 37180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4162
/proc/meminfo: memFree=32033864/32770624 swapFree=5804/212272
[pid=3825] ppid=3822 vsize=37180 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/3825/stat : 3825 (cosoco) R 3822 3825 2463 0 -1 4202496 31930 0 0 0 240003 0 0 0 20 0 1 0 971873 38072320 3395 33554432000 4194304 5970956 140723598841824 140723598839160 4974736 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 16433152 140723598849217 140723598849347 140723598849347 140723598852046 0
/proc/3825/statm: 9295 3395 777 434 0 2659 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 37180

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 3825 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2400.6
CPU time (s): 2400.05
CPU user time (s): 2400.04
CPU system time (s): 0.008997
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 37180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.008997
maximum resident set size= 13624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31957
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= 16
involuntary context switches= 120699

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.561 second user time and 9.75243 second system time

The end

Launcher Data 

Begin job on node131 at 2017-07-21 19:10:45
IDJOB=4242024
IDBENCH=133183
IDSOLVER=2620
FILE ID=node131/4242024-1500657044
RUNJOBID= node131-1500648174-2495
PBS_JOBID= 20623289
Free space on /tmp= 62016 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-018.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242024-1500657044/watcher-4242024-1500657044 -o /tmp/evaluation-result-4242024-1500657044/solver-4242024-1500657044 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500648174-2495 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4242024-1500657044.xml

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

MD5SUM BENCH= bf2163a04ce45209eed2b79696dcc2b5
RANDOM SEED=528513569

node131.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        32027992 kB
MemAvailable:   32012304 kB
Buffers:           29828 kB
Cached:           266792 kB
SwapCached:            0 kB
Active:           154020 kB
Inactive:         219236 kB
Active(anon):      79476 kB
Inactive(anon):     8692 kB
Active(file):      74544 kB
Inactive(file):   210544 kB
Unevictable:        5804 kB
Mlocked:            5804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2460 kB
Writeback:             0 kB
AnonPages:         81164 kB
Mapped:            30012 kB
Shmem:              8844 kB
Slab:              61876 kB
SReclaimable:      30120 kB
SUnreclaim:        31756 kB
KernelStack:        4304 kB
PageTables:         5468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     351380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62016 MiB
End job on node131 at 2017-07-21 19:50:45