Trace number 4268147

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12? (TO) 2520.0701 2519.8999

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.09	c root propagations     : 8024        
0.00/0.09	c restarts enabled, print stats at every restarts
0.00/0.09	c
0.00/0.09	c
0.00/0.09	c
0.00/0.09	c This is cosoco 1.12 --  
0.00/0.09	c
0.00/0.09	c command line: cosoco -lc -model -restarts HOME/instance-4268147-1502538167.xml 
0.00/0.09	c ========================================[ Problem Statistics ]===========================================
0.00/0.09	c |                                                                                                       
0.00/0.09	c |  Parse time        :         0.01 s 
0.00/0.09	c |
0.00/0.09	c |               Variables: 972
0.00/0.09	c |            Domain Sizes: 18..324
0.00/0.09	c |
0.00/0.09	c |             Constraints: 433
0.00/0.09	c |                   Arity: 1..324  -- Unary: 36  -- Ternary: 324
0.00/0.09	c | 
0.00/0.09	c |                   Types: 
0.00/0.09	c |                          All Different: 73
0.00/0.09	c |                          Extension: 324  (nb tuples: 324..324) -- (shared: 323)
0.00/0.09	c |                          Unary: 36
0.00/0.09	c |                          
0.00/0.09	c =========================================================================================================
0.00/0.09	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.02/0.11	c 101            297            3617           25820          428            0              153   197   175
0.02/0.19	c 211            1047           15234          134535         428            0              148   313   296
0.12/0.22	c 332            1312           18173          146298         428            0              142   145   141
0.12/0.25	c 465            1598           21226          158844         428            0              151   154   150
0.12/0.28	c 611            1903           24352          171956         428            0              157   160   155
0.22/0.30	c 771            2225           27533          185418         428            0              163   163   161
0.22/0.33	c 947            2581           30894          200209         428            0              166   181   165
0.22/0.37	c 1140           2968           34235          215718         428            0              175   193   187
0.32/0.40	c 1352           3378           37760          232060         428            0              190   199   194
0.32/0.45	c 1585           3872           43169          258996         428            0              193   202   199
0.32/0.48	c 1841           4343           47021          277998         428            0              201   208   205
0.42/0.53	c 2122           4854           51678          298733         428            0              214   229   217
0.52/0.61	c 2431           5485           60246          336630         428            0              215   271   258
0.62/0.71	c 2770           6351           72726          411136         428            0              232   256   247
0.62/0.78	c 3142           6999           79028          438691         428            0              1   277   207  
0.82/0.93	c 3551           8022           96353          565198         428            0              229   284   265
0.82/0.98	c 4000           8643           101213         584854         428            0              150   173   165
0.92/1.09	c 4493           9500           111729         633646         428            0              216   313   263
1.03/1.19	c 5035           10367          120729         672080         428            0              230   307   275
1.22/1.32	c 5631           11369          132407         725354         428            0              260   381   339
1.32/1.48	c 6286           12716          150359         840794         428            0              315   325   317
1.52/1.62	c 7006           13944          161990         913316         428            0              143   398   335
1.62/1.77	c 7798           15270          174195         979628         428            0              158   499   430
1.92/2.03	c 8669           17568          198948         1260272        428            0              1   566   512  
2.13/2.25	c 9627           19568          231955         1574812        428            0              236   245   239
2.32/2.41	c 10680          21508          245346         1705344        428            0              195   259   251
2.52/2.60	c 11838          23099          258559         1762347        428            0              145   376   299
2.72/2.87	c 13111          25066          287069         1906110        428            0              175   238   225
3.02/3.14	c 14511          27295          306792         2033650        428            0              129   488   396
3.42/3.51	c 16051          29996          342564         2291968        428            0              216   527   421
3.72/3.86	c 17745          33627          378476         2646271        428            0              136   297   288
4.12/4.27	c 19608          37293          417811         2919815        428            0              169   273   265
4.52/4.67	c 21657          40699          449177         3192028        428            0              213   496   417
5.02/5.19	c 23910          44770          495618         3664244        428            0              188   573   480
5.62/5.71	c 26388          49428          540834         4134886        428            0              116   530   408
6.02/6.15	c 29113          53184          568234         4332569        428            0              104   483   343
6.72/6.84	c 32110          58477          636913         4867375        428            0              120   563   452
7.32/7.46	c 35406          64361          689276         5396662        428            0              110   564   472
7.82/7.92	c 39031          69052          724585         5617288        428            0              74   368   269 
8.52/8.69	c 43018          76338          786093         6268678        428            0              153   506   412
9.42/9.59	c 47403          84196          869043         6856910        428            0              170   557   473
10.42/10.55	c 52226          91644          948389         7506137        428            0              199   389   375
11.22/11.38	c 57531          98768          1014583        7877261        428            0              192   352   228
12.42/12.56	c 63366          109201         1131573        8765059        428            0              159   368   337
13.62/13.79	c 69784          120632         1242369        9744951        428            0              195   538   371
14.92/15.07	c 76843          134377         1347576        10977686       428            0              1   592   401  
16.22/16.33	c 84607          145849         1446378        11661929       428            0              211   474   375
17.92/18.04	c 93147          158961         1592951        12771727       428            0              204   598   529
19.02/19.15	c 102541         171757         1674293        13396829       428            0              166   337   326
20.72/20.81	c 112874         188195         1813185        14697616       428            0              199   635   402
22.92/23.09	c 124240         207023         2029657        16416553       428            0              163   468   375
25.12/25.23	c 136742         226707         2233142        18009378       428            0              160   370   334
29.92/30.00	c 150494         259708         2759638        22433373       428            0              176   411   385
32.62/32.74	c 165621         280772         3012697        23999158       428            0              103   342   302
35.32/35.43	c 182260         303047         3211485        25489352       428            0              138   632   495
38.92/39.06	c 200562         329857         3539862        27581871       428            0              149   557   344
42.42/42.57	c 220694         367977         3848967        31191019       428            0              122   475   422
45.13/45.22	c 242839         394547         4068404        32159515       428            0              74   320   299 
49.53/49.67	c 267198         443144         4563398        38332171       428            0              104   430   380
54.02/54.13	c 293992         488163         4917368        42012607       428            0              145   590   482
58.33/58.48	c 323465         533791         5319557        45373390       428            0              101   503   459
62.43/62.54	c 355885         581388         5750793        48979188       428            0              150   409   388
67.53/67.63	c 391547         634316         6224320        53045689       428            0              181   490   452
73.23/73.37	c 430775         687322         6776592        55889674       428            0              172   375   359
79.53/79.62	c 473925         755988         7352823        61101124       428            0              124   695   472
87.43/87.57	c 521390         841154         8170859        68842806       428            0              128   659   498
95.03/95.15	c 573601         910092         8811780        72290739       428            0              114   386   360
104.13/104.22	c 631033         1013548        9559486        80913684       428            0              131   474   432
114.23/114.36	c 694208         1102732        10524303       88447211       428            0              120   406   367
128.23/128.36	c 763700         1237490        11944750       102909181      428            0              126   613   494
142.53/142.62	c 840141         1360848        13231291       114428740      428            0              101   705   599
153.33/153.43	c 924226         1481094        14146223       121344678      428            0              108   397   368
170.44/170.51	c 1016719        1653033        15723523       137376174      428            0              111   521   372
184.64/184.73	c 1118461        1798821        16943199       146168047      428            0              128   711   490
200.74/200.87	c 1230377        1981950        18564848       165432136      428            0              132   439   389
226.14/226.25	c 1353484        2216596        21052427       189504611      428            0              109   589   489
259.44/259.50	c 1488901        2549563        24077480       227930786      428            0              55   595   531 
287.05/287.18	c 1637859        2845901        26646227       263933666      428            0              88   578   483 
308.75/308.85	c 1801712        3076788        28476846       275959027      428            0              86   442   412 
343.16/343.21	c 1981950        3388309        31428240       303690877      428            0              84   713   556 
382.46/382.56	c 2180211        3809328        35746447       356228527      428            0              58   539   473 
416.76/416.81	c 2398298        4130290        38373938       379248498      428            0              48   742   590 
466.16/466.21	c 2638193        4581078        43313967       422879117      428            0              56   623   565 
531.07/531.14	c 2902077        5199438        49757019       496051375      428            0              149   708   601
592.78/592.87	c 3192349        5770642        55886875       558968790      428            0              55   729   624 
670.68/670.76	c 3511648        6453248        64734714       646288474      428            0              101   754   669
733.29/733.36	c 3862876        7055757        70135419       695407879      428            0              52   639   529 
829.70/829.70	c 4249226        8170628        80572386       845239683      428            0              93   583   551 
916.81/916.88	c 4674211        9020752        89059971       941678897      428            0              39   665   575 
980.01/980.01	c 5141694        9630296        94285345       969725358      428            0              45   344   331 
1044.02/1044.08	c 5655925        10365978       99550478       1010489338     428            0              96   626   388 
1171.83/1171.81	c 6221579        11751010       112016074      1172869993     428            0              117   548   494
1247.74/1247.74	c 6843798        12605477       118036893      1215848789     428            0              81   419   404 
1342.85/1342.80	c 7528238        13612183       125992318      1273892352     428            0              105   486   435
1488.56/1488.57	c 8281122        14937296       139045838      1407427066     428            0              144   747   591
1657.27/1657.21	c 9109294        16509488       155685476      1565159446     428            0              126   697   580
1839.40/1839.37	c 10020283       18259119       172482234      1733188658     428            0              118   637   563
1987.81/1987.74	c 11022370       19753329       184221302      1810547085     428            0              99   437   422 
2280.93/2280.83	c 12124665       22219903       212938277      2125571258     428            0              113   761   628
2520.06/2519.90	
2520.06/2519.90	c *** INTERRUPTED ***
2520.06/2519.90	c restarts              : 99          
2520.06/2519.90	c conflicts             : 13102072     (5199 /sec)
2520.06/2519.90	c decisions             : 24261063     (9627 /sec)
2520.06/2519.90	c propagations          : 2375214101  (942526 /sec)
2520.06/2519.90	c root propagations     : 8024        
2520.06/2519.90	c filter calls          : 237284995      (94159 /sec)
2520.06/2519.90	c useless filter calls  : 157845500      (66 %)
2520.06/2519.90	c Memory used           : 36.32 MB
2520.06/2519.90	c CPU time              : 2520.05 s
2520.06/2519.90	
2520.06/2519.90	s UNKNOWN

Verifier Data


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-4268147-1502538167/watcher-4268147-1502538167 -o /tmp/evaluation-result-4268147-1502538167/solver-4268147-1502538167 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22048 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268147-1502538167.xml 

pid=30453
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 4/180 30456
/proc/meminfo: memFree=31208440/32770624 swapFree=0/524596
[pid=30456] ppid=30453 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/30456/stat : 30456 (runsolver) D 30453 30456 21984 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 56037403 24240128 106 18446744073709551615 4194304 4338465 140731849680720 140731849678360 139908514579159 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 15360000 140731849687233 140731849687625 140731849687625 140731849691082 0
/proc/30456/statm: 5918 106 53 36 0 2156 0

[startup+0.100151 s]
/proc/loadavg: 2.00 2.01 2.05 4/180 30456
/proc/meminfo: memFree=31208440/32770624 swapFree=0/524596
[pid=30456] ppid=30453 vsize=32408 CPUtime=0.02 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 2378 0 0 0 2 0 0 0 20 0 1 0 56037403 33185792 2153 18446744073709551615 4194304 5972588 140735328316848 140735328313496 4971943 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 8102 2153 737 435 0 1465 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 32408

[startup+0.200294 s]
/proc/loadavg: 2.00 2.01 2.05 4/180 30456
/proc/meminfo: memFree=31208440/32770624 swapFree=0/524596
[pid=30456] ppid=30453 vsize=33880 CPUtime=0.12 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 2761 0 0 0 12 0 0 0 20 0 1 0 56037403 34693120 2549 18446744073709551615 4194304 5972588 140735328316848 140735328313496 5328036 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 8470 2549 780 435 0 1833 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 33880

[startup+0.30026 s]
/proc/loadavg: 2.00 2.01 2.05 4/180 30456
/proc/meminfo: memFree=31208440/32770624 swapFree=0/524596
[pid=30456] ppid=30453 vsize=33880 CPUtime=0.22 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 2761 0 0 0 22 0 0 0 20 0 1 0 56037403 34693120 2549 18446744073709551615 4194304 5972588 140735328316848 140735328313496 4975104 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 8470 2549 780 435 0 1833 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 33880

[startup+0.700222 s]
/proc/loadavg: 2.00 2.01 2.05 4/180 30456
/proc/meminfo: memFree=31208440/32770624 swapFree=0/524596
[pid=30456] ppid=30453 vsize=34144 CPUtime=0.62 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 2807 0 0 0 62 0 0 0 20 0 1 0 56037403 34963456 2615 18446744073709551615 4194304 5972588 140735328316848 140735328313496 4931680 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 8536 2615 780 435 0 1899 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 34144

[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30457
/proc/meminfo: memFree=31201132/32770624 swapFree=0/524600
[pid=30456] ppid=30453 vsize=34540 CPUtime=1.42 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 2899 0 0 0 142 0 0 0 20 0 1 0 56037403 35368960 2681 18446744073709551615 4194304 5972588 140735328316848 140735328313512 4935663 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 8635 2681 780 435 0 1998 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 34540

[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30457
/proc/meminfo: memFree=31197660/32770624 swapFree=0/524600
[pid=30456] ppid=30453 vsize=35464 CPUtime=3.02 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 4501 0 0 0 302 0 0 0 20 0 1 0 56037403 36315136 2979 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4979087 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 8866 2979 780 435 0 2229 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 35464

[startup+6.30023 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 30457
/proc/meminfo: memFree=31197412/32770624 swapFree=0/524592
[pid=30456] ppid=30453 vsize=35596 CPUtime=6.22 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 7388 0 0 0 622 0 0 0 20 0 1 0 56037403 36450304 3015 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4975114 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 8899 3015 780 435 0 2262 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 35596

[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 30457
/proc/meminfo: memFree=31197164/32770624 swapFree=0/524592
[pid=30456] ppid=30453 vsize=35596 CPUtime=12.62 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 9540 0 0 0 1262 0 0 0 20 0 1 0 56037403 36450304 3032 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4972783 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 8899 3032 780 435 0 2262 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 35596

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 30457
/proc/meminfo: memFree=31197136/32770624 swapFree=0/524584
[pid=30456] ppid=30453 vsize=36256 CPUtime=25.42 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 14110 0 0 0 2542 0 0 0 20 0 1 0 56037403 37126144 3186 18446744073709551615 4194304 5972588 140735328316848 140735328314152 5338173 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9064 3186 780 435 0 2427 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 36256

[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 30458
/proc/meminfo: memFree=31195192/32770624 swapFree=0/524576
[pid=30456] ppid=30453 vsize=36256 CPUtime=51.02 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 14951 0 0 0 5101 1 0 0 20 0 1 0 56037403 37126144 3195 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4975100 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9064 3195 780 435 0 2427 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 36256

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/184 30473
/proc/meminfo: memFree=31189000/32770624 swapFree=0/524592
[pid=30456] ppid=30453 vsize=36388 CPUtime=102.23 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 15281 0 0 0 10222 1 0 0 20 0 1 0 56037403 37261312 3197 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4975792 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9097 3197 780 435 0 2460 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 36388

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/184 30475
/proc/meminfo: memFree=31188588/32770624 swapFree=0/524604
[pid=30456] ppid=30453 vsize=36520 CPUtime=162.23 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 15610 0 0 0 16222 1 0 0 20 0 1 0 56037403 37396480 3226 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4935613 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9130 3226 780 435 0 2493 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 36520

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 30477
/proc/meminfo: memFree=31192060/32770624 swapFree=0/524608
[pid=30456] ppid=30453 vsize=36520 CPUtime=222.25 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 15953 0 0 0 22224 1 0 0 20 0 1 0 56037403 37396480 3241 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4971589 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9130 3241 780 435 0 2493 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 36520

[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/181 30479
/proc/meminfo: memFree=31192512/32770624 swapFree=0/524620
[pid=30456] ppid=30453 vsize=36520 CPUtime=282.25 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 15960 0 0 0 28224 1 0 0 20 0 1 0 56037403 37396480 3241 18446744073709551615 4194304 5972588 140735328316848 140735328314152 5338173 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9130 3241 780 435 0 2493 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 36520

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 30481
/proc/meminfo: memFree=31192624/32770624 swapFree=0/524628
[pid=30456] ppid=30453 vsize=36656 CPUtime=342.25 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 16332 0 0 0 34224 1 0 0 20 0 1 0 56037403 37535744 3247 18446744073709551615 4194304 5972588 140735328316848 140735328313512 4972190 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9164 3247 780 435 0 2527 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 36656

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 30483
/proc/meminfo: memFree=31192376/32770624 swapFree=0/524632
[pid=30456] ppid=30453 vsize=36656 CPUtime=402.26 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 16351 0 0 0 40225 1 0 0 20 0 1 0 56037403 37535744 3247 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4970752 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9164 3247 780 435 0 2527 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 36656

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30485
/proc/meminfo: memFree=31192500/32770624 swapFree=0/524644
[pid=30456] ppid=30453 vsize=36656 CPUtime=462.26 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 16695 0 0 0 46225 1 0 0 20 0 1 0 56037403 37535744 3292 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4972816 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9164 3292 780 435 0 2527 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 36656

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30487
/proc/meminfo: memFree=31192376/32770624 swapFree=0/524652
[pid=30456] ppid=30453 vsize=36788 CPUtime=522.27 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 16771 0 0 0 52226 1 0 0 20 0 1 0 56037403 37670912 3307 18446744073709551615 4194304 5972588 140735328316848 140735328313624 4972728 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9197 3307 780 435 0 2560 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 36788

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30489
/proc/meminfo: memFree=31192380/32770624 swapFree=0/524632
[pid=30456] ppid=30453 vsize=36788 CPUtime=582.28 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 17104 0 0 0 58227 1 0 0 20 0 1 0 56037403 37670912 3324 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4975428 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9197 3324 780 435 0 2560 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 36788


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


[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 30554
/proc/meminfo: memFree=31191308/32770624 swapFree=0/524820
[pid=30456] ppid=30453 vsize=37052 CPUtime=1662.38 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 21300 0 0 0 166237 1 0 0 20 0 1 0 56037403 37941248 3374 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4975784 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9263 3374 780 435 0 2626 0
Current children cumulated CPU time (s) 1662.38
Current children cumulated vsize (KiB) 37052

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 30556
/proc/meminfo: memFree=31191432/32770624 swapFree=0/524828
[pid=30456] ppid=30453 vsize=37052 CPUtime=1722.38 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 21307 0 0 0 172237 1 0 0 20 0 1 0 56037403 37941248 3374 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4978745 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9263 3374 780 435 0 2626 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 37052

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30559
/proc/meminfo: memFree=31191060/32770624 swapFree=0/524848
[pid=30456] ppid=30453 vsize=37052 CPUtime=1782.39 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 21619 0 0 0 178238 1 0 0 20 0 1 0 56037403 37941248 3380 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4977674 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9263 3380 780 435 0 2626 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (KiB) 37052

[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 30561
/proc/meminfo: memFree=31190900/32770624 swapFree=0/524844
[pid=30456] ppid=30453 vsize=37052 CPUtime=1842.39 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 21785 0 0 0 184238 1 0 0 20 0 1 0 56037403 37941248 3380 18446744073709551615 4194304 5972588 140735328316848 140735328314152 5099648 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9263 3380 780 435 0 2626 0
Current children cumulated CPU time (s) 1842.39
Current children cumulated vsize (KiB) 37052

[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 30578
/proc/meminfo: memFree=31187432/32770624 swapFree=0/524884
[pid=30456] ppid=30453 vsize=37052 CPUtime=1902.4 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 22077 0 0 0 190239 1 0 0 20 0 1 0 56037403 37941248 3380 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4935408 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9263 3380 780 435 0 2626 0
Current children cumulated CPU time (s) 1902.4
Current children cumulated vsize (KiB) 37052

[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 30604
/proc/meminfo: memFree=31186272/32770624 swapFree=0/524868
[pid=30456] ppid=30453 vsize=37052 CPUtime=1962.4 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 22080 0 0 0 196239 1 0 0 20 0 1 0 56037403 37941248 3380 18446744073709551615 4194304 5972588 140735328316848 140735328314152 5328030 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9263 3380 780 435 0 2626 0
Current children cumulated CPU time (s) 1962.4
Current children cumulated vsize (KiB) 37052

[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 30606
/proc/meminfo: memFree=31186440/32770624 swapFree=0/524876
[pid=30456] ppid=30453 vsize=37052 CPUtime=2022.41 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 22553 0 0 0 202240 1 0 0 20 0 1 0 56037403 37941248 3380 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4975379 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9263 3380 780 435 0 2626 0
Current children cumulated CPU time (s) 2022.41
Current children cumulated vsize (KiB) 37052

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 30608
/proc/meminfo: memFree=31189720/32770624 swapFree=0/524880
[pid=30456] ppid=30453 vsize=37184 CPUtime=2082.42 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 22587 0 0 0 208241 1 0 0 20 0 1 0 56037403 38076416 3393 18446744073709551615 4194304 5972588 140735328316848 140735328313512 5319872 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9296 3393 780 435 0 2659 0
Current children cumulated CPU time (s) 2082.42
Current children cumulated vsize (KiB) 37184

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 30610
/proc/meminfo: memFree=31189844/32770624 swapFree=0/524884
[pid=30456] ppid=30453 vsize=37184 CPUtime=2142.42 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 22913 0 0 0 214241 1 0 0 20 0 1 0 56037403 38076416 3405 18446744073709551615 4194304 5972588 140735328316848 140735328313512 4975117 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9296 3405 780 435 0 2659 0
Current children cumulated CPU time (s) 2142.42
Current children cumulated vsize (KiB) 37184

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30612
/proc/meminfo: memFree=31190536/32770624 swapFree=0/524896
[pid=30456] ppid=30453 vsize=37184 CPUtime=2202.43 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 22922 0 0 0 220242 1 0 0 20 0 1 0 56037403 38076416 3405 18446744073709551615 4194304 5972588 140735328316848 140735328313512 4977734 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9296 3405 780 435 0 2659 0
Current children cumulated CPU time (s) 2202.43
Current children cumulated vsize (KiB) 37184

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30614
/proc/meminfo: memFree=31190536/32770624 swapFree=0/524916
[pid=30456] ppid=30453 vsize=37184 CPUtime=2262.43 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 23255 0 0 0 226242 1 0 0 20 0 1 0 56037403 38076416 3405 18446744073709551615 4194304 5972588 140735328316848 140735328313512 4972795 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9296 3405 780 435 0 2659 0
Current children cumulated CPU time (s) 2262.43
Current children cumulated vsize (KiB) 37184

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30616
/proc/meminfo: memFree=31190424/32770624 swapFree=0/524924
[pid=30456] ppid=30453 vsize=37184 CPUtime=2322.44 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 23425 0 0 0 232243 1 0 0 20 0 1 0 56037403 38076416 3405 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4971949 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9296 3405 780 435 0 2659 0
Current children cumulated CPU time (s) 2322.44
Current children cumulated vsize (KiB) 37184

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30618
/proc/meminfo: memFree=31189804/32770624 swapFree=0/524936
[pid=30456] ppid=30453 vsize=37184 CPUtime=2382.44 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 23775 0 0 0 238243 1 0 0 20 0 1 0 56037403 38076416 3405 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4972789 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9296 3405 780 435 0 2659 0
Current children cumulated CPU time (s) 2382.44
Current children cumulated vsize (KiB) 37184

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30620
/proc/meminfo: memFree=31190052/32770624 swapFree=0/524940
[pid=30456] ppid=30453 vsize=37184 CPUtime=2442.45 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 23797 0 0 0 244244 1 0 0 20 0 1 0 56037403 38076416 3405 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4935502 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9296 3405 780 435 0 2659 0
Current children cumulated CPU time (s) 2442.45
Current children cumulated vsize (KiB) 37184

[startup+2502.3 s]
/proc/loadavg: 1.88 1.98 2.03 3/185 30698
/proc/meminfo: memFree=31211172/32770624 swapFree=0/524952
[pid=30456] ppid=30453 vsize=37184 CPUtime=2502.46 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 24157 0 0 0 250245 1 0 0 20 0 1 0 56037403 38076416 3405 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4978767 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9296 3405 780 435 0 2659 0
Current children cumulated CPU time (s) 2502.46
Current children cumulated vsize (KiB) 37184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 1.92 1.98 2.03 3/185 30699
/proc/meminfo: memFree=31211164/32770624 swapFree=0/524960
[pid=30456] ppid=30453 vsize=37184 CPUtime=2520.06 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 24157 0 0 0 252005 1 0 0 20 0 1 0 56037403 38076416 3405 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4970781 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9296 3405 780 435 0 2659 0
Current children cumulated CPU time (s) 2520.06
Current children cumulated vsize (KiB) 37184

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

[startup+2519.9 s]
/proc/loadavg: 1.92 1.98 2.03 3/185 30699
/proc/meminfo: memFree=31211164/32770624 swapFree=0/524960
[pid=30456] ppid=30453 vsize=37184 CPUtime=2520.06 cores=1,3,5,7
/proc/30456/stat : 30456 (cosoco) R 30453 30456 21984 0 -1 4202496 24157 0 0 0 252005 1 0 0 20 0 1 0 56037403 38076416 3405 18446744073709551615 4194304 5972588 140735328316848 140735328314152 4970781 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14213120 140735328322030 140735328322125 140735328322125 140735328325582 0
/proc/30456/statm: 9296 3405 780 435 0 2659 0
Current children cumulated CPU time (s) 2520.06
Current children cumulated vsize (KiB) 37184

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.07
CPU user time (s): 2520.05
CPU system time (s): 0.016001
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 37184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.05
system time used= 0.016001
maximum resident set size= 13708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24205
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= 12
involuntary context switches= 770

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.7352 second user time and 8.28785 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-12 13:28:41
IDJOB=4268147
IDBENCH=133183
IDSOLVER=2658
FILE ID=node125/4268147-1502538167
RUNJOBID= node125-1502500302-22048
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-018.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268147-1502538167/watcher-4268147-1502538167 -o /tmp/evaluation-result-4268147-1502538167/solver-4268147-1502538167 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22048 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268147-1502538167.xml

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

MD5SUM BENCH= bf2163a04ce45209eed2b79696dcc2b5
RANDOM SEED=1978945440

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:        31208440 kB
MemAvailable:   31982600 kB
Buffers:          269868 kB
Cached:           794020 kB
SwapCached:            0 kB
Active:           591076 kB
Inactive:         549764 kB
Active(anon):      77028 kB
Inactive(anon):    24908 kB
Active(file):     514048 kB
Inactive(file):   524856 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2388 kB
Writeback:             4 kB
AnonPages:         76744 kB
Mapped:            45780 kB
Shmem:             25252 kB
Slab:             127620 kB
SReclaimable:     102180 kB
SUnreclaim:        25440 kB
KernelStack:        3200 kB
PageTables:         5280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     339148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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= 62028 MiB
End job on node125 at 2017-08-12 14:10:41