Trace number 4240885

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

General information on the benchmark

NameLangford/Langford-m2-s1/
LangfordBin-30.xml
MD5SUMcfab102c91084e040090bf0c1bc6cb0b
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 variables120
Number of constraints90
Number of domains2
Minimum domain size30
Maximum domain size60
Distribution of domain sizes[{"size":30,"count":60},{"size":60,"count":60}]
Minimum variable degree2
Maximum variable degree60
Distribution of variable degrees[{"degree":2,"count":60},{"degree":60,"count":60}]
Minimum constraint arity2
Maximum constraint arity61
Distribution of constraint arities[{"arity":2,"count":30},{"arity":61,"count":60}]
Number of extensional constraints0
Number of intensional constraints30
Distribution of constraint types[{"type":"intension","count":30},{"type":"element","count":60}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.07	c root propagations     : 990         
0.00/0.07	c restarts enabled, print stats at every restarts
0.00/0.07	c
0.00/0.07	c
0.00/0.07	c
0.00/0.07	c This is cosoco 1.0 --  
0.00/0.07	c
0.00/0.07	c ========================================[ Problem Statistics ]===========================================
0.00/0.07	c |                                                                                                       
0.00/0.07	c |  Parse time        :         0.06 s 
0.00/0.07	c |
0.00/0.07	c |               Variables: 120
0.00/0.07	c |            Domain Sizes: 30..60
0.00/0.07	c |
0.00/0.07	c |             Constraints: 90
0.00/0.07	c |                   Arity: 2..61  -- Binary: 30
0.00/0.07	c | 
0.00/0.07	c |                   Types: 
0.00/0.07	c |                          Element Constant: 60
0.00/0.07	c |                          Intension: 30
0.00/0.07	c |                          
0.00/0.07	c =========================================================================================================
0.00/0.07	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.08	c 101            359            39044          8416           60             0              89   108   92  
0.00/0.10	c 211            746            97297          33376          60             0              41   53   45   
0.09/0.11	c 332            941            135703         51036          60             0              43   46   43   
0.09/0.12	c 465            1181           177422         73379          60             0              44   50   44   
0.09/0.13	c 611            1392           220893         90626          60             0              45   50   46   
0.09/0.14	c 771            1650           270197         109219         60             0              40   48   45   
0.09/0.15	c 947            1978           312921         125846         60             0              47   49   47   
0.09/0.16	c 1140           2264           357024         141299         60             0              42   44   42   
0.09/0.17	c 1352           2534           399598         154910         60             0              45   47   45   
0.09/0.18	c 1585           2971           440720         166606         60             0              47   49   48   
0.09/0.19	c 1841           3422           492640         181589         60             0              44   46   45   
0.19/0.20	c 2122           4194           578825         210050         60             0              42   45   42   
0.19/0.22	c 2431           5115           699067         254264         60             0              44   47   45   
0.19/0.23	c 2770           5805           770979         274938         60             0              44   46   45   
0.19/0.24	c 3142           6339           838462         295761         60             0              42   48   45   
0.19/0.26	c 3551           6958           918603         332070         60             0              38   47   43   
0.19/0.27	c 4000           7671           1021187        360910         60             0              40   44   41   
0.19/0.29	c 4493           8532           1115526        402813         60             0              38   46   41   
0.29/0.31	c 5035           9505           1271447        464542         60             0              41   48   44   
0.29/0.34	c 5631           10330          1537175        606135         60             0              37   49   38   
0.29/0.38	c 6286           11531          1776747        700494         60             0              37   47   39   
0.39/0.40	c 7006           12587          1930766        746279         60             0              40   46   44   
0.39/0.43	c 7798           13955          2182707        848468         60             0              38   47   42   
0.39/0.46	c 8669           15098          2421923        957793         60             0              38   43   40   
0.39/0.48	c 9627           16329          2586009        1014988        60             0              40   47   44   
0.49/0.52	c 10680          17655          2890583        1166657        60             0              39   46   40   
0.49/0.56	c 11838          19474          3238262        1303506        60             0              39   47   41   
0.59/0.60	c 13111          21325          3525478        1390033        60             0              40   46   41   
0.59/0.64	c 14511          23060          3822122        1501177        60             0              40   46   42   
0.59/0.68	c 16051          25120          4173364        1667270        60             0              39   45   41   
0.69/0.72	c 17745          27167          4505035        1806343        60             0              42   45   44   
0.69/0.77	c 19608          29340          4898362        2012031        60             0              39   48   42   
0.79/0.82	c 21657          31764          5258334        2169388        60             0              44   45   44   
0.79/0.86	c 23910          34672          5598256        2301345        60             0              39   42   41   
0.89/0.90	c 26388          37334          5971083        2434942        60             0              42   44   43   
0.89/0.95	c 29113          40348          6420318        2562289        60             0              44   48   46   
0.99/1.02	c 32110          43558          7027511        2849842        60             0              37   45   39   
1.10/1.12	c 35406          47477          7746033        3172615        60             0              36   47   39   
1.20/1.20	c 39031          51723          8385155        3488750        60             0              35   43   42   
1.20/1.28	c 43018          57780          9082873        3768423        60             0              35   45   43   
1.29/1.36	c 47403          62644          9789276        4076187        60             0              38   44   42   
1.39/1.45	c 52226          68019          10550542       4320198        60             0              39   44   43   
1.49/1.53	c 57531          74745          11276694       4575943        60             0              40   44   43   
1.59/1.65	c 63366          80996          12308234       5001706        60             0              37   45   42   
1.69/1.78	c 69784          87919          13464640       5480400        60             0              36   47   43   
1.89/1.90	c 76843          95869          14618341       5924440        60             0              42   46   45   
1.99/2.03	c 84607          105107         15782208       6489131        60             0              40   45   43   
2.09/2.15	c 93147          114723         16845699       6880951        60             0              41   45   44   
2.30/2.35	c 102541         124832         18690905       7706872        60             0              39   43   41   
2.49/2.52	c 112874         135936         20315183       8187710        60             0              40   45   43   
2.69/2.70	c 124240         149229         21984849       8793205        60             0              38   47   42   
2.89/2.90	c 136742         163454         23782541       9372407        60             0              40   44   43   
3.09/3.13	c 150494         181254         26109127       10198636       60             0              38   46   45   
3.49/3.53	c 165621         199905         29493300       11612473       60             0              38   46   39   
3.79/3.86	c 182260         219914         32234749       12804806       60             0              39   46   41   
3.99/4.09	c 200562         240645         34443138       13546504       60             0              42   49   47   
4.29/4.36	c 220694         262475         37315494       14338278       60             0              43   48   46   
4.59/4.63	c 242839         286205         40400647       14953219       60             0              45   48   46   
4.89/4.97	c 267198         313172         43928303       15996546       60             0              40   48   44   
5.50/5.54	c 293992         354794         49030323       17665245       60             0              44   46   45   
5.99/6.07	c 323465         386509         53845150       19729602       60             0              39   46   43   
6.60/6.68	c 355885         427131         59295684       21787211       60             0              39   49   43   
7.09/7.16	c 391547         464691         64514379       23094479       60             0              42   48   46   
7.59/7.68	c 430775         507430         69475961       24839067       60             0              39   48   46   
8.49/8.55	c 473925         554630         77692266       27869981       60             0              42   45   43   
9.09/9.18	c 521390         607238         84220882       29565051       60             0              42   47   45   
9.79/9.89	c 573601         662893         91675845       31777168       60             0              44   49   46   
10.69/10.77	c 631033         724240         100898578      34664790       60             0              43   49   45   
11.69/11.74	c 694208         792088         110878566      37643830       60             0              43   49   45   
12.69/12.72	c 763700         867165         120628844      41304205       60             0              39   46   45   
14.19/14.29	c 840141         949432         135377634      46602846       60             0              40   44   42   
15.49/15.58	c 924226         1045054        148992363      50098550       60             0              41   46   44   
16.99/17.07	c 1016719        1142765        163696339      54933923       60             0              39   47   44   
18.39/18.46	c 1118461        1264748        176797974      58871878       60             0              41   47   46   
20.39/20.40	c 1230377        1387301        195927915      65533661       60             0              38   45   44   
22.49/22.59	c 1353484        1518794        217127707      73119149       60             0              39   47   43   
24.99/25.05	c 1488901        1665912        241301455      82603088       60             0              38   45   42   
27.49/27.58	c 1637859        1825461        267647854      91729123       60             0              37   45   43   
29.99/30.09	c 1801712        2000806        292810904      101027953      60             0              38   46   43   
32.58/32.68	c 1981950        2197596        319570002      109962385      60             0              38   45   44   
35.29/35.36	c 2180211        2415483        346654899      117925224      60             0              38   46   44   
39.28/39.35	c 2398298        2644543        385274364      132381513      60             0              39   46   42   
44.28/44.31	c 2638193        2928311        429801411      149813987      60             0              38   47   43   
47.68/47.79	c 2902077        3211977        464620017      161129772      60             0              40   47   43   
52.28/52.39	c 3192349        3528931        511725536      175583888      60             0              40   47   43   
56.88/56.90	c 3511648        3895241        560554658      190201036      60             0              39   46   43   
62.08/62.10	c 3862876        4264554        614576163      207409904      60             0              41   45   43   
66.38/66.40	c 4249226        4680758        661906402      221023280      60             0              42   46   44   
71.68/71.72	c 4674211        5132496        718034847      235013897      60             0              40   46   44   
77.57/77.63	c 5141694        5625376        776660501      251186566      60             0              40   45   42   
83.27/83.34	c 5655925        6179639        836406041      264381167      60             0              38   45   44   
90.77/90.89	c 6221579        6788358        915016822      287030025      60             0              40   46   44   
99.37/99.44	c 6843798        7442533        1000349186     314522531      60             0              41   45   43   
109.57/109.61	c 7528238        8165016        1103222622     353510740      60             0              40   45   43   
120.37/120.47	c 8281122        8971446        1212905176     392802023      60             0              40   45   42   
132.36/132.41	c 9109294        10033377       1332680232     426194409      60             0              37   46   42   
145.86/145.95	c 10020283       11048269       1464480531     462462989      60             0              39   46   41   
163.26/163.31	c 11022370       12230631       1636215704     526881044      60             0              36   48   44   
183.25/183.35	c 12124665       13535997       1823671871     610418222      60             0              36   43   39   
201.45/201.59	c 13337189       14983605       1999468036     689126310      60             0              33   46   41   
229.34/229.44	c 14670965       16927037       2269961250     799347644      60             0              30   41   38   
249.64/249.77	c 16138118       18561179       2463671482     868859682      60             0              32   43   39   
278.33/278.41	c 17751986       20271735       2711964835     969162543      60             0              33   39   36   
319.72/319.86	c 19527240       23178797       3105509549     1149922284     60             0              34   45   40   
353.51/353.65	c 21480019       25352690       3417132269     1268189833     60             0              33   45   40   
404.50/404.61	c 23628075       28539972       3876538171     1481482443     60             0              33   45   39   
439.59/439.76	c 25990936       31070753       4222138167     1591444760     60             0              37   46   43   
481.79/481.99	c 28590083       33817863       4651024351     1729474878     60             0              33   44   40   
528.27/528.44	c 31449144       36887625       5102429080     1872404144     60             0              37   46   41   
582.87/583.06	c 34594111       40246538       5604592614     2078883770     60             0              37   43   41   
626.05/626.21	c 38053574       44330575       6040976619     2217653377     60             0              39   48   45   
676.94/677.19	c 41858983       48403885       6559334382     2360326490     60             0              36   47   41   
744.63/744.86	c 46044932       53551473       7192856240     2628924227     60             0              33   44   40   
811.01/811.25	c 50649475       59061732       7849236410     2804437133     60             0              34   43   40   
895.59/895.86	c 55714472       66360398       8686793281     3110921678     60             0              34   43   41   
971.87/972.14	c 61285968       73203062       9482852613     3345159735     60             0              33   44   40   
1057.06/1057.33	c 67414613       81055335       10345991691    3642308170     60             0              38   42   40   
1136.54/1136.81	c 74156122       88264268       11168067983    3918830556     60             0              31   43   41   
1228.02/1228.37	c 81571781       96138187       12121215453    4231905394     60             0              31   42   41   
1350.89/1351.26	c 89729005       104858865      13304218242    4653721253     60             0              29   44   39   
1474.77/1475.17	c 98701951       114633826      14496304711    5097254452     60             0              36   44   42   
1608.33/1608.75	c 108572191      125228070      15813857182    5539351715     60             0              40   44   42   
1773.10/1773.53	c 119429455      138562950      17519737941    6040898373     60             0              35   44   39   
1914.97/1915.49	c 131372445      153171305      18984011467    6429834628     60             0              33   48   44   
2052.94/2053.41	c 144509734      167105454      20461543079    6735042401     60             0              36   49   44   
2236.80/2237.39	c 158960751      183723492      22411813372    7230677828     60             0              37   46   43

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-4240885-1500628911/watcher-4240885-1500628911 -o /tmp/evaluation-result-4240885-1500628911/solver-4240885-1500628911 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500623778-3189 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240885-1500628911.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.03 2.00 3/186 5936
/proc/meminfo: memFree=31546724/32770624 swapFree=7224/444376
[pid=5936] ppid=5933 vsize=27124 CPUtime=0 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 1011 0 0 0 0 0 0 0 20 0 1 0 16167503 27774976 832 33554432000 4194304 5970956 140733469643072 140733469642264 140401214815205 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6781 832 719 434 0 145 0

[startup+0.100164 s]
/proc/loadavg: 2.04 2.03 2.00 3/186 5936
/proc/meminfo: memFree=31546724/32770624 swapFree=7224/444376
[pid=5936] ppid=5933 vsize=27520 CPUtime=0.09 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 1206 0 0 0 9 0 0 0 20 0 1 0 16167503 28180480 1030 33554432000 4194304 5970956 140733469643072 140733469640408 140401215253600 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1030 827 434 0 244 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27520

[startup+0.200318 s]
/proc/loadavg: 2.04 2.03 2.00 3/186 5936
/proc/meminfo: memFree=31546724/32770624 swapFree=7224/444376
[pid=5936] ppid=5933 vsize=27520 CPUtime=0.19 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 1206 0 0 0 19 0 0 0 20 0 1 0 16167503 28180480 1030 33554432000 4194304 5970956 140733469643072 140733469640408 4968198 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1030 827 434 0 244 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27520

[startup+0.300246 s]
/proc/loadavg: 2.04 2.03 2.00 3/186 5936
/proc/meminfo: memFree=31546724/32770624 swapFree=7224/444376
[pid=5936] ppid=5933 vsize=27520 CPUtime=0.29 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 1206 0 0 0 29 0 0 0 20 0 1 0 16167503 28180480 1030 33554432000 4194304 5970956 140733469643072 140733469640408 5098896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1030 827 434 0 244 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27520

[startup+0.700225 s]
/proc/loadavg: 2.04 2.03 2.00 3/186 5936
/proc/meminfo: memFree=31546724/32770624 swapFree=7224/444376
[pid=5936] ppid=5933 vsize=27520 CPUtime=0.69 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 1206 0 0 0 69 0 0 0 20 0 1 0 16167503 28180480 1030 33554432000 4194304 5970956 140733469643072 140733469640408 4908539 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1030 827 434 0 244 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27520

[startup+1.50023 s]
/proc/loadavg: 2.04 2.03 2.00 3/187 5937
/proc/meminfo: memFree=31545796/32770624 swapFree=7224/444392
[pid=5936] ppid=5933 vsize=27520 CPUtime=1.49 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 1206 0 0 0 149 0 0 0 20 0 1 0 16167503 28180480 1030 33554432000 4194304 5970956 140733469643072 140733469640408 5327968 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1030 827 434 0 244 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27520

[startup+3.10023 s]
/proc/loadavg: 2.04 2.03 2.00 3/187 5937
/proc/meminfo: memFree=31545424/32770624 swapFree=7224/444392
[pid=5936] ppid=5933 vsize=27520 CPUtime=3.09 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 1360 0 0 0 309 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4908345 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27520

[startup+6.30022 s]
/proc/loadavg: 2.04 2.03 2.00 3/187 5937
/proc/meminfo: memFree=31545396/32770624 swapFree=7224/444404
[pid=5936] ppid=5933 vsize=27520 CPUtime=6.29 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 1514 0 0 0 629 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4994541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27520

[startup+12.7002 s]
/proc/loadavg: 2.04 2.03 2.00 3/187 5937
/proc/meminfo: memFree=31545024/32770624 swapFree=7224/444412
[pid=5936] ppid=5933 vsize=27520 CPUtime=12.69 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 1670 0 0 0 1269 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4908280 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27520

[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 2.00 3/187 5937
/proc/meminfo: memFree=31545148/32770624 swapFree=7224/444424
[pid=5936] ppid=5933 vsize=27520 CPUtime=25.49 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 1981 0 0 0 2549 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4994681 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27520

[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 2.00 3/187 5937
/proc/meminfo: memFree=31545148/32770624 swapFree=7224/444452
[pid=5936] ppid=5933 vsize=27520 CPUtime=51.08 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 2136 0 0 0 5108 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 5098896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27520

[startup+102.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/187 5938
/proc/meminfo: memFree=31545112/32770624 swapFree=7224/444532
[pid=5936] ppid=5933 vsize=27520 CPUtime=102.27 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 2291 0 0 0 10227 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4994596 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27520

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.01 3/187 5939
/proc/meminfo: memFree=31545084/32770624 swapFree=7224/444588
[pid=5936] ppid=5933 vsize=27520 CPUtime=162.26 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 2446 0 0 0 16226 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4994541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 27520

[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.01 3/187 5941
/proc/meminfo: memFree=31544500/32770624 swapFree=7224/444644
[pid=5936] ppid=5933 vsize=27520 CPUtime=222.25 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 2601 0 0 0 22225 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 5327933 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 27520

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/187 5942
/proc/meminfo: memFree=31545372/32770624 swapFree=7224/444688
[pid=5936] ppid=5933 vsize=27520 CPUtime=282.23 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 2756 0 0 0 28223 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4994614 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 27520

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 5943
/proc/meminfo: memFree=31544880/32770624 swapFree=7224/444732
[pid=5936] ppid=5933 vsize=27520 CPUtime=342.21 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 2912 0 0 0 34221 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4908315 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 27520

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 5945
/proc/meminfo: memFree=31545084/32770624 swapFree=7224/444784
[pid=5936] ppid=5933 vsize=27520 CPUtime=402.2 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 3050 0 0 0 40220 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4994458 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 27520

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/186 5946
/proc/meminfo: memFree=31546204/32770624 swapFree=7224/444828
[pid=5936] ppid=5933 vsize=27520 CPUtime=462.19 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 3222 0 0 0 46219 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4908579 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 27520

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/187 5955
/proc/meminfo: memFree=31544356/32770624 swapFree=7224/444868
[pid=5936] ppid=5933 vsize=27520 CPUtime=522.17 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 3377 0 0 0 52217 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 5098896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 27520

[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/187 5956
/proc/meminfo: memFree=31543936/32770624 swapFree=7224/444904
[pid=5936] ppid=5933 vsize=27520 CPUtime=582.16 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 3515 0 0 0 58216 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4994596 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 27520


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 5980
/proc/meminfo: memFree=31543144/32770624 swapFree=7224/445468
[pid=5936] ppid=5933 vsize=27520 CPUtime=1481.96 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 5782 0 0 0 148196 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 5328610 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 27520

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 5981
/proc/meminfo: memFree=31543128/32770624 swapFree=7224/445500
[pid=5936] ppid=5933 vsize=27520 CPUtime=1541.95 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 5919 0 0 0 154195 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4994503 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 27520

[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.04 3/187 5982
/proc/meminfo: memFree=31542836/32770624 swapFree=7224/445532
[pid=5936] ppid=5933 vsize=27520 CPUtime=1601.94 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 6056 0 0 0 160194 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4908539 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 27520

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.04 3/187 5983
/proc/meminfo: memFree=31542836/32770624 swapFree=7224/445564
[pid=5936] ppid=5933 vsize=27520 CPUtime=1661.92 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 6211 0 0 0 166192 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4994568 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 27520

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/187 5991
/proc/meminfo: memFree=31542372/32770624 swapFree=7224/445600
[pid=5936] ppid=5933 vsize=27520 CPUtime=1721.91 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 6348 0 0 0 172191 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4994503 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 27520

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 5992
/proc/meminfo: memFree=31542372/32770624 swapFree=7224/445636
[pid=5936] ppid=5933 vsize=27520 CPUtime=1781.9 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 6503 0 0 0 178190 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4994554 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 27520

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 5993
/proc/meminfo: memFree=31542488/32770624 swapFree=7224/445664
[pid=5936] ppid=5933 vsize=27520 CPUtime=1841.88 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 6639 0 0 0 184188 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4994545 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 1841.88
Current children cumulated vsize (KiB) 27520

[startup+1902.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 5994
/proc/meminfo: memFree=31542860/32770624 swapFree=7224/445704
[pid=5936] ppid=5933 vsize=27520 CPUtime=1901.87 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 6777 0 0 0 190187 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4908311 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 1901.87
Current children cumulated vsize (KiB) 27520

[startup+1962.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 5995
/proc/meminfo: memFree=31543488/32770624 swapFree=7224/445732
[pid=5936] ppid=5933 vsize=27520 CPUtime=1961.86 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 6933 0 0 0 196186 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 5098896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 1961.86
Current children cumulated vsize (KiB) 27520

[startup+2022.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/187 5997
/proc/meminfo: memFree=31543212/32770624 swapFree=7224/445768
[pid=5936] ppid=5933 vsize=27520 CPUtime=2021.84 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 7071 0 0 0 202184 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 5337914 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 2021.84
Current children cumulated vsize (KiB) 27520

[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 5998
/proc/meminfo: memFree=31543212/32770624 swapFree=7224/445804
[pid=5936] ppid=5933 vsize=27520 CPUtime=2081.84 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 7226 0 0 0 208184 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 5327993 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 2081.84
Current children cumulated vsize (KiB) 27520

[startup+2142.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/187 5999
/proc/meminfo: memFree=31543400/32770624 swapFree=7224/445836
[pid=5936] ppid=5933 vsize=27520 CPUtime=2141.82 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 7364 0 0 0 214182 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4908315 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 2141.82
Current children cumulated vsize (KiB) 27520

[startup+2202.31 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 6001
/proc/meminfo: memFree=31543068/32770624 swapFree=7224/445888
[pid=5936] ppid=5933 vsize=27520 CPUtime=2201.81 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 7502 0 0 0 220181 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4994545 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 2201.81
Current children cumulated vsize (KiB) 27520

[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 6002
/proc/meminfo: memFree=31543052/32770624 swapFree=7224/445924
[pid=5936] ppid=5933 vsize=27520 CPUtime=2261.79 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 7657 0 0 0 226179 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 5098928 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 2261.79
Current children cumulated vsize (KiB) 27520

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/189 6073
/proc/meminfo: memFree=23239708/32770624 swapFree=7224/446028
[pid=5936] ppid=5933 vsize=27520 CPUtime=2321.78 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 7795 0 0 0 232178 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4994596 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 2321.78
Current children cumulated vsize (KiB) 27520

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/189 6096
/proc/meminfo: memFree=23237880/32770624 swapFree=7224/446116
[pid=5936] ppid=5933 vsize=27520 CPUtime=2381.77 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 7933 0 0 0 238177 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4908512 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 2381.77
Current children cumulated vsize (KiB) 27520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.00 2.02 2.05 4/189 6096
/proc/meminfo: memFree=23237972/32770624 swapFree=7224/446132
[pid=5936] ppid=5933 vsize=27520 CPUtime=2400.06 cores=1,3,5,7
/proc/5936/stat : 5936 (cosoco) R 5933 5936 3157 0 -1 4202496 8070 0 0 0 240006 0 0 0 20 0 1 0 16167503 28180480 1046 33554432000 4194304 5970956 140733469643072 140733469640408 4994503 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 35205120 140733469652161 140733469652291 140733469652291 140733469654990 0
/proc/5936/statm: 6880 1046 830 434 0 244 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 27520

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

Child status: 1
Real time (s): 2400.6
CPU time (s): 2400.07
CPU user time (s): 2400.07
CPU system time (s): 0.004998
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 27520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.004998
maximum resident set size= 4228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8100
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= 120235

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.50643 second user time and 8.1135 second system time

The end

Launcher Data 

Begin job on node126 at 2017-07-21 11:21:51
IDJOB=4240885
IDBENCH=124374
IDSOLVER=2620
FILE ID=node126/4240885-1500628911
RUNJOBID= node126-1500623778-3189
PBS_JOBID= 20623007
Free space on /tmp= 61988 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-30.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240885-1500628911/watcher-4240885-1500628911 -o /tmp/evaluation-result-4240885-1500628911/solver-4240885-1500628911 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500623778-3189 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4240885-1500628911.xml

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

MD5SUM BENCH= cfab102c91084e040090bf0c1bc6cb0b
RANDOM SEED=2125964108

node126.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	: 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	: 5334.03
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		: 2267.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		: 1600.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	: 5334.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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	: 5334.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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		: 1600.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	: 5334.03
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	: 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:        31547316 kB
MemAvailable:   32015120 kB
Buffers:          157816 kB
Cached:           590404 kB
SwapCached:            0 kB
Active:           349176 kB
Inactive:         453224 kB
Active(anon):      57136 kB
Inactive(anon):     8848 kB
Active(file):     292040 kB
Inactive(file):   444376 kB
Unevictable:        7224 kB
Mlocked:            7224 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2384 kB
Writeback:             0 kB
AnonPages:         61480 kB
Mapped:            34716 kB
Shmem:              8848 kB
Slab:             119692 kB
SReclaimable:      94444 kB
SUnreclaim:        25248 kB
KernelStack:        3296 kB
PageTables:         5044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     329136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 61984 MiB
End job on node126 at 2017-07-21 12:01:52