Trace number 4268052

Some explanations

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

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

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

Solver answer on this benchmark

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

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.09	c root propagations     : 990         
0.00/0.09	c restarts enabled, print stats at every restarts
0.00/0.09	c
0.00/0.09	c
0.00/0.09	c
0.00/0.09	c This is cosoco 1.12 --  
0.00/0.09	c
0.00/0.09	c command line: cosoco -lc -model -restarts HOME/instance-4268052-1502522252.xml 
0.00/0.09	c ========================================[ Problem Statistics ]===========================================
0.00/0.09	c |                                                                                                       
0.00/0.09	c |  Parse time        :         0.03 s 
0.00/0.09	c |
0.00/0.09	c |               Variables: 120
0.00/0.09	c |            Domain Sizes: 30..60
0.00/0.09	c |
0.00/0.09	c |             Constraints: 90
0.00/0.09	c |                   Arity: 2..61  -- Binary: 30
0.00/0.09	c | 
0.00/0.09	c |                   Types: 
0.00/0.09	c |                          Element Constant: 60
0.00/0.09	c |                          Intension: 30
0.00/0.09	c |                          
0.00/0.09	c =========================================================================================================
0.00/0.09	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.04/0.10	c 101            359            39044          8416           60             0              89   108   92  
0.04/0.11	c 211            746            97297          33376          60             0              41   53   45   
0.04/0.12	c 332            941            135703         51036          60             0              43   46   43   
0.04/0.12	c 465            1181           177422         73379          60             0              44   50   44   
0.04/0.13	c 611            1392           220893         90626          60             0              45   50   46   
0.04/0.14	c 771            1650           270197         109219         60             0              40   48   45   
0.04/0.15	c 947            1978           312921         125846         60             0              47   49   47   
0.04/0.16	c 1140           2264           357024         141299         60             0              42   44   42   
0.04/0.17	c 1352           2534           399598         154910         60             0              45   47   45   
0.04/0.17	c 1585           2971           440720         166606         60             0              47   49   48   
0.04/0.18	c 1841           3422           492640         181589         60             0              44   46   45   
0.14/0.20	c 2122           4194           578825         210050         60             0              42   45   42   
0.14/0.22	c 2431           5115           699067         254264         60             0              44   47   45   
0.14/0.23	c 2770           5805           770979         274938         60             0              44   46   45   
0.14/0.24	c 3142           6339           838462         295761         60             0              42   48   45   
0.14/0.26	c 3551           6958           918603         332070         60             0              38   47   43   
0.14/0.27	c 4000           7671           1021187        360910         60             0              40   44   41   
0.14/0.29	c 4493           8532           1115526        402813         60             0              38   46   41   
0.24/0.31	c 5035           9505           1271447        464542         60             0              41   48   44   
0.24/0.34	c 5631           10330          1537175        606135         60             0              37   49   38   
0.24/0.38	c 6286           11531          1776747        700494         60             0              37   47   39   
0.34/0.40	c 7006           12587          1930766        746279         60             0              40   46   44   
0.34/0.43	c 7798           13955          2182707        848468         60             0              38   47   42   
0.34/0.47	c 8669           15098          2421923        957793         60             0              38   43   40   
0.34/0.49	c 9627           16329          2586009        1014988        60             0              40   47   44   
0.44/0.53	c 10680          17655          2890583        1166657        60             0              39   46   40   
0.44/0.57	c 11838          19474          3238262        1303506        60             0              39   47   41   
0.54/0.61	c 13111          21325          3525478        1390033        60             0              40   46   41   
0.54/0.65	c 14511          23060          3822122        1501177        60             0              40   46   42   
0.54/0.69	c 16051          25120          4173364        1667270        60             0              39   45   41   
0.64/0.73	c 17745          27167          4505035        1806343        60             0              42   45   44   
0.64/0.79	c 19608          29340          4898362        2012031        60             0              39   48   42   
0.74/0.83	c 21657          31764          5258334        2169388        60             0              44   45   44   
0.74/0.88	c 23910          34672          5598256        2301345        60             0              39   42   41   
0.84/0.92	c 26388          37334          5971083        2434942        60             0              42   44   43   
0.84/0.97	c 29113          40348          6420318        2562289        60             0              44   48   46   
0.94/1.05	c 32110          43558          7027511        2849842        60             0              37   45   39   
1.04/1.15	c 35406          47477          7746033        3172615        60             0              36   47   39   
1.14/1.23	c 39031          51723          8385155        3488750        60             0              35   43   42   
1.24/1.32	c 43018          57780          9082873        3768423        60             0              35   45   43   
1.34/1.40	c 47403          62644          9789276        4076187        60             0              38   44   42   
1.34/1.49	c 52226          68019          10550542       4320198        60             0              39   44   43   
1.44/1.58	c 57531          74745          11276694       4575943        60             0              40   44   43   
1.54/1.70	c 63366          80996          12308234       5001706        60             0              37   45   42   
1.74/1.83	c 69784          87919          13464640       5480400        60             0              36   47   43   
1.84/1.95	c 76843          95869          14618341       5924440        60             0              42   46   45   
1.94/2.09	c 84607          105107         15782208       6489131        60             0              40   45   43   
2.14/2.21	c 93147          114723         16845699       6880951        60             0              41   45   44   
2.34/2.43	c 102541         124832         18690905       7706872        60             0              39   43   41   
2.54/2.60	c 112874         135936         20315183       8187710        60             0              40   45   43   
2.64/2.79	c 124240         149229         21984849       8793205        60             0              38   47   42   
2.94/3.00	c 136742         163454         23782541       9372407        60             0              40   44   43   
3.14/3.24	c 150494         181254         26109127       10198636       60             0              38   46   45   
3.54/3.66	c 165621         199905         29493300       11612473       60             0              38   46   39   
3.94/4.00	c 182260         219914         32234749       12804806       60             0              39   46   41   
4.14/4.24	c 200562         240645         34443138       13546504       60             0              42   49   47   
4.44/4.52	c 220694         262475         37315494       14338278       60             0              43   48   46   
4.64/4.79	c 242839         286205         40400647       14953219       60             0              45   48   46   
5.04/5.15	c 267198         313172         43928303       15996546       60             0              40   48   44   
5.64/5.74	c 293992         354794         49030323       17665245       60             0              44   46   45   
6.24/6.30	c 323465         386509         53845150       19729602       60             0              39   46   43   
6.84/6.93	c 355885         427131         59295684       21787211       60             0              39   49   43   
7.34/7.43	c 391547         464691         64514379       23094479       60             0              42   48   46   
7.84/7.97	c 430775         507430         69475961       24839067       60             0              39   48   46   
8.74/8.87	c 473925         554630         77692266       27869981       60             0              42   45   43   
9.44/9.52	c 521390         607238         84220882       29565051       60             0              42   47   45   
10.14/10.24	c 573601         662893         91675845       31777168       60             0              44   49   46   
11.04/11.16	c 631033         724240         100898578      34664790       60             0              43   49   45   
12.04/12.16	c 694208         792088         110878566      37643830       60             0              43   49   45   
13.04/13.18	c 763700         867165         120628844      41304205       60             0              39   46   45   
14.74/14.80	c 840141         949432         135377634      46602846       60             0              40   44   42   
16.04/16.14	c 924226         1045054        148992363      50098550       60             0              41   46   44   
17.54/17.65	c 1016719        1142765        163696339      54933923       60             0              39   47   44   
18.94/19.07	c 1118461        1264748        176797974      58871878       60             0              41   47   46   
20.94/21.06	c 1230377        1387301        195927915      65533661       60             0              38   45   44   
23.24/23.31	c 1353484        1518794        217127707      73119149       60             0              39   47   43   
25.74/25.86	c 1488901        1665912        241301455      82603088       60             0              38   45   42   
28.34/28.47	c 1637859        1825461        267647854      91729123       60             0              37   45   43   
30.94/31.08	c 1801712        2000806        292810904      101027953      60             0              38   46   43   
33.64/33.74	c 1981950        2197596        319570002      109962385      60             0              38   45   44   
36.44/36.52	c 2180211        2415483        346654899      117925224      60             0              38   46   44   
40.54/40.62	c 2398298        2644543        385274364      132381513      60             0              39   46   42   
45.64/45.70	c 2638193        2928311        429801411      149813987      60             0              38   47   43   
49.14/49.25	c 2902077        3211977        464620017      161129772      60             0              40   47   43   
53.85/53.97	c 3192349        3528931        511725536      175583888      60             0              40   47   43   
58.54/58.63	c 3511648        3895241        560554658      190201036      60             0              39   46   43   
63.94/64.05	c 3862876        4264554        614576163      207409904      60             0              41   45   43   
68.44/68.51	c 4249226        4680758        661906402      221023280      60             0              42   46   44   
73.94/74.05	c 4674211        5132496        718034847      235013897      60             0              40   46   44   
80.14/80.22	c 5141694        5625376        776660501      251186566      60             0              40   45   42   
86.04/86.10	c 5655925        6179639        836406041      264381167      60             0              38   45   44   
93.94/94.00	c 6221579        6788358        915016822      287030025      60             0              40   46   44   
102.85/102.92	c 6843798        7442533        1000349186     314522531      60             0              41   45   43   
113.45/113.50	c 7528238        8165016        1103222622     353510740      60             0              40   45   43   
124.75/124.89	c 8281122        8971446        1212905176     392802023      60             0              40   45   42   
137.05/137.11	c 9109294        10033377       1332680232     426194409      60             0              37   46   42   
150.95/151.08	c 10020283       11048269       1464480531     462462989      60             0              39   46   41   
169.05/169.16	c 11022370       12230631       1636215704     526881044      60             0              36   48   44   
189.65/189.70	c 12124665       13535997       1823671871     610418222      60             0              36   43   39   
208.75/208.83	c 13337189       14983605       1999468036     689126310      60             0              33   46   41   
237.56/237.66	c 14670965       16927037       2269961250     799347644      60             0              30   41   38   
258.46/258.51	c 16138118       18561179       2463671482     868859682      60             0              32   43   39   
288.06/288.10	c 17751986       20271735       2711964835     969162543      60             0              33   39   36   
330.46/330.50	c 19527240       23178797       3105509549     1149922284     60             0              34   45   40   
365.36/365.44	c 21480019       25352690       3417132269     1268189833     60             0              33   45   40   
417.77/417.84	c 23628075       28539972       3876538171     1481482443     60             0              33   45   39   
453.67/453.76	c 25990936       31070753       4222138167     1591444760     60             0              37   46   43   
497.48/497.55	c 28590083       33817863       4651024351     1729474878     60             0              33   44   40   
545.48/545.50	c 31449144       36887625       5102429080     1872404144     60             0              37   46   41   
602.48/602.55	c 34594111       40246538       5604592614     2078883770     60             0              37   43   41   
646.68/646.78	c 38053574       44330575       6040976619     2217653377     60             0              39   48   45   
699.39/699.46	c 41858983       48403885       6559334382     2360326490     60             0              36   47   41   
769.69/769.77	c 46044932       53551473       7192856240     2628924227     60             0              33   44   40   
837.70/837.72	c 50649475       59061732       7849236410     2804437133     60             0              34   43   40   
924.90/924.90	c 55714472       66360398       8686793281     3110921678     60             0              34   43   41   
1003.01/1003.01	c 61285968       73203062       9482852613     3345159735     60             0              33   44   40   
1089.92/1089.92	c 67414613       81055335       10345991691    3642308170     60             0              38   42   40   
1171.72/1171.72	c 74156122       88264268       11168067983    3918830556     60             0              31   43   41   
1266.63/1266.66	c 81571781       96138187       12121215453    4231905394     60             0              31   42   41   
1393.24/1393.24	c 89729005       104858865      13304218242    4653721253     60             0              29   44   39   
1519.96/1519.99	c 98701951       114633826      14496304711    5097254452     60             0              36   44   42   
1657.77/1657.77	c 108572191      125228070      15813857182    5539351715     60             0              40   44   42   
1828.88/1828.81	c 119429455      138562950      17519737941    6040898373     60             0              35   44   39   
1974.70/1974.61	c 131372445      153171305      18984011467    6429834628     60             0              33   48   44   
2116.90/2116.84	c 144509734      167105454      20461543079    6735042401     60             0              36   49   44   
2309.52/2309.42	c 158960751      183723492      22411813372    7230677828     60             0              37   46   43   
2481.43/2481.37	c 174856869      202133520      24102419643    7580945824     60             0              44   49   47   
2520.04/2519.90	
2520.04/2519.90	c *** INTERRUPTED ***
2520.04/2519.90	c restarts              : 127         
2520.04/2519.90	c conflicts             : 177273619    (70346 /sec)
2520.04/2519.90	c decisions             : 204750093    (81249 /sec)
2520.04/2519.90	c propagations          : 7703253159  (3056808 /sec)
2520.04/2519.90	c root propagations     : 990         
2520.04/2519.90	c filter calls          : 24461532265    (9706836 /sec)
2520.04/2519.90	c useless filter calls  : 19990680144    (81 %)
2520.04/2519.90	c Memory used           : 26.88 MB
2520.04/2519.90	c CPU time              : 2520.03 s
2520.04/2519.90	
2520.04/2519.90	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268052-1502522252/watcher-4268052-1502522252 -o /tmp/evaluation-result-4268052-1502522252/solver-4268052-1502522252 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28377 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268052-1502522252.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 4/185 2596
/proc/meminfo: memFree=31084752/32770624 swapFree=0/454924
[pid=2596] ppid=2593 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/2596/stat : 2596 (runsolver) D 2593 2596 28313 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 100040446 24240128 106 18446744073709551615 4194304 4338465 140728507864480 140728507862120 140697858499287 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 7929856 140728507871425 140728507871817 140728507871817 140728507875274 0
/proc/2596/statm: 5918 106 53 36 0 2156 0

[startup+0.100197 s]
/proc/loadavg: 2.00 2.01 2.05 4/185 2596
/proc/meminfo: memFree=31084752/32770624 swapFree=0/454924
[pid=2596] ppid=2593 vsize=27520 CPUtime=0.04 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 1203 0 0 0 4 0 0 0 20 0 1 0 100040446 28180480 1027 18446744073709551615 4194304 5972588 140732849946112 140732849942760 5328624 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1027 830 435 0 243 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27520

[startup+0.200334 s]
/proc/loadavg: 2.00 2.01 2.05 4/185 2596
/proc/meminfo: memFree=31084752/32770624 swapFree=0/454924
[pid=2596] ppid=2593 vsize=27520 CPUtime=0.14 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 1207 0 0 0 14 0 0 0 20 0 1 0 100040446 28180480 1027 18446744073709551615 4194304 5972588 140732849946112 140732849942760 4995502 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1027 830 435 0 243 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 27520

[startup+0.300316 s]
/proc/loadavg: 2.00 2.01 2.05 4/185 2596
/proc/meminfo: memFree=31084752/32770624 swapFree=0/454924
[pid=2596] ppid=2593 vsize=27520 CPUtime=0.24 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 1207 0 0 0 24 0 0 0 20 0 1 0 100040446 28180480 1027 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5071792 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1027 830 435 0 243 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 27520

[startup+0.700276 s]
/proc/loadavg: 2.00 2.01 2.05 4/185 2596
/proc/meminfo: memFree=31084752/32770624 swapFree=0/454924
[pid=2596] ppid=2593 vsize=27520 CPUtime=0.64 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 1207 0 0 0 64 0 0 0 20 0 1 0 100040446 28180480 1027 18446744073709551615 4194304 5972588 140732849946112 140732849943416 4965365 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1027 830 435 0 243 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 27520

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2597
/proc/meminfo: memFree=31084024/32770624 swapFree=0/454944
[pid=2596] ppid=2593 vsize=27520 CPUtime=1.44 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 1207 0 0 0 144 0 0 0 20 0 1 0 100040446 28180480 1027 18446744073709551615 4194304 5972588 140732849946112 140732849943416 4965365 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1027 830 435 0 243 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 27520

[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2597
/proc/meminfo: memFree=31084000/32770624 swapFree=0/454944
[pid=2596] ppid=2593 vsize=27520 CPUtime=3.04 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 1362 0 0 0 304 0 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 4995517 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 27520

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2597
/proc/meminfo: memFree=31084004/32770624 swapFree=0/454944
[pid=2596] ppid=2593 vsize=27520 CPUtime=6.24 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 1517 0 0 0 624 0 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5320821 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 27520

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2597
/proc/meminfo: memFree=31083756/32770624 swapFree=0/454944
[pid=2596] ppid=2593 vsize=27520 CPUtime=12.64 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 1672 0 0 0 1264 0 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5099616 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 27520

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2597
/proc/meminfo: memFree=31084004/32770624 swapFree=0/454944
[pid=2596] ppid=2593 vsize=27520 CPUtime=25.44 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 1982 0 0 0 2544 0 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 4995408 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 27520

[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 2598
/proc/meminfo: memFree=31084128/32770624 swapFree=0/454928
[pid=2596] ppid=2593 vsize=27520 CPUtime=51.04 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 2137 0 0 0 5104 0 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 4995549 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 27520

[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 2600
/proc/meminfo: memFree=31084376/32770624 swapFree=0/454936
[pid=2596] ppid=2593 vsize=27520 CPUtime=102.25 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 2292 0 0 0 10225 0 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 4995572 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 27520

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 2602
/proc/meminfo: memFree=31084120/32770624 swapFree=0/454948
[pid=2596] ppid=2593 vsize=27520 CPUtime=162.25 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 2447 0 0 0 16225 0 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 4908987 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 27520

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2605
/proc/meminfo: memFree=31084332/32770624 swapFree=0/454940
[pid=2596] ppid=2593 vsize=27520 CPUtime=222.26 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 2602 0 0 0 22226 0 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5094148 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 27520

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2607
/proc/meminfo: memFree=31084216/32770624 swapFree=0/454948
[pid=2596] ppid=2593 vsize=27520 CPUtime=282.26 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 2602 0 0 0 28226 0 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 4995590 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 27520

[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 2609
/proc/meminfo: memFree=31084484/32770624 swapFree=0/454948
[pid=2596] ppid=2593 vsize=27520 CPUtime=342.26 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 2758 0 0 0 34226 0 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5099648 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 27520

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 2625
/proc/meminfo: memFree=31079744/32770624 swapFree=0/454964
[pid=2596] ppid=2593 vsize=27520 CPUtime=402.27 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 2758 0 0 0 40227 0 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 4995521 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 27520

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 2628
/proc/meminfo: memFree=31079780/32770624 swapFree=0/454980
[pid=2596] ppid=2593 vsize=27520 CPUtime=462.27 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 2913 0 0 0 46227 0 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5099648 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 27520

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 2630
/proc/meminfo: memFree=31081920/32770624 swapFree=0/454984
[pid=2596] ppid=2593 vsize=27520 CPUtime=522.28 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 2913 0 0 0 52228 0 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5099648 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 27520

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2633
/proc/meminfo: memFree=31082404/32770624 swapFree=0/455004
[pid=2596] ppid=2593 vsize=27520 CPUtime=582.28 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 3068 0 0 0 58228 0 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5338560 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 27520


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


[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 2766
/proc/meminfo: memFree=31017832/32770624 swapFree=0/455260
[pid=2596] ppid=2593 vsize=27520 CPUtime=1662.37 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 4463 0 0 0 166236 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 4995572 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 27520

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 2768
/proc/meminfo: memFree=31021268/32770624 swapFree=0/455268
[pid=2596] ppid=2593 vsize=27520 CPUtime=1722.37 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 4463 0 0 0 172236 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5094232 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 27520

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 2771
/proc/meminfo: memFree=31020904/32770624 swapFree=0/455280
[pid=2596] ppid=2593 vsize=27520 CPUtime=1782.38 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 4603 0 0 0 178237 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 4995479 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 27520

[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 2773
/proc/meminfo: memFree=31020848/32770624 swapFree=0/455300
[pid=2596] ppid=2593 vsize=27520 CPUtime=1842.38 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 4618 0 0 0 184237 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5099616 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 1842.38
Current children cumulated vsize (KiB) 27520

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 2775
/proc/meminfo: memFree=31021364/32770624 swapFree=0/455308
[pid=2596] ppid=2593 vsize=27520 CPUtime=1902.39 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 4753 0 0 0 190238 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 4995530 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 1902.39
Current children cumulated vsize (KiB) 27520

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 2777
/proc/meminfo: memFree=31021332/32770624 swapFree=0/455320
[pid=2596] ppid=2593 vsize=27520 CPUtime=1962.39 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 4756 0 0 0 196238 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 4908987 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 1962.39
Current children cumulated vsize (KiB) 27520

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2780
/proc/meminfo: memFree=31021320/32770624 swapFree=0/455328
[pid=2596] ppid=2593 vsize=27520 CPUtime=2022.4 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 4912 0 0 0 202239 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5312488 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 2022.4
Current children cumulated vsize (KiB) 27520

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2783
/proc/meminfo: memFree=31021280/32770624 swapFree=0/455340
[pid=2596] ppid=2593 vsize=27520 CPUtime=2082.41 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 4912 0 0 0 208240 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5099648 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 2082.41
Current children cumulated vsize (KiB) 27520

[startup+2142.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/186 2785
/proc/meminfo: memFree=31021532/32770624 swapFree=0/455344
[pid=2596] ppid=2593 vsize=27520 CPUtime=2142.41 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 5067 0 0 0 214240 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5099616 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 2142.41
Current children cumulated vsize (KiB) 27520

[startup+2202.31 s]
/proc/loadavg: 2.06 2.05 2.05 3/189 2801
/proc/meminfo: memFree=31017144/32770624 swapFree=0/455360
[pid=2596] ppid=2593 vsize=27520 CPUtime=2202.42 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 5067 0 0 0 220241 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5338560 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 2202.42
Current children cumulated vsize (KiB) 27520

[startup+2262.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/189 2803
/proc/meminfo: memFree=31017336/32770624 swapFree=0/455384
[pid=2596] ppid=2593 vsize=27520 CPUtime=2262.42 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 5206 0 0 0 226241 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5321159 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 2262.42
Current children cumulated vsize (KiB) 27520

[startup+2322.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/186 2806
/proc/meminfo: memFree=31020308/32770624 swapFree=0/455396
[pid=2596] ppid=2593 vsize=27520 CPUtime=2322.42 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 5222 0 0 0 232241 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 4995443 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 2322.42
Current children cumulated vsize (KiB) 27520

[startup+2382.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 2808
/proc/meminfo: memFree=31020312/32770624 swapFree=0/455400
[pid=2596] ppid=2593 vsize=27520 CPUtime=2382.43 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 5361 0 0 0 238242 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5053071 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 2382.43
Current children cumulated vsize (KiB) 27520

[startup+2442.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 2810
/proc/meminfo: memFree=31020864/32770624 swapFree=0/455416
[pid=2596] ppid=2593 vsize=27520 CPUtime=2442.43 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 5361 0 0 0 244242 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 4995434 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 2442.43
Current children cumulated vsize (KiB) 27520

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 2812
/proc/meminfo: memFree=31021116/32770624 swapFree=0/455432
[pid=2596] ppid=2593 vsize=27520 CPUtime=2502.44 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 5516 0 0 0 250243 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 4995465 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 2502.44
Current children cumulated vsize (KiB) 27520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 2813
/proc/meminfo: memFree=31021240/32770624 swapFree=0/455428
[pid=2596] ppid=2593 vsize=27520 CPUtime=2520.04 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 5516 0 0 0 252003 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5320400 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 2520.04
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 2596 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2519.9 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 2813
/proc/meminfo: memFree=31021240/32770624 swapFree=0/455428
[pid=2596] ppid=2593 vsize=27520 CPUtime=2520.04 cores=0,2,4,6
/proc/2596/stat : 2596 (cosoco) R 2593 2596 28313 0 -1 4202496 5516 0 0 0 252003 1 0 0 20 0 1 0 100040446 28180480 1048 18446744073709551615 4194304 5972588 140732849946112 140732849943416 5320400 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 8070896 8075904 21782528 140732849951214 140732849951309 140732849951309 140732849954766 0
/proc/2596/statm: 6880 1048 833 435 0 243 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 27520

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.04
CPU user time (s): 2520.03
CPU system time (s): 0.011
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 27520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.03
system time used= 0.011
maximum resident set size= 4260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5554
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= 10
involuntary context switches= 1652

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70716 second user time and 8.25784 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-12 09:03:25
IDJOB=4268052
IDBENCH=124374
IDSOLVER=2658
FILE ID=node133/4268052-1502522252
RUNJOBID= node133-1502500327-28377
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-30.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268052-1502522252/watcher-4268052-1502522252 -o /tmp/evaluation-result-4268052-1502522252/solver-4268052-1502522252 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28377 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268052-1502522252.xml

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

MD5SUM BENCH= cfab102c91084e040090bf0c1bc6cb0b
RANDOM SEED=889926515

node133.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.17
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.17
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.17
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.17
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:        31084556 kB
MemAvailable:   31968852 kB
Buffers:          304316 kB
Cached:           881084 kB
SwapCached:            0 kB
Active:           754148 kB
Inactive:         496488 kB
Active(anon):      65100 kB
Inactive(anon):    41304 kB
Active(file):     689048 kB
Inactive(file):   455184 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2360 kB
Writeback:             0 kB
AnonPages:         64560 kB
Mapped:            54888 kB
Shmem:             41660 kB
Slab:             138956 kB
SReclaimable:     111800 kB
SUnreclaim:        27156 kB
KernelStack:        3328 kB
PageTables:         4620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62028 MiB
End job on node133 at 2017-08-12 09:45:25