Trace number 4295774

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 1.12? (TO) 2520.06 2520.01

General information on the benchmark

NameSportsScheduling/
SportsScheduling-26_c18.xml
MD5SUMe7fb96dadee149724dd4cb9af2eae5d9
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1001
Number of constraints429
Number of domains2
Minimum domain size26
Maximum domain size325
Distribution of domain sizes[{"size":26,"count":676},{"size":325,"count":325}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":338},{"degree":4,"count":663}]
Minimum constraint arity1
Maximum constraint arity325
Distribution of constraint arities[{"arity":1,"count":13},{"arity":2,"count":13},{"arity":3,"count":325},{"arity":13,"count":25},{"arity":26,"count":26},{"arity":50,"count":13},{"arity":52,"count":13},{"arity":325,"count":1}]
Number of extensional constraints325
Number of intensional constraints26
Distribution of constraint types[{"type":"extension","count":325},{"type":"intension","count":26},{"type":"allDifferent","count":27},{"type":"count","count":25},{"type":"cardinality","count":26}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 50 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.02	c Create Cardinality(vars,values,occurs) constraint using 52 Exactly/AtMost.. constraint 
0.00/0.02	c
0.00/0.05	c root propagations     : 3974        
0.00/0.05	c restarts enabled, print stats at every restarts
0.00/0.05	c
0.00/0.05	c
0.00/0.05	c
0.00/0.05	c This is cosoco 1.12 --  
0.00/0.05	c
0.00/0.05	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295774-1532568497.xml 
0.00/0.05	c ========================================[ Problem Statistics ]===========================================
0.00/0.05	c |                                                                                                       
0.00/0.05	c |  Parse time        :         0.03 s 
0.00/0.05	c |
0.00/0.05	c |               Variables: 1001
0.00/0.05	c |            Domain Sizes: 26..325
0.00/0.05	c |
0.00/0.05	c |             Constraints: 1417
0.00/0.05	c |                   Arity: 1..325  -- Unary: 13  -- Binary: 13  -- Ternary: 325
0.00/0.05	c | 
0.00/0.05	c |                   Types: 
0.00/0.05	c |                          (X - Y < k): 13
0.00/0.05	c |                          All Different: 27
0.00/0.05	c |                          At least: 338
0.00/0.05	c |                          At most: 338
0.00/0.05	c |                          Exactly K: 363
0.00/0.05	c |                          Extension: 325  (nb tuples: 325..325) -- (shared: 324)
0.00/0.05	c |                          Unary: 13
0.00/0.05	c |                          
0.00/0.05	c =========================================================================================================
0.00/0.05	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.08	c 101            275            109913         46915          1001           0              76   144   121 
0.10/0.11	c 211            531            166017         101762         1001           0              53   94   89   
0.10/0.14	c 332            791            225328         159831         1001           0              39   88   83   
0.10/0.21	c 465            1209           339145         208590         1001           0              214   268   261
0.21/0.26	c 611            1532           409899         278577         1001           0              1   50   47    
0.21/0.29	c 771            1855           482166         350340         1001           0              18   50   47   
0.31/0.39	c 947            2270           585397         437203         1001           0              83   142   134 
0.41/0.44	c 1140           2669           673933         524303         1001           0              18   53   50   
0.51/0.57	c 1352           3162           814741         636648         1001           0              18   130   126 
0.60/0.62	c 1585           3612           914308         738348         1001           0              2   53   50    
0.69/0.76	c 1841           4162           1058812        865824         1001           0              18   118   114 
0.79/0.83	c 2122           4690           1177776        991450         1001           0              15   53   49   
0.89/0.98	c 2431           5317           1352938        1146061        1001           0              54   89   86   
1.00/1.05	c 2770           5949           1488034        1292481        1001           0              15   50   47   
1.10/1.11	c 3142           6459           1556870        1308528        1001           0              54   139   134 
1.10/1.16	c 3551           7012           1606748        1324184        1001           0              1   145   140  
1.19/1.21	c 4000           7611           1679965        1341632        1001           0              1   151   148  
1.19/1.29	c 4493           8290           1787285        1363623        1001           0              1   187   181  
1.39/1.40	c 5035           9229           1994743        1589771        1001           0              1   71   67    
1.59/1.67	c 5631           10376          2326547        1872382        1001           0              69   125   122 
1.69/1.76	c 6286           11223          2438049        1896958        1001           0              2   193   186  
1.89/1.93	c 7006           12515          2718014        2207703        1001           0              1   53   50    
2.00/2.03	c 7798           13538          2839119        2236130        1001           0              69   232   224 
2.19/2.21	c 8669           15074          3159215        2596915        1001           0              1   50   46    
2.39/2.41	c 9627           16412          3480963        2706908        1001           0              71   286   257 
2.79/2.86	c 10680          18289          3993827        3184979        1001           0              15   128   123 
3.39/3.41	c 11838          20452          4651886        3739312        1001           0              2   224   219  
3.69/3.72	c 13111          22701          5129211        4283737        1001           0              15   53   49   
4.39/4.40	c 14511          25147          5911452        4904347        1001           0              54   137   131 
4.69/4.75	c 16051          27851          6479510        5553681        1001           0              15   50   47   
5.59/5.64	c 17745          30820          7458950        6334816        1001           0              54   89   86   
5.99/6.06	c 19608          34043          8138714        7124280        1001           0              15   50   46   
6.69/6.77	c 21657          37433          8917804        7983616        1001           0              54   86   83   
7.79/7.80	c 23910          41240          10068960       9022987        1001           0              2   86   82    
8.39/8.40	c 26388          45439          10982293       10063717       1001           0              2   47   44    
8.89/8.96	c 29113          50000          11949424       11187294       1001           0              1   47   43    
9.49/9.57	c 32110          55049          13019474       12437539       1001           0              15   47   44   
10.29/10.37	c 35406          60680          14254859       13866016       1001           0              2   47   43    
11.10/11.17	c 39031          66744          15555257       15407821       1001           0              15   47   43   
11.99/12.02	c 43018          73539          16992345       17098730       1001           0              2   47   43    
12.99/13.08	c 47403          80865          18616884       18993651       1001           0              2   47   43    
14.10/14.14	c 52226          89286          20373481       21108712       1001           0              38   47   43   
15.29/15.33	c 57531          98286          22288792       23420066       1001           0              2   47   43    
16.79/16.80	c 63366          108254         24491742       26024176       1001           0              15   47   43   
18.09/18.19	c 69784          118949         26777550       28797259       1001           0              15   47   42   
19.79/19.80	c 76843          130564         29310735       31832779       1001           0              2   47   42    
21.39/21.49	c 84607          143224         32018829       35214424       1001           0              15   47   41   
23.39/23.48	c 93147          157242         35108236       38901050       1001           0              15   47   41   
25.49/25.57	c 102541         172624         38424273       42960302       1001           0              36   47   42   
27.78/27.85	c 112874         189575         42172974       47449884       1001           0              2   47   42    
30.09/30.15	c 124240         209118         46305192       52429480       1001           0              2   47   41    
32.68/32.79	c 136742         229854         50821527       57944922       1001           0              2   47   41    
35.58/35.62	c 150494         253019         55802088       63918644       1001           0              2   47   41    
38.99/39.08	c 165621         278351         61505793       70663351       1001           0              2   47   41    
42.48/42.52	c 182260         306352         67529745       77939577       1001           0              2   47   41    
46.18/46.28	c 200562         337350         74252919       85996945       1001           0              2   47   41    
50.48/50.54	c 220694         370727         81536143       94864143       1001           0              36   47   41   
55.38/55.44	c 242839         408707         89796308       104731835      1001           0              15   47   41   
60.68/60.70	c 267198         450208         98777577       115672239      1001           0              15   47   41   
66.58/66.69	c 293992         496239         108843787      127621573      1001           0              2   47   41    
73.28/73.39	c 323465         547505         119903589      140886314      1001           0              36   47   41   
80.18/80.24	c 355885         599698         131827275      154849561      1001           0              2   47   39    
87.18/87.20	c 391547         656639         144619986      170133295      1001           0              2   45   39    
96.09/96.19	c 430775         723794         159618685      187708222      1001           0              2   47   41    
103.88/103.98	c 473925         790765         174778495      205557057      1001           0              32   47   38   
112.88/112.96	c 521390         864113         191744330      225377319      1001           0              2   43   37    
124.38/124.48	c 573601         951577         211223825      248339604      1001           0              2   47   41    
134.78/134.88	c 631033         1041369        231712362      272035798      1001           0              2   45   38    
147.48/147.54	c 694208         1140960        254937724      298545783      1001           0              2   47   38    
159.88/159.93	c 763700         1247467        279385327      326948339      1001           0              18   45   38   
172.58/172.66	c 840141         1359308        305902781      357457023      1001           0              15   41   36   
186.78/186.87	c 924226         1486126        334868446      391829047      1001           0              2   47   36    
203.48/203.50	c 1016719        1625186        367966181      429210749      1001           0              2   41   36    
222.28/222.33	c 1118461        1783286        404669487      471682164      1001           0              32   47   38   
243.48/243.54	c 1230377        1949650        445033535      516592708      1001           0              2   47   36    
266.99/267.08	c 1353484        2141333        489310846      568162672      1001           0              32   47   38   
290.99/291.01	c 1488901        2337149        537350737      621641705      1001           0              2   47   35    
315.69/315.79	c 1637859        2551931        588988796      681213763      1001           0              2   39   35    
346.99/347.05	c 1801712        2807685        648695540      749173949      1001           0              2   47   38    
375.69/375.72	c 1981950        3074131        712386296      805280784      1001           0              29   40   35   
409.89/409.92	c 2180211        3385488        783502481      872558027      1001           0              31   42   37   
450.29/450.34	c 2398298        3704407        862181040      960070336      1001           0              2   41   35    
494.59/494.69	c 2638193        4077383        948396765      1059350578     1001           0              2   47   38    
538.59/538.61	c 2902077        4448495        1040808912     1162528650     1001           0              2   39   34    
593.89/593.96	c 3192349        4907409        1146034103     1284057332     1001           0              31   47   38   
654.10/654.13	c 3511648        5386896        1261985833     1414509970     1001           0              2   47   36    
712.70/712.79	c 3862876        5903794        1385757875     1555181036     1001           0              15   41   36   
783.40/783.44	c 4249226        6475145        1525143031     1711352411     1001           0              2   43   36    
850.40/850.47	c 4674211        7079172        1672576318     1835741465     1001           0              27   38   33   
930.30/930.33	c 5141694        7777340        1837801937     2023426118     1001           0              2   45   36    
1027.30/1027.36	c 5655925        8593931        2032080926     2200032730     1001           0              29   48   36   
1125.50/1125.58	c 6221579        9410713        2234709210     2424065756     1001           0              2   47   34    
1227.51/1227.56	c 6843798        10303899       2452323377     2669180421     1001           0              2   28   21    
1326.31/1326.39	c 7528238        11256865       2693297623     2872311547     1001           0              25   36   31   
1458.51/1458.54	c 8281122        12344778       2961979384     3172168065     1001           0              2   26   21    
1592.61/1592.67	c 9109294        13549761       3253910090     3500307042     1001           0              2   26   21    
1748.62/1748.61	c 10020283       14880704       3586699937     3793491621     1001           0              13   25   20   
1921.23/1921.21	c 11022370       16443522       3949845357     4128438909     1001           0              15   34   24   
2105.63/2105.67	c 12124665       18043311       4348120681     4483894726     1001           0              13   25   20   
2352.74/2352.79	c 13337189       19989452       4804139632     4997014363     1001           0              2   34   25    
2520.05/2520.00	
2520.05/2520.00	c *** INTERRUPTED ***
2520.05/2520.00	c restarts              : 100         
2520.05/2520.00	c conflicts             : 14420290     (5722 /sec)
2520.05/2520.00	c decisions             : 21557061     (8554 /sec)
2520.05/2520.00	c propagations          : 5338123630  (2118264 /sec)
2520.05/2520.00	c root propagations     : 3974        
2520.05/2520.00	c filter calls          : 5183185637     (2056782 /sec)
2520.05/2520.00	c useless filter calls  : 5103902588     (98 %)
2520.05/2520.00	c Memory used           : 39.65 MB
2520.05/2520.00	c CPU time              : 2520.05 s
2520.05/2520.00	
2520.05/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295774-1532568497/watcher-4295774-1532568497 -o /tmp/evaluation-result-4295774-1532568497/solver-4295774-1532568497 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30488 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295774-1532568497.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=1763, runsolver pid=1760

[startup+0.10011 s]*
/proc/loadavg: 2.00 2.06 2.09 3/188 1764
/proc/meminfo: memFree=21794616/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=39032 memory=15804 CPUtime=0.1 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 4109 0 0 0 10 0 0 0 20 0 1 0 74412863 39968768 3951 33554432000 4194304 6142532 140729308692400 140729308689032 5335940 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 9758 3951 887 476 0 3080 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 15804 KiB

[startup+0.209639 s]*
/proc/loadavg: 2.00 2.06 2.09 3/188 1764
/proc/meminfo: memFree=21793500/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40088 memory=16860 CPUtime=0.21 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 4376 0 0 0 21 0 0 0 20 0 1 0 74412863 41050112 4215 33554432000 4194304 6142532 140729308692400 140729308689032 5017733 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10022 4215 887 476 0 3344 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40088 KiB
Current children cumulated memory: 16860 KiB

[startup+0.309454 s]*
/proc/loadavg: 2.00 2.06 2.09 3/188 1764
/proc/meminfo: memFree=21793500/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40088 memory=16860 CPUtime=0.31 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 4376 0 0 0 31 0 0 0 20 0 1 0 74412863 41050112 4215 33554432000 4194304 6142532 140729308692400 140729308689032 5120760 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10022 4215 887 476 0 3344 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40088 KiB
Current children cumulated memory: 16860 KiB

[startup+0.700247 s]
/proc/loadavg: 2.00 2.06 2.09 3/188 1764
/proc/meminfo: memFree=21793016/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40088 memory=16860 CPUtime=0.69 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 4376 0 0 0 69 0 0 0 20 0 1 0 74412863 41050112 4215 33554432000 4194304 6142532 140729308692400 140729308689800 5058042 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10022 4215 887 476 0 3344 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40088 KiB
Current children cumulated memory: 16860 KiB

[startup+1.50026 s]
/proc/loadavg: 2.00 2.06 2.09 3/188 1764
/proc/meminfo: memFree=21793016/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40260 memory=16860 CPUtime=1.49 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 4388 0 0 0 149 0 0 0 20 0 1 0 74412863 41226240 4215 33554432000 4194304 6142532 140729308692400 140729308689800 5175264 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10065 4215 887 476 0 3387 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40260 KiB
Current children cumulated memory: 16860 KiB

[startup+3.1092 s]
/proc/loadavg: 2.00 2.06 2.09 3/188 1764
/proc/meminfo: memFree=21792892/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17084 CPUtime=3.1 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 7716 0 0 0 310 0 0 0 20 0 1 0 74412863 41574400 4271 33554432000 4194304 6142532 140729308692400 140729308689800 5175278 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4271 887 476 0 3472 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17084 KiB

[startup+6.30023 s]
/proc/loadavg: 2.00 2.06 2.09 3/188 1764
/proc/meminfo: memFree=21792876/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=6.29 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 11017 0 0 0 629 0 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5058231 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.06 2.08 3/188 1764
/proc/meminfo: memFree=21792876/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=12.69 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 14302 0 0 0 1269 0 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5061919 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.05 2.08 3/188 1764
/proc/meminfo: memFree=21793248/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=25.49 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 20778 0 0 0 2549 0 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5017909 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+51.1092 s]
/proc/loadavg: 2.00 2.05 2.08 3/188 1764
/proc/meminfo: memFree=21793236/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=51.09 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 21069 0 0 0 5109 0 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5335934 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/188 1765
/proc/meminfo: memFree=21793032/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=102.28 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 21310 0 0 0 10228 0 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5175278 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/188 1773
/proc/meminfo: memFree=21792804/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=162.28 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 21556 0 0 0 16228 0 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5061881 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+222.3 s]
/proc/loadavg: 2.08 2.05 2.07 3/188 1774
/proc/meminfo: memFree=21792680/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=222.28 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 21802 0 0 0 22228 0 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5335940 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+282.3 s]
/proc/loadavg: 2.03 2.04 2.06 3/187 1775
/proc/meminfo: memFree=21792908/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=282.29 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 22044 0 0 0 28229 0 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5054830 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.06 3/187 1776
/proc/meminfo: memFree=21793084/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=342.29 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 22275 0 0 0 34229 0 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5347465 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 1777
/proc/meminfo: memFree=21793108/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=402.29 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 22522 0 0 0 40229 0 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5013907 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+462.3 s]
/proc/loadavg: 1.97 2.01 2.05 3/186 1902
/proc/meminfo: memFree=21791744/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=462.29 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 22751 0 0 0 46229 0 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5013907 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB


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

/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.06 3/187 1942
/proc/meminfo: memFree=21789964/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=1782.32 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 27649 0 0 0 178232 0 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 4991092 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 1944
/proc/meminfo: memFree=21789584/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=1842.33 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 27849 0 0 0 184232 1 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5120824 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 1945
/proc/meminfo: memFree=21789832/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=1902.33 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 28050 0 0 0 190232 1 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5329952 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 1954
/proc/meminfo: memFree=21789084/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=1962.33 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 28278 0 0 0 196232 1 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5054913 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 1978
/proc/meminfo: memFree=21788344/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=2022.33 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 28490 0 0 0 202232 1 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5335940 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 1979
/proc/meminfo: memFree=21788344/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=2082.33 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 28699 0 0 0 208232 1 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5017816 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 1980
/proc/meminfo: memFree=21788284/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=2142.33 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 28931 0 0 0 214232 1 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5120838 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 1981
/proc/meminfo: memFree=21788648/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=2202.34 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 29129 0 0 0 220233 1 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5058364 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 1982
/proc/meminfo: memFree=21788712/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=2262.34 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 29317 0 0 0 226233 1 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5054837 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 1983
/proc/meminfo: memFree=21788868/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=2322.34 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 29521 0 0 0 232233 1 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 4991027 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 1984
/proc/meminfo: memFree=21788488/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=2382.34 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 29746 0 0 0 238233 1 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5061970 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1985
/proc/meminfo: memFree=21788612/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=2442.34 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 29952 0 0 0 244233 1 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5347440 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 2442.34 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1986
/proc/meminfo: memFree=21788488/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=2502.34 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 30158 0 0 0 250233 1 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5062279 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 1995
/proc/meminfo: memFree=21787844/32770624 swapFree=67108860/67108860
[pid=1763] ppid=1760 vsize=40600 memory=17264 CPUtime=2520.05 cores=1,3,5,7
/proc/1763/stat : 1763 (cosoco) R 1760 1763 30456 0 -1 4202496 30359 0 0 0 252004 1 0 0 20 0 1 0 74412863 41574400 4316 33554432000 4194304 6142532 140729308692400 140729308689800 5120824 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 26509312 140729308697734 140729308697864 140729308697864 140729308700622 0
/proc/1763/statm: 10150 4316 887 476 0 3472 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 40600 KiB
Current children cumulated memory: 17264 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.06
CPU user time (s): 2520.05
CPU system time (s): 0.01
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 40600
Max. memory (cumulated for all children) (KiB): 17264

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


# summary of solver processes directly reported to runsolver:
#   pid: 1763
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2520.05
#   total CPU system time (s): 0.01

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62819 second user time and 17.4627 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-26 03:28:17
IDJOB=4295774
IDBENCH=141600
IDSOLVER=2752
FILE ID=node149/4295774-1532568497
RUNJOBID= node149-1532542931-30488
PBS_JOBID= 21021951
Free space on /tmp= 43260 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/SportsScheduling/SportsScheduling-26_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295774-1532568497/watcher-4295774-1532568497 -o /tmp/evaluation-result-4295774-1532568497/solver-4295774-1532568497 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30488 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295774-1532568497.xml

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

MD5SUM BENCH= e7fb96dadee149724dd4cb9af2eae5d9
RANDOM SEED=1941429021

node149.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.60
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.60
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.60
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.60
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:        21806712 kB
MemAvailable:   31925388 kB
Buffers:          136648 kB
Cached:         10124536 kB
SwapCached:            0 kB
Active:          2347388 kB
Inactive:        7973448 kB
Active(anon):       7000 kB
Inactive(anon):    79884 kB
Active(file):    2340388 kB
Inactive(file):  7893564 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2388 kB
Writeback:           180 kB
AnonPages:         66608 kB
Mapped:            42464 kB
Shmem:             25224 kB
Slab:             342376 kB
SReclaimable:     313184 kB
SUnreclaim:        29192 kB
KernelStack:        3376 kB
PageTables:         4904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     356524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43256 MiB
End job on node149 at 2018-07-26 04:10:17