Trace number 4389655

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

General information on the benchmark

NameLangford/Langford-m1-k3/
Langford-3-30.xml
MD5SUM104ead67a06ae27b0f069365e5914a8a
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 variables90
Number of constraints61
Number of domains1
Minimum domain size90
Maximum domain size90
Distribution of domain sizes[{"size":90,"count":90}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":60},{"degree":3,"count":30}]
Minimum constraint arity2
Maximum constraint arity90
Distribution of constraint arities[{"arity":2,"count":60},{"arity":90,"count":1}]
Number of extensional constraints0
Number of intensional constraints60
Distribution of constraint types[{"type":"intension","count":60},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c
0.00/0.01	c This is cosoco 2.00 --  
0.00/0.01	c
0.00/0.01	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389655-1568328580.xml 
0.00/0.01	c intension  eq(add(x[0][0],2),x[1][0]) -> extension (support ? 1) - 88tuples
0.00/0.01	c intension  eq(add(x[0][1],3),x[1][1]) -> extension (support ? 1) - 87tuples
0.00/0.01	c intension  eq(add(x[0][2],4),x[1][2]) -> extension (support ? 1) - 86tuples
0.00/0.02	c intension  eq(add(x[0][3],5),x[1][3]) -> extension (support ? 1) - 85tuples
0.00/0.02	c intension  eq(add(x[0][4],6),x[1][4]) -> extension (support ? 1) - 84tuples
0.00/0.02	c intension  eq(add(x[0][5],7),x[1][5]) -> extension (support ? 1) - 83tuples
0.00/0.03	c intension  eq(add(x[0][6],8),x[1][6]) -> extension (support ? 1) - 82tuples
0.00/0.03	c intension  eq(add(x[0][7],9),x[1][7]) -> extension (support ? 1) - 81tuples
0.00/0.04	c intension  eq(add(x[0][8],10),x[1][8]) -> extension (support ? 1) - 80tuples
0.00/0.04	c intension  eq(add(x[0][9],11),x[1][9]) -> extension (support ? 1) - 79tuples
0.00/0.04	c intension  eq(add(x[0][10],12),x[1][10]) -> extension (support ? 1) - 78tuples
0.00/0.05	c intension  eq(add(x[0][11],13),x[1][11]) -> extension (support ? 1) - 77tuples
0.00/0.05	c intension  eq(add(x[0][12],14),x[1][12]) -> extension (support ? 1) - 76tuples
0.00/0.05	c intension  eq(add(x[0][13],15),x[1][13]) -> extension (support ? 1) - 75tuples
0.00/0.06	c intension  eq(add(x[0][14],16),x[1][14]) -> extension (support ? 1) - 74tuples
0.00/0.06	c intension  eq(add(x[0][15],17),x[1][15]) -> extension (support ? 1) - 73tuples
0.00/0.07	c intension  eq(add(x[0][16],18),x[1][16]) -> extension (support ? 1) - 72tuples
0.00/0.07	c intension  eq(add(x[0][17],19),x[1][17]) -> extension (support ? 1) - 71tuples
0.00/0.07	c intension  eq(add(x[0][18],20),x[1][18]) -> extension (support ? 1) - 70tuples
0.00/0.08	c intension  eq(add(x[0][19],21),x[1][19]) -> extension (support ? 1) - 69tuples
0.00/0.08	c intension  eq(add(x[0][20],22),x[1][20]) -> extension (support ? 1) - 68tuples
0.00/0.08	c intension  eq(add(x[0][21],23),x[1][21]) -> extension (support ? 1) - 67tuples
0.00/0.09	c intension  eq(add(x[0][22],24),x[1][22]) -> extension (support ? 1) - 66tuples
0.00/0.09	c intension  eq(add(x[0][23],25),x[1][23]) -> extension (support ? 1) - 65tuples
0.00/0.09	c intension  eq(add(x[0][24],26),x[1][24]) -> extension (support ? 1) - 64tuples
0.00/0.10	c intension  eq(add(x[0][25],27),x[1][25]) -> extension (support ? 1) - 63tuples
0.00/0.10	c intension  eq(add(x[0][26],28),x[1][26]) -> extension (support ? 1) - 62tuples
0.10/0.11	c intension  eq(add(x[0][27],29),x[1][27]) -> extension (support ? 1) - 61tuples
0.10/0.11	c intension  eq(add(x[0][28],30),x[1][28]) -> extension (support ? 1) - 60tuples
0.10/0.11	c intension  eq(add(x[0][29],31),x[1][29]) -> extension (support ? 1) - 59tuples
0.10/0.12	c intension  eq(add(x[1][0],2),x[2][0]) -> extension (support ? 1) - 88tuples
0.10/0.12	c intension  eq(add(x[1][1],3),x[2][1]) -> extension (support ? 1) - 87tuples
0.10/0.12	c intension  eq(add(x[1][2],4),x[2][2]) -> extension (support ? 1) - 86tuples
0.10/0.13	c intension  eq(add(x[1][3],5),x[2][3]) -> extension (support ? 1) - 85tuples
0.10/0.13	c intension  eq(add(x[1][4],6),x[2][4]) -> extension (support ? 1) - 84tuples
0.10/0.13	c intension  eq(add(x[1][5],7),x[2][5]) -> extension (support ? 1) - 83tuples
0.10/0.14	c intension  eq(add(x[1][6],8),x[2][6]) -> extension (support ? 1) - 82tuples
0.10/0.14	c intension  eq(add(x[1][7],9),x[2][7]) -> extension (support ? 1) - 81tuples
0.10/0.15	c intension  eq(add(x[1][8],10),x[2][8]) -> extension (support ? 1) - 80tuples
0.10/0.15	c intension  eq(add(x[1][9],11),x[2][9]) -> extension (support ? 1) - 79tuples
0.10/0.15	c intension  eq(add(x[1][10],12),x[2][10]) -> extension (support ? 1) - 78tuples
0.10/0.16	c intension  eq(add(x[1][11],13),x[2][11]) -> extension (support ? 1) - 77tuples
0.10/0.16	c intension  eq(add(x[1][12],14),x[2][12]) -> extension (support ? 1) - 76tuples
0.10/0.16	c intension  eq(add(x[1][13],15),x[2][13]) -> extension (support ? 1) - 75tuples
0.10/0.17	c intension  eq(add(x[1][14],16),x[2][14]) -> extension (support ? 1) - 74tuples
0.10/0.17	c intension  eq(add(x[1][15],17),x[2][15]) -> extension (support ? 1) - 73tuples
0.10/0.17	c intension  eq(add(x[1][16],18),x[2][16]) -> extension (support ? 1) - 72tuples
0.10/0.18	c intension  eq(add(x[1][17],19),x[2][17]) -> extension (support ? 1) - 71tuples
0.10/0.18	c intension  eq(add(x[1][18],20),x[2][18]) -> extension (support ? 1) - 70tuples
0.10/0.18	c intension  eq(add(x[1][19],21),x[2][19]) -> extension (support ? 1) - 69tuples
0.10/0.19	c intension  eq(add(x[1][20],22),x[2][20]) -> extension (support ? 1) - 68tuples
0.10/0.19	c intension  eq(add(x[1][21],23),x[2][21]) -> extension (support ? 1) - 67tuples
0.10/0.20	c intension  eq(add(x[1][22],24),x[2][22]) -> extension (support ? 1) - 66tuples
0.10/0.20	c intension  eq(add(x[1][23],25),x[2][23]) -> extension (support ? 1) - 65tuples
0.10/0.20	c intension  eq(add(x[1][24],26),x[2][24]) -> extension (support ? 1) - 64tuples
0.10/0.21	c intension  eq(add(x[1][25],27),x[2][25]) -> extension (support ? 1) - 63tuples
0.10/0.21	c intension  eq(add(x[1][26],28),x[2][26]) -> extension (support ? 1) - 62tuples
0.10/0.21	c intension  eq(add(x[1][27],29),x[2][27]) -> extension (support ? 1) - 61tuples
0.21/0.22	c intension  eq(add(x[1][28],30),x[2][28]) -> extension (support ? 1) - 60tuples
0.21/0.22	c intension  eq(add(x[1][29],31),x[2][29]) -> extension (support ? 1) - 59tuples
0.21/0.22	c root propagations     : 2970        
0.21/0.22	c restarts enabled, print stats at every restarts
0.21/0.22	c
0.21/0.22	c
0.21/0.22	c ========================================[ Problem Statistics ]===========================================
0.21/0.22	c |                                                                                                       
0.21/0.22	c |  Parse time        :         0.22 s 
0.21/0.22	c |
0.21/0.22	c |               Variables: 90
0.21/0.22	c |            Domain Sizes: 90..90
0.21/0.22	c |
0.21/0.22	c |             Constraints: 61
0.21/0.22	c |                   Arity: 2..90  -- Binary: 60
0.21/0.22	c | 
0.21/0.22	c |                   Types: 
0.21/0.22	c |                          All Different: 1
0.21/0.22	c |                          Extension: 60  (nb tuples: 59..88) -- (shared: 0)
0.21/0.22	c |                          
0.21/0.22	c =========================================================================================================
0.21/0.22	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.30/0.32	c 101            521            14143          81342          90             0              37   55   46   
0.40/0.43	c 211            985            28477          173601         90             0              40   55   47   
0.50/0.56	c 332            1529           45633          278760         90             0              43   61   49   
0.69/0.72	c 465            2190           66735          393760         90             0              37   55   46   
0.79/0.88	c 611            2759           86538          512886         90             0              43   55   47   
1.00/1.05	c 771            3375           109031         636237         90             0              40   55   47   
1.19/1.26	c 947            4175           136296         782543         90             0              40   58   48   
1.39/1.47	c 1140           5046           164088         936923         90             0              40   55   46   
1.59/1.66	c 1352           5897           189157         1102603        90             0              40   58   47   
1.89/1.90	c 1585           6877           220821         1296788        90             0              37   58   46   
2.10/2.19	c 1841           8060           258575         1524165        90             0              40   61   47   
2.39/2.48	c 2122           9229           297259         1760788        90             0              40   58   46   
2.69/2.77	c 2431           10381          335379         1998361        90             0              40   58   47   
3.00/3.10	c 2770           11743          378815         2257837        90             0              37   58   47   
3.39/3.48	c 3142           13204          428981         2550055        90             0              31   61   47   
3.79/3.89	c 3551           14999          482271         2875015        90             0              34   58   47   
4.29/4.37	c 4000           17008          546955         3252509        90             0              40   58   48   
4.79/4.87	c 4493           19001          611911         3637003        90             0              34   58   47   
5.39/5.42	c 5035           21367          683446         4052703        90             0              40   61   48   
6.00/6.05	c 5631           23784          765363         4543980        90             0              37   55   47   
6.69/6.74	c 6286           26557          855415         5105147        90             0              37   61   46   
7.39/7.47	c 7006           29578          952384         5677584        90             0              28   58   47   
8.19/8.23	c 7798           32563          1051593        6287932        90             0              31   58   47   
9.00/9.04	c 8669           35951          1157613        6949667        90             0              31   58   44   
9.89/9.95	c 9627           39981          1278676        7712833        90             0              34   58   46   
10.79/10.85	c 10680          44097          1397412        8444908        90             0              34   52   44   
12.00/12.01	c 11838          48987          1551173        9370064        90             0              34   55   45   
13.19/13.29	c 13111          53986          1717211        10356954       90             0              37   58   46   
14.89/14.96	c 14511          60174          1934150        11665016       90             0              37   64   46   
16.59/16.61	c 16051          66502          2149017        12929807       90             0              37   61   48   
18.39/18.46	c 17745          73449          2391883        14347331       90             0              37   61   47   
20.39/20.44	c 19608          81030          2649263        15892437       90             0              37   58   46   
22.29/22.34	c 21657          89130          2898695        17317360       90             0              37   58   47   
24.69/24.74	c 23910          98352          3209269        19129637       90             0              37   58   47   
27.10/27.13	c 26388          108204         3524250        20989164       90             0              34   61   47   
30.00/30.01	c 29113          119131         3899847        23272118       90             0              34   58   47   
32.59/32.67	c 32110          130840         4246490        25488470       90             0              34   58   45   
36.10/36.13	c 35406          144099         4696245        28287541       90             0              31   61   47   
39.89/40.00	c 39031          159589         5203464        31280395       90             0              37   64   48   
43.79/43.80	c 43018          176254         5703990        34398480       90             0              37   64   48   
48.10/48.17	c 47403          194694         6277306        38089061       90             0              34   61   47   
52.89/53.00	c 52226          214118         6915723        41939331       90             0              25   61   48   
58.60/58.62	c 57531          236259         7653751        46197484       90             0              34   61   48   
64.20/64.29	c 63366          259335         8396337        50630688       90             0              34   61   46   
71.20/71.22	c 69784          286948         9299421        55783510       90             0              34   61   47   
78.11/78.19	c 76843          315964         10226204       61251455       90             0              34   64   49   
86.20/86.25	c 84607          348097         11280874       67423573       90             0              34   64   48   
94.80/94.86	c 93147          382104         12409524       74304916       90             0              37   64   48   
104.60/104.65	c 102541         419110         13696187       81510660       90             0              37   64   49   
114.90/114.98	c 112874         462920         15065147       89335481       90             0              34   64   48   
127.11/127.15	c 124240         508237         16645709       98562859       90             0              34   61   47   
138.71/138.79	c 136742         558713         18171798       107736003      90             0              31   64   46   
153.81/153.80	c 150494         616328         20116864       119430157      90             0              34   64   48   
169.12/169.11	c 165621         679803         22131949       131090365      90             0              31   64   47   
184.91/184.94	c 182260         750769         24236644       143907483      90             0              28   67   48   
201.92/201.98	c 200562         829341         26481254       157564462      90             0              31   61   46   
221.92/221.96	c 220694         913589         29099379       173542995      90             0              34   64   48   
245.62/245.67	c 242839         1003021        32173992       191302747      90             0              34   67   48   
272.82/272.83	c 267198         1101825        35719089       211476213      90             0              37   67   49   
300.83/300.80	c 293992         1212211        39366304       232977626      90             0              34   64   48   
329.83/329.83	c 323465         1335707        43184907       255898449      90             0              31   67   48   
363.54/363.53	c 355885         1471021        47552156       281970866      90             0              34   61   47   
398.84/398.86	c 391547         1620203        52186411       309077722      90             0              28   64   47   
440.85/440.82	c 430775         1783376        57658880       341952178      90             0              31   64   48   
486.06/486.05	c 473925         1962906        63629325       376165344      90             0              31   67   49   
534.36/534.30	c 521390         2149628        69945909       413963208      90             0              34   64   48   
587.17/587.15	c 573601         2370814        76876216       453683381      90             0              34   64   48   
646.97/646.93	c 631033         2602294        84681549       498403314      90             0              31   67   48   
715.38/715.32	c 694208         2864102        93531190       549923284      90             0              31   64   47   
785.20/785.16	c 763700         3152024        102603611      603684660      90             0              31   64   47   
857.40/857.39	c 840141         3467865        112140637      660408206      90             0              31   67   48   
946.31/946.27	c 924226         3808405        123782501      726567564      90             0              34   67   49   
1045.73/1045.68	c 1016719        4203085        136668737      801354059      90             0              31   64   47   
1155.84/1155.76	c 1118461        4644424        150964734      882338391      90             0              31   70   47   
1270.76/1270.69	c 1230377        5109581        165935684      973582705      90             0              34   67   48   
1393.68/1393.59	c 1353484        5621878        181943848      1069716878     90             0              31   67   47   
1535.90/1535.73	c 1488901        6180811        200570755      1177595822     90             0              31   67   48   
1689.72/1689.55	c 1637859        6829905        220685060      1294327069     90             0              31   64   47   
1890.54/1890.37	c 1801712        7524692        246923334      1432739104     90             0              31   73   51   
2096.28/2096.08	c 1981950        8286912        273758231      1581906803     90             0              31   70   49   
2339.61/2339.39	c 2180211        9124806        305451492      1750846792     90             0              31   67   51   
2520.03/2519.70	
2520.03/2519.70	c *** INTERRUPTED ***
2520.03/2519.70	c restarts              : 81          
2520.03/2519.70	c conflicts             : 2322136      (921 /sec)
2520.03/2519.70	c decisions             : 9723332      (3858 /sec)
2520.03/2519.70	c propagations          : 1875867236  (744381 /sec)
2520.03/2519.70	c root propagations     : 2970        
2520.03/2519.70	c filter calls          : 328937722      (130529 /sec)
2520.03/2519.70	c useless filter calls  : 52776504       (16 %)
2520.03/2519.70	c Memory used           : 28.30 MB
2520.03/2519.70	c CPU time              : 2520.04 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 (15120 MiB free)
  memory of node 1: 16384 MiB (15607 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389655-1568328580/watcher-4389655-1568328580 -o /tmp/evaluation-result-4389655-1568328580/solver-4389655-1568328580 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568308483-14144 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389655-1568328580.xml 

running on 4 cores: 1,3,5,7

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
Current StackSize limit: 8192 KiB

solver pid=17265, runsolver pid=17262

[startup+0.100155 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 17266
/proc/meminfo: memFree=31464836/32770624 swapFree=66935340/67108860
[pid=17265] ppid=17262 vsize=28412 memory=4628 CPUtime=0.1 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 3355 0 0 0 10 0 0 0 20 0 1 0 409116489 29093888 1157 33554432000 4194304 6210612 140721530064672 140721530061208 5454023 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7103 1157 829 493 0 408 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4628 KiB

[startup+0.209499 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 17266
/proc/meminfo: memFree=31463792/32770624 swapFree=66935340/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5196 CPUtime=0.21 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 3770 0 0 0 21 0 0 0 20 0 1 0 409116489 29675520 1299 33554432000 4194304 6210612 140721530064672 140721530061208 5451322 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1299 829 493 0 550 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5196 KiB

[startup+0.308942 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 17266
/proc/meminfo: memFree=31463792/32770624 swapFree=66935340/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5456 CPUtime=0.3 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 3808 0 0 0 30 0 0 0 20 0 1 0 409116489 29675520 1364 33554432000 4194304 6210612 140721530064672 140721530061208 5075326 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1364 847 493 0 550 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5456 KiB

[startup+0.700267 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 17266
/proc/meminfo: memFree=31463480/32770624 swapFree=66935340/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5456 CPUtime=0.69 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 3809 0 0 0 69 0 0 0 20 0 1 0 409116489 29675520 1364 33554432000 4194304 6210612 140721530064672 140721530061208 5082008 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1364 847 493 0 550 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5456 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 17266
/proc/meminfo: memFree=31463380/32770624 swapFree=66935340/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5456 CPUtime=1.49 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 3809 0 0 0 149 0 0 0 20 0 1 0 409116489 29675520 1364 33554432000 4194304 6210612 140721530064672 140721530062632 5078480 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1364 847 493 0 550 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5456 KiB

[startup+3.10902 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 17266
/proc/meminfo: memFree=31463512/32770624 swapFree=66935340/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=3.1 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 4084 0 0 0 310 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5016932 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 17266
/proc/meminfo: memFree=31463344/32770624 swapFree=66935340/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=6.29 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 4359 0 0 0 629 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5078864 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 17266
/proc/meminfo: memFree=31463596/32770624 swapFree=66935340/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=12.69 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 4634 0 0 0 1269 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5080761 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17268
/proc/meminfo: memFree=31463076/32770624 swapFree=66935340/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=25.49 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 5182 0 0 0 2549 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5081999 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 17269
/proc/meminfo: memFree=31463188/32770624 swapFree=66935340/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=51.1 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 5462 0 0 0 5110 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5080995 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 17272
/proc/meminfo: memFree=31462524/32770624 swapFree=66935340/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=102.3 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 5739 0 0 0 10230 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5082450 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 17286
/proc/meminfo: memFree=31462256/32770624 swapFree=66935348/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=162.31 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 6016 0 0 0 16231 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5079072 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+222.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/199 17290
/proc/meminfo: memFree=31462568/32770624 swapFree=66935348/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=222.32 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 6293 0 0 0 22232 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5075200 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+282.3 s]
/proc/loadavg: 2.18 2.07 2.06 3/199 17294
/proc/meminfo: memFree=31463020/32770624 swapFree=66935348/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=282.33 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 6293 0 0 0 28233 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5080933 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 282.33 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+342.3 s]
/proc/loadavg: 2.36 2.16 2.09 3/200 17314
/proc/meminfo: memFree=31461804/32770624 swapFree=66935368/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=342.33 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 6569 0 0 0 34233 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5397294 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+402.3 s]
/proc/loadavg: 2.13 2.13 2.08 3/200 17318
/proc/meminfo: memFree=31461940/32770624 swapFree=66935368/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=402.34 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 6570 0 0 0 40234 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5074172 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 402.34 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+462.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/199 17323
/proc/meminfo: memFree=31461888/32770624 swapFree=66935372/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=462.35 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 6843 0 0 0 46235 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5078399 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 462.35 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB


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

/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 1782.53 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 17538
/proc/meminfo: memFree=31480360/32770624 swapFree=66935412/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=1842.54 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 9820 0 0 0 184254 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5192880 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 1842.54 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 17542
/proc/meminfo: memFree=31479808/32770624 swapFree=66935412/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=1902.55 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 10095 0 0 0 190255 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5074032 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 1902.55 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 17555
/proc/meminfo: memFree=31479612/32770624 swapFree=66935416/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=1962.55 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 10095 0 0 0 196255 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5078484 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 1962.55 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 17559
/proc/meminfo: memFree=31479904/32770624 swapFree=66935416/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=2022.56 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 10303 0 0 0 202256 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5082043 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 2022.56 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 17563
/proc/meminfo: memFree=31480188/32770624 swapFree=66935416/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=2082.57 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 10303 0 0 0 208257 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5078522 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 2082.57 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 17569
/proc/meminfo: memFree=31479888/32770624 swapFree=66935416/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=2142.58 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 10576 0 0 0 214258 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5079072 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 2142.58 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+2202.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/198 17573
/proc/meminfo: memFree=31480496/32770624 swapFree=66935416/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=2202.59 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 10576 0 0 0 220259 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5082021 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 2202.59 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/198 17578
/proc/meminfo: memFree=31480144/32770624 swapFree=66935416/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=2262.6 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 10780 0 0 0 226260 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5075219 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 2262.6 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/198 17584
/proc/meminfo: memFree=31480036/32770624 swapFree=66935416/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=2322.6 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 10786 0 0 0 232260 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5082025 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 2322.6 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 17588
/proc/meminfo: memFree=31480536/32770624 swapFree=66935416/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=2382.61 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 11061 0 0 0 238261 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5389816 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 2382.61 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 17593
/proc/meminfo: memFree=31480204/32770624 swapFree=66935420/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=2442.62 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 11061 0 0 0 244262 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5082455 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 2442.62 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 17599
/proc/meminfo: memFree=31480440/32770624 swapFree=66935420/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=2502.63 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 11272 0 0 0 250263 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5078394 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 2502.63 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 17608
/proc/meminfo: memFree=31479436/32770624 swapFree=66935432/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=2520.03 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 11272 0 0 0 252003 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5074289 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

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

[startup+2519.7 s]
# the end of solver process 17265 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.04 s, system=0.009001 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.01 2.05 3/199 17608
/proc/meminfo: memFree=31479436/32770624 swapFree=66935432/67108860
[pid=17265] ppid=17262 vsize=28980 memory=5540 CPUtime=2520.03 cores=1,3,5,7
/proc/17265/stat : 17265 (cosoco) R 17262 17265 14112 0 -1 4202496 11272 0 0 0 252003 0 0 0 20 0 1 0 409116489 29675520 1385 33554432000 4194304 6210612 140721530064672 140721530062632 5074289 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 22339584 140721530070027 140721530070129 140721530070129 140721530073038 0
/proc/17265/statm: 7245 1385 866 493 0 550 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5540 KiB

Child status: 1
Real time (s): 2519.7
CPU time (s): 2520.05
CPU user time (s): 2520.04
CPU system time (s): 0.009001
CPU usage (%): 100.014
Max. virtual memory (cumulated for all children) (KiB): 28980
Max. memory (cumulated for all children) (KiB): 5540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.04
system time used= 0.009001
maximum resident set size= 5608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11322
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= 15
involuntary context switches= 637


# summary of solver processes directly reported to runsolver:
#   pid: 17265
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2520.04
#   total CPU system time (s): 0.009001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.44659 second user time and 16.7035 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-12 23:48:06
IDJOB=4389655
IDBENCH=124285
IDSOLVER=2829
FILE ID=node105/4389655-1568328580
RUNJOBID= node105-1568308483-14144
PBS_JOBID= 21701128
Free space on /tmp= 54368 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/Langford/Langford-m1-k3/Langford-3-30.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389655-1568328580/watcher-4389655-1568328580 -o /tmp/evaluation-result-4389655-1568328580/solver-4389655-1568328580 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568308483-14144 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389655-1568328580.xml

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

MD5SUM BENCH= 104ead67a06ae27b0f069365e5914a8a
RANDOM SEED=1602434808

node105.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.00
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.00
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.00
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.00
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:        31465472 kB
MemAvailable:   31628768 kB
Buffers:          120440 kB
Cached:           331836 kB
SwapCached:        69116 kB
Active:           453612 kB
Inactive:         300240 kB
Active(anon):     243500 kB
Inactive(anon):    89576 kB
Active(file):     210112 kB
Inactive(file):   210664 kB
Unevictable:      111240 kB
Mlocked:          111240 kB
SwapTotal:      67108860 kB
SwapFree:       66935340 kB
Dirty:              2816 kB
Writeback:             0 kB
AnonPages:        344820 kB
Mapped:            36516 kB
Shmem:             23008 kB
Slab:             144680 kB
SReclaimable:     116712 kB
SUnreclaim:        27968 kB
KernelStack:        3536 kB
PageTables:         5664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     752264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    280576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 54332 MiB
End job on node105 at 2019-09-13 00:30:06