Trace number 4240869

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
R1: cosoco 1.1? (TO) 2400.02 2400.21

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.09/0.11	c root propagations     : 2160        
0.09/0.11	c restarts enabled, print stats at every restarts
0.09/0.11	c
0.09/0.11	c
0.09/0.11	c
0.09/0.11	c This is cosoco 1.0 --  
0.09/0.11	c
0.09/0.11	c ========================================[ Problem Statistics ]===========================================
0.09/0.11	c |                                                                                                       
0.09/0.11	c |  Parse time        :         0.09 s 
0.09/0.11	c |
0.09/0.11	c |               Variables: 180
0.09/0.11	c |            Domain Sizes: 45..90
0.09/0.11	c |
0.09/0.11	c |             Constraints: 135
0.09/0.11	c |                   Arity: 2..91  -- Binary: 45
0.09/0.11	c | 
0.09/0.11	c |                   Types: 
0.09/0.11	c |                          Element Constant: 90
0.09/0.11	c |                          Intension: 45
0.09/0.11	c |                          
0.09/0.11	c =========================================================================================================
0.09/0.11	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.09/0.13	c 101            404            69086          14214          90             0              142   158   145
0.09/0.16	c 211            709            137712         45560          90             0              67   75   70   
0.09/0.19	c 332            1113           240399         89399          90             0              62   72   68   
0.19/0.22	c 465            1749           341024         129416         90             0              58   77   67   
0.19/0.26	c 611            2441           461705         180022         90             0              60   74   64   
0.29/0.30	c 771            3246           606011         239071         90             0              61   75   67   
0.29/0.34	c 947            4263           771699         308877         90             0              63   78   70   
0.29/0.38	c 1140           5016           930385         373890         90             0              65   75   69   
0.39/0.42	c 1352           5738           1067779        429244         90             0              63   77   70   
0.39/0.44	c 1585           6227           1166714        468468         90             0              65   77   71   
0.39/0.48	c 1841           6891           1346592        540191         90             0              63   77   68   
0.49/0.52	c 2122           7817           1557411        620448         90             0              67   79   71   
0.49/0.57	c 2431           8840           1757040        698591         90             0              60   79   69   
0.59/0.61	c 2770           9940           1943945        764708         90             0              62   79   69   
0.59/0.66	c 3142           10852          2151852        840447         90             0              63   79   65   
0.69/0.70	c 3551           11825          2342820        906308         90             0              68   78   71   
0.69/0.74	c 4000           12887          2583682        1004899        90             0              58   78   67   
0.69/0.78	c 4493           13726          2771048        1062829        90             0              70   79   75   
0.79/0.82	c 5035           14779          3000083        1146400        90             0              68   73   70   
0.79/0.86	c 5631           15800          3219630        1236530        90             0              70   78   72   
0.89/0.93	c 6286           17247          3644347        1412157        90             0              65   76   69   
0.89/0.99	c 7006           18467          4018369        1548505        90             0              64   70   67   
0.99/1.04	c 7798           19728          4351517        1672336        90             0              68   77   72   
0.99/1.10	c 8669           20996          4698447        1796300        90             0              63   72   69   
1.10/1.18	c 9627           22530          5228574        2052448        90             0              63   67   64   
1.20/1.24	c 10680          24129          5640131        2194388        90             0              63   75   71   
1.29/1.32	c 11838          25424          6160488        2429413        90             0              64   70   65   
1.29/1.36	c 13111          27003          6430761        2519726        90             0              68   73   72   
1.39/1.42	c 14511          28543          6838037        2675453        90             0              66   71   68   
1.49/1.56	c 16051          31578          7807549        3075707        90             0              64   69   65   
1.59/1.67	c 17745          34413          8475049        3392239        90             0              63   66   64   
1.69/1.77	c 19608          37783          9180889        3682730        90             0              64   70   66   
1.89/1.90	c 21657          40500          10052530       4182389        90             0              63   70   65   
1.99/2.03	c 23910          44012          10952391       4554320        90             0              62   73   65   
2.09/2.17	c 26388          46865          11964385       4948523        90             0              60   70   63   
2.30/2.32	c 29113          51471          12965951       5347731        90             0              65   73   67   
2.39/2.44	c 32110          55217          13893209       5679451        90             0              62   73   70   
2.59/2.65	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.12	c 52226          78586          19505936       7767674        90             0              67   75   73   
3.19/3.28	c 57531          85135          20754383       8248211        90             0              67   74   70   
3.40/3.46	c 63366          91291          22394310       8715130        90             0              62   78   71   
3.59/3.62	c 69784          98099          23849065       9050340        90             0              68   76   73   
3.79/3.82	c 76843          105814         25595589       9532786        90             0              66   75   71   
3.99/4.03	c 84607          115476         27417630       9969092        90             0              69   75   73   
4.19/4.22	c 93147          124698         29029806       10455658       90             0              67   73   72   
4.50/4.58	c 102541         137850         32071354       11465551       90             0              65   70   68   
4.79/4.89	c 112874         153093         34601638       12256972       90             0              69   73   70   
5.19/5.22	c 124240         166961         37458749       13167180       90             0              64   75   70   
5.50/5.53	c 136742         180676         40152691       13961934       90             0              64   71   70   
5.99/6.01	c 150494         202585         44167964       15275639       90             0              65   71   68   
6.49/6.55	c 165621         223264         48775993       16802256       90             0              63   77   71   
6.89/6.94	c 182260         242702         52165153       17562540       90             0              67   76   70   
7.39/7.48	c 200562         262441         57038008       19048823       90             0              65   72   70   
7.99/8.00	c 220694         283632         61584100       20745789       90             0              67   73   71   
8.69/8.70	c 242839         311193         67559938       23262720       90             0              65   73   68   
9.49/9.51	c 267198         342086         74425400       25547640       90             0              62   69   66   
10.39/10.45	c 293992         377743         82572940       28680818       90             0              62   74   70   
11.19/11.21	c 323465         410044         89199053       30895321       90             0              65   67   66   
12.10/12.12	c 355885         456393         97370552       33238274       90             0              67   70   68   
12.79/12.87	c 391547         503759         104074944      34801543       90             0              62   71   69   
13.89/13.95	c 430775         550258         113861239      38126693       90             0              63   73   69   
15.09/15.13	c 473925         605531         124026669      41771746       90             0              63   71   67   
16.60/16.66	c 521390         655443         137976794      46715826       90             0              64   69   67   
17.60/17.68	c 573601         711581         146970795      49516658       90             0              62   70   69   
18.89/18.96	c 631033         772529         157998094      52761626       90             0              62   74   66   
20.79/20.83	c 694208         850412         173374486      59176856       90             0              66   67   66   
23.10/23.18	c 763700         970057         194157120      66121637       90             0              62   69   68   
26.50/26.57	c 840141         1085753        220657156      76356103       90             0              63   73   66   
28.79/28.84	c 924226         1173982        240465578      84170390       90             0              64   69   66   
31.69/31.77	c 1016719        1299581        266351323      92917233       90             0              63   68   66   
34.29/34.31	c 1118461        1406099        289970912      100071106      90             0              66   71   68   
36.59/36.62	c 1230377        1528161        311766639      105858050      90             0              64   70   68   
39.59/39.63	c 1353484        1668882        339349111      114960339      90             0              63   70   67   
43.09/43.14	c 1488901        1816869        369673797      125588493      90             0              64   68   66   
47.09/47.19	c 1637859        1977779        406686037      136047467      90             0              63   72   65   
52.09/52.18	c 1801712        2148235        447037602      154458432      90             0              63   66   64   
57.59/57.61	c 1981950        2375294        492685301      167996656      90             0              61   70   65   
62.29/62.38	c 2180211        2592945        533839569      180429397      90             0              61   72   66   
68.49/68.57	c 2398298        2886454        590772356      198491336      90             0              63   70   68   
76.69/76.75	c 2638193        3179861        665409892      222796965      90             0              66   73   67   
84.18/84.21	c 2902077        3590978        732913386      242790061      90             0              57   73   68   
91.68/91.73	c 3192349        3901554        798747105      266750590      90             0              64   70   67   
99.38/99.46	c 3511648        4257601        870096338      286323940      90             0              60   71   64   
112.98/113.05	c 3862876        4802014        993397708      328295565      90             0              61   70   66   
127.98/128.01	c 4249226        5422622        1117820830     376996669      90             0              61   67   63   
144.98/145.00	c 4674211        5987980        1263861827     428348870      90             0              63   75   68   
162.58/162.61	c 5141694        6547569        1419165815     488154690      90             0              62   72   68   
185.28/185.37	c 5655925        7222209        1601571581     561120321      90             0              56   68   62   
210.88/210.93	c 6221579        8067081        1808166745     643530277      90             0              56   71   64   
227.78/227.80	c 6843798        8853064        1956350833     692009509      90             0              56   68   66   
252.07/252.18	c 7528238        9710527        2157582547     768620372      90             0              58   68   62   
275.37/275.49	c 8281122        10575873       2352180513     841899452      90             0              60   67   64   
298.37/298.42	c 9109294        11448025       2536846818     926355719      90             0              58   65   62   
324.07/324.17	c 10020283       12432096       2742587497     1026801039     90             0              53   63   60   
349.66/349.70	c 11022370       13727081       2976069873     1093988464     90             0              59   71   68   
372.06/372.19	c 12124665       14882507       3166029494     1140003446     90             0              59   66   62   
406.06/406.14	c 13337189       16561405       3483797105     1216419879     90             0              53   71   65   
434.56/434.63	c 14670965       17952949       3727945393     1283795547     90             0              52   67   65   
471.55/471.61	c 16138118       19639018       4027575640     1373617365     90             0              53   65   59   
513.05/513.14	c 17751986       21308526       4408358740     1484287966     90             0              56   69   66   
574.75/574.80	c 19527240       23146367       4911168135     1639319955     90             0              53   65   59   
672.84/672.99	c 21480019       25704890       5601866158     1968562752     90             0              53   67   57   
733.13/733.24	c 23628075       28973053       6139090273     2113134051     90             0              55   73   67   
795.63/795.70	c 25990936       31470900       6611065771     2315994024     90             0              56   63   59   
889.83/889.91	c 28590083       34850465       7316787350     2664933755     90             0              56   65   60   
980.02/980.13	c 31449144       38191802       8047132389     2934451636     90             0              55   70   62   
1070.61/1070.77	c 34594111       42150557       8792351614     3160308871     90             0              59   65   62   
1183.70/1183.89	c 38053574       45752828       9783807065     3467351862     90             0              55   65   60   
1269.19/1269.37	c 41858983       49678189       10611992045    3666613345     90             0              54   72   69   
1412.48/1412.68	c 46044932       54024230       11765651731    4121753758     90             0              55   66   60   
1533.77/1533.93	c 50649475       58823171       12845249287    4420858233     90             0              58   67   64   
1670.46/1670.67	c 55714472       64383845       14142149302    4742261747     90             0              52   70   66   
1806.35/1806.51	c 61285968       70638490       15338893988    5130661962     90             0              59   67   64   
1982.14/1982.31	c 67414613       77524724       16994980581    5558997765     90             0              54   71   65   
2158.72/2158.96	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-4240869-1500628800/watcher-4240869-1500628800 -o /tmp/evaluation-result-4240869-1500628800/solver-4240869-1500628800 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500623787-4394 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240869-1500628800.xml 

pid=5520
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.05 2.03 1.99 3/190 5523
/proc/meminfo: memFree=31122324/32770624 swapFree=6824/684140
[pid=5523] ppid=5520 vsize=27384 CPUtime=0 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 1050 0 0 0 0 0 0 0 20 0 1 0 24159440 28041216 872 33554432000 4194304 5970956 140733351442560 140733351439208 140148032445413 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 6846 872 720 434 0 210 0

[startup+0.100135 s]
/proc/loadavg: 2.05 2.03 1.99 3/190 5523
/proc/meminfo: memFree=31122324/32770624 swapFree=6824/684140
[pid=5523] ppid=5520 vsize=27752 CPUtime=0.09 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 1278 0 0 0 9 0 0 0 20 0 1 0 24159440 28418048 1054 33554432000 4194304 5970956 140733351442560 140733351439816 4961271 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 6938 1054 790 434 0 302 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27752

[startup+0.200305 s]
/proc/loadavg: 2.05 2.03 1.99 3/190 5523
/proc/meminfo: memFree=31122324/32770624 swapFree=6824/684140
[pid=5523] ppid=5520 vsize=28156 CPUtime=0.19 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 1353 0 0 0 19 0 0 0 20 0 1 0 24159440 28831744 1185 33554432000 4194304 5970956 140733351442560 140733351439896 5070419 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1185 830 434 0 403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28156

[startup+0.300234 s]
/proc/loadavg: 2.05 2.03 1.99 3/190 5523
/proc/meminfo: memFree=31122324/32770624 swapFree=6824/684140
[pid=5523] ppid=5520 vsize=28156 CPUtime=0.29 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 1353 0 0 0 29 0 0 0 20 0 1 0 24159440 28831744 1185 33554432000 4194304 5970956 140733351442560 140733351439896 4964552 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1185 830 434 0 403 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28156

[startup+0.700227 s]
/proc/loadavg: 2.05 2.03 1.99 3/190 5523
/proc/meminfo: memFree=31122324/32770624 swapFree=6824/684140
[pid=5523] ppid=5520 vsize=28156 CPUtime=0.69 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 1353 0 0 0 69 0 0 0 20 0 1 0 24159440 28831744 1185 33554432000 4194304 5970956 140733351442560 140733351439896 5069712 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1185 830 434 0 403 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28156

[startup+1.50023 s]
/proc/loadavg: 2.05 2.03 1.99 3/192 5530
/proc/meminfo: memFree=31119652/32770624 swapFree=6824/684172
[pid=5523] ppid=5520 vsize=28156 CPUtime=1.49 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 1353 0 0 0 149 0 0 0 20 0 1 0 24159440 28831744 1185 33554432000 4194304 5970956 140733351442560 140733351439896 4994549 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1185 830 434 0 403 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28156

[startup+3.10022 s]
/proc/loadavg: 2.05 2.03 1.99 3/192 5530
/proc/meminfo: memFree=31119444/32770624 swapFree=6824/684172
[pid=5523] ppid=5520 vsize=28156 CPUtime=3.09 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 1651 0 0 0 309 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 5327993 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28156

[startup+6.30024 s]
/proc/loadavg: 2.05 2.03 1.99 3/192 5530
/proc/meminfo: memFree=31119532/32770624 swapFree=6824/684188
[pid=5523] ppid=5520 vsize=28156 CPUtime=6.29 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 1949 0 0 0 629 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4908554 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28156

[startup+12.7002 s]
/proc/loadavg: 2.04 2.03 1.99 3/192 5530
/proc/meminfo: memFree=31119252/32770624 swapFree=6824/684192
[pid=5523] ppid=5520 vsize=28156 CPUtime=12.69 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 2247 0 0 0 1269 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4908315 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28156

[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 1.99 4/192 5530
/proc/meminfo: memFree=31119376/32770624 swapFree=6824/684204
[pid=5523] ppid=5520 vsize=28156 CPUtime=25.49 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 2841 0 0 0 2549 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 5098896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28156

[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 1.99 3/192 5530
/proc/meminfo: memFree=31119128/32770624 swapFree=6824/684240
[pid=5523] ppid=5520 vsize=28156 CPUtime=51.09 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 3138 0 0 0 5109 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4908349 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28156

[startup+102.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/192 5531
/proc/meminfo: memFree=31118876/32770624 swapFree=6824/684304
[pid=5523] ppid=5520 vsize=28156 CPUtime=102.29 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 3436 0 0 0 10229 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4994503 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 28156

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/192 5532
/proc/meminfo: memFree=31118860/32770624 swapFree=6824/684352
[pid=5523] ppid=5520 vsize=28156 CPUtime=162.28 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 3733 0 0 0 16228 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 5070844 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 28156

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 1.99 3/192 5533
/proc/meminfo: memFree=31118840/32770624 swapFree=6824/684400
[pid=5523] ppid=5520 vsize=28156 CPUtime=222.28 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 4030 0 0 0 22228 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4994549 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 28156

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/192 5534
/proc/meminfo: memFree=31119064/32770624 swapFree=6824/684464
[pid=5523] ppid=5520 vsize=28156 CPUtime=282.27 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 4327 0 0 0 28227 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 5093213 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 28156

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/191 5536
/proc/meminfo: memFree=31118616/32770624 swapFree=6824/684520
[pid=5523] ppid=5520 vsize=28156 CPUtime=342.26 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 4624 0 0 0 34226 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 5342192 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 28156

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/191 5537
/proc/meminfo: memFree=31118988/32770624 swapFree=6824/684568
[pid=5523] ppid=5520 vsize=28156 CPUtime=402.26 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 4921 0 0 0 40226 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4994541 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 28156

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/191 5538
/proc/meminfo: memFree=31118868/32770624 swapFree=6824/684596
[pid=5523] ppid=5520 vsize=28156 CPUtime=462.26 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 5218 0 0 0 46226 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 5337501 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 28156

[startup+522.3 s]
/proc/loadavg: 2.05 2.03 1.99 3/191 5540
/proc/meminfo: memFree=31118804/32770624 swapFree=6824/684648
[pid=5523] ppid=5520 vsize=28156 CPUtime=522.25 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 5515 0 0 0 52225 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4908315 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 28156

[startup+582.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/191 5541
/proc/meminfo: memFree=31118664/32770624 swapFree=6824/684704
[pid=5523] ppid=5520 vsize=28156 CPUtime=582.25 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 5812 0 0 0 58225 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 5052080 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 28156


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

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/191 5566
/proc/meminfo: memFree=31117620/32770624 swapFree=6824/685284
[pid=5523] ppid=5520 vsize=28156 CPUtime=1482.18 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 10130 0 0 0 148218 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 5093243 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 1482.18
Current children cumulated vsize (KiB) 28156

[startup+1542.31 s]
/proc/loadavg: 2.08 2.04 2.02 3/191 5567
/proc/meminfo: memFree=31117892/32770624 swapFree=6824/685324
[pid=5523] ppid=5520 vsize=28156 CPUtime=1542.18 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 10428 0 0 0 154218 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4994545 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 1542.18
Current children cumulated vsize (KiB) 28156

[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.02 3/191 5568
/proc/meminfo: memFree=31117644/32770624 swapFree=6824/685356
[pid=5523] ppid=5520 vsize=28156 CPUtime=1602.17 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 10702 0 0 0 160217 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4994541 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 1602.17
Current children cumulated vsize (KiB) 28156

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/191 5569
/proc/meminfo: memFree=31117588/32770624 swapFree=6824/685388
[pid=5523] ppid=5520 vsize=28156 CPUtime=1662.16 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 10978 0 0 0 166216 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 5328055 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 28156

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/191 5570
/proc/meminfo: memFree=31117524/32770624 swapFree=6824/685428
[pid=5523] ppid=5520 vsize=28156 CPUtime=1722.16 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 11273 0 0 0 172216 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 5328029 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 1722.16
Current children cumulated vsize (KiB) 28156

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/191 5571
/proc/meminfo: memFree=31117216/32770624 swapFree=6824/685464
[pid=5523] ppid=5520 vsize=28156 CPUtime=1782.15 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 11546 0 0 0 178215 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4908512 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 1782.15
Current children cumulated vsize (KiB) 28156

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/191 5577
/proc/meminfo: memFree=31116292/32770624 swapFree=6824/685500
[pid=5523] ppid=5520 vsize=28156 CPUtime=1842.15 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 11843 0 0 0 184215 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4994545 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 1842.15
Current children cumulated vsize (KiB) 28156

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/191 5578
/proc/meminfo: memFree=31117340/32770624 swapFree=6824/685532
[pid=5523] ppid=5520 vsize=28156 CPUtime=1902.14 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 12119 0 0 0 190214 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4908988 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 1902.14
Current children cumulated vsize (KiB) 28156

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/191 5579
/proc/meminfo: memFree=31117652/32770624 swapFree=6824/685560
[pid=5523] ppid=5520 vsize=28156 CPUtime=1962.14 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 12395 0 0 0 196214 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4994496 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 1962.14
Current children cumulated vsize (KiB) 28156

[startup+2022.3 s]
/proc/loadavg: 2.10 2.04 2.03 3/191 5580
/proc/meminfo: memFree=31117108/32770624 swapFree=6824/685604
[pid=5523] ppid=5520 vsize=28156 CPUtime=2022.14 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 12692 0 0 0 202214 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4908315 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 2022.14
Current children cumulated vsize (KiB) 28156

[startup+2082.3 s]
/proc/loadavg: 2.04 2.04 2.03 3/191 5581
/proc/meminfo: memFree=31117488/32770624 swapFree=6824/685644
[pid=5523] ppid=5520 vsize=28156 CPUtime=2082.14 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 12967 0 0 0 208214 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4908539 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 2082.14
Current children cumulated vsize (KiB) 28156

[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/191 5583
/proc/meminfo: memFree=31117496/32770624 swapFree=6824/685680
[pid=5523] ppid=5520 vsize=28156 CPUtime=2142.13 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 13242 0 0 0 214213 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 5098928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 2142.13
Current children cumulated vsize (KiB) 28156

[startup+2202.31 s]
/proc/loadavg: 2.05 2.04 2.04 3/191 5584
/proc/meminfo: memFree=31117124/32770624 swapFree=6824/685720
[pid=5523] ppid=5520 vsize=28156 CPUtime=2202.13 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 13539 0 0 0 220213 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 5327108 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 2202.13
Current children cumulated vsize (KiB) 28156

[startup+2262.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/191 5585
/proc/meminfo: memFree=31117316/32770624 swapFree=6824/685748
[pid=5523] ppid=5520 vsize=28156 CPUtime=2262.12 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 13815 0 0 0 226212 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4994541 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 2262.12
Current children cumulated vsize (KiB) 28156

[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/191 5587
/proc/meminfo: memFree=31117168/32770624 swapFree=6824/685784
[pid=5523] ppid=5520 vsize=28156 CPUtime=2322.11 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 14089 0 0 0 232211 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4994573 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 2322.11
Current children cumulated vsize (KiB) 28156

[startup+2382.3 s]
/proc/loadavg: 1.93 2.01 2.03 3/191 5649
/proc/meminfo: memFree=30882472/32770624 swapFree=6824/685872
[pid=5523] ppid=5520 vsize=28156 CPUtime=2382.11 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 14363 0 0 0 238211 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4994635 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 2382.11
Current children cumulated vsize (KiB) 28156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 1.95 2.01 2.03 3/191 5649
/proc/meminfo: memFree=30877640/32770624 swapFree=6824/685904
[pid=5523] ppid=5520 vsize=28156 CPUtime=2400.01 cores=1,3,5,7
/proc/5523/stat : 5523 (cosoco) R 5520 5523 4362 0 -1 4202496 14614 0 0 0 240001 0 0 0 20 0 1 0 24159440 28831744 1193 33554432000 4194304 5970956 140733351442560 140733351439896 4994596 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16781312 140733351449793 140733351449923 140733351449923 140733351452622 0
/proc/5523/statm: 7039 1193 830 434 0 403 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 28156

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

Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.02
CPU user time (s): 2400.02
CPU system time (s): 0.003999
CPU usage (%): 99.9923
Max. virtual memory (cumulated for all children) (KiB): 28156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.003999
maximum resident set size= 4816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14643
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= 6
involuntary context switches= 120790

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.25523 second user time and 10.8184 second system time

The end

Launcher Data 

Begin job on node102 at 2017-07-21 11:20:01
IDJOB=4240869
IDBENCH=124359
IDSOLVER=2620
FILE ID=node102/4240869-1500628800
RUNJOBID= node102-1500623787-4394
PBS_JOBID= 20623025
Free space on /tmp= 61892 MiB

SOLVER NAME= cosoco 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-4240869-1500628800/watcher-4240869-1500628800 -o /tmp/evaluation-result-4240869-1500628800/solver-4240869-1500628800 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500623787-4394 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4240869-1500628800.xml

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

MD5SUM BENCH= d06dfc4a92b3645075aa026a1be187ca
RANDOM SEED=216306901

node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.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.46
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		: 1867.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.56
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		: 1600.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.46
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		: 1600.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.56
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.46
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		: 1600.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.56
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		: 1733.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.46
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		: 1600.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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31122968 kB
MemAvailable:   31988080 kB
Buffers:          162420 kB
Cached:           987984 kB
SwapCached:            0 kB
Active:           515372 kB
Inactive:         701008 kB
Active(anon):      69168 kB
Inactive(anon):    16868 kB
Active(file):     446204 kB
Inactive(file):   684140 kB
Unevictable:        6824 kB
Mlocked:            6824 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2500 kB
Writeback:             0 kB
AnonPages:         58172 kB
Mapped:            35488 kB
Shmem:             17104 kB
Slab:             126524 kB
SReclaimable:     101208 kB
SUnreclaim:        25316 kB
KernelStack:        3424 kB
PageTables:         5228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     342464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61888 MiB
End job on node102 at 2017-07-21 12:00:01