Trace number 4396795

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.0SAT 2284.83 2284.78

General information on the benchmark

NameKnightTour/KnightTour-int-s1/
KnightTour-08-int.xml
MD5SUM473b10c1a98fbd59115b24ad203b92fd
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.59086
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints66
Number of domains1
Minimum domain size64
Maximum domain size64
Distribution of domain sizes[{"size":64,"count":64}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":62},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity64
Distribution of constraint arities[{"arity":2,"count":65},{"arity":64,"count":1}]
Number of extensional constraints0
Number of intensional constraints64
Distribution of constraint types[{"type":"intension","count":64},{"type":"allDifferent","count":1},{"type":"instantiation","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-4396795-1568587937.xml 
0.00/0.01	c intension  or(and(eq(dist(div(x[0],8),div(x[1],8)),1),eq(dist(mod(x[0],8),mod(x[1],8)),2)),and(eq(dist(div(x[0],8),div(x[1],8)),2),eq(dist(mod(x[0],8),mod(x[1],8)),1))) -> extension (support ? 1) - 336tuples
0.10/0.15	c root propagations     : 2192        
0.10/0.15	c restarts enabled, print stats at every restarts
0.10/0.15	c
0.10/0.15	c
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c intension -> extension : same as previous
0.10/0.15	c ========================================[ Problem Statistics ]===========================================
0.10/0.15	c |                                                                                                       
0.10/0.15	c |  Parse time        :         0.15 s 
0.10/0.15	c |
0.10/0.15	c |               Variables: 64
0.10/0.15	c |            Domain Sizes: 64..64
0.10/0.15	c |
0.10/0.15	c |             Constraints: 67
0.10/0.15	c |                   Arity: 1..64  -- Unary: 2  -- Binary: 64
0.10/0.15	c | 
0.10/0.15	c |                   Types: 
0.10/0.15	c |                          All Different: 1
0.10/0.15	c |                          Extension: 64  (nb tuples: 336..336) -- (shared: 63)
0.10/0.15	c |                          Unary: 2
0.10/0.15	c |                          
0.10/0.15	c =========================================================================================================
0.10/0.15	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.16	c 101            410            5716           17348          64             0              41   56   49   
0.10/0.19	c 211            781            10834          36005          64             0              29   54   47   
0.21/0.21	c 332            1236           17292          56733          64             0              21   55   45   
0.21/0.24	c 465            1706           23601          78510          64             0              40   53   46   
0.21/0.26	c 611            2196           29596          98948          64             0              35   55   49   
0.21/0.29	c 771            2674           36488          121832         64             0              16   54   47   
0.31/0.33	c 947            3250           45264          157361         64             0              37   51   45   
0.31/0.37	c 1140           3861           53639          197544         64             0              30   56   47   
0.41/0.42	c 1352           4558           64463          241895         64             0              31   57   48   
0.41/0.46	c 1585           5254           74838          277511         64             0              44   56   49   
0.41/0.51	c 1841           6036           87252          329328         64             0              37   56   50   
0.51/0.55	c 2122           6960           98298          356622         64             0              31   54   47   
0.51/0.60	c 2431           7864           111102         395655         64             0              41   57   49   
0.60/0.66	c 2770           8772           123570         436820         64             0              39   55   48   
0.69/0.71	c 3142           9711           135816         495824         64             0              33   55   47   
0.69/0.80	c 3551           10972          154537         567415         64             0              28   54   49   
0.79/0.87	c 4000           12363          173466         631045         64             0              30   55   50   
0.89/0.96	c 4493           13954          193619         692995         64             0              36   55   48   
1.00/1.04	c 5035           15512          213954         767441         64             0              27   56   49   
1.10/1.15	c 5631           17255          236274         868787         64             0              39   56   50   
1.19/1.25	c 6286           19095          262075         961911         64             0              33   57   50   
1.29/1.35	c 7006           21058          288437         1040469        64             0              44   57   50   
1.39/1.46	c 7798           23119          314868         1124232        64             0              39   54   49   
1.49/1.57	c 8669           25328          340991         1213989        64             0              43   56   50   
1.69/1.70	c 9627           27908          371003         1315999        64             0              41   55   49   
1.79/1.85	c 10680          30711          404634         1439084        64             0              44   58   51   
2.00/2.01	c 11838          34166          446738         1557489        64             0              42   55   49   
2.10/2.19	c 13111          37396          488452         1690750        64             0              40   57   48   
2.39/2.41	c 14511          41838          542077         1860376        64             0              40   55   48   
2.59/2.67	c 16051          46343          600295         2067062        64             0              39   57   49   
2.89/2.93	c 17745          50721          662768         2309898        64             0              38   54   48   
3.19/3.21	c 19608          55761          731530         2536461        64             0              37   55   48   
3.49/3.50	c 21657          61302          802238         2743326        64             0              38   56   48   
3.79/3.86	c 23910          67802          884568         3052865        64             0              21   55   48   
4.19/4.27	c 26388          74790          978482         3413591        64             0              41   57   50   
4.69/4.76	c 29113          82752          1086380        3818545        64             0              41   58   49   
5.19/5.23	c 32110          90937          1199222        4218754        64             0              40   57   49   
5.69/5.78	c 35406          100826         1329056        4595134        64             0              37   56   48   
6.29/6.39	c 39031          111853         1475851        5033704        64             0              38   57   49   
7.00/7.02	c 43018          124251         1628144        5485114        64             0              40   56   49   
7.69/7.75	c 47403          136361         1789318        6083392        64             0              28   57   50   
8.49/8.58	c 52226          151871         1991882        6741866        64             0              33   57   49   
9.39/9.46	c 57531          167435         2190312        7525320        64             0              40   58   50   
10.19/10.23	c 63366          183546         2394913        8110348        64             0              26   58   49   
11.29/11.31	c 69784          202731         2639570        9174857        64             0              16   55   47   
12.29/12.30	c 76843          223075         2886423        9962957        64             0              38   58   48   
13.59/13.60	c 84607          245592         3181943        11119557       64             0              24   56   49   
14.89/14.94	c 93147          270399         3488790        12052406       64             0              14   54   47   
16.29/16.36	c 102541         299227         3840650        13069568       64             0              37   56   47   
18.00/18.03	c 112874         330123         4237742        14489482       64             0              38   58   48   
19.69/19.77	c 124240         361358         4621562        15975827       64             0              33   55   46   
21.59/21.67	c 136742         396696         5050147        17565260       64             0              25   55   46   
24.59/24.63	c 150494         440540         5664868        20079408       64             0              36   58   47   
26.69/26.78	c 165621         487345         6228184        21700493       64             0              38   59   49   
29.10/29.19	c 182260         540680         6847900        23430133       64             0              36   59   50   
32.10/32.19	c 200562         601436         7584640        25711865       64             0              40   60   50   
35.19/35.29	c 220694         660567         8337693        27870690       64             0              33   57   49   
38.79/38.82	c 242839         718263         9107910        30566215       64             0              13   55   46   
43.00/43.02	c 267198         785824         10037890       34113619       64             0              21   58   48   
47.79/47.82	c 293992         862572         11090272       38176224       64             0              33   58   46   
52.79/52.85	c 323465         944540         12238339       42504516       64             0              23   58   47   
58.59/58.61	c 355885         1038362        13533768       47528704       64             0              35   58   48   
64.79/64.83	c 391547         1141735        14933867       52662136       64             0              36   58   47   
71.39/71.45	c 430775         1254034        16450294       58084482       64             0              35   56   47   
78.00/78.03	c 473925         1373507        18029596       63330562       64             0              28   57   47   
86.10/86.11	c 521390         1510817        19917735       69943534       64             0              35   57   47   
94.00/94.08	c 573601         1654868        21751482       76474783       64             0              6   58   48    
102.89/102.95	c 631033         1808298        23823100       84195915       64             0              36   59   48   
113.89/114.00	c 694208         1988799        26299559       94552370       64             0              36   58   49   
124.10/124.16	c 763700         2181399        28605248       103021006      64             0              26   56   46   
140.79/140.86	c 840141         2416960        32101573       117609447      64             0              20   56   47   
156.00/156.05	c 924226         2686091        35593573       129917081      64             0              36   60   50   
173.69/173.77	c 1016719        2957124        39632929       146345130      64             0              27   60   49   
188.49/188.55	c 1118461        3246264        43175075       157078435      64             0              18   57   48   
204.69/204.70	c 1230377        3568304        47043351       169082833      64             0              36   59   49   
226.69/226.73	c 1353484        3937246        52236326       189677837      64             0              13   58   48   
258.00/258.04	c 1488901        4394804        58828919       215264531      64             0              20   58   46   
283.10/283.12	c 1637859        4783654        64617695       239075994      64             0              15   57   47   
317.10/317.15	c 1801712        5309690        72351682       270490462      64             0              30   58   47   
350.00/350.03	c 1981950        5823971        79413405       298039693      64             0              33   56   47   
389.60/389.65	c 2180211        6422747        88163393       330069297      64             0              27   56   48   
424.50/424.50	c 2398298        7065216        96550427       359248551      64             0              34   57   47   
463.90/463.99	c 2638193        7793560        106159034      392309600      64             0              26   57   48   
505.11/505.16	c 2902077        8629408        116494504      423931508      64             0              17   61   49   
551.30/551.31	c 3192349        9418228        127187050      464689992      64             0              32   55   45   
615.40/615.44	c 3511648        10449864       141565559      523000380      64             0              32   61   48   
675.01/675.10	c 3862876        11328111       155901090      574921308      64             0              18   57   47   
758.70/758.72	c 4249226        12545530       174199268      648693811      64             0              28   58   46   
838.90/838.98	c 4674211        13841607       192003725      714984895      64             0              22   58   47   
927.61/927.65	c 5141694        15322106       212804592      786906149      64             0              13   60   48   
1032.02/1032.08	c 5655925        16892049       235955012      879841643      64             0              30   58   46   
1140.31/1140.38	c 6221579        18504688       259542188      970558715      64             0              31   57   45   
1256.31/1256.34	c 6843798        20454932       285786584      1057687851     64             0              24   59   48   
1379.02/1379.09	c 7528238        22516786       312822622      1163214104     64             0              14   57   46   
1520.72/1520.72	c 8281122        24751041       343332780      1283935968     64             0              33   58   47   
1680.33/1680.32	c 9109294        27276513       378410172      1435383457     64             0              24   61   48   
1860.74/1860.70	c 10020283       29987375       417625395      1602424987     64             0              34   59   49   
2049.84/2049.85	c 11022370       32908498       458399511      1770144341     64             0              32   58   47   
2283.65/2283.64	c 12124665       36284491       508086224      1986278159     64             0              31   58   46   
2284.75/2284.77	c First solution is found
2284.75/2284.77	s SATISFIABLE
2284.75/2284.77	c restarts              : 99          
2284.75/2284.77	c conflicts             : 12132080     (5310 /sec)
2284.75/2284.77	c decisions             : 36306610     (15890 /sec)
2284.75/2284.77	c propagations          : 1987254574  (869765 /sec)
2284.75/2284.77	c root propagations     : 2192        
2284.75/2284.77	c filter calls          : 508370484      (222499 /sec)
2284.75/2284.77	c useless filter calls  : 259694735      (51 %)
2284.75/2284.77	c Memory used           : 30.61 MB
2284.75/2284.77	c CPU time              : 2284.82 s
2284.75/2284.77	c real time             : 2284.77 s
2284.75/2284.77	
2284.75/2284.77	c solution 1
2284.75/2284.77	
2284.75/2284.77	v <instantiation type='solution'>
2284.75/2284.77	v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] </list>
2284.75/2284.77	v <values>0 10 4 14 20 5 15 30 47 62 52 35 45 55 38 28 18 12 27 44 61 51 57 40 34 24 9 3 13 7 22 39 29 23 6 21 11 1 16 26 43 33 48 58 41 56 50 60 54 37 31 46 63 53 59 49 32 42 36 19 25 8 2 17 </values>
2284.75/2284.77	v </instantiation>
2284.75/2284.77

Verifier Data 

OK

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 (13683 MiB free)
  memory of node 1: 16384 MiB (13677 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396795-1568587937/watcher-4396795-1568587937 -o /tmp/evaluation-result-4396795-1568587937/solver-4396795-1568587937 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568572745-9395 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396795-1568587937.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=13720, runsolver pid=13717

[startup+0.100153 s]*
/proc/loadavg: 1.92 2.00 2.04 3/200 13721
/proc/meminfo: memFree=28014108/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=30172 memory=6548 CPUtime=0.1 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 1815 0 0 0 10 0 0 0 20 0 1 0 434708605 30896128 1637 33554432000 4194304 6211092 140724915076288 140724915072824 140681901018085 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7543 1637 830 493 0 848 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30172 KiB
Current children cumulated memory: 6548 KiB

[startup+0.209656 s]*
/proc/loadavg: 1.92 2.00 2.04 3/200 13721
/proc/meminfo: memFree=28012620/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7976 CPUtime=0.21 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 2161 0 0 0 21 0 0 0 20 0 1 0 434708605 32096256 1994 33554432000 4194304 6211092 140724915076288 140724915072824 5075544 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1994 865 493 0 1141 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7976 KiB

[startup+0.309007 s]*
/proc/loadavg: 1.92 2.00 2.04 3/200 13721
/proc/meminfo: memFree=28012620/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7976 CPUtime=0.31 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 2161 0 0 0 31 0 0 0 20 0 1 0 434708605 32096256 1994 33554432000 4194304 6211092 140724915076288 140724915072824 5079295 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1994 865 493 0 1141 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7976 KiB

[startup+0.700271 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 13721
/proc/meminfo: memFree=28012620/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7976 CPUtime=0.69 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 2161 0 0 0 69 0 0 0 20 0 1 0 434708605 32096256 1994 33554432000 4194304 6211092 140724915076288 140724915074248 5078923 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1994 865 493 0 1141 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7976 KiB

[startup+1.50028 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 13721
/proc/meminfo: memFree=28012540/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7976 CPUtime=1.49 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 2161 0 0 0 149 0 0 0 20 0 1 0 434708605 32096256 1994 33554432000 4194304 6211092 140724915076288 140724915074248 5075231 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1994 865 493 0 1141 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7976 KiB

[startup+3.10897 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 13721
/proc/meminfo: memFree=28012664/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=3.1 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 2465 0 0 0 310 0 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5075208 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+6.30026 s]
/proc/loadavg: 2.01 2.01 2.05 3/200 13721
/proc/meminfo: memFree=28012736/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=6.29 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 2769 0 0 0 629 0 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5075221 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.05 3/200 13721
/proc/meminfo: memFree=28012828/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=12.69 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 3073 0 0 0 1269 0 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5081337 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.05 3/200 13723
/proc/meminfo: memFree=28011904/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=25.49 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 3577 0 0 0 2549 0 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5075234 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 13724
/proc/meminfo: memFree=28012280/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=51.1 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 3776 0 0 0 5110 0 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5082495 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 13727
/proc/meminfo: memFree=28012408/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=102.29 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 3975 0 0 0 10229 0 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5076389 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 13733
/proc/meminfo: memFree=28011932/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=162.29 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 4174 0 0 0 16229 0 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5074419 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 13738
/proc/meminfo: memFree=28011384/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=222.29 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 4373 0 0 0 22229 0 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5078923 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 13742
/proc/meminfo: memFree=28011960/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=282.3 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 4572 0 0 0 28230 0 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5081280 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 13748
/proc/meminfo: memFree=28011508/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=342.3 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 4771 0 0 0 34230 0 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5074395 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 13753
/proc/meminfo: memFree=28011964/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=402.3 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 4970 0 0 0 40230 0 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5081412 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 13757
/proc/meminfo: memFree=28012072/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=462.3 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 5169 0 0 0 46230 0 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5074429 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB


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

Current children cumulated memory: 7996 KiB

[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 13980
/proc/meminfo: memFree=27725360/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=1902.34 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 8944 0 0 0 190233 1 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5081706 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 13986
/proc/meminfo: memFree=27725092/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=1962.34 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 9055 0 0 0 196233 1 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5397368 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 13991
/proc/meminfo: memFree=27725940/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=2022.34 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 9182 0 0 0 202233 1 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5082354 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 13995
/proc/meminfo: memFree=27725788/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=2082.34 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 9381 0 0 0 208233 1 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5081189 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14001
/proc/meminfo: memFree=27726116/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=2142.34 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 9492 0 0 0 214233 1 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5079333 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14006
/proc/meminfo: memFree=27725960/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=2202.35 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 9603 0 0 0 220234 1 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5193696 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 2202.35 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14010
/proc/meminfo: memFree=27726320/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=2262.35 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 9719 0 0 0 226234 1 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5081337 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+2284.78 s]
# the end of solver process 13720 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2284.82 s, system=0.01 s

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

[startup+2265.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14010
/proc/meminfo: memFree=27726320/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=2265.65 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 9719 0 0 0 226564 1 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5390154 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 2265.65 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+2278.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14014
/proc/meminfo: memFree=27726220/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=2278.45 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 9817 0 0 0 227844 1 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5082759 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 2278.45 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+2281.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14014
/proc/meminfo: memFree=27726344/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=2281.65 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 9817 0 0 0 228164 1 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5081676 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 2281.65 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+2283.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14014
/proc/meminfo: memFree=27726468/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=2283.25 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 9817 0 0 0 228324 1 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5082393 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 2283.25 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+2284 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 14014
/proc/meminfo: memFree=27726468/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=2284.06 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 9918 0 0 0 228405 1 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5076402 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 2284.06 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+2284.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14014
/proc/meminfo: memFree=27726468/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=2284.45 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 9918 0 0 0 228444 1 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5075266 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 2284.45 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+2284.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14014
/proc/meminfo: memFree=27726468/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=2284.65 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 9918 0 0 0 228464 1 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5081337 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 2284.65 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

[startup+2284.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14014
/proc/meminfo: memFree=27726468/32770624 swapFree=66939884/67108860
[pid=13720] ppid=13717 vsize=31344 memory=7996 CPUtime=2284.75 cores=1,3,5,7
/proc/13720/stat : 13720 (cosoco) R 13717 13720 9363 0 -1 4202496 9918 0 0 0 228474 1 0 0 20 0 1 0 434708605 32096256 1999 33554432000 4194304 6211092 140724915076288 140724915074248 5082405 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 20533248 140724915078155 140724915078257 140724915078257 140724915081166 0
/proc/13720/statm: 7836 1999 868 493 0 1141 0
Current children cumulated CPU time: 2284.75 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7996 KiB

Child status: 0
Real time (s): 2284.78
CPU time (s): 2284.83
CPU user time (s): 2284.82
CPU system time (s): 0.01
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 31344
Max. memory (cumulated for all children) (KiB): 7996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2284.82
system time used= 0.01
maximum resident set size= 8064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9957
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= 7
involuntary context switches= 611


# summary of solver processes directly reported to runsolver:
#   pid: 13720
#   total CPU time (s): 2284.83
#   total CPU user time (s): 2284.82
#   total CPU system time (s): 0.01

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.6092 second user time and 14.8364 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-16 00:51:37
IDJOB=4396795
IDBENCH=134594
IDSOLVER=2848
FILE ID=node119/4396795-1568587937
RUNJOBID= node119-1568572745-9395
PBS_JOBID= 21703330
Free space on /tmp= 61368 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/KnightTour/KnightTour-int-s1/KnightTour-08-int.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396795-1568587937/watcher-4396795-1568587937 -o /tmp/evaluation-result-4396795-1568587937/solver-4396795-1568587937 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568572745-9395 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396795-1568587937.xml

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

MD5SUM BENCH= 473b10c1a98fbd59115b24ad203b92fd
RANDOM SEED=1744450657

node119.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.47
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.47
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.47
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.47
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:        28016844 kB
MemAvailable:   31813296 kB
Buffers:          140412 kB
Cached:          3937360 kB
SwapCached:        61096 kB
Active:          2495824 kB
Inactive:        1656280 kB
Active(anon):      10760 kB
Inactive(anon):   113196 kB
Active(file):    2485064 kB
Inactive(file):  1543084 kB
Unevictable:      106936 kB
Mlocked:          106936 kB
SwapTotal:      67108860 kB
SwapFree:       66939884 kB
Dirty:              2844 kB
Writeback:             0 kB
AnonPages:        129956 kB
Mapped:            49244 kB
Shmem:             41008 kB
Slab:             197876 kB
SReclaimable:     168276 kB
SUnreclaim:        29600 kB
KernelStack:        3776 kB
PageTables:         5228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     543616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61364 MiB
End job on node119 at 2019-09-16 01:29:42