Trace number 4295747

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) 2519.75 2520.01

General information on the benchmark

NameSportsScheduling/
SportsScheduling-18_c18.xml
MD5SUM4eb29a597c5d97627c316d99279efe71
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 variables477
Number of constraints225
Number of domains2
Minimum domain size18
Maximum domain size153
Distribution of domain sizes[{"size":18,"count":324},{"size":153,"count":153}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":162},{"degree":4,"count":315}]
Minimum constraint arity1
Maximum constraint arity153
Distribution of constraint arities[{"arity":1,"count":9},{"arity":2,"count":9},{"arity":3,"count":153},{"arity":9,"count":17},{"arity":18,"count":18},{"arity":34,"count":9},{"arity":36,"count":9},{"arity":153,"count":1}]
Number of extensional constraints153
Number of intensional constraints18
Distribution of constraint types[{"type":"extension","count":153},{"type":"intension","count":18},{"type":"allDifferent","count":19},{"type":"count","count":17},{"type":"cardinality","count":18}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 34 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 34 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 34 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 34 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 34 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 34 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 34 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 34 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 34 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.01	c Create Cardinality(vars,values,occurs) constraint using 36 Exactly/AtMost.. constraint 
0.00/0.01	c
0.00/0.02	c root propagations     : 1656        
0.00/0.02	c restarts enabled, print stats at every restarts
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c This is cosoco 1.12 --  
0.00/0.02	c
0.00/0.02	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295747-1532566386.xml 
0.00/0.02	c ========================================[ Problem Statistics ]===========================================
0.00/0.02	c |                                                                                                       
0.00/0.02	c |  Parse time        :         0.01 s 
0.00/0.02	c |
0.00/0.02	c |               Variables: 477
0.00/0.02	c |            Domain Sizes: 18..153
0.00/0.02	c |
0.00/0.02	c |             Constraints: 693
0.00/0.02	c |                   Arity: 1..153  -- Unary: 9  -- Binary: 9  -- Ternary: 153
0.00/0.02	c | 
0.00/0.02	c |                   Types: 
0.00/0.02	c |                          (X - Y < k): 9
0.00/0.02	c |                          All Different: 19
0.00/0.02	c |                          At least: 162
0.00/0.02	c |                          At most: 162
0.00/0.02	c |                          Exactly K: 179
0.00/0.02	c |                          Extension: 153  (nb tuples: 153..153) -- (shared: 152)
0.00/0.02	c |                          Unary: 9
0.00/0.02	c |                          
0.00/0.02	c =========================================================================================================
0.00/0.02	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.03	c 101            245            54863          26292          477            0              56   96   90   
0.00/0.05	c 211            503            98390          55002          477            0              41   79   75   
0.00/0.07	c 332            767            137946         81649          477            0              11   61   57   
0.00/0.08	c 465            1024           177499         110862         477            0              11   31   28   
0.00/0.10	c 611            1297           219610         141999         477            0              2   31   28    
0.10/0.12	c 771            1611           266821         178135         477            0              2   31   28    
0.10/0.13	c 947            1940           316718         216536         477            0              2   31   28    
0.10/0.15	c 1140           2287           369341         258294         477            0              2   31   28    
0.10/0.17	c 1352           2665           427811         303798         477            0              11   31   28   
0.10/0.20	c 1585           3086           492101         354656         477            0              2   31   28    
0.21/0.22	c 1841           3529           560790         407218         477            0              2   31   28    
0.21/0.25	c 2122           4016           635475         467132         477            0              11   31   27   
0.21/0.28	c 2431           4547           716028         530954         477            0              11   31   28   
0.31/0.31	c 2770           5140           807591         603038         477            0              2   31   27    
0.31/0.35	c 3142           5797           907013         681731         477            0              11   31   28   
0.31/0.39	c 3551           6489           1014987        767964         477            0              11   31   27   
0.41/0.43	c 4000           7226           1125998        861215         477            0              2   31   27    
0.41/0.47	c 4493           8014           1251480        961926         477            0              11   31   27   
0.51/0.51	c 5035           8886           1383626        1071799        477            0              11   31   27   
0.51/0.57	c 5631           9864           1533991        1199135        477            0              11   31   27   
0.60/0.62	c 6286           10883          1690557        1332617        477            0              11   31   26   
0.60/0.69	c 7006           12026          1871754        1484831        477            0              11   31   27   
0.69/0.76	c 7798           13340          2071268        1652195        477            0              11   31   27   
0.79/0.83	c 8669           14706          2280171        1837664        477            0              2   31   26    
0.89/0.91	c 9627           16200          2509043        2036282        477            0              11   31   26   
0.89/1.00	c 10680          17866          2757082        2263647        477            0              2   31   26    
1.00/1.10	c 11838          19787          3038902        2516644        477            0              2   31   27    
1.19/1.21	c 13111          21832          3346959        2774899        477            0              11   29   24   
1.29/1.33	c 14511          24117          3686960        3079983        477            0              11   31   26   
1.39/1.46	c 16051          26456          4034815        3403415        477            0              2   29   24    
1.59/1.60	c 17745          29144          4437287        3752805        477            0              2   27   24    
1.59/1.67	c 19608          31300          4540158        3806805        477            0              15   122   81  
1.79/1.85	c 21657          34397          5016169        4221434        477            0              1   28   23    
2.00/2.08	c 23910          38321          5584182        4640049        477            0              54   70   58   
2.29/2.33	c 26388          42532          6232316        5181586        477            0              14   34   29   
2.49/2.55	c 29113          46849          6878841        5747857        477            0              2   31   26    
2.79/2.85	c 32110          51760          7645693        6390514        477            0              2   29   25    
3.10/3.12	c 35406          57126          8446997        7080825        477            0              11   31   26   
3.39/3.46	c 39031          62938          9356664        7831760        477            0              2   27   24    
3.79/3.81	c 43018          69544          10357824       8652238        477            0              11   29   25   
4.19/4.25	c 47403          76810          11488188       9582375        477            0              2   31   25    
4.59/4.66	c 52226          84750          12673152       10574814       477            0              2   31   25    
5.10/5.18	c 57531          93650          14045950       11702963       477            0              2   31   25    
5.59/5.65	c 63366          102447         15421560       12833808       477            0              11   27   23   
6.19/6.29	c 69784          113267         17099977       14220517       477            0              2   29   25    
7.29/7.31	c 76843          125629         19267506       15663386       477            0              65   94   88   
7.99/8.03	c 84607          138546         21239378       17282730       477            0              2   34   28    
8.99/9.07	c 93147          152969         23510785       18655564       477            0              38   139   133 
9.89/9.93	c 102541         168969         25896059       20612855       477            0              11   34   29   
10.89/10.96	c 112874         186072         28579256       22785400       477            0              2   31   26    
11.89/11.94	c 124240         205015         31432846       25121593       477            0              2   31   26    
13.09/13.16	c 136742         225929         34696677       27775922       477            0              11   31   26   
14.49/14.52	c 150494         249723         38281843       30743499       477            0              2   31   25    
16.09/16.13	c 165621         275707         42254540       33704482       477            0              26   79   54   
17.59/17.65	c 182260         303499         46483889       37124725       477            0              12   32   26   
19.38/19.44	c 200562         333719         51222004       40986079       477            0              2   31   25    
21.38/21.44	c 220694         367940         56560618       45209404       477            0              2   31   25    
23.58/23.63	c 242839         406197         62387422       49922103       477            0              2   31   25    
25.88/26.00	c 267198         447557         68674113       55171712       477            0              2   31   26    
28.48/28.53	c 293992         492528         75620515       60778284       477            0              11   31   25   
31.28/31.30	c 323465         541193         83079651       67053760       477            0              11   31   25   
34.48/34.55	c 355885         596690         91659599       73879864       477            0              2   31   25    
38.09/38.13	c 391547         658250         101162521      81518008       477            0              2   31   25    
41.78/41.86	c 430775         725078         110961279      89078642       477            0              38   58   54   
46.18/46.23	c 473925         799195         122403300      98311925       477            0              12   32   26   
50.88/50.99	c 521390         880832         135058642      108421237      477            0              2   31   25    
56.09/56.18	c 573601         971831         148833262      119627783      477            0              11   31   25   
61.88/61.94	c 631033         1071112        164099410      132037514      477            0              2   31   25    
68.38/68.48	c 694208         1178811        181054618      145576699      477            0              2   31   25    
74.78/74.87	c 763700         1294716        198905682      159913976      477            0              2   31   24    
83.08/83.13	c 840141         1431749        220204520      176904671      477            0              2   31   26    
91.27/91.36	c 924226         1575144        242280350      194708753      477            0              2   31   25    
99.77/99.82	c 1016719        1718519        266072642      213113581      477            0              11   29   22   
108.37/108.47	c 1118461        1875320        291513198      232957220      477            0              11   31   22   
119.47/119.52	c 1230377        2062877        321150752      256500791      477            0              2   31   24    
130.87/130.98	c 1353484        2263219        353284770      281394469      477            0              2   31   23    
143.67/143.78	c 1488901        2486721        388096274      309585528      477            0              2   31   24    
159.08/159.11	c 1637859        2732309        428757642      340650882      477            0              2   31   24    
176.86/176.97	c 1801712        3019838        473094565      374334630      477            0              38   58   54   
192.46/192.51	c 1981950        3297540        518275898      409711097      477            0              12   32   23   
213.66/213.75	c 2180211        3658494        574435978      451905818      477            0              38   58   54   
235.36/235.44	c 2398298        4020774        632483874      497047778      477            0              2   34   27    
258.16/258.27	c 2638193        4422453        694634181      547209126      477            0              2   31   24    
282.25/282.34	c 2902077        4833771        762184033      599515064      477            0              11   31   22   
311.15/311.22	c 3192349        5312392        839616070      659728665      477            0              2   31   24    
339.16/339.25	c 3511648        5821132        920943040      723525028      477            0              11   31   22   
373.96/374.08	c 3862876        6402358        1014239137     796758649      477            0              2   31   24    
411.85/411.93	c 4249226        7051477        1117477036     877174999      477            0              2   31   24    
452.74/452.89	c 4674211        7766891        1228685597     966573136      477            0              2   31   24    
499.05/499.13	c 5141694        8535740        1352369521     1063956570     477            0              2   31   24    
547.83/547.95	c 5655925        9350680        1487878483     1167769767     477            0              11   31   22   
601.82/601.96	c 6221579        10281153       1635567994     1285017636     477            0              2   31   24    
662.12/662.29	c 6843798        11297598       1799605006     1412676133     477            0              2   31   24    
728.71/728.86	c 7528238        12424378       1980996434     1553543198     477            0              2   31   24    
800.91/801.05	c 8281122        13692441       2179514656     1710149145     477            0              2   31   24    
878.90/879.10	c 9109294        15051268       2397046259     1878896977     477            0              2   31   24    
966.09/966.29	c 10020283       16556043       2636104294     2067879212     477            0              2   31   24    
1061.08/1061.24	c 11022370       18199053       2900385574     2272391526     477            0              2   22   15    
1164.98/1165.12	c 12124665       20015617       3188032575     2499953107     477            0              2   22   15    
1299.35/1299.58	c 13337189       22115374       3529647328     2751205587     477            0              38   58   53   
1431.44/1431.69	c 14670965       24312144       3886659586     3025652254     477            0              17   32   25   
1576.33/1576.53	c 16138118       26758059       4276466369     3331990503     477            0              2   31   24    
1751.93/1752.13	c 17751986       29518783       4715951961     3669007169     477            0              38   58   53   
1926.60/1926.83	c 19527240       32489645       5189826387     4036031181     477            0              2   34   27    
2129.88/2130.16	c 21480019       35783516       5728865743     4443766251     477            0              2   58   35    
2341.44/2341.77	c 23628075       39365214       6306326438     4886604245     477            0              2   34   26    
2519.73/2520.00	
2519.73/2520.00	c *** INTERRUPTED ***
2519.73/2520.00	c restarts              : 106         
2519.73/2520.00	c conflicts             : 25296600     (10040 /sec)
2519.73/2520.00	c decisions             : 42161011     (16733 /sec)
2519.73/2520.00	c propagations          : 5236417110  (2078223 /sec)
2519.73/2520.00	c root propagations     : 1656        
2519.73/2520.00	c filter calls          : 6754634272     (2680772 /sec)
2519.73/2520.00	c useless filter calls  : 6590672299     (97 %)
2519.73/2520.00	c Memory used           : 30.14 MB
2519.73/2520.00	c CPU time              : 2519.66 s
2519.73/2520.00	
2519.73/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 (11632 MiB free)
  memory of node 1: 16384 MiB (9673 MiB free)
  node distances:
     10  21
     21  10

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

[startup+0.100121 s]*
/proc/loadavg: 2.01 2.01 2.05 3/187 1581
/proc/meminfo: memFree=21814244/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30592 memory=7104 CPUtime=0.1 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 1991 0 0 0 10 0 0 0 20 0 1 0 74201769 31326208 1776 33554432000 4194304 6142532 140733966510560 140733966508216 5333440 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7648 1776 878 476 0 970 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30592 KiB
Current children cumulated memory: 7104 KiB

[startup+0.209628 s]*
/proc/loadavg: 2.01 2.01 2.05 3/187 1581
/proc/meminfo: memFree=21814512/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30592 memory=7104 CPUtime=0.21 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 1991 0 0 0 21 0 0 0 20 0 1 0 74201769 31326208 1776 33554432000 4194304 6142532 140733966510560 140733966508216 5058013 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7648 1776 878 476 0 970 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30592 KiB
Current children cumulated memory: 7104 KiB

[startup+0.309146 s]*
/proc/loadavg: 2.01 2.01 2.05 3/187 1581
/proc/meminfo: memFree=21814512/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30592 memory=7104 CPUtime=0.31 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 1991 0 0 0 31 0 0 0 20 0 1 0 74201769 31326208 1776 33554432000 4194304 6142532 140733966510560 140733966508216 5120784 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7648 1776 878 476 0 970 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30592 KiB
Current children cumulated memory: 7104 KiB

[startup+0.70024 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 1581
/proc/meminfo: memFree=21814512/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30592 memory=7104 CPUtime=0.69 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 1991 0 0 0 69 0 0 0 20 0 1 0 74201769 31326208 1776 33554432000 4194304 6142532 140733966510560 140733966508216 5347477 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7648 1776 878 476 0 970 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30592 KiB
Current children cumulated memory: 7104 KiB

[startup+1.50025 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 1581
/proc/meminfo: memFree=21814388/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30592 memory=7104 CPUtime=1.49 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 1991 0 0 0 149 0 0 0 20 0 1 0 74201769 31326208 1776 33554432000 4194304 6142532 140733966510560 140733966508216 5120784 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7648 1776 878 476 0 970 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 30592 KiB
Current children cumulated memory: 7104 KiB

[startup+3.10917 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 1581
/proc/meminfo: memFree=21814020/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30724 memory=7484 CPUtime=3.1 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 2935 0 0 0 310 0 0 0 20 0 1 0 74201769 31461376 1871 33554432000 4194304 6142532 140733966510560 140733966507960 4990795 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7681 1871 887 476 0 1003 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 7484 KiB

[startup+6.30024 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 1581
/proc/meminfo: memFree=21813664/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30724 memory=7484 CPUtime=6.29 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 3845 0 0 0 629 0 0 0 20 0 1 0 74201769 31461376 1871 33554432000 4194304 6142532 140733966510560 140733966507960 5058648 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7681 1871 887 476 0 1003 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 30724 KiB
Current children cumulated memory: 7484 KiB

[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 1581
/proc/meminfo: memFree=21813540/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7524 CPUtime=12.69 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 4775 0 0 0 1269 0 0 0 20 0 1 0 74201769 31596544 1881 33554432000 4194304 6142532 140733966510560 140733966507960 5061092 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1881 887 476 0 1036 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7524 KiB

[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 1581
/proc/meminfo: memFree=21813664/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=25.48 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 6609 0 0 0 2548 0 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5017767 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+51.1092 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1581
/proc/meminfo: memFree=21813664/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=51.09 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 7543 0 0 0 5109 0 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5060745 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1582
/proc/meminfo: memFree=21814460/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=102.27 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 8464 0 0 0 10227 0 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5058259 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 1584
/proc/meminfo: memFree=21814784/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=162.27 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 9388 0 0 0 16227 0 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5120784 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 1585
/proc/meminfo: memFree=21814724/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=222.26 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 10310 0 0 0 22226 0 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5058744 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 1586
/proc/meminfo: memFree=21814608/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=282.25 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 11223 0 0 0 28225 0 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5061881 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1588
/proc/meminfo: memFree=21814336/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=342.25 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 12138 0 0 0 34224 1 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5060745 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1589
/proc/meminfo: memFree=21814212/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=402.25 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 13053 0 0 0 40224 1 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5058744 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1597
/proc/meminfo: memFree=21813480/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=462.24 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 13976 0 0 0 46223 1 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5053528 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB


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

/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+1782.3 s]
/proc/loadavg: 2.11 2.17 2.12 3/188 1651
/proc/meminfo: memFree=21814148/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=1782.11 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 33290 0 0 0 178208 3 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5175056 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+1842.3 s]
/proc/loadavg: 2.04 2.14 2.11 3/188 1652
/proc/meminfo: memFree=21813932/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=1842.11 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 34108 0 0 0 184208 3 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5017767 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 1842.11 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.12 2.11 3/188 1653
/proc/meminfo: memFree=21813932/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=1902.1 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 34964 0 0 0 190207 3 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5013876 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 1902.1 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.10 2.10 3/188 1655
/proc/meminfo: memFree=21814056/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=1962.1 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 35885 0 0 0 196207 3 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 4990720 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 1962.1 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.08 2.09 3/188 1656
/proc/meminfo: memFree=21814188/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=2022.09 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 36696 0 0 0 202206 3 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5121015 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 2022.09 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.06 2.09 3/188 1701
/proc/meminfo: memFree=21803700/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=2082.07 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 37595 0 0 0 208200 7 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5013876 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.05 2.08 3/188 1764
/proc/meminfo: memFree=21792980/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=2142.07 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 38516 0 0 0 214199 8 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5058760 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 2142.07 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/188 1765
/proc/meminfo: memFree=21793024/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=2202.06 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 39325 0 0 0 220198 8 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5055401 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 2202.06 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/188 1773
/proc/meminfo: memFree=21792804/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=2262.05 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 40147 0 0 0 226197 8 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5058259 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 2262.05 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/188 1774
/proc/meminfo: memFree=21792680/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=2322.05 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 40993 0 0 0 232197 8 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5053593 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 2322.05 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+2382.3 s]
/proc/loadavg: 2.04 2.04 2.06 3/187 1775
/proc/meminfo: memFree=21792908/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=2382.04 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 41912 0 0 0 238196 8 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5013907 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 2382.04 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.03 2.06 3/187 1776
/proc/meminfo: memFree=21793084/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=2442.03 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 42725 0 0 0 244195 8 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5326288 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 2442.03 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 1777
/proc/meminfo: memFree=21792976/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=2502.03 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 43538 0 0 0 250195 8 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 5053555 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 2502.03 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 3/187 1777
/proc/meminfo: memFree=21793108/32770624 swapFree=67108860/67108860
[pid=1580] ppid=1577 vsize=30856 memory=7536 CPUtime=2519.73 cores=0,2,4,6
/proc/1580/stat : 1580 (cosoco) R 1577 1580 30456 0 -1 4202496 44306 0 0 0 251965 8 0 0 20 0 1 0 74201769 31596544 1884 33554432000 4194304 6142532 140733966510560 140733966507960 4990607 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33837056 140733966513286 140733966513416 140733966513416 140733966516174 0
/proc/1580/statm: 7714 1884 887 476 0 1036 0
Current children cumulated CPU time: 2519.73 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7536 KiB

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

[startup+2520.01 s]
# the end of solver process 1580 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.66 s, system=0.088991 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): 2519.75
CPU user time (s): 2519.66
CPU system time (s): 0.088991
CPU usage (%): 99.9897
Max. virtual memory (cumulated for all children) (KiB): 30856
Max. memory (cumulated for all children) (KiB): 7536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.66
system time used= 0.088991
maximum resident set size= 7600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44353
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 4554


# summary of solver processes directly reported to runsolver:
#   pid: 1580
#   total CPU time (s): 2519.75
#   total CPU user time (s): 2519.66
#   total CPU system time (s): 0.088991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.82098 second user time and 16.4486 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-26 02:53:06
IDJOB=4295747
IDBENCH=141597
IDSOLVER=2752
FILE ID=node149/4295747-1532566386
RUNJOBID= node149-1532542931-30487
PBS_JOBID= 21021951
Free space on /tmp= 43260 MiB

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

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

MD5SUM BENCH= 4eb29a597c5d97627c316d99279efe71
RANDOM SEED=1149186320

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:        21818364 kB
MemAvailable:   31926060 kB
Buffers:          128320 kB
Cached:         10123864 kB
SwapCached:            0 kB
Active:          2342680 kB
Inactive:        7967368 kB
Active(anon):       5608 kB
Inactive(anon):    79884 kB
Active(file):    2337072 kB
Inactive(file):  7887484 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:         64156 kB
Mapped:            42000 kB
Shmem:             25224 kB
Slab:             340328 kB
SReclaimable:     311600 kB
SUnreclaim:        28728 kB
KernelStack:        3360 kB
PageTables:         5688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     354544 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 03:35:06