Trace number 4241734

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.09 2400.4

General information on the benchmark

NameCarSequencing/CarSequencing-m1-gagne/
CarSequencing-200-01.xml
MD5SUM10e5a0c89239e5196f6239a5150462fc
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 variables1200
Number of constraints1481
Number of domains2
Minimum domain size2
Maximum domain size25
Distribution of domain sizes[{"size":2,"count":1000},{"size":25,"count":200}]
Minimum variable degree2
Maximum variable degree93
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":69,"count":8}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":2}, {"degree":85,"count":2}, {"degree":86,"count":2}, {"degree":87,"count":2}, {"degree":88,"count":2}, {"degree":89,"count":2}, {"degree":90,"count":2}, {"degree":91,"count":2}, {"degree":92,"count":3}, {"degree":93,"count":21}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":8,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":14,"count":2},{"arity":15,"count":1},{"arity":17,"count":2},{"arity":20,"count":3},{"arity":22,"count":1},{"arity":23,"count":2},{"arity":24,"count":1},{"arity":25,"count":2},{"arity":26,"count":3},{"arity":28,"count":1},{"arity":29,"count":2},{"arity":30,"count":3},{"arity":32,"count":3},{"arity":34,"count":1},{"arity":35,"count":4},{"arity":36,"count":1},{"arity":38,"count":3},{"arity":40,"count":3},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1280},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 
0.00/0.01	c
0.09/0.15	c root propagations     : 0           
0.09/0.15	c restarts enabled, print stats at every restarts
0.09/0.15	c
0.09/0.15	c
0.09/0.15	c
0.09/0.15	c This is cosoco 1.0 --  
0.09/0.15	c
0.09/0.15	c ========================================[ Problem Statistics ]===========================================
0.09/0.15	c |                                                                                                       
0.09/0.15	c |  Parse time        :         0.14 s 
0.09/0.15	c |
0.09/0.15	c |               Variables: 1200
0.09/0.15	c |            Domain Sizes: 2..25
0.09/0.15	c |
0.09/0.15	c |             Constraints: 1505
0.09/0.15	c |                   Arity: 2..200  -- Binary: 199  -- Ternary: 396
0.09/0.15	c | 
0.09/0.15	c |                   Types: 
0.09/0.15	c |                          Exactly K: 25
0.09/0.15	c |                          Extension: 200  (nb tuples: 25..25) -- (shared: 199)
0.09/0.15	c |                          Sum: 1280
0.09/0.15	c |                          
0.09/0.15	c =========================================================================================================
0.09/0.15	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.39/0.49	c 101            752            57691          25853          0              0              518   537   518
2.89/2.95	c 211            1378           439172         124617         0              0              97   199   123 
3.19/3.30	c 332            1918           487109         139259         0              0              46   131   90  
3.59/3.60	c 465            2490           541330         197175         0              0              152   162   155
4.19/4.23	c 611            3260           643207         234081         0              0              50   84   72   
4.69/4.76	c 771            3927           728162         272958         0              0              17   105   64  
5.09/5.18	c 947            4670           795615         303788         0              0              14   119   82  
5.69/5.75	c 1140           5508           883288         334902         0              0              30   83   62   
6.29/6.38	c 1352           6321           980579         369904         0              0              14   62   44   
6.98/7.08	c 1585           7212           1090337        407425         0              0              16   25   20   
8.18/8.20	c 1841           8784           1272777        467343         0              0              15   452   155 
9.89/9.92	c 2122           11012          1528096        512034         0              0              12   467   374 
12.09/12.11	c 2431           13617          1887172        567009         0              0              17   505   463 
13.69/13.78	c 2770           15805          2159995        614119         0              0              13   541   311 
15.29/15.32	c 3142           18831          2421569        676966         0              0              13   564   495 
16.09/16.18	c 3551           20562          2563752        753913         0              0              31   141   110 
17.29/17.36	c 4000           22489          2756002        861020         0              0              13   133   98  
20.99/21.03	c 4493           27559          3337738        953344         0              0              501   581   547
22.99/23.02	c 5035           33147          3713850        1049651        0              0              505   621   558
28.19/28.29	c 5631           40962          4564115        1160351        0              0              495   663   587
30.98/31.08	c 6286           48222          5062503        1254077        0              0              518   637   599
35.88/35.95	c 7006           56027          5882412        1379477        0              0              32   630   580 
40.08/40.15	c 7798           65167          6585862        1495467        0              0              518   615   565
45.19/45.24	c 8669           74182          7398055        1655784        0              0              32   651   588 
51.88/51.93	c 9627           84055          8466183        1849700        0              0              535   673   591
58.68/58.74	c 10680          94472          9503447        2004363        0              0              32   623   538 
69.08/69.13	c 11838          107851         11189819       2221131        0              0              533   699   605
76.28/76.31	c 13111          123955         12389849       2394981        0              0              26   691   602 
82.28/82.30	c 14511          139820         13484483       2661072        0              0              20   700   575 
90.08/90.12	c 16051          154848         14839614       2882878        0              0              19   762   622 
99.67/99.71	c 17745          169622         16355164       3133991        0              0              19   710   553 
111.77/111.88	c 19608          190490         18382717       3488200        0              0              21   728   556 
120.87/120.92	c 21657          207446         19905289       3852913        0              0              15   648   380 
129.67/129.71	c 23910          221432         21341224       4190038        0              0              13   789   248 
145.06/145.20	c 26388          250695         24009484       4627043        0              0              15   705   616 
164.26/164.33	c 29113          283787         27213679       5114406        0              0              15   700   576 
184.96/185.01	c 32110          326404         30711494       5540579        0              0              16   796   670 
206.95/207.04	c 35406          369026         34461888       6108614        0              0              16   790   644 
225.25/225.31	c 39031          406458         37942333       6774339        0              0              15   673   581 
238.95/239.04	c 43018          442760         40394630       7725280        0              0              16   563   415 
265.85/265.90	c 47403          482112         44892270       8541904        0              0              16   593   519 
288.74/288.84	c 52226          531737         48928474       9317237        0              0              48   638   471 
327.04/327.13	c 57531          594495         55125698       10252562       0              0              16   664   589 
359.43/359.54	c 63366          658762         60748729       11123667       0              0              16   679   560 
393.33/393.43	c 69784          731458         66478361       12209682       0              0              17   644   566 
424.83/424.94	c 76843          793156         71647955       13703118       0              0              26   614   359 
466.62/466.70	c 84607          858144         78835163       15129498       0              0              17   635   432 
516.51/516.61	c 93147          951916         87436680       16425242       0              0              13   723   535 
572.31/572.49	c 102541         1057008        97363188       18586530       0              0              17   644   549 
618.30/618.49	c 112874         1133987        105812816      20558648       0              0              19   634   418 
664.00/664.11	c 124240         1183612        114671734      23304534       0              0              16   535   512 
730.49/730.64	c 136742         1262657        126181784      26049397       0              0              18   516   372 
776.08/776.25	c 150494         1328622        133336024      28635529       0              0              18   85   62   
856.47/856.67	c 165621         1400674        145679846      31378222       0              0              159   187   173
1009.15/1009.39	c 182260         1473626        167771067      38994884       0              0              38   77   57   
1099.74/1099.90	c 200562         1557903        181295782      42303305       0              0              36   67   50   
1190.04/1190.23	c 220694         1690376        197707504      44526872       0              0              31   578   488 
1298.71/1298.96	c 242839         1813706        217441242      48830304       0              0              36   340   251 
1369.71/1369.92	c 267198         1933471        230161925      50862337       0              0              31   366   275 
1563.78/1564.07	c 293992         2109232        260242904      61833883       0              0              32   289   228 
1694.66/1694.99	c 323465         2277796        290684547      68671856       0              0              28   397   366 
1788.15/1788.43	c 355885         2448233        309487624      71679055       0              0              27   418   353 
1925.63/1925.94	c 391547         2629956        332081496      74409932       0              0              29   379   311 
2187.00/2187.33	c 430775         2878894        378561870      78746884       0              0              29   425   334

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

pid=3153
running on 8 cores: 1,3,5,7,9,11,13,15

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.05 2.03 2.00 3/242 3156
/proc/meminfo: memFree=31896612/32770624 swapFree=5796/211144
[pid=3156] ppid=3153 vsize=27516 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 1072 0 0 0 0 0 0 0 20 0 1 0 626790 28176384 905 33554432000 4194304 5970956 140725741928976 140725741925624 139983106108389 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 6879 905 704 434 0 243 0

[startup+0.10015 s]
/proc/loadavg: 2.05 2.03 2.00 3/242 3156
/proc/meminfo: memFree=31896612/32770624 swapFree=5796/211144
[pid=3156] ppid=3153 vsize=35048 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 3011 0 0 0 9 0 0 0 20 0 1 0 626790 35889152 2805 33554432000 4194304 5970956 140725741928976 140725741922728 139983106108389 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 8762 2805 752 434 0 2126 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35048

[startup+0.20035 s]
/proc/loadavg: 2.05 2.03 2.00 3/242 3156
/proc/meminfo: memFree=31896612/32770624 swapFree=5796/211144
[pid=3156] ppid=3153 vsize=37532 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 3679 0 0 0 19 0 0 0 20 0 1 0 626790 38432768 3491 33554432000 4194304 5970956 140725741928976 140725741925944 5044845 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 9383 3491 795 434 0 2747 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37532

[startup+0.300272 s]
/proc/loadavg: 2.05 2.03 2.00 3/242 3156
/proc/meminfo: memFree=31896612/32770624 swapFree=5796/211144
[pid=3156] ppid=3153 vsize=38588 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 3930 0 0 0 29 0 0 0 20 0 1 0 626790 39514112 3755 33554432000 4194304 5970956 140725741928976 140725741925848 139983106108389 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 9647 3755 795 434 0 3011 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38588

[startup+0.70021 s]
/proc/loadavg: 2.05 2.03 2.00 3/242 3156
/proc/meminfo: memFree=31896612/32770624 swapFree=5796/211144
[pid=3156] ppid=3153 vsize=38852 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 4009 0 0 0 69 0 0 0 20 0 1 0 626790 39784448 3821 33554432000 4194304 5970956 140725741928976 140725741926312 5044845 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 9713 3821 795 434 0 3077 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38852

[startup+1.50021 s]
/proc/loadavg: 2.05 2.03 2.00 3/243 3157
/proc/meminfo: memFree=31883828/32770624 swapFree=5796/211340
[pid=3156] ppid=3153 vsize=38984 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 4040 0 0 0 149 0 0 0 20 0 1 0 626790 39919616 3821 33554432000 4194304 5970956 140725741928976 140725741925976 5046006 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 9746 3821 795 434 0 3110 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38984

[startup+3.10021 s]
/proc/loadavg: 2.05 2.03 2.00 3/243 3157
/proc/meminfo: memFree=31883184/32770624 swapFree=5796/211160
[pid=3156] ppid=3153 vsize=39116 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 6514 0 0 0 309 0 0 0 20 0 1 0 626790 40054784 3909 33554432000 4194304 5970956 140725741928976 140725741926312 5045969 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 9779 3909 798 434 0 3143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39116

[startup+6.30021 s]
/proc/loadavg: 2.05 2.03 2.00 3/243 3157
/proc/meminfo: memFree=31882900/32770624 swapFree=5796/211168
[pid=3156] ppid=3153 vsize=39116 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 7992 0 0 0 629 0 0 0 20 0 1 0 626790 40054784 3909 33554432000 4194304 5970956 140725741928976 140725741926312 5045760 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 9779 3909 798 434 0 3143 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39116

[startup+12.7002 s]
/proc/loadavg: 2.04 2.03 2.00 3/243 3157
/proc/meminfo: memFree=31881288/32770624 swapFree=5796/211180
[pid=3156] ppid=3153 vsize=39908 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 10811 0 0 0 1268 0 0 0 20 0 1 0 626790 40865792 4116 33554432000 4194304 5970956 140725741928976 140725741926312 5136625 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 9977 4116 798 434 0 3341 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 39908

[startup+25.5003 s]
/proc/loadavg: 2.11 2.04 2.00 3/243 3157
/proc/meminfo: memFree=31880668/32770624 swapFree=5796/211180
[pid=3156] ppid=3153 vsize=40964 CPUtime=25.49 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 17005 0 0 0 2548 1 0 0 20 0 1 0 626790 41947136 4377 33554432000 4194304 5970956 140725741928976 140725741925816 5044874 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10241 4377 798 434 0 3605 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40964

[startup+51.1003 s]
/proc/loadavg: 2.07 2.04 2.00 3/243 3157
/proc/meminfo: memFree=31880196/32770624 swapFree=5796/211208
[pid=3156] ppid=3153 vsize=41228 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 20368 0 0 0 5107 1 0 0 20 0 1 0 626790 42217472 4444 33554432000 4194304 5970956 140725741928976 140725741926312 5136803 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10307 4444 798 434 0 3671 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41228

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/243 3158
/proc/meminfo: memFree=31879216/32770624 swapFree=5796/211288
[pid=3156] ppid=3153 vsize=41756 CPUtime=102.28 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 23876 0 0 0 10227 1 0 0 20 0 1 0 626790 42758144 4565 33554432000 4194304 5970956 140725741928976 140725741926312 5136560 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10439 4565 798 434 0 3803 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 41756

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/243 3159
/proc/meminfo: memFree=31879200/32770624 swapFree=5796/211348
[pid=3156] ppid=3153 vsize=41888 CPUtime=162.26 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 24543 0 0 0 16225 1 0 0 20 0 1 0 626790 42893312 4603 33554432000 4194304 5970956 140725741928976 140725741926312 5045969 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10472 4603 798 434 0 3836 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 41888

[startup+222.308 s]
/proc/loadavg: 2.00 2.02 2.00 3/243 3160
/proc/meminfo: memFree=31878532/32770624 swapFree=5796/211400
[pid=3156] ppid=3153 vsize=42284 CPUtime=222.26 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 25297 0 0 0 22225 1 0 0 20 0 1 0 626790 43298816 4689 33554432000 4194304 5970956 140725741928976 140725741926312 5098896 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4689 798 434 0 3935 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 42284

[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/243 3161
/proc/meminfo: memFree=31878864/32770624 swapFree=5796/211452
[pid=3156] ppid=3153 vsize=42284 CPUtime=282.24 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 26001 0 0 0 28223 1 0 0 20 0 1 0 626790 43298816 4704 33554432000 4194304 5970956 140725741928976 140725741926312 5045744 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4704 798 434 0 3935 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 42284

[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.01 3/243 3162
/proc/meminfo: memFree=31878800/32770624 swapFree=5796/211496
[pid=3156] ppid=3153 vsize=42284 CPUtime=342.24 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 26236 0 0 0 34223 1 0 0 20 0 1 0 626790 43298816 4704 33554432000 4194304 5970956 140725741928976 140725741926312 5031428 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4704 798 434 0 3935 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 42284

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/243 3163
/proc/meminfo: memFree=31879128/32770624 swapFree=5796/211544
[pid=3156] ppid=3153 vsize=42284 CPUtime=402.23 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 26460 0 0 0 40222 1 0 0 20 0 1 0 626790 43298816 4704 33554432000 4194304 5970956 140725741928976 140725741926312 5046188 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4704 798 434 0 3935 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 42284

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/243 3171
/proc/meminfo: memFree=31878044/32770624 swapFree=5796/211600
[pid=3156] ppid=3153 vsize=42284 CPUtime=462.22 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 26686 0 0 0 46221 1 0 0 20 0 1 0 626790 43298816 4704 33554432000 4194304 5970956 140725741928976 140725741926312 5044841 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4704 798 434 0 3935 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 42284

[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/243 3172
/proc/meminfo: memFree=31877928/32770624 swapFree=5796/211632
[pid=3156] ppid=3153 vsize=42284 CPUtime=522.21 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 26915 0 0 0 52220 1 0 0 20 0 1 0 626790 43298816 4704 33554432000 4194304 5970956 140725741928976 140725741926312 5044849 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4704 798 434 0 3935 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 42284

[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/243 3173
/proc/meminfo: memFree=31877928/32770624 swapFree=5796/211668
[pid=3156] ppid=3153 vsize=42284 CPUtime=582.21 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 27140 0 0 0 58220 1 0 0 20 0 1 0 626790 43298816 4704 33554432000 4194304 5970956 140725741928976 140725741926312 5045944 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4704 798 434 0 3935 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 42284


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/243 3198
/proc/meminfo: memFree=31876104/32770624 swapFree=5796/212340
[pid=3156] ppid=3153 vsize=42284 CPUtime=1482.09 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 30245 0 0 0 148208 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5045238 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 1482.09
Current children cumulated vsize (KiB) 42284

[startup+1542.31 s]
/proc/loadavg: 2.07 2.03 2.02 3/243 3199
/proc/meminfo: memFree=31876000/32770624 swapFree=5796/212368
[pid=3156] ppid=3153 vsize=42284 CPUtime=1542.09 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 30415 0 0 0 154208 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5136634 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 1542.09
Current children cumulated vsize (KiB) 42284

[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.02 3/243 3200
/proc/meminfo: memFree=31876668/32770624 swapFree=5796/212424
[pid=3156] ppid=3153 vsize=42284 CPUtime=1602.08 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 30648 0 0 0 160207 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5136803 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 1602.08
Current children cumulated vsize (KiB) 42284

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/244 3209
/proc/meminfo: memFree=31876200/32770624 swapFree=5796/212472
[pid=3156] ppid=3153 vsize=42284 CPUtime=1662.07 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 30826 0 0 0 166206 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5136795 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 1662.07
Current children cumulated vsize (KiB) 42284

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/244 3210
/proc/meminfo: memFree=31875248/32770624 swapFree=5796/212512
[pid=3156] ppid=3153 vsize=42284 CPUtime=1722.06 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 31058 0 0 0 172205 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5046918 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 1722.06
Current children cumulated vsize (KiB) 42284

[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.03 3/244 3211
/proc/meminfo: memFree=31875992/32770624 swapFree=5796/212540
[pid=3156] ppid=3153 vsize=42284 CPUtime=1782.05 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 31260 0 0 0 178204 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5044849 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 1782.05
Current children cumulated vsize (KiB) 42284

[startup+1842.3 s]
/proc/loadavg: 2.07 2.04 2.04 3/244 3277
/proc/meminfo: memFree=32015760/32770624 swapFree=5796/212624
[pid=3156] ppid=3153 vsize=42284 CPUtime=1842.05 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 31487 0 0 0 184204 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5044849 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 1842.05
Current children cumulated vsize (KiB) 42284

[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.04 3/244 3278
/proc/meminfo: memFree=32015168/32770624 swapFree=5796/212668
[pid=3156] ppid=3153 vsize=42284 CPUtime=1902.04 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 31686 0 0 0 190203 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5045960 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 1902.04
Current children cumulated vsize (KiB) 42284

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/243 3279
/proc/meminfo: memFree=32015184/32770624 swapFree=5796/212704
[pid=3156] ppid=3153 vsize=42284 CPUtime=1962.03 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 31920 0 0 0 196202 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5337524 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 1962.03
Current children cumulated vsize (KiB) 42284

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/243 3280
/proc/meminfo: memFree=32015416/32770624 swapFree=5796/212748
[pid=3156] ppid=3153 vsize=42284 CPUtime=2022.02 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 32132 0 0 0 202201 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5136560 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 2022.02
Current children cumulated vsize (KiB) 42284

[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.04 3/243 3281
/proc/meminfo: memFree=32016544/32770624 swapFree=5796/212776
[pid=3156] ppid=3153 vsize=42284 CPUtime=2082.02 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 32319 0 0 0 208201 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5045969 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 2082.02
Current children cumulated vsize (KiB) 42284

[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/243 3282
/proc/meminfo: memFree=32016132/32770624 swapFree=5796/212812
[pid=3156] ppid=3153 vsize=42284 CPUtime=2142.01 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 32517 0 0 0 214200 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5045744 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 2142.01
Current children cumulated vsize (KiB) 42284

[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.04 3/243 3283
/proc/meminfo: memFree=32016392/32770624 swapFree=5796/212856
[pid=3156] ppid=3153 vsize=42284 CPUtime=2202.01 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 32753 0 0 0 220200 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5045211 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 2202.01
Current children cumulated vsize (KiB) 42284

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/244 3292
/proc/meminfo: memFree=32015040/32770624 swapFree=5796/212896
[pid=3156] ppid=3153 vsize=42284 CPUtime=2261.99 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 32950 0 0 0 226198 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5136570 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 2261.99
Current children cumulated vsize (KiB) 42284

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/244 3293
/proc/meminfo: memFree=32015940/32770624 swapFree=5796/212932
[pid=3156] ppid=3153 vsize=42284 CPUtime=2321.98 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 33133 0 0 0 232197 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5044852 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 2321.98
Current children cumulated vsize (KiB) 42284

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/244 3294
/proc/meminfo: memFree=32015568/32770624 swapFree=5796/212964
[pid=3156] ppid=3153 vsize=42284 CPUtime=2381.98 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 33315 0 0 0 238197 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5045997 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 2381.98
Current children cumulated vsize (KiB) 42284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/244 3295
/proc/meminfo: memFree=32015672/32770624 swapFree=5796/212996
[pid=3156] ppid=3153 vsize=42284 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/3156/stat : 3156 (cosoco) R 3153 3156 2468 0 -1 4202496 33498 0 0 0 240006 1 0 0 20 0 1 0 626790 43298816 4705 33554432000 4194304 5970956 140725741928976 140725741926312 5136620 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 36818944 140725741937857 140725741937987 140725741937987 140725741940686 0
/proc/3156/statm: 10571 4705 798 434 0 3935 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 42284

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

Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.09
CPU user time (s): 2400.07
CPU system time (s): 0.019997
CPU usage (%): 99.987
Max. virtual memory (cumulated for all children) (KiB): 42284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.019997
maximum resident set size= 18864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33527
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= 19
involuntary context switches= 120665

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.50534 second user time and 10.4479 second system time

The end

Launcher Data 

Begin job on node125 at 2017-07-21 18:13:11
IDJOB=4241734
IDBENCH=128150
IDSOLVER=2620
FILE ID=node125/4241734-1500653591
RUNJOBID= node125-1500648174-2500
PBS_JOBID= 20623295
Free space on /tmp= 62016 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-gagne/CarSequencing-200-01.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241734-1500653591/watcher-4241734-1500653591 -o /tmp/evaluation-result-4241734-1500653591/solver-4241734-1500653591 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500648174-2500 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4241734-1500653591.xml

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

MD5SUM BENCH= 10e5a0c89239e5196f6239a5150462fc
RANDOM SEED=71899087

node125.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	: 5333.51
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		: 2533.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	: 5333.51
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		: 2267.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	: 5333.51
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		: 2533.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	: 5333.51
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		: 2133.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	: 5333.51
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		: 2533.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		: 2000.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	: 5333.51
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		: 2133.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		: 2668.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	: 5333.51
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	: 5333.51
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:        31896636 kB
MemAvailable:   31885448 kB
Buffers:           30068 kB
Cached:           271432 kB
SwapCached:            0 kB
Active:           287328 kB
Inactive:         219848 kB
Active(anon):     208664 kB
Inactive(anon):     8700 kB
Active(file):      78664 kB
Inactive(file):   211148 kB
Unevictable:        5796 kB
Mlocked:            5796 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2440 kB
Writeback:             0 kB
AnonPages:        209744 kB
Mapped:            30388 kB
Shmem:              8840 kB
Slab:              60536 kB
SReclaimable:      29672 kB
SUnreclaim:        30864 kB
KernelStack:        4192 kB
PageTables:         5692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     475928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62020 MiB
End job on node125 at 2017-07-21 18:53:12