Trace number 4268053

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.6299 2520

General information on the benchmark

NameLangford/Langford-m2-s1/
LangfordBin-45.xml
MD5SUMd06dfc4a92b3645075aa026a1be187ca
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 variables180
Number of constraints135
Number of domains2
Minimum domain size45
Maximum domain size90
Distribution of domain sizes[{"size":45,"count":90},{"size":90,"count":90}]
Minimum variable degree2
Maximum variable degree90
Distribution of variable degrees[{"degree":2,"count":90},{"degree":90,"count":90}]
Minimum constraint arity2
Maximum constraint arity91
Distribution of constraint arities[{"arity":2,"count":45},{"arity":91,"count":90}]
Number of extensional constraints0
Number of intensional constraints45
Distribution of constraint types[{"type":"intension","count":45},{"type":"element","count":90}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.17	c root propagations     : 2160        
0.00/0.17	c restarts enabled, print stats at every restarts
0.00/0.17	c
0.00/0.17	c
0.00/0.17	c
0.00/0.17	c This is cosoco 1.12 --  
0.00/0.17	c
0.00/0.17	c command line: cosoco -lc -model -restarts HOME/instance-4268053-1502520466.xml 
0.00/0.17	c ========================================[ Problem Statistics ]===========================================
0.00/0.17	c |                                                                                                       
0.00/0.17	c |  Parse time        :         0.05 s 
0.00/0.17	c |
0.00/0.17	c |               Variables: 180
0.00/0.17	c |            Domain Sizes: 45..90
0.00/0.17	c |
0.00/0.17	c |             Constraints: 135
0.00/0.17	c |                   Arity: 2..91  -- Binary: 45
0.00/0.17	c | 
0.00/0.17	c |                   Types: 
0.00/0.17	c |                          Element Constant: 90
0.00/0.17	c |                          Intension: 45
0.00/0.17	c |                          
0.00/0.17	c =========================================================================================================
0.00/0.17	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.18	c 101            404            69086          14214          90             0              142   158   145
0.09/0.20	c 211            709            137712         45560          90             0              67   75   70   
0.09/0.23	c 332            1113           240399         89399          90             0              62   72   68   
0.09/0.26	c 465            1749           341024         129416         90             0              58   77   67   
0.19/0.30	c 611            2441           461705         180022         90             0              60   74   64   
0.19/0.34	c 771            3246           606011         239071         90             0              61   75   67   
0.19/0.38	c 947            4263           771699         308877         90             0              63   78   70   
0.29/0.42	c 1140           5016           930385         373890         90             0              65   75   69   
0.29/0.46	c 1352           5738           1067779        429244         90             0              63   77   70   
0.29/0.48	c 1585           6227           1166714        468468         90             0              65   77   71   
0.39/0.52	c 1841           6891           1346592        540191         90             0              63   77   68   
0.39/0.57	c 2122           7817           1557411        620448         90             0              67   79   71   
0.49/0.61	c 2431           8840           1757040        698591         90             0              60   79   69   
0.49/0.66	c 2770           9940           1943945        764708         90             0              62   79   69   
0.59/0.70	c 3142           10852          2151852        840447         90             0              63   79   65   
0.59/0.74	c 3551           11825          2342820        906308         90             0              68   78   71   
0.59/0.79	c 4000           12887          2583682        1004899        90             0              58   78   67   
0.69/0.83	c 4493           13726          2771048        1062829        90             0              70   79   75   
0.69/0.87	c 5035           14779          3000083        1146400        90             0              68   73   70   
0.79/0.91	c 5631           15800          3219630        1236530        90             0              70   78   72   
0.79/0.98	c 6286           17247          3644347        1412157        90             0              65   76   69   
0.89/1.04	c 7006           18467          4018369        1548505        90             0              64   70   67   
0.89/1.09	c 7798           19728          4351517        1672336        90             0              68   77   72   
0.99/1.15	c 8669           20996          4698447        1796300        90             0              63   72   69   
1.09/1.23	c 9627           22530          5228574        2052448        90             0              63   67   64   
1.09/1.29	c 10680          24129          5640131        2194388        90             0              63   75   71   
1.19/1.37	c 11838          25424          6160488        2429413        90             0              64   70   65   
1.29/1.42	c 13111          27003          6430761        2519726        90             0              68   73   72   
1.29/1.48	c 14511          28543          6838037        2675453        90             0              66   71   68   
1.49/1.62	c 16051          31578          7807549        3075707        90             0              64   69   65   
1.59/1.73	c 17745          34413          8475049        3392239        90             0              63   66   64   
1.69/1.83	c 19608          37783          9180889        3682730        90             0              64   70   66   
1.79/1.97	c 21657          40500          10052530       4182389        90             0              63   70   65   
1.89/2.10	c 23910          44012          10952391       4554320        90             0              62   73   65   
2.09/2.24	c 26388          46865          11964385       4948523        90             0              60   70   63   
2.19/2.39	c 29113          51471          12965951       5347731        90             0              65   73   67   
2.39/2.51	c 32110          55217          13893209       5679451        90             0              62   73   70   
2.59/2.73	c 35406          60335          15456400       6516862        90             0              61   73   67   
2.69/2.83	c 39031          64228          16342540       6800077        90             0              66   75   73   
2.79/2.96	c 43018          68539          17357222       7138162        90             0              70   74   73   
2.89/3.07	c 47403          73518          18370595       7374087        90             0              68   75   73   
3.09/3.21	c 52226          78586          19505936       7767674        90             0              67   75   73   
3.19/3.37	c 57531          85135          20754383       8248211        90             0              67   74   70   
3.39/3.55	c 63366          91291          22394310       8715130        90             0              62   78   71   
3.59/3.71	c 69784          98099          23849065       9050340        90             0              68   76   73   
3.79/3.91	c 76843          105814         25595589       9532786        90             0              66   75   71   
3.99/4.13	c 84607          115476         27417630       9969092        90             0              69   75   73   
4.19/4.32	c 93147          124698         29029806       10455658       90             0              67   73   72   
4.49/4.69	c 102541         137850         32071354       11465551       90             0              65   70   68   
4.89/5.00	c 112874         153093         34601638       12256972       90             0              69   73   70   
5.19/5.34	c 124240         166961         37458749       13167180       90             0              64   75   70   
5.49/5.66	c 136742         180676         40152691       13961934       90             0              64   71   70   
5.99/6.14	c 150494         202585         44167964       15275639       90             0              65   71   68   
6.49/6.70	c 165621         223264         48775993       16802256       90             0              63   77   71   
6.89/7.09	c 182260         242702         52165153       17562540       90             0              67   76   70   
7.49/7.63	c 200562         262441         57038008       19048823       90             0              65   72   70   
7.99/8.17	c 220694         283632         61584100       20745789       90             0              67   73   71   
8.69/8.89	c 242839         311193         67559938       23262720       90             0              65   73   68   
9.59/9.72	c 267198         342086         74425400       25547640       90             0              62   69   66   
10.48/10.67	c 293992         377743         82572940       28680818       90             0              62   74   70   
11.28/11.45	c 323465         410044         89199053       30895321       90             0              65   67   66   
12.18/12.38	c 355885         456393         97370552       33238274       90             0              67   70   68   
12.98/13.14	c 391547         503759         104074944      34801543       90             0              62   71   69   
14.08/14.24	c 430775         550258         113861239      38126693       90             0              63   73   69   
15.29/15.43	c 473925         605531         124026669      41771746       90             0              63   71   67   
16.78/16.97	c 521390         655443         137976794      46715826       90             0              64   69   67   
17.78/17.99	c 573601         711581         146970795      49516658       90             0              62   70   69   
19.08/19.29	c 631033         772529         157998094      52761626       90             0              62   74   66   
20.98/21.18	c 694208         850412         173374486      59176856       90             0              66   67   66   
23.38/23.56	c 763700         970057         194157120      66121637       90             0              62   69   68   
26.88/27.03	c 840141         1085753        220657156      76356103       90             0              63   73   66   
29.18/29.34	c 924226         1173982        240465578      84170390       90             0              64   69   66   
32.18/32.34	c 1016719        1299581        266351323      92917233       90             0              63   68   66   
34.78/34.92	c 1118461        1406099        289970912      100071106      90             0              66   71   68   
37.08/37.27	c 1230377        1528161        311766639      105858050      90             0              64   70   68   
40.17/40.35	c 1353484        1668882        339349111      114960339      90             0              63   70   67   
43.77/43.96	c 1488901        1816869        369673797      125588493      90             0              64   68   66   
47.87/48.09	c 1637859        1977779        406686037      136047467      90             0              63   72   65   
53.07/53.22	c 1801712        2148235        447037602      154458432      90             0              63   66   64   
58.57/58.78	c 1981950        2375294        492685301      167996656      90             0              61   70   65   
63.47/63.64	c 2180211        2592945        533839569      180429397      90             0              61   72   66   
69.77/69.98	c 2398298        2886454        590772356      198491336      90             0              63   70   68   
78.27/78.41	c 2638193        3179861        665409892      222796965      90             0              66   73   67   
85.77/85.99	c 2902077        3590978        732913386      242790061      90             0              57   73   68   
93.47/93.62	c 3192349        3901554        798747105      266750590      90             0              64   70   67   
101.36/101.52	c 3511648        4257601        870096338      286323940      90             0              60   71   64   
115.26/115.40	c 3862876        4802014        993397708      328295565      90             0              61   70   66   
130.55/130.70	c 4249226        5422622        1117820830     376996669      90             0              61   67   63   
147.85/148.07	c 4674211        5987980        1263861827     428348870      90             0              63   75   68   
165.85/166.03	c 5141694        6547569        1419165815     488154690      90             0              62   72   68   
189.04/189.21	c 5655925        7222209        1601571581     561120321      90             0              56   68   62   
215.13/215.31	c 6221579        8067081        1808166745     643530277      90             0              56   71   64   
232.34/232.53	c 6843798        8853064        1956350833     692009509      90             0              56   68   66   
257.13/257.31	c 7528238        9710527        2157582547     768620372      90             0              58   68   62   
281.13/281.31	c 8281122        10575873       2352180513     841899452      90             0              60   67   64   
304.82/305.04	c 9109294        11448025       2536846818     926355719      90             0              58   65   62   
331.03/331.22	c 10020283       12432096       2742587497     1026801039     90             0              53   63   60   
356.92/357.15	c 11022370       13727081       2976069873     1093988464     90             0              59   71   68   
379.42/379.68	c 12124665       14882507       3166029494     1140003446     90             0              59   66   62   
413.91/414.15	c 13337189       16561405       3483797105     1216419879     90             0              53   71   65   
443.31/443.51	c 14670965       17952949       3727945393     1283795547     90             0              52   67   65   
480.91/481.18	c 16138118       19639018       4027575640     1373617365     90             0              53   65   59   
523.20/523.45	c 17751986       21308526       4408358740     1484287966     90             0              56   69   66   
585.70/585.92	c 19527240       23146367       4911168135     1639319955     90             0              53   65   59   
685.79/686.06	c 21480019       25704890       5601866158     1968562752     90             0              53   67   57   
746.79/747.05	c 23628075       28973053       6139090273     2113134051     90             0              55   73   67   
810.58/810.87	c 25990936       31470900       6611065771     2315994024     90             0              56   63   59   
906.37/906.67	c 28590083       34850465       7316787350     2664933755     90             0              56   65   60   
998.16/998.47	c 31449144       38191802       8047132389     2934451636     90             0              55   70   62   
1089.95/1090.26	c 34594111       42150557       8792351614     3160308871     90             0              59   65   62   
1204.74/1205.08	c 38053574       45752828       9783807065     3467351862     90             0              55   65   60   
1290.93/1291.26	c 41858983       49678189       10611992045    3666613345     90             0              54   72   69   
1436.62/1436.98	c 46044932       54024230       11765651731    4121753758     90             0              55   66   60   
1560.01/1560.36	c 50649475       58823171       12845249287    4420858233     90             0              58   67   64   
1698.89/1699.20	c 55714472       64383845       14142149302    4742261747     90             0              52   70   66   
1836.18/1836.53	c 61285968       70638490       15338893988    5130661962     90             0              59   67   64   
2014.97/2015.33	c 67414613       77524724       16994980581    5558997765     90             0              54   71   65   
2194.95/2195.37	c 74156122       84620596       18612255208    6054870197     90             0              60   70   65   
2442.93/2443.36	c 81571781       93089340       20674252194    6801111158     90             0              59   75   64   
2519.62/2520.00	
2519.62/2520.00	c *** INTERRUPTED ***
2519.62/2520.00	c restarts              : 119         
2519.62/2520.00	c conflicts             : 84129717     (33390 /sec)
2519.62/2520.00	c decisions             : 95926467     (38072 /sec)
2519.62/2520.00	c propagations          : 7072863716  (2807120 /sec)
2519.62/2520.00	c root propagations     : 2160        
2519.62/2520.00	c filter calls          : 21340484052    (8469737 /sec)
2519.62/2520.00	c useless filter calls  : 16779566922    (78 %)
2519.62/2520.00	c Memory used           : 27.38 MB
2519.62/2520.00	c CPU time              : 2519.62 s
2519.62/2520.00	
2519.62/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268053-1502520466/watcher-4268053-1502520466 -o /tmp/evaluation-result-4268053-1502520466/solver-4268053-1502520466 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1848 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268053-1502520466.xml 

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


[startup+0 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 7508
/proc/meminfo: memFree=31357364/32770624 swapFree=0/322972
[pid=7508] ppid=7505 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7508/stat : 7508 (runsolver) D 7505 7508 1785 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 54242076 24240128 107 18446744073709551615 4194304 4338465 140731627078880 140731627076520 140596498285271 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 15732736 140731627081922 140731627082313 140731627082313 140731627085770 0
/proc/7508/statm: 5918 107 54 36 0 2156 0

[startup+0.100149 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 7508
/proc/meminfo: memFree=31357364/32770624 swapFree=0/322972
[pid=7508] ppid=7505 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/7508/stat : 7508 (runsolver) D 7505 7508 1785 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 54242076 24240128 107 18446744073709551615 4194304 4338465 140731627078880 140731627076520 140596498285271 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 15732736 140731627081922 140731627082313 140731627082313 140731627085770 0
/proc/7508/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.2007 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 7508
/proc/meminfo: memFree=31357364/32770624 swapFree=0/322972
[pid=7508] ppid=7505 vsize=28032 CPUtime=0.09 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 1355 0 0 0 9 0 0 0 20 0 1 0 54242076 28704768 1189 18446744073709551615 4194304 5972588 140731328423904 140731328421208 5328649 0 0 1 8405026 0 0 0 17 6 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1189 833 435 0 371 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28032

[startup+0.300699 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 7508
/proc/meminfo: memFree=31357364/32770624 swapFree=0/322972
[pid=7508] ppid=7505 vsize=28032 CPUtime=0.19 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 1355 0 0 0 19 0 0 0 20 0 1 0 54242076 28704768 1189 18446744073709551615 4194304 5972588 140731328423904 140731328421208 5328515 0 0 1 8405026 0 0 0 17 6 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1189 833 435 0 371 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28032

[startup+0.70017 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 7508
/proc/meminfo: memFree=31357364/32770624 swapFree=0/322972
[pid=7508] ppid=7505 vsize=28032 CPUtime=0.59 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 1355 0 0 0 59 0 0 0 20 0 1 0 54242076 28704768 1189 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4965359 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1189 833 435 0 371 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 28032

[startup+1.50017 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 7509
/proc/meminfo: memFree=31355560/32770624 swapFree=0/323332
[pid=7508] ppid=7505 vsize=28032 CPUtime=1.39 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 1355 0 0 0 139 0 0 0 20 0 1 0 54242076 28704768 1189 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4908868 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1189 833 435 0 371 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 28032

[startup+3.10017 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 7509
/proc/meminfo: memFree=31355520/32770624 swapFree=0/322964
[pid=7508] ppid=7505 vsize=28032 CPUtime=2.99 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 1653 0 0 0 299 0 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995590 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 28032

[startup+6.30017 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7509
/proc/meminfo: memFree=31355520/32770624 swapFree=0/322956
[pid=7508] ppid=7505 vsize=28032 CPUtime=6.19 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 1951 0 0 0 619 0 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 5099616 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 28032

[startup+12.7002 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7509
/proc/meminfo: memFree=31355152/32770624 swapFree=0/322948
[pid=7508] ppid=7505 vsize=28032 CPUtime=12.58 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 2251 0 0 0 1258 0 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4908928 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 28032

[startup+25.5002 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 7510
/proc/meminfo: memFree=31355276/32770624 swapFree=0/322948
[pid=7508] ppid=7505 vsize=28032 CPUtime=25.38 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 2847 0 0 0 2538 0 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995560 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 28032

[startup+51.1002 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7510
/proc/meminfo: memFree=31355524/32770624 swapFree=0/322940
[pid=7508] ppid=7505 vsize=28032 CPUtime=50.97 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 3145 0 0 0 5097 0 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 5099616 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 28032

[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 7512
/proc/meminfo: memFree=31355792/32770624 swapFree=0/322952
[pid=7508] ppid=7505 vsize=28032 CPUtime=102.16 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 3444 0 0 0 10216 0 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4909184 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 28032

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 7514
/proc/meminfo: memFree=31355048/32770624 swapFree=0/322960
[pid=7508] ppid=7505 vsize=28032 CPUtime=162.15 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 3742 0 0 0 16215 0 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 5099628 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 28032

[startup+222.305 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 7516
/proc/meminfo: memFree=31355296/32770624 swapFree=0/322972
[pid=7508] ppid=7505 vsize=28032 CPUtime=222.15 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 4040 0 0 0 22214 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995572 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 28032

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 7518
/proc/meminfo: memFree=31354800/32770624 swapFree=0/322988
[pid=7508] ppid=7505 vsize=28032 CPUtime=282.13 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 4338 0 0 0 28212 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995482 0 0 1 8405026 0 0 0 17 0 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 28032

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7520
/proc/meminfo: memFree=31355420/32770624 swapFree=0/323012
[pid=7508] ppid=7505 vsize=28032 CPUtime=342.12 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 4636 0 0 0 34211 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995525 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 28032

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7537
/proc/meminfo: memFree=31351792/32770624 swapFree=0/323040
[pid=7508] ppid=7505 vsize=28032 CPUtime=402.11 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 4934 0 0 0 40210 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 5071825 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 28032

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7539
/proc/meminfo: memFree=31351508/32770624 swapFree=0/323052
[pid=7508] ppid=7505 vsize=28032 CPUtime=462.11 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 5232 0 0 0 46210 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995525 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 28032

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7541
/proc/meminfo: memFree=31354680/32770624 swapFree=0/323044
[pid=7508] ppid=7505 vsize=28032 CPUtime=522.1 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 5530 0 0 0 52209 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995479 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 28032

[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 7544
/proc/meminfo: memFree=31355248/32770624 swapFree=0/323052
[pid=7508] ppid=7505 vsize=28032 CPUtime=582.1 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 5805 0 0 0 58209 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995502 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 28032


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/185 7610
/proc/meminfo: memFree=31350576/32770624 swapFree=0/323264
[pid=7508] ppid=7505 vsize=28032 CPUtime=1602 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 10726 0 0 0 160199 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995525 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 28032

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 7636
/proc/meminfo: memFree=31349024/32770624 swapFree=0/323312
[pid=7508] ppid=7505 vsize=28032 CPUtime=1662 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 11001 0 0 0 166199 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 5099616 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 28032

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 7638
/proc/meminfo: memFree=31349360/32770624 swapFree=0/323304
[pid=7508] ppid=7505 vsize=28032 CPUtime=1721.99 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 11299 0 0 0 172198 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995475 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 28032

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7640
/proc/meminfo: memFree=31353172/32770624 swapFree=0/323312
[pid=7508] ppid=7505 vsize=28032 CPUtime=1781.99 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 11570 0 0 0 178198 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 5328649 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 28032

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 7703
/proc/meminfo: memFree=31236320/32770624 swapFree=0/323340
[pid=7508] ppid=7505 vsize=28032 CPUtime=1841.98 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 11868 0 0 0 184197 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 5099616 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 1841.98
Current children cumulated vsize (KiB) 28032

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7705
/proc/meminfo: memFree=31234256/32770624 swapFree=0/323348
[pid=7508] ppid=7505 vsize=28032 CPUtime=1901.97 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 12143 0 0 0 190196 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4908987 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 1901.97
Current children cumulated vsize (KiB) 28032

[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 7707
/proc/meminfo: memFree=31232892/32770624 swapFree=0/323344
[pid=7508] ppid=7505 vsize=28032 CPUtime=1961.97 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 12421 0 0 0 196196 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 5099630 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 1961.97
Current children cumulated vsize (KiB) 28032

[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 7709
/proc/meminfo: memFree=31231868/32770624 swapFree=0/323368
[pid=7508] ppid=7505 vsize=28032 CPUtime=2021.96 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 12719 0 0 0 202195 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 5328729 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 2021.96
Current children cumulated vsize (KiB) 28032

[startup+2082.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 7711
/proc/meminfo: memFree=31231256/32770624 swapFree=0/323384
[pid=7508] ppid=7505 vsize=28032 CPUtime=2081.96 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 12993 0 0 0 208195 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995517 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 2081.96
Current children cumulated vsize (KiB) 28032

[startup+2142.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 7713
/proc/meminfo: memFree=31231420/32770624 swapFree=0/323392
[pid=7508] ppid=7505 vsize=28032 CPUtime=2141.95 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 13269 0 0 0 214194 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995616 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 2141.95
Current children cumulated vsize (KiB) 28032

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7730
/proc/meminfo: memFree=31227452/32770624 swapFree=0/323412
[pid=7508] ppid=7505 vsize=28032 CPUtime=2201.95 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 13567 0 0 0 220194 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995479 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 2201.95
Current children cumulated vsize (KiB) 28032

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7732
/proc/meminfo: memFree=31227036/32770624 swapFree=0/323424
[pid=7508] ppid=7505 vsize=28032 CPUtime=2261.94 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 13843 0 0 0 226193 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995430 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 2261.94
Current children cumulated vsize (KiB) 28032

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7734
/proc/meminfo: memFree=31230628/32770624 swapFree=0/323440
[pid=7508] ppid=7505 vsize=28032 CPUtime=2321.94 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 14119 0 0 0 232193 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995510 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 2321.94
Current children cumulated vsize (KiB) 28032

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7736
/proc/meminfo: memFree=31229928/32770624 swapFree=0/323452
[pid=7508] ppid=7505 vsize=28032 CPUtime=2381.93 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 14394 0 0 0 238192 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995517 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 2381.93
Current children cumulated vsize (KiB) 28032

[startup+2442.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7738
/proc/meminfo: memFree=31229936/32770624 swapFree=0/323456
[pid=7508] ppid=7505 vsize=28032 CPUtime=2441.93 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 14668 0 0 0 244192 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995525 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 2441.93
Current children cumulated vsize (KiB) 28032

[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 7740
/proc/meminfo: memFree=31229828/32770624 swapFree=0/323464
[pid=7508] ppid=7505 vsize=28032 CPUtime=2501.92 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 14969 0 0 0 250191 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 4995502 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 2501.92
Current children cumulated vsize (KiB) 28032



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 7740
/proc/meminfo: memFree=31229916/32770624 swapFree=0/323456
[pid=7508] ppid=7505 vsize=28032 CPUtime=2519.62 cores=0,2,4,6
/proc/7508/stat : 7508 (cosoco) R 7505 7508 1785 0 -1 4202496 15248 0 0 0 251961 1 0 0 20 0 1 0 54242076 28704768 1196 18446744073709551615 4194304 5972588 140731328423904 140731328421208 5099648 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 15556608 140731328426478 140731328426573 140731328426573 140731328430030 0
/proc/7508/statm: 7008 1196 833 435 0 371 0
Current children cumulated CPU time (s) 2519.62
Current children cumulated vsize (KiB) 28032

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7508 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520
CPU time (s): 2519.63
CPU user time (s): 2519.62
CPU system time (s): 0.013998
CPU usage (%): 99.9853
Max. virtual memory (cumulated for all children) (KiB): 28032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.62
system time used= 0.013998
maximum resident set size= 4852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15299
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= 10
involuntary context switches= 3141

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98942 second user time and 7.48557 second system time

The end

Launcher Data 

Begin job on node126 at 2017-08-12 08:33:45
IDJOB=4268053
IDBENCH=124359
IDSOLVER=2658
FILE ID=node126/4268053-1502520466
RUNJOBID= node126-1502500311-1848
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-45.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268053-1502520466/watcher-4268053-1502520466 -o /tmp/evaluation-result-4268053-1502520466/solver-4268053-1502520466 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502500311-1848 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268053-1502520466.xml

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

MD5SUM BENCH= d06dfc4a92b3645075aa026a1be187ca
RANDOM SEED=372792239

node126.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.81
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.81
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.81
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.81
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:        31357452 kB
MemAvailable:   31974300 kB
Buffers:          300156 kB
Cached:           589164 kB
SwapCached:          524 kB
Active:           559908 kB
Inactive:         394296 kB
Active(anon):      19020 kB
Inactive(anon):    71324 kB
Active(file):     540888 kB
Inactive(file):   322972 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:              2244 kB
Writeback:             0 kB
AnonPages:         64768 kB
Mapped:            44712 kB
Shmem:             25248 kB
Slab:             163640 kB
SReclaimable:     137644 kB
SUnreclaim:        25996 kB
KernelStack:        3216 kB
PageTables:         4512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62028 MiB
End job on node126 at 2017-08-12 09:15:45