Trace number 4252193

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco-mini 1.1 (2017-06-27)? (TO) 2400.01 2399.9

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.04	c root propagations     : 990         
0.00/0.04	c restarts enabled, print stats at every restarts
0.00/0.04	c
0.00/0.04	c
0.00/0.04	c
0.00/0.04	c This is cosoco 1.0 --  
0.00/0.04	c
0.00/0.04	c ========================================[ Problem Statistics ]===========================================
0.00/0.04	c |                                                                                                       
0.00/0.04	c |  Parse time        :         0.03 s 
0.00/0.04	c |
0.00/0.04	c |               Variables: 120
0.00/0.04	c |            Domain Sizes: 30..60
0.00/0.04	c |
0.00/0.04	c |             Constraints: 90
0.00/0.04	c |                   Arity: 2..61  -- Binary: 30
0.00/0.04	c | 
0.00/0.04	c |                   Types: 
0.00/0.04	c |                          Element Constant: 60
0.00/0.04	c |                          Intension: 30
0.00/0.04	c |                          
0.00/0.04	c =========================================================================================================
0.00/0.04	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.04	c 101            359            39044          8416           60             0              89   108   92  
0.00/0.06	c 211            746            97297          33376          60             0              41   53   45   
0.00/0.06	c 332            941            135703         51036          60             0              43   46   43   
0.00/0.07	c 465            1181           177422         73379          60             0              44   50   44   
0.00/0.08	c 611            1392           220893         90626          60             0              45   50   46   
0.00/0.09	c 771            1650           270197         109219         60             0              40   48   45   
0.09/0.10	c 947            1978           312921         125846         60             0              47   49   47   
0.09/0.11	c 1140           2264           357024         141299         60             0              42   44   42   
0.09/0.11	c 1352           2534           399598         154910         60             0              45   47   45   
0.09/0.12	c 1585           2971           440720         166606         60             0              47   49   48   
0.09/0.13	c 1841           3422           492640         181589         60             0              44   46   45   
0.09/0.15	c 2122           4194           578825         210050         60             0              42   45   42   
0.09/0.17	c 2431           5115           699067         254264         60             0              44   47   45   
0.09/0.18	c 2770           5805           770979         274938         60             0              44   46   45   
0.09/0.19	c 3142           6339           838462         295761         60             0              42   48   45   
0.19/0.20	c 3551           6958           918603         332070         60             0              38   47   43   
0.19/0.22	c 4000           7671           1021187        360910         60             0              40   44   41   
0.19/0.23	c 4493           8532           1115526        402813         60             0              38   46   41   
0.19/0.25	c 5035           9505           1271447        464542         60             0              41   48   44   
0.19/0.29	c 5631           10330          1537175        606135         60             0              37   49   38   
0.29/0.32	c 6286           11531          1776747        700494         60             0              37   47   39   
0.29/0.34	c 7006           12587          1930766        746279         60             0              40   46   44   
0.29/0.38	c 7798           13955          2182707        848468         60             0              38   47   42   
0.39/0.41	c 8669           15098          2421923        957793         60             0              38   43   40   
0.39/0.43	c 9627           16329          2586009        1014988        60             0              40   47   44   
0.39/0.47	c 10680          17655          2890583        1166657        60             0              39   46   40   
0.49/0.51	c 11838          19474          3238262        1303506        60             0              39   47   41   
0.49/0.54	c 13111          21325          3525478        1390033        60             0              40   46   41   
0.49/0.58	c 14511          23060          3822122        1501177        60             0              40   46   42   
0.59/0.63	c 16051          25120          4173364        1667270        60             0              39   45   41   
0.59/0.67	c 17745          27167          4505035        1806343        60             0              42   45   44   
0.69/0.72	c 19608          29340          4898362        2012031        60             0              39   48   42   
0.69/0.77	c 21657          31764          5258334        2169388        60             0              44   45   44   
0.79/0.81	c 23910          34672          5598256        2301345        60             0              39   42   41   
0.79/0.85	c 26388          37334          5971083        2434942        60             0              42   44   43   
0.89/0.90	c 29113          40348          6420318        2562289        60             0              44   48   46   
0.89/0.97	c 32110          43558          7027511        2849842        60             0              37   45   39   
0.99/1.07	c 35406          47477          7746033        3172615        60             0              36   47   39   
1.10/1.15	c 39031          51723          8385155        3488750        60             0              35   43   42   
1.20/1.23	c 43018          57780          9082873        3768423        60             0              35   45   43   
1.29/1.31	c 47403          62644          9789276        4076187        60             0              38   44   42   
1.39/1.40	c 52226          68019          10550542       4320198        60             0              39   44   43   
1.39/1.49	c 57531          74745          11276694       4575943        60             0              40   44   43   
1.59/1.60	c 63366          80996          12308234       5001706        60             0              37   45   42   
1.69/1.73	c 69784          87919          13464640       5480400        60             0              36   47   43   
1.79/1.85	c 76843          95869          14618341       5924440        60             0              42   46   45   
1.89/1.98	c 84607          105107         15782208       6489131        60             0              40   45   43   
2.09/2.10	c 93147          114723         16845699       6880951        60             0              41   45   44   
2.30/2.31	c 102541         124832         18690905       7706872        60             0              39   43   41   
2.39/2.48	c 112874         135936         20315183       8187710        60             0              40   45   43   
2.59/2.66	c 124240         149229         21984849       8793205        60             0              38   47   42   
2.79/2.86	c 136742         163454         23782541       9372407        60             0              40   44   43   
2.99/3.09	c 150494         181254         26109127       10198636       60             0              38   46   45   
3.40/3.49	c 165621         199905         29493300       11612473       60             0              38   46   39   
3.79/3.82	c 182260         219914         32234749       12804806       60             0              39   46   41   
3.99/4.06	c 200562         240645         34443138       13546504       60             0              42   49   47   
4.29/4.32	c 220694         262475         37315494       14338278       60             0              43   48   46   
4.50/4.59	c 242839         286205         40400647       14953219       60             0              45   48   46   
4.89/4.94	c 267198         313172         43928303       15996546       60             0              40   48   44   
5.50/5.51	c 293992         354794         49030323       17665245       60             0              44   46   45   
5.99/6.05	c 323465         386509         53845150       19729602       60             0              39   46   43   
6.60/6.66	c 355885         427131         59295684       21787211       60             0              39   49   43   
7.09/7.14	c 391547         464691         64514379       23094479       60             0              42   48   46   
7.59/7.66	c 430775         507430         69475961       24839067       60             0              39   48   46   
8.49/8.53	c 473925         554630         77692266       27869981       60             0              42   45   43   
9.09/9.16	c 521390         607238         84220882       29565051       60             0              42   47   45   
9.79/9.87	c 573601         662893         91675845       31777168       60             0              44   49   46   
10.69/10.76	c 631033         724240         100898578      34664790       60             0              43   49   45   
11.69/11.73	c 694208         792088         110878566      37643830       60             0              43   49   45   
12.69/12.71	c 763700         867165         120628844      41304205       60             0              39   46   45   
14.19/14.28	c 840141         949432         135377634      46602846       60             0              40   44   42   
15.50/15.57	c 924226         1045054        148992363      50098550       60             0              41   46   44   
16.99/17.06	c 1016719        1142765        163696339      54933923       60             0              39   47   44   
18.39/18.44	c 1118461        1264748        176797974      58871878       60             0              41   47   46   
20.29/20.38	c 1230377        1387301        195927915      65533661       60             0              38   45   44   
22.49/22.58	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.50/27.59	c 1637859        1825461        267647854      91729123       60             0              37   45   43   
30.10/30.11	c 1801712        2000806        292810904      101027953      60             0              38   46   43   
32.60/32.68	c 1981950        2197596        319570002      109962385      60             0              38   45   44   
35.30/35.37	c 2180211        2415483        346654899      117925224      60             0              38   46   44   
39.30/39.39	c 2398298        2644543        385274364      132381513      60             0              39   46   42   
44.30/44.38	c 2638193        2928311        429801411      149813987      60             0              38   47   43   
47.80/47.86	c 2902077        3211977        464620017      161129772      60             0              40   47   43   
52.40/52.46	c 3192349        3528931        511725536      175583888      60             0              40   47   43   
56.90/56.96	c 3511648        3895241        560554658      190201036      60             0              39   46   43   
62.10/62.15	c 3862876        4264554        614576163      207409904      60             0              41   45   43   
66.40/66.47	c 4249226        4680758        661906402      221023280      60             0              42   46   44   
71.70/71.78	c 4674211        5132496        718034847      235013897      60             0              40   46   44   
77.70/77.71	c 5141694        5625376        776660501      251186566      60             0              40   45   42   
83.40/83.43	c 5655925        6179639        836406041      264381167      60             0              38   45   44   
90.90/90.96	c 6221579        6788358        915016822      287030025      60             0              40   46   44   
99.50/99.52	c 6843798        7442533        1000349186     314522531      60             0              41   45   43   
109.80/109.80	c 7528238        8165016        1103222622     353510740      60             0              40   45   43   
120.60/120.69	c 8281122        8971446        1212905176     392802023      60             0              40   45   42   
132.70/132.71	c 9109294        10033377       1332680232     426194409      60             0              37   46   42   
146.31/146.31	c 10020283       11048269       1464480531     462462989      60             0              39   46   41   
163.70/163.77	c 11022370       12230631       1636215704     526881044      60             0              36   48   44   
183.90/183.91	c 12124665       13535997       1823671871     610418222      60             0              36   43   39   
202.20/202.24	c 13337189       14983605       1999468036     689126310      60             0              33   46   41   
230.20/230.27	c 14670965       16927037       2269961250     799347644      60             0              30   41   38   
250.51/250.53	c 16138118       18561179       2463671482     868859682      60             0              32   43   39   
279.11/279.15	c 17751986       20271735       2711964835     969162543      60             0              33   39   36   
320.61/320.66	c 19527240       23178797       3105509549     1149922284     60             0              34   45   40   
354.51/354.51	c 21480019       25352690       3417132269     1268189833     60             0              33   45   40   
405.61/405.60	c 23628075       28539972       3876538171     1481482443     60             0              33   45   39   
440.82/440.80	c 25990936       31070753       4222138167     1591444760     60             0              37   46   43   
483.12/483.12	c 28590083       33817863       4651024351     1729474878     60             0              33   44   40   
529.72/529.74	c 31449144       36887625       5102429080     1872404144     60             0              37   46   41   
584.62/584.66	c 34594111       40246538       5604592614     2078883770     60             0              37   43   41   
627.82/627.87	c 38053574       44330575       6040976619     2217653377     60             0              39   48   45   
679.33/679.37	c 41858983       48403885       6559334382     2360326490     60             0              36   47   41   
747.23/747.28	c 46044932       53551473       7192856240     2628924227     60             0              33   44   40   
813.63/813.63	c 50649475       59061732       7849236410     2804437133     60             0              34   43   40   
898.34/898.38	c 55714472       66360398       8686793281     3110921678     60             0              34   43   41   
974.84/974.85	c 61285968       73203062       9482852613     3345159735     60             0              33   44   40   
1059.94/1059.91	c 67414613       81055335       10345991691    3642308170     60             0              38   42   40   
1139.65/1139.61	c 74156122       88264268       11168067983    3918830556     60             0              31   43   41   
1230.96/1230.96	c 81571781       96138187       12121215453    4231905394     60             0              31   42   41   
1354.06/1354.07	c 89729005       104858865      13304218242    4653721253     60             0              29   44   39   
1479.26/1479.22	c 98701951       114633826      14496304711    5097254452     60             0              36   44   42   
1612.97/1612.94	c 108572191      125228070      15813857182    5539351715     60             0              40   44   42   
1777.88/1777.88	c 119429455      138562950      17519737941    6040898373     60             0              35   44   39   
1919.69/1919.62	c 131372445      153171305      18984011467    6429834628     60             0              33   48   44   
2057.39/2057.36	c 144509734      167105454      20461543079    6735042401     60             0              36   49   44   
2241.90/2241.86	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-4252193-1500922188/watcher-4252193-1500922188 -o /tmp/evaluation-result-4252193-1500922188/solver-4252193-1500922188 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500914920-3783 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252193-1500922188.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 5911
/proc/meminfo: memFree=32115548/32770624 swapFree=5760/116540
[pid=5911] ppid=5908 vsize=27036 CPUtime=0 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 1005 0 0 0 0 0 0 0 20 0 1 0 1870511 27684864 825 33554432000 4194304 5744392 140725865848400 140725865845048 140587725905436 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6759 825 704 379 0 178 0

[startup+0.100106 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 5911
/proc/meminfo: memFree=32115548/32770624 swapFree=5760/116540
[pid=5911] ppid=5908 vsize=27296 CPUtime=0.09 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 1188 0 0 0 9 0 0 0 20 0 1 0 1870511 27951104 1013 33554432000 4194304 5744392 140725865848400 140725865845048 4904847 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1013 812 379 0 243 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27296

[startup+0.200214 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 5911
/proc/meminfo: memFree=32115548/32770624 swapFree=5760/116540
[pid=5911] ppid=5908 vsize=27296 CPUtime=0.19 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 1188 0 0 0 19 0 0 0 20 0 1 0 1870511 27951104 1013 33554432000 4194304 5744392 140725865848400 140725865845048 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1013 812 379 0 243 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27296

[startup+0.300195 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 5911
/proc/meminfo: memFree=32115548/32770624 swapFree=5760/116540
[pid=5911] ppid=5908 vsize=27296 CPUtime=0.29 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 1188 0 0 0 29 0 0 0 20 0 1 0 1870511 27951104 1013 33554432000 4194304 5744392 140725865848400 140725865845048 5124080 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1013 812 379 0 243 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27296

[startup+0.700171 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 5911
/proc/meminfo: memFree=32115548/32770624 swapFree=5760/116540
[pid=5911] ppid=5908 vsize=27296 CPUtime=0.69 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 1188 0 0 0 69 0 0 0 20 0 1 0 1870511 27951104 1013 33554432000 4194304 5744392 140725865848400 140725865845800 4918753 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1013 812 379 0 243 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27296

[startup+1.50017 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 5912
/proc/meminfo: memFree=32114732/32770624 swapFree=5760/116548
[pid=5911] ppid=5908 vsize=27296 CPUtime=1.49 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 1188 0 0 0 149 0 0 0 20 0 1 0 1870511 27951104 1013 33554432000 4194304 5744392 140725865848400 140725865845800 4872605 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1013 812 379 0 243 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27296

[startup+3.10019 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 5912
/proc/meminfo: memFree=32114360/32770624 swapFree=5760/116548
[pid=5911] ppid=5908 vsize=27296 CPUtime=3.09 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 1340 0 0 0 309 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 5124701 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27296

[startup+6.30017 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 5912
/proc/meminfo: memFree=32114296/32770624 swapFree=5760/116588
[pid=5911] ppid=5908 vsize=27296 CPUtime=6.29 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 1492 0 0 0 629 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 5118920 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27296

[startup+12.7001 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 5912
/proc/meminfo: memFree=32114048/32770624 swapFree=5760/116596
[pid=5911] ppid=5908 vsize=27296 CPUtime=12.69 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 1645 0 0 0 1269 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4918757 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27296

[startup+25.5002 s]
/proc/loadavg: 2.13 2.06 2.05 3/182 5919
/proc/meminfo: memFree=32112892/32770624 swapFree=5760/116628
[pid=5911] ppid=5908 vsize=27296 CPUtime=25.49 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 1951 0 0 0 2549 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4998864 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27296

[startup+51.1002 s]
/proc/loadavg: 2.09 2.05 2.05 3/182 5919
/proc/meminfo: memFree=32112648/32770624 swapFree=5760/116660
[pid=5911] ppid=5908 vsize=27296 CPUtime=51.1 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 2104 0 0 0 5110 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4918822 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 27296

[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 5920
/proc/meminfo: memFree=32112260/32770624 swapFree=5760/116728
[pid=5911] ppid=5908 vsize=27296 CPUtime=102.3 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 2257 0 0 0 10230 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4918753 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 27296

[startup+162.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/182 5921
/proc/meminfo: memFree=32112376/32770624 swapFree=5760/116796
[pid=5911] ppid=5908 vsize=27296 CPUtime=162.3 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 2410 0 0 0 16230 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4872544 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 27296

[startup+222.306 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 5922
/proc/meminfo: memFree=32112632/32770624 swapFree=5760/116848
[pid=5911] ppid=5908 vsize=27296 CPUtime=222.31 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 2563 0 0 0 22231 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4918749 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 27296

[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 5923
/proc/meminfo: memFree=32112464/32770624 swapFree=5760/116908
[pid=5911] ppid=5908 vsize=27296 CPUtime=282.31 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 2563 0 0 0 28231 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4998864 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 27296

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 5925
/proc/meminfo: memFree=32112732/32770624 swapFree=5760/116960
[pid=5911] ppid=5908 vsize=27296 CPUtime=342.31 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 2716 0 0 0 34231 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4918762 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 27296

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5926
/proc/meminfo: memFree=32112848/32770624 swapFree=5760/116996
[pid=5911] ppid=5908 vsize=27296 CPUtime=402.31 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 2716 0 0 0 40231 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 27296

[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 5927
/proc/meminfo: memFree=32112584/32770624 swapFree=5760/117036
[pid=5911] ppid=5908 vsize=27296 CPUtime=462.32 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 2869 0 0 0 46232 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4918749 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 27296

[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 5929
/proc/meminfo: memFree=32112436/32770624 swapFree=5760/117088
[pid=5911] ppid=5908 vsize=27296 CPUtime=522.32 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 2869 0 0 0 52232 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4918679 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 27296

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 5930
/proc/meminfo: memFree=32112428/32770624 swapFree=5760/117124
[pid=5911] ppid=5908 vsize=27296 CPUtime=582.32 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 3005 0 0 0 58232 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4918757 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 27296


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5984
/proc/meminfo: memFree=32111452/32770624 swapFree=5760/117776
[pid=5911] ppid=5908 vsize=27296 CPUtime=1542.37 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 4381 0 0 0 154237 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4872799 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 27296

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5985
/proc/meminfo: memFree=32111772/32770624 swapFree=5760/117812
[pid=5911] ppid=5908 vsize=27296 CPUtime=1602.37 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 4381 0 0 0 160237 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4918711 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 27296

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5986
/proc/meminfo: memFree=32111508/32770624 swapFree=5760/117844
[pid=5911] ppid=5908 vsize=27296 CPUtime=1662.37 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 4534 0 0 0 166237 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4918714 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 27296

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5987
/proc/meminfo: memFree=32111244/32770624 swapFree=5760/117880
[pid=5911] ppid=5908 vsize=27296 CPUtime=1722.37 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 4534 0 0 0 172237 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4918749 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 27296

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5988
/proc/meminfo: memFree=32110856/32770624 swapFree=5760/117924
[pid=5911] ppid=5908 vsize=27296 CPUtime=1782.38 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 4687 0 0 0 178238 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 5140573 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 27296

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5996
/proc/meminfo: memFree=32110024/32770624 swapFree=5760/117960
[pid=5911] ppid=5908 vsize=27296 CPUtime=1842.38 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 4687 0 0 0 184238 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4918804 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 1842.38
Current children cumulated vsize (KiB) 27296

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5998
/proc/meminfo: memFree=32110336/32770624 swapFree=5760/117992
[pid=5911] ppid=5908 vsize=27296 CPUtime=1902.38 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 4823 0 0 0 190238 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4918822 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 1902.38
Current children cumulated vsize (KiB) 27296

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5999
/proc/meminfo: memFree=32110628/32770624 swapFree=5760/118032
[pid=5911] ppid=5908 vsize=27296 CPUtime=1962.38 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 4976 0 0 0 196238 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4872768 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 1962.38
Current children cumulated vsize (KiB) 27296

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6000
/proc/meminfo: memFree=32110380/32770624 swapFree=5760/118064
[pid=5911] ppid=5908 vsize=27296 CPUtime=2022.39 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 4976 0 0 0 202239 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4918749 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 2022.39
Current children cumulated vsize (KiB) 27296

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6001
/proc/meminfo: memFree=32110504/32770624 swapFree=5760/118112
[pid=5911] ppid=5908 vsize=27296 CPUtime=2082.39 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 5129 0 0 0 208239 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4872424 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 2082.39
Current children cumulated vsize (KiB) 27296

[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/183 6003
/proc/meminfo: memFree=32110504/32770624 swapFree=5760/118152
[pid=5911] ppid=5908 vsize=27296 CPUtime=2142.39 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 5129 0 0 0 214239 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4904916 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 2142.39
Current children cumulated vsize (KiB) 27296

[startup+2202.31 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 6004
/proc/meminfo: memFree=32110620/32770624 swapFree=5760/118188
[pid=5911] ppid=5908 vsize=27296 CPUtime=2202.4 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 5266 0 0 0 220240 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4998864 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 2202.4
Current children cumulated vsize (KiB) 27296

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6005
/proc/meminfo: memFree=32110744/32770624 swapFree=5760/118224
[pid=5911] ppid=5908 vsize=27296 CPUtime=2262.4 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 5282 0 0 0 226240 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 2262.4
Current children cumulated vsize (KiB) 27296

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6007
/proc/meminfo: memFree=32110860/32770624 swapFree=5760/118260
[pid=5911] ppid=5908 vsize=27296 CPUtime=2322.4 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 5419 0 0 0 232240 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 5118920 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 2322.4
Current children cumulated vsize (KiB) 27296

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6069
/proc/meminfo: memFree=31989768/32770624 swapFree=5760/118360
[pid=5911] ppid=5908 vsize=27296 CPUtime=2382.4 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 5419 0 0 0 238240 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4994104 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 2382.4
Current children cumulated vsize (KiB) 27296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6069
/proc/meminfo: memFree=31987148/32770624 swapFree=5760/118372
[pid=5911] ppid=5908 vsize=27296 CPUtime=2400 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 5555 0 0 0 240000 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4998864 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 27296

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

[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6069
/proc/meminfo: memFree=31987148/32770624 swapFree=5760/118372
[pid=5911] ppid=5908 vsize=27296 CPUtime=2400 cores=0,2,4,6
/proc/5911/stat : 5911 (cosoco) R 5908 5911 3752 0 -1 4202496 5555 0 0 0 240000 0 0 0 20 0 1 0 1870511 27951104 1028 33554432000 4194304 5744392 140725865848400 140725865845800 4998864 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 30498816 140725865850049 140725865850179 140725865850179 140725865852878 0
/proc/5911/statm: 6824 1028 814 379 0 243 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 27296

Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.01
CPU user time (s): 2400.01
CPU system time (s): 0.004
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 27296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.004
maximum resident set size= 4156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5583
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= 6
involuntary context switches= 1962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.35717 second user time and 7.99559 second system time

The end

Launcher Data 

Begin job on node149 at 2017-07-24 20:49:48
IDJOB=4252193
IDBENCH=124374
IDSOLVER=2633
FILE ID=node149/4252193-1500922188
RUNJOBID= node149-1500914920-3783
PBS_JOBID= 20625398
Free space on /tmp= 61904 MiB

SOLVER NAME= cosoco-mini 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-4252193-1500922188/watcher-4252193-1500922188 -o /tmp/evaluation-result-4252193-1500922188/solver-4252193-1500922188 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500914920-3783 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4252193-1500922188.xml

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

MD5SUM BENCH= cfab102c91084e040090bf0c1bc6cb0b
RANDOM SEED=448183565

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32115600 kB
MemAvailable:   32054412 kB
Buffers:           33176 kB
Cached:           220704 kB
SwapCached:            0 kB
Active:           176972 kB
Inactive:         125200 kB
Active(anon):      51792 kB
Inactive(anon):     8660 kB
Active(file):     125180 kB
Inactive(file):   116540 kB
Unevictable:        5760 kB
Mlocked:            5760 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2240 kB
Writeback:             0 kB
AnonPages:         54444 kB
Mapped:            29148 kB
Shmem:              8844 kB
Slab:              50584 kB
SReclaimable:      25856 kB
SUnreclaim:        24728 kB
KernelStack:        3264 kB
PageTables:         4736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     289000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61904 MiB
End job on node149 at 2017-07-24 21:29:48