Trace number 4408055

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 2283.4 2283.51

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-4408055-1569803639.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.17	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.60/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.79/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.26	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.87	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.77	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.76	c 47403          136361         1789318        6083392        64             0              28   57   50   
8.49/8.59	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.32	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.61	c 84607          245592         3181943        11119557       64             0              24   56   49   
14.89/14.95	c 93147          270399         3488790        12052406       64             0              14   54   47   
16.29/16.37	c 102541         299227         3840650        13069568       64             0              37   56   47   
18.00/18.04	c 112874         330123         4237742        14489482       64             0              38   58   48   
19.69/19.78	c 124240         361358         4621562        15975827       64             0              33   55   46   
21.59/21.68	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.79	c 165621         487345         6228184        21700493       64             0              38   59   49   
29.19/29.20	c 182260         540680         6847900        23430133       64             0              36   59   50   
32.19/32.21	c 200562         601436         7584640        25711865       64             0              40   60   50   
35.29/35.30	c 220694         660567         8337693        27870690       64             0              33   57   49   
38.79/38.84	c 242839         718263         9107910        30566215       64             0              13   55   46   
43.00/43.05	c 267198         785824         10037890       34113619       64             0              21   58   48   
47.79/47.85	c 293992         862572         11090272       38176224       64             0              33   58   46   
52.79/52.88	c 323465         944540         12238339       42504516       64             0              23   58   47   
58.59/58.65	c 355885         1038362        13533768       47528704       64             0              35   58   48   
64.79/64.87	c 391547         1141735        14933867       52662136       64             0              36   58   47   
71.49/71.50	c 430775         1254034        16450294       58084482       64             0              35   56   47   
78.00/78.08	c 473925         1373507        18029596       63330562       64             0              28   57   47   
86.10/86.17	c 521390         1510817        19917735       69943534       64             0              35   57   47   
94.10/94.14	c 573601         1654868        21751482       76474783       64             0              6   58   48    
102.89/103.00	c 631033         1808298        23823100       84195915       64             0              36   59   48   
113.99/114.05	c 694208         1988799        26299559       94552370       64             0              36   58   49   
124.18/124.22	c 763700         2181399        28605248       103021006      64             0              26   56   46   
140.88/140.92	c 840141         2416960        32101573       117609447      64             0              20   56   47   
156.09/156.12	c 924226         2686091        35593573       129917081      64             0              36   60   50   
173.78/173.84	c 1016719        2957124        39632929       146345130      64             0              27   60   49   
188.58/188.62	c 1118461        3246264        43175075       157078435      64             0              18   57   48   
204.68/204.78	c 1230377        3568304        47043351       169082833      64             0              36   59   49   
226.78/226.81	c 1353484        3937246        52236326       189677837      64             0              13   58   48   
258.09/258.11	c 1488901        4394804        58828919       215264531      64             0              20   58   46   
283.18/283.20	c 1637859        4783654        64617695       239075994      64             0              15   57   47   
317.17/317.22	c 1801712        5309690        72351682       270490462      64             0              30   58   47   
349.98/350.10	c 1981950        5823971        79413405       298039693      64             0              33   56   47   
389.67/389.74	c 2180211        6422747        88163393       330069297      64             0              27   56   48   
424.47/424.59	c 2398298        7065216        96550427       359248551      64             0              34   57   47   
463.98/464.10	c 2638193        7793560        106159034      392309600      64             0              26   57   48   
505.17/505.28	c 2902077        8629408        116494504      423931508      64             0              17   61   49   
551.36/551.41	c 3192349        9418228        127187050      464689992      64             0              32   55   45   
615.36/615.46	c 3511648        10449864       141565559      523000380      64             0              32   61   48   
675.07/675.12	c 3862876        11328111       155901090      574921308      64             0              18   57   47   
758.65/758.71	c 4249226        12545530       174199268      648693811      64             0              28   58   46   
838.85/838.96	c 4674211        13841607       192003725      714984895      64             0              22   58   47   
927.54/927.60	c 5141694        15322106       212804592      786906149      64             0              13   60   48   
1031.74/1031.88	c 5655925        16892049       235955012      879841643      64             0              30   58   46   
1140.04/1140.12	c 6221579        18504688       259542188      970558715      64             0              31   57   45   
1256.04/1256.11	c 6843798        20454932       285786584      1057687851     64             0              24   59   48   
1378.62/1378.71	c 7528238        22516786       312822622      1163214104     64             0              14   57   46   
1520.02/1520.19	c 8281122        24751041       343332780      1283935968     64             0              33   58   47   
1679.40/1679.54	c 9109294        27276513       378410172      1435383457     64             0              24   61   48   
1859.69/1859.82	c 10020283       29987375       417625395      1602424987     64             0              34   59   49   
2048.58/2048.71	c 11022370       32908498       458399511      1770144341     64             0              32   58   47   
2282.17/2282.38	c 12124665       36284491       508086224      1986278159     64             0              31   58   46   
2283.37/2283.51	c First solution is found
2283.37/2283.51	s SATISFIABLE
2283.37/2283.51	c restarts              : 99          
2283.37/2283.51	c conflicts             : 12132080     (5313 /sec)
2283.37/2283.51	c decisions             : 36306610     (15900 /sec)
2283.37/2283.51	c propagations          : 1987254574  (870309 /sec)
2283.37/2283.51	c root propagations     : 2192        
2283.37/2283.51	c filter calls          : 508370484      (222638 /sec)
2283.37/2283.51	c useless filter calls  : 259694735      (51 %)
2283.37/2283.51	c Memory used           : 30.61 MB
2283.37/2283.51	c CPU time              : 2283.39 s
2283.37/2283.51	c real time             : 2283.51 s
2283.37/2283.51	
2283.37/2283.51	c solution 1
2283.37/2283.51	
2283.37/2283.51	v <instantiation type='solution'>
2283.37/2283.51	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>
2283.37/2283.51	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>
2283.37/2283.51	v </instantiation>
2283.37/2283.51

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408055-1569803639/watcher-4408055-1569803639 -o /tmp/evaluation-result-4408055-1569803639/solver-4408055-1569803639 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1569787354-10133 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408055-1569803639.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14717, runsolver pid=14714


[startup+0.100143 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 14718
/proc/meminfo: memFree=31854268/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=30172 memory=6424 CPUtime=0.1 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 1812 0 0 0 10 0 0 0 20 0 1 0 556636364 30896128 1606 33554432000 4194304 6211132 140732767563952 140732767550056 139732050430949 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7543 1606 830 493 0 848 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30172 KiB
Current children cumulated memory: 6424 KiB

[startup+0.209688 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 14718
/proc/meminfo: memFree=31852808/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=7980 CPUtime=0.21 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 2162 0 0 0 21 0 0 0 20 0 1 0 556636364 32096256 1995 33554432000 4194304 6211132 140732767563952 140732767550056 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 1995 865 493 0 1141 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB

[startup+0.309027 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 14718
/proc/meminfo: memFree=31852808/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=7980 CPUtime=0.31 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 2162 0 0 0 31 0 0 0 20 0 1 0 556636364 32096256 1995 33554432000 4194304 6211132 140732767563952 140732767550056 5075221 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 1995 865 493 0 1141 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB

[startup+0.70027 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14718
/proc/meminfo: memFree=31852808/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=7980 CPUtime=0.69 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 2162 0 0 0 69 0 0 0 20 0 1 0 556636364 32096256 1995 33554432000 4194304 6211132 140732767563952 140732767561912 5075597 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 1995 865 493 0 1141 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14718
/proc/meminfo: memFree=31852808/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=7980 CPUtime=1.49 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 2162 0 0 0 149 0 0 0 20 0 1 0 556636364 32096256 1995 33554432000 4194304 6211132 140732767563952 140732767561912 5075646 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 1995 865 493 0 1141 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB

[startup+3.10906 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14718
/proc/meminfo: memFree=31852560/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=3.1 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 2465 0 0 0 310 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5076434 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14718
/proc/meminfo: memFree=31852560/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=6.29 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 2768 0 0 0 629 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5075686 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14718
/proc/meminfo: memFree=31852684/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=12.69 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 3071 0 0 0 1269 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5075097 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14718
/proc/meminfo: memFree=31852312/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=25.49 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 3677 0 0 0 2549 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5082818 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14721
/proc/meminfo: memFree=31851788/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=51.1 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 3980 0 0 0 5110 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5017712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 14724
/proc/meminfo: memFree=31851276/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=102.29 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 4236 0 0 0 10229 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5075560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14729
/proc/meminfo: memFree=31851032/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=162.28 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 4429 0 0 0 16228 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5075587 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14735
/proc/meminfo: memFree=31851236/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=222.28 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 4622 0 0 0 22228 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14739
/proc/meminfo: memFree=31851720/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=282.28 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 4815 0 0 0 28228 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5081349 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14743
/proc/meminfo: memFree=31851744/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=342.27 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 5008 0 0 0 34227 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5081360 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14749
/proc/meminfo: memFree=31851032/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=402.27 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 5201 0 0 0 40227 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5081298 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 14760
/proc/meminfo: memFree=31850344/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=462.27 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 5394 0 0 0 46227 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5082818 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB


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

Current children cumulated memory: 8000 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14911
/proc/meminfo: memFree=31849368/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=1902.19 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 9117 0 0 0 190219 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5079440 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 14915
/proc/meminfo: memFree=31849120/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=1962.19 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 9214 0 0 0 196219 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5075871 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+2022.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/201 14921
/proc/meminfo: memFree=31849348/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=2022.19 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 9309 0 0 0 202219 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5079432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 14925
/proc/meminfo: memFree=31849924/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=2082.18 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 9504 0 0 0 208218 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5078800 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 14929
/proc/meminfo: memFree=31849408/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=2142.18 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 9615 0 0 0 214218 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 2142.18 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 14935
/proc/meminfo: memFree=31849068/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=2202.18 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 9726 0 0 0 220218 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5082358 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 14986
/proc/meminfo: memFree=31847584/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=2262.17 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 9842 0 0 0 226217 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5075694 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+2283.51 s]
# the end of solver process 14717 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2283.39 s, system=0.009999 s

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

[startup+2265.6 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 14986
/proc/meminfo: memFree=31847584/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=2265.47 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 9842 0 0 0 226547 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5081629 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 2265.47 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+2272 s]*
/proc/loadavg: 2.03 2.02 2.05 3/200 14987
/proc/meminfo: memFree=31847888/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=2271.88 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 9842 0 0 0 227188 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5075587 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 2271.88 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+2278.4 s]
/proc/loadavg: 2.03 2.02 2.05 3/200 14987
/proc/meminfo: memFree=31847688/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=2278.27 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 9940 0 0 0 227827 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5398534 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 2278.27 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+2281.6 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 14987
/proc/meminfo: memFree=31847688/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=2281.47 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 9946 0 0 0 228147 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5207536 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 2281.47 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+2282.4 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 14987
/proc/meminfo: memFree=31847688/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=2282.27 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 10035 0 0 0 228227 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5081706 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 2282.27 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+2283.2 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 14988
/proc/meminfo: memFree=31847672/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=2283.07 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 10035 0 0 0 228307 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5075544 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 2283.07 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+2283.4 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 14988
/proc/meminfo: memFree=31847672/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=2283.27 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 10035 0 0 0 228327 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5081762 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 2283.27 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

[startup+2283.5 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 14988
/proc/meminfo: memFree=31847672/32770624 swapFree=66947624/67108860
[pid=14717] ppid=14714 vsize=31344 memory=8000 CPUtime=2283.37 cores=0,2,4,6
/proc/14717/stat : 14717 (cosoco) R 14714 14717 10102 0 -1 4202496 10035 0 0 0 228337 0 0 0 20 0 1 0 556636364 32096256 2000 33554432000 4194304 6211132 140732767563952 140732767561912 5081349 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22024192 140732767573003 140732767573105 140732767573105 140732767576014 0
/proc/14717/statm: 7836 2000 868 493 0 1141 0
Current children cumulated CPU time: 2283.37 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 8000 KiB

Child status: 0
Real time (s): 2283.51
CPU time (s): 2283.4
CPU user time (s): 2283.39
CPU system time (s): 0.009999
CPU usage (%): 99.995
Max. virtual memory (cumulated for all children) (KiB): 31344
Max. memory (cumulated for all children) (KiB): 8000

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


# summary of solver processes directly reported to runsolver:
#   pid: 14717
#   total CPU time (s): 2283.4
#   total CPU user time (s): 2283.39
#   total CPU system time (s): 0.009999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75909 second user time and 16.2532 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-30 02:33:18
IDJOB=4408055
IDBENCH=134594
IDSOLVER=2874
FILE ID=node150/4408055-1569803639
RUNJOBID= node150-1569787354-10133
PBS_JOBID= 21705815
Free space on /tmp= 62028 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-4408055-1569803639/watcher-4408055-1569803639 -o /tmp/evaluation-result-4408055-1569803639/solver-4408055-1569803639 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1569787354-10133 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408055-1569803639.xml

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

MD5SUM BENCH= 473b10c1a98fbd59115b24ad203b92fd
RANDOM SEED=977347984

node150.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.79
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.79
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.79
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.79
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:        31856356 kB
MemAvailable:   31932188 kB
Buffers:          140384 kB
Cached:           222464 kB
SwapCached:         5508 kB
Active:           158188 kB
Inactive:         213968 kB
Active(anon):      11784 kB
Inactive(anon):    21776 kB
Active(file):     146404 kB
Inactive(file):   192192 kB
Unevictable:      110020 kB
Mlocked:          110020 kB
SwapTotal:      67108860 kB
SwapFree:       66947624 kB
Dirty:              2864 kB
Writeback:             0 kB
AnonPages:        115604 kB
Mapped:            28244 kB
Shmem:             15652 kB
Slab:             135144 kB
SReclaimable:     106144 kB
SUnreclaim:        29000 kB
KernelStack:        3552 kB
PageTables:         5860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     570568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 62024 MiB
End job on node150 at 2019-09-30 03:11:22