Trace number 4408190

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 2.0? (TO) 2520.04 2519.7

General information on the benchmark

NameLangford/Langford-m2-s1/
LangfordBin-25.xml
MD5SUMff4f1513315dd8e08dcc4cf2bbbe3209
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 variables100
Number of constraints75
Number of domains2
Minimum domain size25
Maximum domain size50
Distribution of domain sizes[{"size":25,"count":50},{"size":50,"count":50}]
Minimum variable degree2
Maximum variable degree50
Distribution of variable degrees[{"degree":2,"count":50},{"degree":50,"count":50}]
Minimum constraint arity2
Maximum constraint arity51
Distribution of constraint arities[{"arity":2,"count":25},{"arity":51,"count":50}]
Number of extensional constraints0
Number of intensional constraints25
Distribution of constraint types[{"type":"intension","count":25},{"type":"element","count":50}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c
0.00/0.00	c This is cosoco 2.00 --  
0.00/0.00	c
0.00/0.00	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408190-1569794602.xml 
0.00/0.00	c intension  eq(add(p[1],2),p[0]) -> extension (support ? 1) - 48tuples
0.00/0.01	c intension  eq(add(p[3],3),p[2]) -> extension (support ? 1) - 47tuples
0.00/0.01	c intension  eq(add(p[5],4),p[4]) -> extension (support ? 1) - 46tuples
0.00/0.01	c intension  eq(add(p[7],5),p[6]) -> extension (support ? 1) - 45tuples
0.00/0.01	c intension  eq(add(p[9],6),p[8]) -> extension (support ? 1) - 44tuples
0.00/0.01	c intension  eq(add(p[11],7),p[10]) -> extension (support ? 1) - 43tuples
0.00/0.01	c intension  eq(add(p[13],8),p[12]) -> extension (support ? 1) - 42tuples
0.00/0.02	c intension  eq(add(p[15],9),p[14]) -> extension (support ? 1) - 41tuples
0.00/0.02	c intension  eq(add(p[17],10),p[16]) -> extension (support ? 1) - 40tuples
0.00/0.02	c intension  eq(add(p[19],11),p[18]) -> extension (support ? 1) - 39tuples
0.00/0.02	c intension  eq(add(p[21],12),p[20]) -> extension (support ? 1) - 38tuples
0.00/0.02	c intension  eq(add(p[23],13),p[22]) -> extension (support ? 1) - 37tuples
0.00/0.02	c intension  eq(add(p[25],14),p[24]) -> extension (support ? 1) - 36tuples
0.00/0.03	c intension  eq(add(p[27],15),p[26]) -> extension (support ? 1) - 35tuples
0.00/0.03	c intension  eq(add(p[29],16),p[28]) -> extension (support ? 1) - 34tuples
0.00/0.03	c intension  eq(add(p[31],17),p[30]) -> extension (support ? 1) - 33tuples
0.00/0.03	c intension  eq(add(p[33],18),p[32]) -> extension (support ? 1) - 32tuples
0.00/0.03	c intension  eq(add(p[35],19),p[34]) -> extension (support ? 1) - 31tuples
0.00/0.03	c intension  eq(add(p[37],20),p[36]) -> extension (support ? 1) - 30tuples
0.00/0.03	c intension  eq(add(p[39],21),p[38]) -> extension (support ? 1) - 29tuples
0.00/0.04	c intension  eq(add(p[41],22),p[40]) -> extension (support ? 1) - 28tuples
0.00/0.04	c intension  eq(add(p[43],23),p[42]) -> extension (support ? 1) - 27tuples
0.00/0.04	c intension  eq(add(p[45],24),p[44]) -> extension (support ? 1) - 26tuples
0.00/0.04	c intension  eq(add(p[47],25),p[46]) -> extension (support ? 1) - 25tuples
0.00/0.04	c intension  eq(add(p[49],26),p[48]) -> extension (support ? 1) - 24tuples
0.00/0.04	c root propagations     : 700         
0.00/0.04	c restarts enabled, print stats at every restarts
0.00/0.04	c
0.00/0.04	c
0.00/0.04	c ========================================[ Problem Statistics ]===========================================
0.00/0.04	c |                                                                                                       
0.00/0.04	c |  Parse time        :         0.04 s 
0.00/0.04	c |
0.00/0.04	c |               Variables: 100
0.00/0.04	c |            Domain Sizes: 25..50
0.00/0.04	c |
0.00/0.04	c |             Constraints: 75
0.00/0.04	c |                   Arity: 2..51  -- Binary: 25
0.00/0.04	c | 
0.00/0.04	c |                   Types: 
0.00/0.04	c |                          Element Constant: 50
0.00/0.04	c |                          Extension: 25  (nb tuples: 24..48) -- (shared: 0)
0.00/0.04	c |                          
0.00/0.04	c =========================================================================================================
0.00/0.04	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.05	c 101            610            47672          9943           50             0              66   85   77   
0.00/0.05	c 211            1013           85371          22409          50             0              40   55   46   
0.00/0.05	c 332            1324           115741         32437          50             0              37   45   41   
0.00/0.06	c 465            1561           144835         42757          50             0              36   44   39   
0.00/0.06	c 611            2013           185371         56993          50             0              38   43   41   
0.00/0.06	c 771            2267           210302         67012          50             0              38   41   38   
0.00/0.06	c 947            2526           246790         82143          50             0              37   39   37   
0.00/0.07	c 1140           2832           281465         94950          50             0              38   40   37   
0.00/0.07	c 1352           3152           313953         108256         50             0              39   41   38   
0.00/0.08	c 1585           3540           364676         133230         50             0              33   47   35   
0.00/0.08	c 1841           3901           397980         142938         50             0              38   46   42   
0.00/0.09	c 2122           4589           487129         181484         50             0              34   39   36   
0.00/0.09	c 2431           5079           547172         203275         50             0              34   39   36   
0.00/0.10	c 2770           5544           598799         220447         50             0              35   37   36   
0.10/0.11	c 3142           6267           694117         252044         50             0              35   41   39   
0.10/0.11	c 3551           6762           740547         263370         50             0              40   40   39   
0.10/0.12	c 4000           7438           811498         291258         50             0              38   38   37   
0.10/0.12	c 4493           8213           906866         321788         50             0              34   44   39   
0.10/0.13	c 5035           8868           986507         342768         50             0              37   43   41   
0.10/0.14	c 5631           9674           1075201        372581         50             0              33   43   40   
0.10/0.15	c 6286           10655          1194497        415524         50             0              39   44   41   
0.10/0.16	c 7006           11533          1323255        468586         50             0              36   42   37   
0.10/0.17	c 7798           12471          1431100        501469         50             0              36   44   40   
0.10/0.18	c 8669           13458          1562308        540471         50             0              31   41   39   
0.10/0.19	c 9627           14653          1706237        584398         50             0              32   43   39   
0.10/0.20	c 10680          15957          1880596        646500         50             0              34   41   37   
0.21/0.22	c 11838          17326          2046720        702428         50             0              37   42   39   
0.21/0.23	c 13111          18909          2213187        742187         50             0              36   41   38   
0.21/0.24	c 14511          20576          2402465        803762         50             0              38   43   40   
0.21/0.26	c 16051          22311          2612828        861807         50             0              37   38   37   
0.21/0.28	c 17745          24818          2897873        979164         50             0              35   40   37   
0.21/0.30	c 19608          26933          3138091        1047642        50             0              36   38   37   
0.31/0.32	c 21657          29297          3431603        1133339        50             0              36   39   37   
0.31/0.34	c 23910          31819          3694691        1222521        50             0              36   38   37   
0.31/0.37	c 26388          34776          3986686        1336851        50             0              35   39   38   
0.31/0.39	c 29113          37818          4341232        1445948        50             0              36   38   36   
0.41/0.43	c 32110          41128          4742923        1574366        50             0              34   39   35   
0.41/0.46	c 35406          45126          5165381        1710225        50             0              33   36   35   
0.51/0.52	c 39031          51823          5886569        2067512        50             0              35   36   35   
0.51/0.58	c 43018          58139          6539013        2325413        50             0              32   39   35   
0.60/0.64	c 47403          62983          7220553        2565340        50             0              30   38   35   
0.69/0.72	c 52226          68682          8116397        2955418        50             0              30   35   33   
0.79/0.80	c 57531          74486          9123662        3338139        50             0              34   38   35   
0.79/0.86	c 63366          80992          9820333        3572014        50             0              35   38   36   
0.89/0.93	c 69784          88231          10679375       3933120        50             0              31   36   34   
1.00/1.08	c 76843          98020          12303918       4728902        50             0              31   39   33   
1.10/1.15	c 84607          106948         13201974       5026707        50             0              33   37   35   
1.19/1.24	c 93147          116617         14405705       5487873        50             0              33   41   34   
1.29/1.33	c 102541         126988         15558200       5875438        50             0              33   38   36   
1.39/1.43	c 112874         141936         16898986       6262938        50             0              37   40   38   
1.49/1.56	c 124240         155820         18661952       6861332        50             0              35   40   37   
1.59/1.66	c 136742         171594         19935317       7295272        50             0              35   38   37   
1.79/1.81	c 150494         187750         21891034       7985947        50             0              33   38   35   
1.89/1.94	c 165621         204469         23505562       8556479        50             0              32   39   37   
2.10/2.13	c 182260         229011         26173765       9279197        50             0              35   39   37   
2.19/2.25	c 200562         250024         27912129       9857100        50             0              37   39   38   
2.39/2.41	c 220694         273731         29948137       10388534       50             0              35   39   37   
2.59/2.63	c 242839         302869         33069515       11336181       50             0              32   39   38   
2.79/2.86	c 267198         331183         36089149       12419227       50             0              33   39   37   
3.00/3.09	c 293992         364364         39244177       13398290       50             0              33   39   38   
3.29/3.36	c 323465         400722         43206103       14435004       50             0              33   40   38   
3.59/3.66	c 355885         437969         47060967       15848140       50             0              34   39   37   
4.00/4.08	c 391547         489579         52291295       17684033       50             0              34   40   37   
4.49/4.57	c 430775         552880         58307972       19970880       50             0              36   40   38   
5.00/5.03	c 473925         616167         64613584       21733059       50             0              33   41   38   
5.39/5.46	c 521390         686157         70892781       23095587       50             0              34   39   38   
5.79/5.84	c 573601         744186         76210991       24728115       50             0              35   40   38   
6.39/6.46	c 631033         814778         84124084       27326030       50             0              34   39   37   
7.00/7.05	c 694208         890777         92332424       29276324       50             0              35   39   37   
7.69/7.75	c 763700         967360         101638896      32174445       50             0              33   39   37   
8.59/8.60	c 840141         1059048        112813217      35863571       50             0              33   42   37   
9.29/9.34	c 924226         1159934        122747593      39231560       50             0              34   39   37   
10.10/10.14	c 1016719        1265849        133329587      42240676       50             0              35   39   37   
11.10/11.18	c 1118461        1404713        147065352      46871095       50             0              35   40   37   
12.19/12.29	c 1230377        1550037        161918845      51342574       50             0              34   40   37   
13.49/13.53	c 1353484        1695335        177968923      56931057       50             0              35   40   37   
14.79/14.83	c 1488901        1852479        194192244      62668388       50             0              35   40   36   
16.59/16.66	c 1637859        2065667        218763264      70611097       50             0              35   41   37   
18.00/18.10	c 1801712        2257524        239298626      75811322       50             0              35   41   37   
19.49/19.57	c 1981950        2479285        260127464      81016678       50             0              35   39   38   
21.30/21.31	c 2180211        2698912        284212323      88448888       50             0              36   39   37   
22.80/22.86	c 2398298        2939536        305971035      94324155       50             0              34   39   37   
24.80/24.85	c 2638193        3229887        334508459      101127826      50             0              33   40   38   
26.80/26.86	c 2902077        3519860        362206488      108627033      50             0              34   39   37   
29.70/29.77	c 3192349        3851888        400099858      122303128      50             0              34   39   37   
33.80/33.80	c 3511648        4228416        449102296      141507668      50             0              32   40   36   
37.80/37.85	c 3862876        4666382        503981344      158143656      50             0              33   42   37   
41.90/41.94	c 4249226        5150708        556612210      177882235      50             0              33   42   37   
46.90/46.94	c 4674211        5630217        619242540      201682234      50             0              33   41   36   
55.60/55.65	c 5141694        6529979        728398394      238900280      50             0              32   39   37   
61.40/61.49	c 5655925        7224174        806769027      263370821      50             0              34   40   37   
66.70/66.78	c 6221579        7911402        877418878      285442860      50             0              34   41   37   
71.50/71.58	c 6843798        8672103        946766023      302935383      50             0              36   41   39   
77.01/77.02	c 7528238        9489867        1028602539     325875740      50             0              36   40   39   
87.20/87.26	c 8281122        10517395       1170467245     369892112      50             0              33   39   38   
93.70/93.74	c 9109294        11471700       1263076195     394694722      50             0              34   40   37   
101.21/101.26	c 10020283       12591449       1370571726     422942129      50             0              35   40   38   
109.41/109.48	c 11022370       13761850       1493914168     453699118      50             0              32   40   38   
119.02/119.10	c 12124665       14968388       1613803228     504864399      50             0              33   40   37   
128.31/128.34	c 13337189       16471365       1736635878     543458026      50             0              36   39   38   
139.61/139.69	c 14670965       17933019       1896139703     590793841      50             0              35   41   38   
155.81/155.86	c 16138118       19894449       2110399704     661697114      50             0              32   41   37   
167.81/167.86	c 17751986       21728985       2294419437     702145810      50             0              34   39   37   
183.13/183.12	c 19527240       24045258       2508342499     768995828      50             0              35   40   38   
206.42/206.48	c 21480019       26845456       2828438164     862876430      50             0              33   40   37   
227.32/227.38	c 23628075       29507617       3128154956     950118072      50             0              34   44   39   
254.73/254.75	c 25990936       32992575       3477369210     1076184613     50             0              34   41   37   
297.33/297.36	c 28590083       37676047       4010911923     1275931821     50             0              34   41   37   
331.74/331.76	c 31449144       41740976       4466344423     1428193063     50             0              34   41   37   
360.74/360.78	c 34594111       45309055       4868590383     1543410765     50             0              34   40   37   
390.24/390.24	c 38053574       49174744       5266447481     1660646318     50             0              33   42   36   
422.65/422.65	c 41858983       53576539       5708251301     1787327459     50             0              32   42   37   
467.55/467.52	c 46044932       60119490       6313411505     1955913103     50             0              34   41   37   
504.66/504.64	c 50649475       65559131       6840902811     2096796337     50             0              35   41   37   
536.07/536.07	c 55714472       71541649       7301161591     2189300918     50             0              35   41   38   
579.97/579.99	c 61285968       78096692       7930817405     2347330930     50             0              34   40   37   
627.78/627.79	c 67414613       84956984       8648844168     2519766258     50             0              34   39   37   
696.99/697.00	c 74156122       92767597       9586368605     2825132455     50             0              33   41   37   
751.49/751.44	c 81571781       101012860      10332408972    3017198926     50             0              34   40   38   
820.70/820.69	c 89729005       110398204      11278784236    3272194291     50             0              34   41   37   
891.71/891.65	c 98701951       120279380      12236574851    3564165006     50             0              35   40   38   
974.23/974.16	c 108572191      131347820      13318859706    3923148589     50             0              33   40   37   
1073.43/1073.30	c 119429455      144105686      14496740484    4376909252     50             0              34   42   37   
1177.05/1176.95	c 131372445      158358947      15902255050    4786193033     50             0              35   40   38   
1304.07/1303.93	c 144509734      173309646      17557945212    5330127610     50             0              34   42   38   
1450.38/1450.22	c 158960751      194575745      19567270789    5910644803     50             0              34   41   38   
1586.40/1586.21	c 174856869      213224721      21536594077    6399961399     50             0              35   42   39   
1721.92/1721.72	c 192342598      232364447      23426564975    6913183918     50             0              35   40   38   
1890.44/1890.22	c 211576899      253811090      25735653669    7570652847     50             0              32   42   37   
2068.87/2068.63	c 232734630      278499150      28241596482    8202260068     50             0              34   40   37   
2324.10/2323.80	c 256008134      311300413      31178730757    9347155426     50             0              33   40   37   
2520.03/2519.70	
2520.03/2519.70	c *** INTERRUPTED ***
2520.03/2519.70	c restarts              : 131         
2520.03/2519.70	c conflicts             : 276091479    (109559 /sec)
2520.03/2519.70	c decisions             : 334161570    (132602 /sec)
2520.03/2519.70	c propagations          : 10254209316 (4069080 /sec)
2520.03/2519.70	c root propagations     : 700         
2520.03/2519.70	c filter calls          : 33657331798    (13355916 /sec)
2520.03/2519.70	c useless filter calls  : 27493670985    (81 %)
2520.03/2519.70	c Memory used           : 27.21 MB
2520.03/2519.70	c CPU time              : 2520.03 s
2520.03/2519.70	c real time             : 2519.7 s
2520.03/2519.70	
2520.03/2519.70	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14979 MiB free)
  memory of node 1: 16384 MiB (13845 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408190-1569794602/watcher-4408190-1569794602 -o /tmp/evaluation-result-4408190-1569794602/solver-4408190-1569794602 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1569787351-18444 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408190-1569794602.xml 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19638, runsolver pid=19635
Current StackSize limit: 8192 KiB


[startup+0.1002 s]*
/proc/loadavg: 2.24 2.08 2.06 3/202 19639
/proc/meminfo: memFree=29516872/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4284 CPUtime=0.1 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 1312 0 0 0 10 0 0 0 20 0 1 0 555374219 28532736 1071 33554432000 4194304 6211132 140729836635456 140729836631992 5390727 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1071 832 493 0 271 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4284 KiB

[startup+0.20984 s]*
/proc/loadavg: 2.24 2.08 2.06 3/202 19639
/proc/meminfo: memFree=29512080/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4284 CPUtime=0.21 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 1312 0 0 0 21 0 0 0 20 0 1 0 555374219 28532736 1071 33554432000 4194304 6211132 140729836635456 140729836631992 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1071 832 493 0 271 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4284 KiB

[startup+0.309573 s]*
/proc/loadavg: 2.24 2.08 2.06 3/202 19639
/proc/meminfo: memFree=29512520/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4284 CPUtime=0.31 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 1312 0 0 0 31 0 0 0 20 0 1 0 555374219 28532736 1071 33554432000 4194304 6211132 140729836635456 140729836631992 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1071 832 493 0 271 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4284 KiB

[startup+0.700393 s]
/proc/loadavg: 2.24 2.08 2.06 3/202 19639
/proc/meminfo: memFree=29515368/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4284 CPUtime=0.69 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 1312 0 0 0 69 0 0 0 20 0 1 0 555374219 28532736 1071 33554432000 4194304 6211132 140729836635456 140729836631992 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1071 832 493 0 271 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4284 KiB

[startup+1.5004 s]
/proc/loadavg: 2.24 2.08 2.06 3/202 19639
/proc/meminfo: memFree=29516824/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4284 CPUtime=1.49 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 1312 0 0 0 149 0 0 0 20 0 1 0 555374219 28532736 1071 33554432000 4194304 6211132 140729836635456 140729836631992 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1071 832 493 0 271 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4284 KiB

[startup+3.10962 s]
/proc/loadavg: 2.24 2.08 2.06 3/202 19639
/proc/meminfo: memFree=29518196/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=3.1 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 1449 0 0 0 310 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5099224 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+6.30041 s]
/proc/loadavg: 2.46 2.13 2.08 3/202 19639
/proc/meminfo: memFree=29888148/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=6.29 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 1590 0 0 0 629 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+12.7003 s]
/proc/loadavg: 2.43 2.13 2.08 3/201 19642
/proc/meminfo: memFree=30312328/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=12.69 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 1729 0 0 0 1269 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5390476 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+25.5004 s]
/proc/loadavg: 2.33 2.12 2.08 3/201 19645
/proc/meminfo: memFree=30313220/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=25.5 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 2006 0 0 0 2550 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5380416 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+51.1093 s]
/proc/loadavg: 2.22 2.11 2.07 3/201 19645
/proc/meminfo: memFree=30313492/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=51.11 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 2146 0 0 0 5111 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5099205 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+102.3 s]
/proc/loadavg: 2.10 2.09 2.07 3/202 19650
/proc/meminfo: memFree=30314068/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=102.31 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 2283 0 0 0 10231 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 102.31 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.08 2.06 3/201 19656
/proc/meminfo: memFree=30313928/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=162.31 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 2422 0 0 0 16231 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5099256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/200 19660
/proc/meminfo: memFree=30313616/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=222.32 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 2561 0 0 0 22232 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5099133 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/200 19665
/proc/meminfo: memFree=30313632/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=282.33 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 2561 0 0 0 28233 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5099197 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 282.33 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+342.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/200 19672
/proc/meminfo: memFree=30313660/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=342.34 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 2699 0 0 0 34234 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5397493 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 342.34 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+402.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/199 19739
/proc/meminfo: memFree=30118608/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=402.35 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 2700 0 0 0 40235 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5099201 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 402.35 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/201 19754
/proc/meminfo: memFree=30112244/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=462.35 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 2839 0 0 0 46235 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5099159 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 462.35 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB


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

/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 1782.53 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 19881
/proc/meminfo: memFree=30104524/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=1842.54 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 4353 0 0 0 184254 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5099256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 1842.54 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 19885
/proc/meminfo: memFree=30104348/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=1902.55 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 4492 0 0 0 190255 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5099087 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 1902.55 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19891
/proc/meminfo: memFree=30104004/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=1962.55 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 4492 0 0 0 196255 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5397486 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 1962.55 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+2022.3 s]
/proc/loadavg: 2.46 2.16 2.09 3/199 19895
/proc/meminfo: memFree=30103552/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=2022.56 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 4610 0 0 0 202256 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 2022.56 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+2082.3 s]
/proc/loadavg: 2.17 2.13 2.09 3/199 19899
/proc/meminfo: memFree=30103868/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=2082.57 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 4630 0 0 0 208257 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5099111 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 2082.57 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+2142.3 s]
/proc/loadavg: 2.06 2.11 2.08 3/199 19905
/proc/meminfo: memFree=30103832/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=2142.58 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 4749 0 0 0 214258 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5380299 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 2142.58 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/199 19909
/proc/meminfo: memFree=30103992/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=2202.59 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 4751 0 0 0 220259 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5099201 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 2202.59 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/200 19921
/proc/meminfo: memFree=30103112/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=2262.59 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 4870 0 0 0 226259 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 2262.59 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/200 19927
/proc/meminfo: memFree=30103544/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=2322.6 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 4871 0 0 0 232260 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5099205 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 2322.6 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/200 19931
/proc/meminfo: memFree=30103340/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=2382.61 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 5011 0 0 0 238261 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5193742 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 2382.61 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 19935
/proc/meminfo: memFree=30103692/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=2442.62 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 5011 0 0 0 244262 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5008844 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 2442.62 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 19941
/proc/meminfo: memFree=30103860/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=2502.62 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 5131 0 0 0 250262 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5193740 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 2502.62 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.7 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 19942
/proc/meminfo: memFree=30104092/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=2520.03 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 5131 0 0 0 252003 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5008971 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2519.7 s]
# the end of solver process 19638 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.03 s, system=0.005 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2519.7 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 19942
/proc/meminfo: memFree=30104092/32770624 swapFree=67002480/67108860
[pid=19638] ppid=19635 vsize=27864 memory=4436 CPUtime=2520.03 cores=0,2,4,6
/proc/19638/stat : 19638 (cosoco) R 19635 19638 18413 0 -1 4202496 5131 0 0 0 252003 0 0 0 20 0 1 0 555374219 28532736 1109 33554432000 4194304 6211132 140729836635456 140729836633416 5008971 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 13303808 140729836639243 140729836639345 140729836639345 140729836642254 0
/proc/19638/statm: 6966 1109 868 493 0 271 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4436 KiB

Child status: 1
Real time (s): 2519.7
CPU time (s): 2520.04
CPU user time (s): 2520.03
CPU system time (s): 0.005
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (KiB): 27864
Max. memory (cumulated for all children) (KiB): 4436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.03
system time used= 0.005
maximum resident set size= 4500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5182
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= 14
involuntary context switches= 639


# summary of solver processes directly reported to runsolver:
#   pid: 19638
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2520.03
#   total CPU system time (s): 0.005

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.09213 second user time and 16.6769 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-30 00:02:41
IDJOB=4408190
IDBENCH=124376
IDSOLVER=2874
FILE ID=node146/4408190-1569794602
RUNJOBID= node146-1569787351-18444
PBS_JOBID= 21705819
Free space on /tmp= 61660 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-25.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408190-1569794602/watcher-4408190-1569794602 -o /tmp/evaluation-result-4408190-1569794602/solver-4408190-1569794602 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1569787351-18444 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408190-1569794602.xml

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

MD5SUM BENCH= ff4f1513315dd8e08dcc4cf2bbbe3209
RANDOM SEED=236993948

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        29517236 kB
MemAvailable:   31830392 kB
Buffers:          180040 kB
Cached:          2464300 kB
SwapCached:         3684 kB
Active:          1617328 kB
Inactive:        1037500 kB
Active(anon):      24404 kB
Inactive(anon):    66820 kB
Active(file):    1592924 kB
Inactive(file):   970680 kB
Unevictable:      109344 kB
Mlocked:          109344 kB
SwapTotal:      67108860 kB
SwapFree:       67002480 kB
Dirty:            433296 kB
Writeback:         74872 kB
AnonPages:        117920 kB
Mapped:            29444 kB
Shmem:             72256 kB
Slab:             190864 kB
SReclaimable:     130776 kB
SUnreclaim:        60088 kB
KernelStack:        3536 kB
PageTables:         5696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     574452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 61992 MiB
End job on node146 at 2019-09-30 00:44:41