Trace number 4252181

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-06-27)? (TO) 2400.06 2400

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.07	c root propagations     : 2160        
0.00/0.07	c restarts enabled, print stats at every restarts
0.00/0.07	c
0.00/0.07	c
0.00/0.07	c
0.00/0.07	c This is cosoco 1.0 --  
0.00/0.07	c
0.00/0.07	c ========================================[ Problem Statistics ]===========================================
0.00/0.07	c |                                                                                                       
0.00/0.07	c |  Parse time        :         0.05 s 
0.00/0.07	c |
0.00/0.07	c |               Variables: 180
0.00/0.07	c |            Domain Sizes: 45..90
0.00/0.07	c |
0.00/0.07	c |             Constraints: 135
0.00/0.07	c |                   Arity: 2..91  -- Binary: 45
0.00/0.07	c | 
0.00/0.07	c |                   Types: 
0.00/0.07	c |                          Element Constant: 90
0.00/0.07	c |                          Intension: 45
0.00/0.07	c |                          
0.00/0.07	c =========================================================================================================
0.00/0.07	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.08	c 101            404            69086          14214          90             0              142   158   145
0.09/0.10	c 211            709            137712         45560          90             0              67   75   70   
0.09/0.13	c 332            1113           240399         89399          90             0              62   72   68   
0.09/0.17	c 465            1749           341024         129416         90             0              58   77   67   
0.19/0.20	c 611            2441           461705         180022         90             0              60   74   64   
0.19/0.24	c 771            3246           606011         239071         90             0              61   75   67   
0.19/0.29	c 947            4263           771699         308877         90             0              63   78   70   
0.29/0.33	c 1140           5016           930385         373890         90             0              65   75   69   
0.29/0.36	c 1352           5738           1067779        429244         90             0              63   77   70   
0.29/0.39	c 1585           6227           1166714        468468         90             0              65   77   71   
0.39/0.42	c 1841           6891           1346592        540191         90             0              63   77   68   
0.39/0.47	c 2122           7817           1557411        620448         90             0              67   79   71   
0.49/0.51	c 2431           8840           1757040        698591         90             0              60   79   69   
0.49/0.56	c 2770           9940           1943945        764708         90             0              62   79   69   
0.59/0.60	c 3142           10852          2151852        840447         90             0              63   79   65   
0.59/0.64	c 3551           11825          2342820        906308         90             0              68   78   71   
0.59/0.69	c 4000           12887          2583682        1004899        90             0              58   78   67   
0.69/0.73	c 4493           13726          2771048        1062829        90             0              70   79   75   
0.69/0.77	c 5035           14779          3000083        1146400        90             0              68   73   70   
0.79/0.81	c 5631           15800          3219630        1236530        90             0              70   78   72   
0.79/0.89	c 6286           17247          3644347        1412157        90             0              65   76   69   
0.89/0.94	c 7006           18467          4018369        1548505        90             0              64   70   67   
0.89/1.00	c 7798           19728          4351517        1672336        90             0              68   77   72   
0.99/1.05	c 8669           20996          4698447        1796300        90             0              63   72   69   
1.09/1.14	c 9627           22530          5228574        2052448        90             0              63   67   64   
1.09/1.20	c 10680          24129          5640131        2194388        90             0              63   75   71   
1.19/1.28	c 11838          25424          6160488        2429413        90             0              64   70   65   
1.29/1.32	c 13111          27003          6430761        2519726        90             0              68   73   72   
1.29/1.38	c 14511          28543          6838037        2675453        90             0              66   71   68   
1.49/1.53	c 16051          31578          7807549        3075707        90             0              64   69   65   
1.59/1.64	c 17745          34413          8475049        3392239        90             0              63   66   64   
1.69/1.74	c 19608          37783          9180889        3682730        90             0              64   70   66   
1.79/1.87	c 21657          40500          10052530       4182389        90             0              63   70   65   
1.99/2.01	c 23910          44012          10952391       4554320        90             0              62   73   65   
2.09/2.15	c 26388          46865          11964385       4948523        90             0              60   70   63   
2.29/2.30	c 29113          51471          12965951       5347731        90             0              65   73   67   
2.39/2.43	c 32110          55217          13893209       5679451        90             0              62   73   70   
2.59/2.64	c 35406          60335          15456400       6516862        90             0              61   73   67   
2.69/2.75	c 39031          64228          16342540       6800077        90             0              66   75   73   
2.79/2.87	c 43018          68539          17357222       7138162        90             0              70   74   73   
2.89/2.99	c 47403          73518          18370595       7374087        90             0              68   75   73   
3.09/3.13	c 52226          78586          19505936       7767674        90             0              67   75   73   
3.19/3.29	c 57531          85135          20754383       8248211        90             0              67   74   70   
3.39/3.48	c 63366          91291          22394310       8715130        90             0              62   78   71   
3.59/3.64	c 69784          98099          23849065       9050340        90             0              68   76   73   
3.79/3.84	c 76843          105814         25595589       9532786        90             0              66   75   71   
3.99/4.06	c 84607          115476         27417630       9969092        90             0              69   75   73   
4.19/4.25	c 93147          124698         29029806       10455658       90             0              67   73   72   
4.59/4.62	c 102541         137850         32071354       11465551       90             0              65   70   68   
4.89/4.93	c 112874         153093         34601638       12256972       90             0              69   73   70   
5.19/5.27	c 124240         166961         37458749       13167180       90             0              64   75   70   
5.49/5.59	c 136742         180676         40152691       13961934       90             0              64   71   70   
5.99/6.08	c 150494         202585         44167964       15275639       90             0              65   71   68   
6.59/6.64	c 165621         223264         48775993       16802256       90             0              63   77   71   
6.99/7.04	c 182260         242702         52165153       17562540       90             0              67   76   70   
7.49/7.59	c 200562         262441         57038008       19048823       90             0              65   72   70   
8.09/8.12	c 220694         283632         61584100       20745789       90             0              67   73   71   
8.79/8.85	c 242839         311193         67559938       23262720       90             0              65   73   68   
9.59/9.68	c 267198         342086         74425400       25547640       90             0              62   69   66   
10.59/10.64	c 293992         377743         82572940       28680818       90             0              62   74   70   
11.39/11.43	c 323465         410044         89199053       30895321       90             0              65   67   66   
12.29/12.36	c 355885         456393         97370552       33238274       90             0              67   70   68   
13.09/13.13	c 391547         503759         104074944      34801543       90             0              62   71   69   
14.19/14.24	c 430775         550258         113861239      38126693       90             0              63   73   69   
15.39/15.44	c 473925         605531         124026669      41771746       90             0              63   71   67   
16.99/17.00	c 521390         655443         137976794      46715826       90             0              64   69   67   
17.99/18.03	c 573601         711581         146970795      49516658       90             0              62   70   69   
19.29/19.34	c 631033         772529         157998094      52761626       90             0              62   74   66   
21.19/21.29	c 694208         850412         173374486      59176856       90             0              66   67   66   
23.69/23.70	c 763700         970057         194157120      66121637       90             0              62   69   68   
27.09/27.17	c 840141         1085753        220657156      76356103       90             0              63   73   66   
29.49/29.51	c 924226         1173982        240465578      84170390       90             0              64   69   66   
32.49/32.53	c 1016719        1299581        266351323      92917233       90             0              63   68   66   
35.09/35.15	c 1118461        1406099        289970912      100071106      90             0              66   71   68   
37.50/37.51	c 1230377        1528161        311766639      105858050      90             0              64   70   68   
40.59/40.61	c 1353484        1668882        339349111      114960339      90             0              63   70   67   
44.19/44.25	c 1488901        1816869        369673797      125588493      90             0              64   68   66   
48.40/48.44	c 1637859        1977779        406686037      136047467      90             0              63   72   65   
53.59/53.60	c 1801712        2148235        447037602      154458432      90             0              63   66   64   
59.09/59.14	c 1981950        2375294        492685301      167996656      90             0              61   70   65   
63.99/64.05	c 2180211        2592945        533839569      180429397      90             0              61   72   66   
70.40/70.45	c 2398298        2886454        590772356      198491336      90             0              63   70   68   
78.79/78.84	c 2638193        3179861        665409892      222796965      90             0              66   73   67   
86.49/86.51	c 2902077        3590978        732913386      242790061      90             0              57   73   68   
94.29/94.30	c 3192349        3901554        798747105      266750590      90             0              64   70   67   
102.19/102.28	c 3511648        4257601        870096338      286323940      90             0              60   71   64   
116.29/116.36	c 3862876        4802014        993397708      328295565      90             0              61   70   66   
131.69/131.71	c 4249226        5422622        1117820830     376996669      90             0              61   67   63   
149.09/149.15	c 4674211        5987980        1263861827     428348870      90             0              63   75   68   
167.39/167.42	c 5141694        6547569        1419165815     488154690      90             0              62   72   68   
190.99/191.05	c 5655925        7222209        1601571581     561120321      90             0              56   68   62   
217.19/217.24	c 6221579        8067081        1808166745     643530277      90             0              56   71   64   
234.60/234.65	c 6843798        8853064        1956350833     692009509      90             0              56   68   66   
259.50/259.56	c 7528238        9710527        2157582547     768620372      90             0              58   68   62   
283.60/283.66	c 8281122        10575873       2352180513     841899452      90             0              60   67   64   
307.10/307.10	c 9109294        11448025       2536846818     926355719      90             0              58   65   62   
333.90/333.90	c 10020283       12432096       2742587497     1026801039     90             0              53   63   60   
360.10/360.11	c 11022370       13727081       2976069873     1093988464     90             0              59   71   68   
382.90/382.95	c 12124665       14882507       3166029494     1140003446     90             0              59   66   62   
417.90/417.97	c 13337189       16561405       3483797105     1216419879     90             0              53   71   65   
447.20/447.28	c 14670965       17952949       3727945393     1283795547     90             0              52   67   65   
485.40/485.45	c 16138118       19639018       4027575640     1373617365     90             0              53   65   59   
528.30/528.30	c 17751986       21308526       4408358740     1484287966     90             0              56   69   66   
592.20/592.23	c 19527240       23146367       4911168135     1639319955     90             0              53   65   59   
693.71/693.75	c 21480019       25704890       5601866158     1968562752     90             0              53   67   57   
755.31/755.31	c 23628075       28973053       6139090273     2113134051     90             0              55   73   67   
820.31/820.30	c 25990936       31470900       6611065771     2315994024     90             0              56   63   59   
918.41/918.48	c 28590083       34850465       7316787350     2664933755     90             0              56   65   60   
1012.12/1012.14	c 31449144       38191802       8047132389     2934451636     90             0              55   70   62   
1105.72/1105.71	c 34594111       42150557       8792351614     3160308871     90             0              59   65   62   
1222.02/1222.06	c 38053574       45752828       9783807065     3467351862     90             0              55   65   60   
1310.52/1310.59	c 41858983       49678189       10611992045    3666613345     90             0              54   72   69   
1459.73/1459.79	c 46044932       54024230       11765651731    4121753758     90             0              55   66   60   
1585.14/1585.12	c 50649475       58823171       12845249287    4420858233     90             0              58   67   64   
1725.43/1725.46	c 55714472       64383845       14142149302    4742261747     90             0              52   70   66   
1866.34/1866.39	c 61285968       70638490       15338893988    5130661962     90             0              59   67   64   
2047.74/2047.75	c 67414613       77524724       16994980581    5558997765     90             0              54   71   65   
2229.55/2229.56	c 74156122       84620596       18612255208    6054870197     90             0              60   70   65

Verifier Data 

One s line expected

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-4252181-1500920672/watcher-4252181-1500920672 -o /tmp/evaluation-result-4252181-1500920672/solver-4252181-1500920672 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500915816-3624 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252181-1500920672.xml 

pid=4362
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 1.99 3/181 4365
/proc/meminfo: memFree=32077652/32770624 swapFree=5776/150676
[pid=4365] ppid=4362 vsize=26692 CPUtime=0 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4194304 523 0 0 0 0 0 0 0 20 0 1 0 1656000 27332608 355 33554432000 4194304 5744392 140721003427664 140721003424312 140168469388816 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6673 355 317 379 0 60 0

[startup+0.100154 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 4365
/proc/meminfo: memFree=32077652/32770624 swapFree=5776/150676
[pid=4365] ppid=4362 vsize=27808 CPUtime=0.09 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 1336 0 0 0 9 0 0 0 20 0 1 0 1656000 28475392 1174 33554432000 4194304 5744392 140721003427664 140721003425064 4918753 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1174 814 379 0 371 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27808

[startup+0.200269 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 4365
/proc/meminfo: memFree=32077652/32770624 swapFree=5776/150676
[pid=4365] ppid=4362 vsize=27808 CPUtime=0.19 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 1336 0 0 0 19 0 0 0 20 0 1 0 1656000 28475392 1174 33554432000 4194304 5744392 140721003427664 140721003425064 4918776 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1174 814 379 0 371 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27808

[startup+0.300246 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 4365
/proc/meminfo: memFree=32077652/32770624 swapFree=5776/150676
[pid=4365] ppid=4362 vsize=27808 CPUtime=0.29 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 1336 0 0 0 29 0 0 0 20 0 1 0 1656000 28475392 1174 33554432000 4194304 5744392 140721003427664 140721003425064 4904853 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1174 814 379 0 371 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27808

[startup+0.700223 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 4365
/proc/meminfo: memFree=32077652/32770624 swapFree=5776/150676
[pid=4365] ppid=4362 vsize=27808 CPUtime=0.69 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 1336 0 0 0 69 0 0 0 20 0 1 0 1656000 28475392 1174 33554432000 4194304 5744392 140721003427664 140721003425064 4998896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1174 814 379 0 371 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27808

[startup+1.50021 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4366
/proc/meminfo: memFree=32076944/32770624 swapFree=5776/150732
[pid=4365] ppid=4362 vsize=27808 CPUtime=1.49 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 1336 0 0 0 149 0 0 0 20 0 1 0 1656000 28475392 1174 33554432000 4194304 5744392 140721003427664 140721003425064 4918757 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1174 814 379 0 371 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27808

[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4366
/proc/meminfo: memFree=32076612/32770624 swapFree=5776/150684
[pid=4365] ppid=4362 vsize=27808 CPUtime=3.09 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 1633 0 0 0 309 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4918714 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27808

[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4366
/proc/meminfo: memFree=32076488/32770624 swapFree=5776/150700
[pid=4365] ppid=4362 vsize=27808 CPUtime=6.29 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 1930 0 0 0 629 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4998864 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27808

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4366
/proc/meminfo: memFree=32076244/32770624 swapFree=5776/150704
[pid=4365] ppid=4362 vsize=27808 CPUtime=12.69 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 2229 0 0 0 1269 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4918666 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27808

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4366
/proc/meminfo: memFree=32076120/32770624 swapFree=5776/150720
[pid=4365] ppid=4362 vsize=27808 CPUtime=25.49 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 2823 0 0 0 2549 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4872564 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27808

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4367
/proc/meminfo: memFree=32075740/32770624 swapFree=5776/150760
[pid=4365] ppid=4362 vsize=27808 CPUtime=51.09 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 3120 0 0 0 5109 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4998864 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27808

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4368
/proc/meminfo: memFree=32075244/32770624 swapFree=5776/150836
[pid=4365] ppid=4362 vsize=27808 CPUtime=102.3 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 3418 0 0 0 10230 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 5140986 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 27808

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/182 4369
/proc/meminfo: memFree=32075368/32770624 swapFree=5776/150908
[pid=4365] ppid=4362 vsize=27808 CPUtime=162.29 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 3715 0 0 0 16229 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4998896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 27808

[startup+222.305 s]
/proc/loadavg: 2.04 2.03 2.00 3/182 4371
/proc/meminfo: memFree=32075368/32770624 swapFree=5776/150944
[pid=4365] ppid=4362 vsize=27808 CPUtime=222.3 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 4012 0 0 0 22230 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4918679 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 27808

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 4372
/proc/meminfo: memFree=32075740/32770624 swapFree=5776/151008
[pid=4365] ppid=4362 vsize=27808 CPUtime=282.3 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 4309 0 0 0 28230 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4998864 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27808

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4380
/proc/meminfo: memFree=32074928/32770624 swapFree=5776/151068
[pid=4365] ppid=4362 vsize=27808 CPUtime=342.3 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 4606 0 0 0 34230 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4918822 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 27808

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4381
/proc/meminfo: memFree=32075412/32770624 swapFree=5776/151128
[pid=4365] ppid=4362 vsize=27808 CPUtime=402.3 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 4903 0 0 0 40230 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4918776 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 27808

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4382
/proc/meminfo: memFree=32075312/32770624 swapFree=5776/151164
[pid=4365] ppid=4362 vsize=27808 CPUtime=462.3 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 5200 0 0 0 46230 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4918757 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 27808

[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/182 4383
/proc/meminfo: memFree=32075072/32770624 swapFree=5776/151208
[pid=4365] ppid=4362 vsize=27808 CPUtime=522.3 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 5497 0 0 0 52230 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4918749 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 27808

[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 4384
/proc/meminfo: memFree=32075348/32770624 swapFree=5776/151236
[pid=4365] ppid=4362 vsize=27808 CPUtime=582.3 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 5774 0 0 0 58230 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4918822 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 27808


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/181 4406
/proc/meminfo: memFree=32075576/32770624 swapFree=5776/151788
[pid=4365] ppid=4362 vsize=27808 CPUtime=1482.33 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 10101 0 0 0 148233 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 5118989 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 27808

[startup+1542.31 s]
/proc/loadavg: 2.14 2.05 2.02 3/182 4415
/proc/meminfo: memFree=32074312/32770624 swapFree=5776/151844
[pid=4365] ppid=4362 vsize=27808 CPUtime=1542.33 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 10375 0 0 0 154233 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4872597 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 27808

[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.02 3/182 4416
/proc/meminfo: memFree=32074580/32770624 swapFree=5776/151888
[pid=4365] ppid=4362 vsize=27808 CPUtime=1602.33 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 10672 0 0 0 160233 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4998864 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 27808

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.02 3/182 4417
/proc/meminfo: memFree=32074456/32770624 swapFree=5776/151928
[pid=4365] ppid=4362 vsize=27808 CPUtime=1662.33 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 10944 0 0 0 166233 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 5125288 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 27808

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.03 3/182 4418
/proc/meminfo: memFree=32074696/32770624 swapFree=5776/151956
[pid=4365] ppid=4362 vsize=27808 CPUtime=1722.33 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 11215 0 0 0 172233 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4998864 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 27808

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.03 3/182 4419
/proc/meminfo: memFree=32074572/32770624 swapFree=5776/151992
[pid=4365] ppid=4362 vsize=27808 CPUtime=1782.33 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 11512 0 0 0 178233 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4918749 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 27808

[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/182 4421
/proc/meminfo: memFree=32074620/32770624 swapFree=5776/152024
[pid=4365] ppid=4362 vsize=27808 CPUtime=1842.34 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 11782 0 0 0 184234 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 5118920 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 1842.34
Current children cumulated vsize (KiB) 27808

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/182 4422
/proc/meminfo: memFree=32074860/32770624 swapFree=5776/152064
[pid=4365] ppid=4362 vsize=27808 CPUtime=1902.34 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 11809 0 0 0 190234 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4918749 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 1902.34
Current children cumulated vsize (KiB) 27808

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/182 4423
/proc/meminfo: memFree=32074976/32770624 swapFree=5776/152092
[pid=4365] ppid=4362 vsize=27808 CPUtime=1962.34 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 12083 0 0 0 196234 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4918757 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 1962.34
Current children cumulated vsize (KiB) 27808

[startup+2022.3 s]
/proc/loadavg: 2.13 2.05 2.04 3/182 4425
/proc/meminfo: memFree=32074488/32770624 swapFree=5776/152124
[pid=4365] ppid=4362 vsize=27808 CPUtime=2022.34 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 12357 0 0 0 202234 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4918781 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 2022.34
Current children cumulated vsize (KiB) 27808

[startup+2082.3 s]
/proc/loadavg: 2.10 2.05 2.04 3/182 4426
/proc/meminfo: memFree=32074364/32770624 swapFree=5776/152168
[pid=4365] ppid=4362 vsize=27808 CPUtime=2082.35 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 12654 0 0 0 208235 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4998864 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 2082.35
Current children cumulated vsize (KiB) 27808

[startup+2142.3 s]
/proc/loadavg: 2.14 2.07 2.05 3/182 4434
/proc/meminfo: memFree=32074000/32770624 swapFree=5776/152212
[pid=4365] ppid=4362 vsize=27808 CPUtime=2142.34 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 12926 0 0 0 214234 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4918714 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 2142.34
Current children cumulated vsize (KiB) 27808

[startup+2202.31 s]
/proc/loadavg: 2.17 2.09 2.06 3/182 4457
/proc/meminfo: memFree=32073504/32770624 swapFree=5776/152248
[pid=4365] ppid=4362 vsize=27808 CPUtime=2202.35 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 13198 0 0 0 220235 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4872814 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 2202.35
Current children cumulated vsize (KiB) 27808

[startup+2262.3 s]
/proc/loadavg: 2.06 2.07 2.05 3/182 4458
/proc/meminfo: memFree=32074280/32770624 swapFree=5776/152288
[pid=4365] ppid=4362 vsize=27808 CPUtime=2262.35 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 13495 0 0 0 226235 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4872795 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 2262.35
Current children cumulated vsize (KiB) 27808

[startup+2322.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/182 4459
/proc/meminfo: memFree=32073748/32770624 swapFree=5776/152316
[pid=4365] ppid=4362 vsize=27808 CPUtime=2322.35 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 13768 0 0 0 232235 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4918757 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 2322.35
Current children cumulated vsize (KiB) 27808

[startup+2382.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/182 4521
/proc/meminfo: memFree=31928160/32770624 swapFree=5776/152432
[pid=4365] ppid=4362 vsize=27808 CPUtime=2382.35 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 13769 0 0 0 238235 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4918666 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 2382.35
Current children cumulated vsize (KiB) 27808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]
/proc/loadavg: 2.01 2.05 2.05 3/182 4521
/proc/meminfo: memFree=31927756/32770624 swapFree=5776/152468
[pid=4365] ppid=4362 vsize=27808 CPUtime=2400.05 cores=1,3,5,7
/proc/4365/stat : 4365 (cosoco) R 4362 4365 3592 0 -1 4202496 14039 0 0 0 240005 0 0 0 20 0 1 0 1656000 28475392 1176 33554432000 4194304 5744392 140721003427664 140721003425064 4918781 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 13004800 140721003435201 140721003435331 140721003435331 140721003438030 0
/proc/4365/statm: 6952 1176 814 379 0 371 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 27808

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

Child status: 1
Real time (s): 2400
CPU time (s): 2400.06
CPU user time (s): 2400.06
CPU system time (s): 0.005
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 27808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.06
system time used= 0.005
maximum resident set size= 4748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14067
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= 9
involuntary context switches= 631

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.16724 second user time and 8.128 second system time

The end

Launcher Data 

Begin job on node146 at 2017-07-24 20:24:32
IDJOB=4252181
IDBENCH=124359
IDSOLVER=2633
FILE ID=node146/4252181-1500920672
RUNJOBID= node146-1500915816-3624
PBS_JOBID= 20625423
Free space on /tmp= 61688 MiB

SOLVER NAME= cosoco-mini 1.1
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-45.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252181-1500920672/watcher-4252181-1500920672 -o /tmp/evaluation-result-4252181-1500920672/solver-4252181-1500920672 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500915816-3624 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4252181-1500920672.xml

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

MD5SUM BENCH= d06dfc4a92b3645075aa026a1be187ca
RANDOM SEED=2022444854

node146.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.45
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.45
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.45
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.45
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:        32078480 kB
MemAvailable:   32059124 kB
Buffers:           42540 kB
Cached:           252636 kB
SwapCached:            0 kB
Active:           180920 kB
Inactive:         159324 kB
Active(anon):      47572 kB
Inactive(anon):     8648 kB
Active(file):     133348 kB
Inactive(file):   150676 kB
Unevictable:        5776 kB
Mlocked:            5776 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1980 kB
Writeback:             4 kB
AnonPages:         50540 kB
Mapped:            29048 kB
Shmem:              8848 kB
Slab:              50588 kB
SReclaimable:      24908 kB
SUnreclaim:        25680 kB
KernelStack:        3216 kB
PageTables:         5076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     283644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61688 MiB
End job on node146 at 2017-07-24 21:04:32