Trace number 4260117

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-mini 1.1 (2017-07-29)? (TO) 2400.0901 2400.3101

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.16	c root propagations     : 2160        
0.00/0.16	c restarts enabled, print stats at every restarts
0.00/0.16	c
0.00/0.16	c
0.00/0.16	c
0.00/0.16	c This is cosoco 1.1 --  
0.00/0.16	c
0.00/0.16	c command line: cosoco -lc -model -restarts HOME/instance-4260117-1502022991.xml 
0.00/0.16	c ========================================[ Problem Statistics ]===========================================
0.00/0.16	c |                                                                                                       
0.00/0.16	c |  Parse time        :         0.05 s 
0.00/0.16	c |
0.00/0.16	c |               Variables: 180
0.00/0.16	c |            Domain Sizes: 45..90
0.00/0.16	c |
0.00/0.16	c |             Constraints: 135
0.00/0.16	c |                   Arity: 2..91  -- Binary: 45
0.00/0.16	c | 
0.00/0.16	c |                   Types: 
0.00/0.16	c |                          Element Constant: 90
0.00/0.16	c |                          Intension: 45
0.00/0.16	c |                          
0.00/0.16	c =========================================================================================================
0.00/0.16	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.45	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.56	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.65	c 2770           9940           1943945        764708         90             0              62   79   69   
0.49/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.78	c 4000           12887          2583682        1004899        90             0              58   78   67   
0.69/0.82	c 4493           13726          2771048        1062829        90             0              70   79   75   
0.69/0.86	c 5035           14779          3000083        1146400        90             0              68   73   70   
0.79/0.90	c 5631           15800          3219630        1236530        90             0              70   78   72   
0.79/0.97	c 6286           17247          3644347        1412157        90             0              65   76   69   
0.89/1.03	c 7006           18467          4018369        1548505        90             0              64   70   67   
0.89/1.08	c 7798           19728          4351517        1672336        90             0              68   77   72   
1.00/1.14	c 8669           20996          4698447        1796300        90             0              63   72   69   
1.10/1.22	c 9627           22530          5228574        2052448        90             0              63   67   64   
1.10/1.28	c 10680          24129          5640131        2194388        90             0              63   75   71   
1.19/1.36	c 11838          25424          6160488        2429413        90             0              64   70   65   
1.29/1.40	c 13111          27003          6430761        2519726        90             0              68   73   72   
1.29/1.46	c 14511          28543          6838037        2675453        90             0              66   71   68   
1.49/1.61	c 16051          31578          7807549        3075707        90             0              64   69   65   
1.59/1.71	c 17745          34413          8475049        3392239        90             0              63   66   64   
1.69/1.81	c 19608          37783          9180889        3682730        90             0              64   70   66   
1.79/1.94	c 21657          40500          10052530       4182389        90             0              63   70   65   
1.89/2.07	c 23910          44012          10952391       4554320        90             0              62   73   65   
2.10/2.21	c 26388          46865          11964385       4948523        90             0              60   70   63   
2.20/2.36	c 29113          51471          12965951       5347731        90             0              65   73   67   
2.29/2.49	c 32110          55217          13893209       5679451        90             0              62   73   70   
2.59/2.70	c 35406          60335          15456400       6516862        90             0              61   73   67   
2.69/2.80	c 39031          64228          16342540       6800077        90             0              66   75   73   
2.79/2.92	c 43018          68539          17357222       7138162        90             0              70   74   73   
2.89/3.04	c 47403          73518          18370595       7374087        90             0              68   75   73   
2.99/3.17	c 52226          78586          19505936       7767674        90             0              67   75   73   
3.20/3.33	c 57531          85135          20754383       8248211        90             0              67   74   70   
3.39/3.52	c 63366          91291          22394310       8715130        90             0              62   78   71   
3.49/3.68	c 69784          98099          23849065       9050340        90             0              68   76   73   
3.69/3.87	c 76843          105814         25595589       9532786        90             0              66   75   71   
3.89/4.09	c 84607          115476         27417630       9969092        90             0              69   75   73   
4.09/4.28	c 93147          124698         29029806       10455658       90             0              67   73   72   
4.49/4.64	c 102541         137850         32071354       11465551       90             0              65   70   68   
4.79/4.95	c 112874         153093         34601638       12256972       90             0              69   73   70   
5.09/5.28	c 124240         166961         37458749       13167180       90             0              64   75   70   
5.40/5.59	c 136742         180676         40152691       13961934       90             0              64   71   70   
5.89/6.07	c 150494         202585         44167964       15275639       90             0              65   71   68   
6.49/6.62	c 165621         223264         48775993       16802256       90             0              63   77   71   
6.89/7.00	c 182260         242702         52165153       17562540       90             0              67   76   70   
7.39/7.54	c 200562         262441         57038008       19048823       90             0              65   72   70   
7.89/8.06	c 220694         283632         61584100       20745789       90             0              67   73   71   
8.59/8.77	c 242839         311193         67559938       23262720       90             0              65   73   68   
9.39/9.59	c 267198         342086         74425400       25547640       90             0              62   69   66   
10.39/10.52	c 293992         377743         82572940       28680818       90             0              62   74   70   
11.09/11.29	c 323465         410044         89199053       30895321       90             0              65   67   66   
12.09/12.20	c 355885         456393         97370552       33238274       90             0              67   70   68   
12.79/12.96	c 391547         503759         104074944      34801543       90             0              62   71   69   
13.89/14.05	c 430775         550258         113861239      38126693       90             0              63   73   69   
15.09/15.23	c 473925         605531         124026669      41771746       90             0              63   71   67   
16.59/16.76	c 521390         655443         137976794      46715826       90             0              64   69   67   
17.59/17.78	c 573601         711581         146970795      49516658       90             0              62   70   69   
18.89/19.06	c 631033         772529         157998094      52761626       90             0              62   74   66   
20.79/20.94	c 694208         850412         173374486      59176856       90             0              66   67   66   
23.19/23.30	c 763700         970057         194157120      66121637       90             0              62   69   68   
26.59/26.71	c 840141         1085753        220657156      76356103       90             0              63   73   66   
28.89/29.01	c 924226         1173982        240465578      84170390       90             0              64   69   66   
31.79/31.97	c 1016719        1299581        266351323      92917233       90             0              63   68   66   
34.39/34.54	c 1118461        1406099        289970912      100071106      90             0              66   71   68   
36.69/36.85	c 1230377        1528161        311766639      105858050      90             0              64   70   68   
39.69/39.89	c 1353484        1668882        339349111      114960339      90             0              63   70   67   
43.29/43.46	c 1488901        1816869        369673797      125588493      90             0              64   68   66   
47.39/47.52	c 1637859        1977779        406686037      136047467      90             0              63   72   65   
52.39/52.51	c 1801712        2148235        447037602      154458432      90             0              63   66   64   
57.79/57.92	c 1981950        2375294        492685301      167996656      90             0              61   70   65   
62.49/62.67	c 2180211        2592945        533839569      180429397      90             0              61   72   66   
68.79/68.90	c 2398298        2886454        590772356      198491336      90             0              63   70   68   
76.99/77.11	c 2638193        3179861        665409892      222796965      90             0              66   73   67   
84.39/84.59	c 2902077        3590978        732913386      242790061      90             0              57   73   68   
91.99/92.14	c 3192349        3901554        798747105      266750590      90             0              64   70   67   
99.79/99.90	c 3511648        4257601        870096338      286323940      90             0              60   71   64   
113.38/113.53	c 3862876        4802014        993397708      328295565      90             0              61   70   66   
128.38/128.51	c 4249226        5422622        1117820830     376996669      90             0              61   67   63   
145.38/145.52	c 4674211        5987980        1263861827     428348870      90             0              63   75   68   
163.08/163.24	c 5141694        6547569        1419165815     488154690      90             0              62   72   68   
185.89/186.08	c 5655925        7222209        1601571581     561120321      90             0              56   68   62   
211.48/211.68	c 6221579        8067081        1808166745     643530277      90             0              56   71   64   
228.48/228.60	c 6843798        8853064        1956350833     692009509      90             0              56   68   66   
252.78/252.90	c 7528238        9710527        2157582547     768620372      90             0              58   68   62   
276.18/276.32	c 8281122        10575873       2352180513     841899452      90             0              60   67   64   
299.08/299.24	c 9109294        11448025       2536846818     926355719      90             0              58   65   62   
324.87/325.08	c 10020283       12432096       2742587497     1026801039     90             0              53   63   60   
350.57/350.72	c 11022370       13727081       2976069873     1093988464     90             0              59   71   68   
372.97/373.10	c 12124665       14882507       3166029494     1140003446     90             0              59   66   62   
407.07/407.25	c 13337189       16561405       3483797105     1216419879     90             0              53   71   65   
435.57/435.74	c 14670965       17952949       3727945393     1283795547     90             0              52   67   65   
472.67/472.83	c 16138118       19639018       4027575640     1373617365     90             0              53   65   59   
514.37/514.58	c 17751986       21308526       4408358740     1484287966     90             0              56   69   66   
576.06/576.24	c 19527240       23146367       4911168135     1639319955     90             0              53   65   59   
674.46/674.66	c 21480019       25704890       5601866158     1968562752     90             0              53   67   57   
734.76/734.96	c 23628075       28973053       6139090273     2113134051     90             0              55   73   67   
797.75/797.91	c 25990936       31470900       6611065771     2315994024     90             0              56   63   59   
892.15/892.38	c 28590083       34850465       7316787350     2664933755     90             0              56   65   60   
982.84/983.07	c 31449144       38191802       8047132389     2934451636     90             0              55   70   62   
1073.24/1073.41	c 34594111       42150557       8792351614     3160308871     90             0              59   65   62   
1187.33/1187.51	c 38053574       45752828       9783807065     3467351862     90             0              55   65   60   
1272.93/1273.15	c 41858983       49678189       10611992045    3666613345     90             0              54   72   69   
1418.22/1418.40	c 46044932       54024230       11765651731    4121753758     90             0              55   66   60   
1540.62/1540.89	c 50649475       58823171       12845249287    4420858233     90             0              58   67   64   
1678.01/1678.25	c 55714472       64383845       14142149302    4742261747     90             0              52   70   66   
1814.60/1814.83	c 61285968       70638490       15338893988    5130661962     90             0              59   67   64   
1991.00/1991.24	c 67414613       77524724       16994980581    5558997765     90             0              54   71   65   
2167.69/2167.95	c 74156122       84620596       18612255208    6054870197     90             0              60   70   65   
2400.08/2400.30	
2400.08/2400.30	c *** INTERRUPTED ***
2400.08/2400.30	c restarts              : 118         
2400.08/2400.30	c conflicts             : 81118565     (33798 /sec)
2400.08/2400.30	c decisions             : 92606914     (38585 /sec)
2400.08/2400.30	c propagations          : 6767026295  (2819494 /sec)
2400.08/2400.30	c root propagations     : 2160        
2400.08/2400.30	c filter calls          : 20573127243    (8571830 /sec)
2400.08/2400.30	c useless filter calls  : 16209278659    (78 %)
2400.08/2400.30	c Memory used           : 27.16 MB
2400.08/2400.30	c CPU time              : 2400.09 s
2400.08/2400.30	
2400.08/2400.30	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-4260117-1502022991/watcher-4260117-1502022991 -o /tmp/evaluation-result-4260117-1502022991/solver-4260117-1502022991 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22617 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260117-1502022991.xml 

pid=24285
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.00 2.01 2.05 3/181 24288
/proc/meminfo: memFree=31708280/32770624 swapFree=0/338392
[pid=24288] ppid=24285 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24288/stat : 24288 (runsolver) D 24285 24288 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4494870 24240128 107 18446744073709551615 4194304 4338465 140733479855376 140733479853016 139621472547543 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 7569408 140733479862466 140733479862858 140733479862858 140733479866314 0
/proc/24288/statm: 5918 107 54 36 0 2156 0

[startup+0.100152 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24288
/proc/meminfo: memFree=31708280/32770624 swapFree=0/338392
[pid=24288] ppid=24285 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24288/stat : 24288 (runsolver) D 24285 24288 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4494870 24240128 107 18446744073709551615 4194304 4338465 140733479855376 140733479853016 139621472547543 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 7569408 140733479862466 140733479862858 140733479862858 140733479866314 0
/proc/24288/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200302 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24288
/proc/meminfo: memFree=31708280/32770624 swapFree=0/338392
[pid=24288] ppid=24285 vsize=27812 CPUtime=0.09 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 1337 0 0 0 9 0 0 0 20 0 1 0 4494870 28479488 1176 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919898 0 0 1 8405026 0 0 0 17 7 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1176 815 380 0 371 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27812

[startup+0.300298 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24288
/proc/meminfo: memFree=31708280/32770624 swapFree=0/338392
[pid=24288] ppid=24285 vsize=27812 CPUtime=0.19 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 1337 0 0 0 19 0 0 0 20 0 1 0 4494870 28479488 1176 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4909775 0 0 1 8405026 0 0 0 17 7 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1176 815 380 0 371 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27812

[startup+0.700222 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24288
/proc/meminfo: memFree=31708280/32770624 swapFree=0/338392
[pid=24288] ppid=24285 vsize=27812 CPUtime=0.59 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 1337 0 0 0 59 0 0 0 20 0 1 0 4494870 28479488 1176 18446744073709551615 4194304 5747388 140732815639936 140732815637336 140095545060448 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1176 815 380 0 371 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 27812

[startup+1.50022 s]
/proc/loadavg: 1.92 2.00 2.04 3/182 24289
/proc/meminfo: memFree=31706732/32770624 swapFree=0/338392
[pid=24288] ppid=24285 vsize=27812 CPUtime=1.39 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 1337 0 0 0 139 0 0 0 20 0 1 0 4494870 28479488 1176 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919993 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1176 815 380 0 371 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 27812

[startup+3.10023 s]
/proc/loadavg: 1.92 2.00 2.04 3/182 24289
/proc/meminfo: memFree=31706360/32770624 swapFree=0/338392
[pid=24288] ppid=24285 vsize=27812 CPUtime=2.99 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 1634 0 0 0 299 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4873211 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 27812

[startup+6.30023 s]
/proc/loadavg: 1.85 1.98 2.03 3/182 24289
/proc/meminfo: memFree=31706608/32770624 swapFree=0/338400
[pid=24288] ppid=24285 vsize=27812 CPUtime=6.19 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 1931 0 0 0 619 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919917 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 27812

[startup+12.7002 s]
/proc/loadavg: 1.86 1.98 2.03 3/182 24289
/proc/meminfo: memFree=31706360/32770624 swapFree=0/338412
[pid=24288] ppid=24285 vsize=27812 CPUtime=12.59 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 2230 0 0 0 1259 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4872987 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 27812

[startup+25.5003 s]
/proc/loadavg: 1.88 1.98 2.03 3/182 24290
/proc/meminfo: memFree=31706508/32770624 swapFree=0/338420
[pid=24288] ppid=24285 vsize=27812 CPUtime=25.39 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 2824 0 0 0 2539 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5000046 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 27812

[startup+51.1003 s]
/proc/loadavg: 1.93 1.99 2.03 3/182 24290
/proc/meminfo: memFree=31706520/32770624 swapFree=0/338456
[pid=24288] ppid=24285 vsize=27812 CPUtime=50.99 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 3121 0 0 0 5099 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919811 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 27812

[startup+102.3 s]
/proc/loadavg: 2.08 2.02 2.05 3/182 24292
/proc/meminfo: memFree=31706260/32770624 swapFree=0/338524
[pid=24288] ppid=24285 vsize=27812 CPUtime=102.19 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 3419 0 0 0 10219 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5126757 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 27812

[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/181 24295
/proc/meminfo: memFree=31706124/32770624 swapFree=0/338588
[pid=24288] ppid=24285 vsize=27812 CPUtime=162.18 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 3716 0 0 0 16218 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5000032 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 27812

[startup+222.305 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 24297
/proc/meminfo: memFree=31705884/32770624 swapFree=0/338624
[pid=24288] ppid=24285 vsize=27812 CPUtime=222.18 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 4013 0 0 0 22218 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919958 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 27812

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 24299
/proc/meminfo: memFree=31706176/32770624 swapFree=0/338672
[pid=24288] ppid=24285 vsize=27812 CPUtime=282.18 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 4310 0 0 0 28218 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919847 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 27812

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 24302
/proc/meminfo: memFree=31705832/32770624 swapFree=0/338732
[pid=24288] ppid=24285 vsize=27812 CPUtime=342.17 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 4607 0 0 0 34217 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919889 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 27812

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24304
/proc/meminfo: memFree=31706088/32770624 swapFree=0/338780
[pid=24288] ppid=24285 vsize=27812 CPUtime=402.17 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 4904 0 0 0 40217 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5127039 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 27812

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 24321
/proc/meminfo: memFree=31701268/32770624 swapFree=0/338856
[pid=24288] ppid=24285 vsize=27812 CPUtime=462.17 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 5201 0 0 0 46217 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919893 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 27812

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 24323
/proc/meminfo: memFree=31701488/32770624 swapFree=0/338900
[pid=24288] ppid=24285 vsize=27812 CPUtime=522.17 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 5498 0 0 0 52217 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5000032 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 27812

[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 24325
/proc/meminfo: memFree=31705104/32770624 swapFree=0/338932
[pid=24288] ppid=24285 vsize=27812 CPUtime=582.16 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 5795 0 0 0 58216 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919917 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 27812


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24371
/proc/meminfo: memFree=31704396/32770624 swapFree=0/339556
[pid=24288] ppid=24285 vsize=27812 CPUtime=1542.12 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 10407 0 0 0 154212 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5000032 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 27812

[startup+1602.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 24373
/proc/meminfo: memFree=31704356/32770624 swapFree=0/339584
[pid=24288] ppid=24285 vsize=27812 CPUtime=1602.11 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 10679 0 0 0 160211 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5143792 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 27812

[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 24390
/proc/meminfo: memFree=31700576/32770624 swapFree=0/339644
[pid=24288] ppid=24285 vsize=27812 CPUtime=1662.11 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 10951 0 0 0 166211 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919958 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 27812

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 24392
/proc/meminfo: memFree=31700864/32770624 swapFree=0/339688
[pid=24288] ppid=24285 vsize=27812 CPUtime=1722.11 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 11248 0 0 0 172211 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919847 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 27812

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 24394
/proc/meminfo: memFree=31703184/32770624 swapFree=0/339716
[pid=24288] ppid=24285 vsize=27812 CPUtime=1782.11 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 11518 0 0 0 178211 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4873013 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 27812

[startup+1842.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 24396
/proc/meminfo: memFree=31703472/32770624 swapFree=0/339752
[pid=24288] ppid=24285 vsize=27812 CPUtime=1842.1 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 11815 0 0 0 184210 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919889 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 27812

[startup+1902.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 24398
/proc/meminfo: memFree=31703980/32770624 swapFree=0/339788
[pid=24288] ppid=24285 vsize=27812 CPUtime=1902.1 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 12087 0 0 0 190210 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919889 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 1902.1
Current children cumulated vsize (KiB) 27812

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 24401
/proc/meminfo: memFree=31703500/32770624 swapFree=0/339824
[pid=24288] ppid=24285 vsize=27812 CPUtime=1962.1 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 12363 0 0 0 196210 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5118347 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 1962.1
Current children cumulated vsize (KiB) 27812

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 24403
/proc/meminfo: memFree=31704176/32770624 swapFree=0/339864
[pid=24288] ppid=24285 vsize=27812 CPUtime=2022.09 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 12660 0 0 0 202209 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919893 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2022.09
Current children cumulated vsize (KiB) 27812

[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 24405
/proc/meminfo: memFree=31704184/32770624 swapFree=0/339896
[pid=24288] ppid=24285 vsize=27812 CPUtime=2082.1 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 12932 0 0 0 208210 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5000032 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2082.1
Current children cumulated vsize (KiB) 27812

[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 24408
/proc/meminfo: memFree=31704208/32770624 swapFree=0/339940
[pid=24288] ppid=24285 vsize=27812 CPUtime=2142.09 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 13204 0 0 0 214209 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919815 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 27812

[startup+2202.31 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 24471
/proc/meminfo: memFree=31514700/32770624 swapFree=0/341300
[pid=24288] ppid=24285 vsize=27812 CPUtime=2202.09 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 13501 0 0 0 220209 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919850 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2202.09
Current children cumulated vsize (KiB) 27812

[startup+2262.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/185 24488
/proc/meminfo: memFree=31505984/32770624 swapFree=0/341412
[pid=24288] ppid=24285 vsize=27812 CPUtime=2262.08 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 13774 0 0 0 226208 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5000032 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2262.08
Current children cumulated vsize (KiB) 27812

[startup+2322.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 24515
/proc/meminfo: memFree=31495720/32770624 swapFree=0/341500
[pid=24288] ppid=24285 vsize=27812 CPUtime=2322.08 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 14047 0 0 0 232208 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919798 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2322.08
Current children cumulated vsize (KiB) 27812

[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 24517
/proc/meminfo: memFree=31496872/32770624 swapFree=0/341560
[pid=24288] ppid=24285 vsize=27812 CPUtime=2382.08 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 14319 0 0 0 238208 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 4919889 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 27812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 24517
/proc/meminfo: memFree=31497004/32770624 swapFree=0/341576
[pid=24288] ppid=24285 vsize=27812 CPUtime=2400.08 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 14591 0 0 0 240008 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5000064 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 27812

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 24288 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 24517
/proc/meminfo: memFree=31497004/32770624 swapFree=0/341576
[pid=24288] ppid=24285 vsize=27812 CPUtime=2400.08 cores=1,3,5,7
/proc/24288/stat : 24288 (cosoco) R 24285 24288 21827 0 -1 4202496 14591 0 0 0 240008 0 0 0 20 0 1 0 4494870 28479488 1178 18446744073709551615 4194304 5747388 140732815639936 140732815637336 5000064 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 36024320 140732815643119 140732815643214 140732815643214 140732815646670 0
/proc/24288/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 27812

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.09
CPU user time (s): 2400.09
CPU system time (s): 0.002
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 27812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.09
system time used= 0.002
maximum resident set size= 4776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14640
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= 671

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46047 second user time and 8.97443 second system time

The end

Launcher Data

Begin job on node126 at 2017-08-06 14:22:33
IDJOB=4260117
IDBENCH=124359
IDSOLVER=2647
FILE ID=node126/4260117-1502022991
RUNJOBID= node126-1502014384-22617
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-mini 1.1
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-4260117-1502022991/watcher-4260117-1502022991 -o /tmp/evaluation-result-4260117-1502022991/solver-4260117-1502022991 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22617 --watchdog 2560  cosoco -lc -model -restarts HOME/instance-4260117-1502022991.xml

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

MD5SUM BENCH= d06dfc4a92b3645075aa026a1be187ca
RANDOM SEED=248402802

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:        31708248 kB
MemAvailable:   32023272 kB
Buffers:          119808 kB
Cached:           475896 kB
SwapCached:            0 kB
Active:           309612 kB
Inactive:         346952 kB
Active(anon):      60820 kB
Inactive(anon):     8524 kB
Active(file):     248792 kB
Inactive(file):   338428 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2036 kB
Writeback:            20 kB
AnonPages:         85372 kB
Mapped:            30892 kB
Shmem:              8868 kB
Slab:             111748 kB
SReclaimable:      87280 kB
SUnreclaim:        24468 kB
KernelStack:        3408 kB
PageTables:         4728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     303012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 61996 MiB
End job on node126 at 2017-08-06 15:02:33