Trace number 4260116

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-07-29)? (TO) 2400.0701 2400.3101

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.1 --  
0.00/0.09	c
0.00/0.09	c command line: cosoco -lc -model -restarts HOME/instance-4260116-1502024716.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.13	c 465            1181           177422         73379          60             0              44   50   44   
0.04/0.14	c 611            1392           220893         90626          60             0              45   50   46   
0.04/0.15	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.18	c 1585           2971           440720         166606         60             0              47   49   48   
0.04/0.19	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.24	c 2770           5805           770979         274938         60             0              44   46   45   
0.14/0.25	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.35	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.60	c 13111          21325          3525478        1390033        60             0              40   46   41   
0.54/0.64	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.78	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.87	c 23910          34672          5598256        2301345        60             0              39   42   41   
0.84/0.91	c 26388          37334          5971083        2434942        60             0              42   44   43   
0.84/0.96	c 29113          40348          6420318        2562289        60             0              44   48   46   
0.94/1.04	c 32110          43558          7027511        2849842        60             0              37   45   39   
1.04/1.13	c 35406          47477          7746033        3172615        60             0              36   47   39   
1.14/1.22	c 39031          51723          8385155        3488750        60             0              35   43   42   
1.24/1.30	c 43018          57780          9082873        3768423        60             0              35   45   43   
1.24/1.38	c 47403          62644          9789276        4076187        60             0              38   44   42   
1.34/1.46	c 52226          68019          10550542       4320198        60             0              39   44   43   
1.44/1.55	c 57531          74745          11276694       4575943        60             0              40   44   43   
1.54/1.67	c 63366          80996          12308234       5001706        60             0              37   45   42   
1.73/1.80	c 69784          87919          13464640       5480400        60             0              36   47   43   
1.83/1.92	c 76843          95869          14618341       5924440        60             0              42   46   45   
1.93/2.05	c 84607          105107         15782208       6489131        60             0              40   45   43   
2.03/2.17	c 93147          114723         16845699       6880951        60             0              41   45   44   
2.24/2.38	c 102541         124832         18690905       7706872        60             0              39   43   41   
2.43/2.55	c 112874         135936         20315183       8187710        60             0              40   45   43   
2.63/2.74	c 124240         149229         21984849       8793205        60             0              38   47   42   
2.83/2.94	c 136742         163454         23782541       9372407        60             0              40   44   43   
3.03/3.17	c 150494         181254         26109127       10198636       60             0              38   46   45   
3.43/3.58	c 165621         199905         29493300       11612473       60             0              38   46   39   
3.83/3.91	c 182260         219914         32234749       12804806       60             0              39   46   41   
4.03/4.14	c 200562         240645         34443138       13546504       60             0              42   49   47   
4.34/4.41	c 220694         262475         37315494       14338278       60             0              43   48   46   
4.53/4.68	c 242839         286205         40400647       14953219       60             0              45   48   46   
4.93/5.02	c 267198         313172         43928303       15996546       60             0              40   48   44   
5.44/5.60	c 293992         354794         49030323       17665245       60             0              44   46   45   
6.03/6.14	c 323465         386509         53845150       19729602       60             0              39   46   43   
6.64/6.76	c 355885         427131         59295684       21787211       60             0              39   49   43   
7.13/7.24	c 391547         464691         64514379       23094479       60             0              42   48   46   
7.64/7.76	c 430775         507430         69475961       24839067       60             0              39   48   46   
8.53/8.64	c 473925         554630         77692266       27869981       60             0              42   45   43   
9.13/9.27	c 521390         607238         84220882       29565051       60             0              42   47   45   
9.84/9.98	c 573601         662893         91675845       31777168       60             0              44   49   46   
10.73/10.88	c 631033         724240         100898578      34664790       60             0              43   49   45   
11.73/11.86	c 694208         792088         110878566      37643830       60             0              43   49   45   
12.73/12.83	c 763700         867165         120628844      41304205       60             0              39   46   45   
14.34/14.41	c 840141         949432         135377634      46602846       60             0              40   44   42   
15.63/15.71	c 924226         1045054        148992363      50098550       60             0              41   46   44   
17.13/17.21	c 1016719        1142765        163696339      54933923       60             0              39   47   44   
18.43/18.59	c 1118461        1264748        176797974      58871878       60             0              41   47   46   
20.43/20.54	c 1230377        1387301        195927915      65533661       60             0              38   45   44   
22.63/22.75	c 1353484        1518794        217127707      73119149       60             0              39   47   43   
25.13/25.23	c 1488901        1665912        241301455      82603088       60             0              38   45   42   
27.63/27.77	c 1637859        1825461        267647854      91729123       60             0              37   45   43   
30.23/30.30	c 1801712        2000806        292810904      101027953      60             0              38   46   43   
32.73/32.87	c 1981950        2197596        319570002      109962385      60             0              38   45   44   
35.43/35.56	c 2180211        2415483        346654899      117925224      60             0              38   46   44   
39.43/39.59	c 2398298        2644543        385274364      132381513      60             0              39   46   42   
44.43/44.58	c 2638193        2928311        429801411      149813987      60             0              38   47   43   
47.93/48.08	c 2902077        3211977        464620017      161129772      60             0              40   47   43   
52.63/52.70	c 3192349        3528931        511725536      175583888      60             0              40   47   43   
57.14/57.22	c 3511648        3895241        560554658      190201036      60             0              39   46   43   
62.33/62.43	c 3862876        4264554        614576163      207409904      60             0              41   45   43   
66.63/66.76	c 4249226        4680758        661906402      221023280      60             0              42   46   44   
71.93/72.08	c 4674211        5132496        718034847      235013897      60             0              40   46   44   
77.93/78.07	c 5141694        5625376        776660501      251186566      60             0              40   45   42   
83.73/83.81	c 5655925        6179639        836406041      264381167      60             0              38   45   44   
91.33/91.40	c 6221579        6788358        915016822      287030025      60             0              40   46   44   
99.93/100.05	c 6843798        7442533        1000349186     314522531      60             0              41   45   43   
110.23/110.35	c 7528238        8165016        1103222622     353510740      60             0              40   45   43   
121.22/121.32	c 8281122        8971446        1212905176     392802023      60             0              40   45   42   
133.32/133.40	c 9109294        10033377       1332680232     426194409      60             0              37   46   42   
147.02/147.13	c 10020283       11048269       1464480531     462462989      60             0              39   46   41   
164.52/164.63	c 11022370       12230631       1636215704     526881044      60             0              36   48   44   
184.73/184.87	c 12124665       13535997       1823671871     610418222      60             0              36   43   39   
203.22/203.31	c 13337189       14983605       1999468036     689126310      60             0              33   46   41   
231.32/231.44	c 14670965       16927037       2269961250     799347644      60             0              30   41   38   
251.71/251.89	c 16138118       18561179       2463671482     868859682      60             0              32   43   39   
280.52/280.69	c 17751986       20271735       2711964835     969162543      60             0              33   39   36   
322.11/322.29	c 19527240       23178797       3105509549     1149922284     60             0              34   45   40   
356.10/356.29	c 21480019       25352690       3417132269     1268189833     60             0              33   45   40   
407.50/407.65	c 23628075       28539972       3876538171     1481482443     60             0              33   45   39   
442.80/442.99	c 25990936       31070753       4222138167     1591444760     60             0              37   46   43   
485.40/485.53	c 28590083       33817863       4651024351     1729474878     60             0              33   44   40   
532.19/532.35	c 31449144       36887625       5102429080     1872404144     60             0              37   46   41   
587.39/587.57	c 34594111       40246538       5604592614     2078883770     60             0              37   43   41   
630.89/631.00	c 38053574       44330575       6040976619     2217653377     60             0              39   48   45   
682.48/682.67	c 41858983       48403885       6559334382     2360326490     60             0              36   47   41   
750.78/750.97	c 46044932       53551473       7192856240     2628924227     60             0              33   44   40   
817.37/817.51	c 50649475       59061732       7849236410     2804437133     60             0              34   43   40   
902.46/902.69	c 55714472       66360398       8686793281     3110921678     60             0              34   43   41   
979.06/979.29	c 61285968       73203062       9482852613     3345159735     60             0              33   44   40   
1064.95/1065.12	c 67414613       81055335       10345991691    3642308170     60             0              38   42   40   
1144.84/1145.09	c 74156122       88264268       11168067983    3918830556     60             0              31   43   41   
1236.34/1236.54	c 81571781       96138187       12121215453    4231905394     60             0              31   42   41   
1359.43/1359.63	c 89729005       104858865      13304218242    4653721253     60             0              29   44   39   
1484.52/1484.70	c 98701951       114633826      14496304711    5097254452     60             0              36   44   42   
1618.81/1619.02	c 108572191      125228070      15813857182    5539351715     60             0              40   44   42   
1784.20/1784.48	c 119429455      138562950      17519737941    6040898373     60             0              35   44   39   
1926.58/1926.82	c 131372445      153171305      18984011467    6429834628     60             0              33   48   44   
2064.37/2064.60	c 144509734      167105454      20461543079    6735042401     60             0              36   49   44   
2249.86/2250.13	c 158960751      183723492      22411813372    7230677828     60             0              37   46   43   
2400.05/2400.30	
2400.05/2400.30	c *** INTERRUPTED ***
2400.05/2400.30	c restarts              : 126         
2400.05/2400.30	c conflicts             : 173277307    (72197 /sec)
2400.05/2400.30	c decisions             : 200306448    (83459 /sec)
2400.05/2400.30	c propagations          : 7544340989  (3143403 /sec)
2400.05/2400.30	c root propagations     : 990         
2400.05/2400.30	c filter calls          : 23933788021    (9972182 /sec)
2400.05/2400.30	c useless filter calls  : 19556398782    (81 %)
2400.05/2400.30	c Memory used           : 26.66 MB
2400.05/2400.30	c CPU time              : 2400.06 s
2400.05/2400.30	
2400.05/2400.30	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-4260116-1502024716/watcher-4260116-1502024716 -o /tmp/evaluation-result-4260116-1502024716/solver-4260116-1502024716 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502014216-3974 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260116-1502024716.xml 

pid=5568
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.03 2.03 2.05 4/187 5571
/proc/meminfo: memFree=31503660/32770624 swapFree=0/341572
[pid=5571] ppid=5568 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5571/stat : 5571 (runsolver) D 5568 5571 2911 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 102124805 24240128 107 18446744073709551615 4194304 4338465 140730132325280 140730132322920 140251966206679 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 39882752 140730132332738 140730132333129 140730132333129 140730132336586 0
/proc/5571/statm: 5918 107 54 36 0 2156 0

[startup+0.100109 s]
/proc/loadavg: 2.03 2.03 2.05 4/187 5571
/proc/meminfo: memFree=31503660/32770624 swapFree=0/341572
[pid=5571] ppid=5568 vsize=27168 CPUtime=0.04 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 1175 0 0 0 4 0 0 0 20 0 1 0 102124805 27820032 1015 18446744073709551615 4194304 5747388 140736939710448 140736939707096 4906727 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6792 1015 814 380 0 210 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27168

[startup+0.200218 s]
/proc/loadavg: 2.03 2.03 2.05 4/187 5571
/proc/meminfo: memFree=31503660/32770624 swapFree=0/341572
[pid=5571] ppid=5568 vsize=27300 CPUtime=0.14 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 1187 0 0 0 14 0 0 0 20 0 1 0 102124805 27955200 1015 18446744073709551615 4194304 5747388 140736939710448 140736939707096 5000046 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1015 814 380 0 243 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 27300

[startup+0.300199 s]
/proc/loadavg: 2.03 2.03 2.05 4/187 5571
/proc/meminfo: memFree=31503660/32770624 swapFree=0/341572
[pid=5571] ppid=5568 vsize=27300 CPUtime=0.24 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 1187 0 0 0 24 0 0 0 20 0 1 0 102124805 27955200 1015 18446744073709551615 4194304 5747388 140736939710448 140736939707096 4995156 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1015 814 380 0 243 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 27300

[startup+0.700175 s]
/proc/loadavg: 2.03 2.03 2.05 4/187 5571
/proc/meminfo: memFree=31503660/32770624 swapFree=0/341572
[pid=5571] ppid=5568 vsize=27300 CPUtime=0.64 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 1187 0 0 0 64 0 0 0 20 0 1 0 102124805 27955200 1015 18446744073709551615 4194304 5747388 140736939710448 140736939707848 5121308 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1015 814 380 0 243 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 27300

[startup+1.50017 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 5572
/proc/meminfo: memFree=31502536/32770624 swapFree=0/341580
[pid=5571] ppid=5568 vsize=27300 CPUtime=1.44 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 1187 0 0 0 144 0 0 0 20 0 1 0 102124805 27955200 1015 18446744073709551615 4194304 5747388 140736939710448 140736939707848 5000064 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1015 814 380 0 243 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 27300

[startup+3.10017 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 5572
/proc/meminfo: memFree=31502536/32770624 swapFree=0/341580
[pid=5571] ppid=5568 vsize=27300 CPUtime=3.03 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 1339 0 0 0 303 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4919840 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 27300

[startup+6.30017 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 5572
/proc/meminfo: memFree=31502260/32770624 swapFree=0/341580
[pid=5571] ppid=5568 vsize=27300 CPUtime=6.23 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 1491 0 0 0 623 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 5000046 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 27300

[startup+12.7003 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 5572
/proc/meminfo: memFree=31502332/32770624 swapFree=0/341580
[pid=5571] ppid=5568 vsize=27300 CPUtime=12.63 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 1644 0 0 0 1263 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 5000032 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 27300

[startup+25.5003 s]
/proc/loadavg: 1.95 2.01 2.04 3/188 5572
/proc/meminfo: memFree=31502332/32770624 swapFree=0/341592
[pid=5571] ppid=5568 vsize=27300 CPUtime=25.43 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 1950 0 0 0 2543 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4919917 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 27300

[startup+51.1003 s]
/proc/loadavg: 1.97 2.01 2.04 3/185 5573
/proc/meminfo: memFree=31505072/32770624 swapFree=0/341620
[pid=5571] ppid=5568 vsize=27300 CPUtime=51.03 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 2103 0 0 0 5103 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4995488 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 27300

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/185 5574
/proc/meminfo: memFree=31505800/32770624 swapFree=0/341632
[pid=5571] ppid=5568 vsize=27300 CPUtime=102.23 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 2256 0 0 0 10223 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 5000032 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 27300

[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/185 5576
/proc/meminfo: memFree=31505368/32770624 swapFree=0/341680
[pid=5571] ppid=5568 vsize=27300 CPUtime=162.22 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 2409 0 0 0 16222 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 5000069 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 27300

[startup+222.306 s]
/proc/loadavg: 2.06 2.02 2.05 3/185 5578
/proc/meminfo: memFree=31505748/32770624 swapFree=0/341704
[pid=5571] ppid=5568 vsize=27300 CPUtime=222.22 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 2562 0 0 0 22222 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4905989 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 27300

[startup+282.3 s]
/proc/loadavg: 2.09 2.03 2.05 3/185 5581
/proc/meminfo: memFree=31505072/32770624 swapFree=0/341748
[pid=5571] ppid=5568 vsize=27300 CPUtime=282.21 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 2714 0 0 0 28221 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4873152 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 27300

[startup+342.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/184 5583
/proc/meminfo: memFree=31504964/32770624 swapFree=0/341780
[pid=5571] ppid=5568 vsize=27300 CPUtime=342.21 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 2867 0 0 0 34221 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 5000064 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 27300

[startup+402.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/184 5585
/proc/meminfo: memFree=31505176/32770624 swapFree=0/341796
[pid=5571] ppid=5568 vsize=27300 CPUtime=402.2 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 3003 0 0 0 40220 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 5000032 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 27300

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 5588
/proc/meminfo: memFree=31504672/32770624 swapFree=0/341816
[pid=5571] ppid=5568 vsize=27300 CPUtime=462.2 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 3173 0 0 0 46220 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 5000032 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 27300

[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 5591
/proc/meminfo: memFree=31504692/32770624 swapFree=0/341832
[pid=5571] ppid=5568 vsize=27300 CPUtime=522.19 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 3326 0 0 0 52219 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4919940 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 27300

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 5608
/proc/meminfo: memFree=31500380/32770624 swapFree=0/341892
[pid=5571] ppid=5568 vsize=27300 CPUtime=582.19 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 3463 0 0 0 58219 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4906069 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 27300


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


[startup+1542.31 s]
/proc/loadavg: 1.98 1.99 2.03 3/184 5680
/proc/meminfo: memFree=31504616/32770624 swapFree=0/342284
[pid=5571] ppid=5568 vsize=27300 CPUtime=1542.12 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 5842 0 0 0 154212 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4919958 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 27300

[startup+1602.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/185 5683
/proc/meminfo: memFree=31504296/32770624 swapFree=0/342296
[pid=5571] ppid=5568 vsize=27300 CPUtime=1602.11 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 5979 0 0 0 160211 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4919889 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 27300

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 5685
/proc/meminfo: memFree=31504304/32770624 swapFree=0/342308
[pid=5571] ppid=5568 vsize=27300 CPUtime=1662.1 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 6132 0 0 0 166210 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 5000032 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 27300

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 5687
/proc/meminfo: memFree=31504024/32770624 swapFree=0/342336
[pid=5571] ppid=5568 vsize=27300 CPUtime=1722.1 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 6269 0 0 0 172210 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 5000044 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 27300

[startup+1782.3 s]
/proc/loadavg: 2.07 2.01 2.05 3/188 5703
/proc/meminfo: memFree=31498796/32770624 swapFree=0/342384
[pid=5571] ppid=5568 vsize=27300 CPUtime=1782.1 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 6405 0 0 0 178210 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4919802 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 27300

[startup+1842.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/187 5705
/proc/meminfo: memFree=31498564/32770624 swapFree=0/342400
[pid=5571] ppid=5568 vsize=27300 CPUtime=1842.09 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 6558 0 0 0 184209 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4873191 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 1842.09
Current children cumulated vsize (KiB) 27300

[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/184 5707
/proc/meminfo: memFree=31501704/32770624 swapFree=0/342412
[pid=5571] ppid=5568 vsize=27300 CPUtime=1902.08 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 6695 0 0 0 190208 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4919889 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 1902.08
Current children cumulated vsize (KiB) 27300

[startup+1962.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/184 5709
/proc/meminfo: memFree=31502040/32770624 swapFree=0/342432
[pid=5571] ppid=5568 vsize=27300 CPUtime=1962.08 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 6848 0 0 0 196208 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4919893 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 1962.08
Current children cumulated vsize (KiB) 27300

[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 5711
/proc/meminfo: memFree=31502304/32770624 swapFree=0/342444
[pid=5571] ppid=5568 vsize=27300 CPUtime=2022.08 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 6986 0 0 0 202208 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 5000032 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 2022.08
Current children cumulated vsize (KiB) 27300

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 5715
/proc/meminfo: memFree=31502592/32770624 swapFree=0/342464
[pid=5571] ppid=5568 vsize=27300 CPUtime=2082.08 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 7139 0 0 0 208208 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 5000032 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 2082.08
Current children cumulated vsize (KiB) 27300

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 5717
/proc/meminfo: memFree=31503052/32770624 swapFree=0/342488
[pid=5571] ppid=5568 vsize=27300 CPUtime=2142.07 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 7276 0 0 0 214207 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4919893 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 2142.07
Current children cumulated vsize (KiB) 27300

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 5719
/proc/meminfo: memFree=31503272/32770624 swapFree=0/342516
[pid=5571] ppid=5568 vsize=27300 CPUtime=2202.07 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 7413 0 0 0 220207 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 5121308 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 2202.07
Current children cumulated vsize (KiB) 27300

[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 5722
/proc/meminfo: memFree=31503140/32770624 swapFree=0/342548
[pid=5571] ppid=5568 vsize=27300 CPUtime=2262.06 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 7567 0 0 0 226206 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4919798 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 2262.06
Current children cumulated vsize (KiB) 27300

[startup+2322.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/185 5724
/proc/meminfo: memFree=31502168/32770624 swapFree=0/342564
[pid=5571] ppid=5568 vsize=27300 CPUtime=2322.05 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 7705 0 0 0 232205 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4995402 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 2322.05
Current children cumulated vsize (KiB) 27300

[startup+2382.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 5801
/proc/meminfo: memFree=31374576/32770624 swapFree=0/342628
[pid=5571] ppid=5568 vsize=27300 CPUtime=2382.05 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 7843 0 0 0 238205 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 5000032 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 2382.05
Current children cumulated vsize (KiB) 27300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 5802
/proc/meminfo: memFree=31374208/32770624 swapFree=0/342636
[pid=5571] ppid=5568 vsize=27300 CPUtime=2400.05 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 7980 0 0 0 240005 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4919889 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 27300

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

[startup+2400.31 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 5802
/proc/meminfo: memFree=31374208/32770624 swapFree=0/342636
[pid=5571] ppid=5568 vsize=27300 CPUtime=2400.05 cores=0,2,4,6
/proc/5571/stat : 5571 (cosoco) R 5568 5571 2911 0 -1 4202496 7980 0 0 0 240005 0 0 0 20 0 1 0 102124805 27955200 1029 18446744073709551615 4194304 5747388 140736939710448 140736939707848 4919889 0 0 1 8405026 0 0 0 17 4 0 0 5 0 0 7845728 7850568 32440320 140736939717102 140736939717197 140736939717197 140736939720654 0
/proc/5571/statm: 6825 1029 815 380 0 243 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 27300

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.07
CPU user time (s): 2400.06
CPU system time (s): 0.009999
CPU usage (%): 99.99
Max. virtual memory (cumulated for all children) (KiB): 27300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.06
system time used= 0.009999
maximum resident set size= 4180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8029
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= 3915

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25447 second user time and 7.96324 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-06 14:50:55
IDJOB=4260116
IDBENCH=124374
IDSOLVER=2647
FILE ID=node132/4260116-1502024716
RUNJOBID= node132-1502014216-3974
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-mini 1.1
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-4260116-1502024716/watcher-4260116-1502024716 -o /tmp/evaluation-result-4260116-1502024716/solver-4260116-1502024716 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502014216-3974 --watchdog 2560  cosoco -lc -model -restarts HOME/instance-4260116-1502024716.xml

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

MD5SUM BENCH= cfab102c91084e040090bf0c1bc6cb0b
RANDOM SEED=1812936066

node132.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.74
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.74
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.74
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.74
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:        31503940 kB
MemAvailable:   31985688 kB
Buffers:          203040 kB
Cached:           577884 kB
SwapCached:            0 kB
Active:           468376 kB
Inactive:         374200 kB
Active(anon):      62392 kB
Inactive(anon):    32628 kB
Active(file):     405984 kB
Inactive(file):   341572 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2024 kB
Writeback:             4 kB
AnonPages:         61120 kB
Mapped:            50296 kB
Shmem:             33468 kB
Slab:             126872 kB
SReclaimable:     100052 kB
SUnreclaim:        26820 kB
KernelStack:        3312 kB
PageTables:         5032 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     330672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 62028 MiB
End job on node132 at 2017-08-06 15:30:56