Trace number 4267298

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.12? (TO) 2400.1001 2399.8

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.06	c root propagations     : 2160        
0.00/0.06	c restarts enabled, print stats at every restarts
0.00/0.06	c
0.00/0.06	c
0.00/0.06	c
0.00/0.06	c This is cosoco 1.12 --  
0.00/0.06	c
0.00/0.06	c command line: cosoco -lc -model -restarts HOME/instance-4267298-1502605520.xml 
0.00/0.06	c ========================================[ Problem Statistics ]===========================================
0.00/0.06	c |                                                                                                       
0.00/0.06	c |  Parse time        :         0.05 s 
0.00/0.06	c |
0.00/0.06	c |               Variables: 180
0.00/0.06	c |            Domain Sizes: 45..90
0.00/0.06	c |
0.00/0.06	c |             Constraints: 135
0.00/0.06	c |                   Arity: 2..91  -- Binary: 45
0.00/0.06	c | 
0.00/0.06	c |                   Types: 
0.00/0.06	c |                          Element Constant: 90
0.00/0.06	c |                          Intension: 45
0.00/0.06	c |                          
0.00/0.06	c =========================================================================================================
0.00/0.06	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.00/0.10	c 211            709            137712         45560          90             0              67   75   70   
0.10/0.13	c 332            1113           240399         89399          90             0              62   72   68   
0.10/0.16	c 465            1749           341024         129416         90             0              58   77   67   
0.10/0.20	c 611            2441           461705         180022         90             0              60   74   64   
0.21/0.24	c 771            3246           606011         239071         90             0              61   75   67   
0.21/0.29	c 947            4263           771699         308877         90             0              63   78   70   
0.31/0.33	c 1140           5016           930385         373890         90             0              65   75   69   
0.31/0.36	c 1352           5738           1067779        429244         90             0              63   77   70   
0.31/0.39	c 1585           6227           1166714        468468         90             0              65   77   71   
0.41/0.43	c 1841           6891           1346592        540191         90             0              63   77   68   
0.41/0.47	c 2122           7817           1557411        620448         90             0              67   79   71   
0.51/0.52	c 2431           8840           1757040        698591         90             0              60   79   69   
0.51/0.56	c 2770           9940           1943945        764708         90             0              62   79   69   
0.60/0.61	c 3142           10852          2151852        840447         90             0              63   79   65   
0.60/0.65	c 3551           11825          2342820        906308         90             0              68   78   71   
0.60/0.70	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.78	c 5035           14779          3000083        1146400        90             0              68   73   70   
0.79/0.82	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.95	c 7006           18467          4018369        1548505        90             0              64   70   67   
0.89/1.00	c 7798           19728          4351517        1672336        90             0              68   77   72   
1.00/1.05	c 8669           20996          4698447        1796300        90             0              63   72   69   
1.10/1.14	c 9627           22530          5228574        2052448        90             0              63   67   64   
1.19/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.39	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.89/2.00	c 23910          44012          10952391       4554320        90             0              62   73   65   
2.10/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.42	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.10/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.39/3.47	c 63366          91291          22394310       8715130        90             0              62   78   71   
3.59/3.63	c 69784          98099          23849065       9050340        90             0              68   76   73   
3.79/3.83	c 76843          105814         25595589       9532786        90             0              66   75   71   
4.00/4.05	c 84607          115476         27417630       9969092        90             0              69   75   73   
4.19/4.24	c 93147          124698         29029806       10455658       90             0              67   73   72   
4.59/4.61	c 102541         137850         32071354       11465551       90             0              65   70   68   
4.89/4.92	c 112874         153093         34601638       12256972       90             0              69   73   70   
5.19/5.26	c 124240         166961         37458749       13167180       90             0              64   75   70   
5.49/5.57	c 136742         180676         40152691       13961934       90             0              64   71   70   
6.00/6.06	c 150494         202585         44167964       15275639       90             0              65   71   68   
6.59/6.62	c 165621         223264         48775993       16802256       90             0              63   77   71   
7.00/7.01	c 182260         242702         52165153       17562540       90             0              67   76   70   
7.49/7.56	c 200562         262441         57038008       19048823       90             0              65   72   70   
8.00/8.09	c 220694         283632         61584100       20745789       90             0              67   73   71   
8.79/8.81	c 242839         311193         67559938       23262720       90             0              65   73   68   
9.59/9.64	c 267198         342086         74425400       25547640       90             0              62   69   66   
10.49/10.59	c 293992         377743         82572940       28680818       90             0              62   74   70   
11.29/11.37	c 323465         410044         89199053       30895321       90             0              65   67   66   
12.29/12.30	c 355885         456393         97370552       33238274       90             0              67   70   68   
13.00/13.07	c 391547         503759         104074944      34801543       90             0              62   71   69   
14.10/14.17	c 430775         550258         113861239      38126693       90             0              63   73   69   
15.29/15.37	c 473925         605531         124026669      41771746       90             0              63   71   67   
16.89/16.92	c 521390         655443         137976794      46715826       90             0              64   69   67   
17.90/17.95	c 573601         711581         146970795      49516658       90             0              62   70   69   
19.20/19.25	c 631033         772529         157998094      52761626       90             0              62   74   66   
21.10/21.15	c 694208         850412         173374486      59176856       90             0              66   67   66   
23.50/23.53	c 763700         970057         194157120      66121637       90             0              62   69   68   
26.90/26.99	c 840141         1085753        220657156      76356103       90             0              63   73   66   
29.30/29.31	c 924226         1173982        240465578      84170390       90             0              64   69   66   
32.30/32.32	c 1016719        1299581        266351323      92917233       90             0              63   68   66   
34.90/34.92	c 1118461        1406099        289970912      100071106      90             0              66   71   68   
37.20/37.26	c 1230377        1528161        311766639      105858050      90             0              64   70   68   
40.30/40.35	c 1353484        1668882        339349111      114960339      90             0              63   70   67   
43.90/43.97	c 1488901        1816869        369673797      125588493      90             0              64   68   66   
48.11/48.11	c 1637859        1977779        406686037      136047467      90             0              63   72   65   
53.20/53.22	c 1801712        2148235        447037602      154458432      90             0              63   66   64   
58.70/58.76	c 1981950        2375294        492685301      167996656      90             0              61   70   65   
63.60/63.62	c 2180211        2592945        533839569      180429397      90             0              61   72   66   
69.90/69.99	c 2398298        2886454        590772356      198491336      90             0              63   70   68   
78.30/78.32	c 2638193        3179861        665409892      222796965      90             0              66   73   67   
85.90/85.93	c 2902077        3590978        732913386      242790061      90             0              57   73   68   
93.60/93.62	c 3192349        3901554        798747105      266750590      90             0              64   70   67   
101.51/101.50	c 3511648        4257601        870096338      286323940      90             0              60   71   64   
115.31/115.38	c 3862876        4802014        993397708      328295565      90             0              61   70   66   
130.61/130.68	c 4249226        5422622        1117820830     376996669      90             0              61   67   63   
147.91/147.98	c 4674211        5987980        1263861827     428348870      90             0              63   75   68   
165.91/165.96	c 5141694        6547569        1419165815     488154690      90             0              62   72   68   
189.32/189.34	c 5655925        7222209        1601571581     561120321      90             0              56   68   62   
215.32/215.35	c 6221579        8067081        1808166745     643530277      90             0              56   71   64   
232.52/232.58	c 6843798        8853064        1956350833     692009509      90             0              56   68   66   
257.32/257.33	c 7528238        9710527        2157582547     768620372      90             0              58   68   62   
281.14/281.19	c 8281122        10575873       2352180513     841899452      90             0              60   67   64   
304.53/304.55	c 9109294        11448025       2536846818     926355719      90             0              58   65   62   
330.83/330.87	c 10020283       12432096       2742587497     1026801039     90             0              53   63   60   
356.94/357.00	c 11022370       13727081       2976069873     1093988464     90             0              59   71   68   
379.84/379.82	c 12124665       14882507       3166029494     1140003446     90             0              59   66   62   
414.44/414.42	c 13337189       16561405       3483797105     1216419879     90             0              53   71   65   
443.55/443.50	c 14670965       17952949       3727945393     1283795547     90             0              52   67   65   
481.35/481.37	c 16138118       19639018       4027575640     1373617365     90             0              53   65   59   
523.66/523.69	c 17751986       21308526       4408358740     1484287966     90             0              56   69   66   
586.77/586.73	c 19527240       23146367       4911168135     1639319955     90             0              53   65   59   
687.28/687.26	c 21480019       25704890       5601866158     1968562752     90             0              53   67   57   
748.59/748.57	c 23628075       28973053       6139090273     2113134051     90             0              55   73   67   
812.99/812.96	c 25990936       31470900       6611065771     2315994024     90             0              56   63   59   
909.61/909.54	c 28590083       34850465       7316787350     2664933755     90             0              56   65   60   
1002.02/1001.93	c 31449144       38191802       8047132389     2934451636     90             0              55   70   62   
1094.24/1094.15	c 34594111       42150557       8792351614     3160308871     90             0              59   65   62   
1210.25/1210.16	c 38053574       45752828       9783807065     3467351862     90             0              55   65   60   
1297.55/1297.45	c 41858983       49678189       10611992045    3666613345     90             0              54   72   69   
1444.07/1443.90	c 46044932       54024230       11765651731    4121753758     90             0              55   66   60   
1568.49/1568.33	c 50649475       58823171       12845249287    4420858233     90             0              58   67   64   
1708.10/1707.91	c 55714472       64383845       14142149302    4742261747     90             0              52   70   66   
1847.12/1847.00	c 61285968       70638490       15338893988    5130661962     90             0              59   67   64   
2026.44/2026.29	c 67414613       77524724       16994980581    5558997765     90             0              54   71   65   
2206.16/2205.97	c 74156122       84620596       18612255208    6054870197     90             0              60   70   65   
2400.09/2399.80	
2400.09/2399.80	c *** INTERRUPTED ***
2400.09/2399.80	c restarts              : 118         
2400.09/2399.80	c conflicts             : 79706383     (33210 /sec)
2400.09/2399.80	c decisions             : 90952762     (37896 /sec)
2400.09/2399.80	c propagations          : 6642165111  (2767462 /sec)
2400.09/2399.80	c root propagations     : 2160        
2400.09/2399.80	c filter calls          : 20220314667    (8424805 /sec)
2400.09/2399.80	c useless filter calls  : 15940068970    (78 %)
2400.09/2399.80	c Memory used           : 27.16 MB
2400.09/2399.80	c CPU time              : 2400.09 s
2400.09/2399.80	
2400.09/2399.80	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14137 MiB free)
  memory of node 1: 16384 MiB (12349 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267298-1502605520/watcher-4267298-1502605520 -o /tmp/evaluation-result-4267298-1502605520/solver-4267298-1502605520 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502602193-30973 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267298-1502605520.xml 

running on 4 cores: 0,2,4,6

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=31381, runsolver pid=31378

[startup+0.100107 s]*
/proc/loadavg: 1.92 1.97 1.95 3/187 31382
/proc/meminfo: memFree=27120772/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4580 CPUtime=0.1 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 1340 0 0 0 10 0 0 0 20 0 1 0 93639865 28479488 1145 33554432000 4194304 5748600 140736839098656 140736839096504 4954404 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1145 815 380 0 371 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4580 KiB

[startup+0.20948 s]*
/proc/loadavg: 1.92 1.97 1.95 3/187 31382
/proc/meminfo: memFree=27120772/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4580 CPUtime=0.21 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 1340 0 0 0 21 0 0 0 20 0 1 0 93639865 28479488 1145 33554432000 4194304 5748600 140736839098656 140736839096504 4971984 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1145 815 380 0 371 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4580 KiB

[startup+0.308833 s]*
/proc/loadavg: 1.92 1.97 1.95 3/187 31382
/proc/meminfo: memFree=27120772/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4580 CPUtime=0.31 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 1340 0 0 0 31 0 0 0 20 0 1 0 93639865 28479488 1145 33554432000 4194304 5748600 140736839098656 140736839096504 4920246 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1145 815 380 0 371 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4580 KiB

[startup+0.70026 s]
/proc/loadavg: 1.92 1.97 1.95 3/187 31382
/proc/meminfo: memFree=27120772/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4580 CPUtime=0.69 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 1340 0 0 0 69 0 0 0 20 0 1 0 93639865 28479488 1145 33554432000 4194304 5748600 140736839098656 140736839096504 5134921 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1145 815 380 0 371 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4580 KiB

[startup+1.50034 s]
/proc/loadavg: 1.92 1.97 1.95 3/187 31382
/proc/meminfo: memFree=27120772/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4580 CPUtime=1.49 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 1340 0 0 0 149 0 0 0 20 0 1 0 93639865 28479488 1145 33554432000 4194304 5748600 140736839098656 140736839096056 4873144 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1145 815 380 0 371 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4580 KiB

[startup+3.10907 s]
/proc/loadavg: 1.92 1.97 1.95 3/187 31382
/proc/meminfo: memFree=27120812/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=3.1 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 1637 0 0 0 310 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4920181 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+6.30032 s]
/proc/loadavg: 1.93 1.97 1.95 3/187 31382
/proc/meminfo: memFree=27120944/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=6.29 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 1934 0 0 0 629 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4920135 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 1.97 1.95 3/187 31446
/proc/meminfo: memFree=27119516/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=12.69 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 2233 0 0 0 1269 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4906294 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+25.5003 s]
/proc/loadavg: 1.87 1.95 1.95 3/187 31446
/proc/meminfo: memFree=27120700/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=25.5 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 2827 0 0 0 2550 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4920090 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+51.109 s]
/proc/loadavg: 1.91 1.96 1.95 3/187 31446
/proc/meminfo: memFree=27121508/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=51.11 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 3124 0 0 0 5111 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4920181 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+102.3 s]
/proc/loadavg: 1.96 1.96 1.95 3/187 31447
/proc/meminfo: memFree=27121024/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=102.31 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 3422 0 0 0 10231 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4920090 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 102.31 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/187 31448
/proc/meminfo: memFree=27120568/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=162.31 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 3719 0 0 0 16231 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4920071 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/187 31449
/proc/meminfo: memFree=27120316/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=222.32 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 4016 0 0 0 22232 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 5128697 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.98 1.95 3/187 31450
/proc/meminfo: memFree=27120320/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=282.33 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 4016 0 0 0 28233 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 5000320 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 282.33 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/186 31451
/proc/meminfo: memFree=27121320/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=342.34 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 4313 0 0 0 34234 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4873446 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 342.34 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 31453
/proc/meminfo: memFree=27119956/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=402.34 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 4313 0 0 0 40234 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 5144128 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 402.34 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 31454
/proc/meminfo: memFree=27120100/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=462.35 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 4610 0 0 0 46235 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4920186 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 462.35 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB


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

/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 1602.49 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 31492
/proc/meminfo: memFree=27118868/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=1662.5 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 7555 0 0 0 166250 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4920135 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 1662.5 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 31493
/proc/meminfo: memFree=27119120/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=1722.5 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 7581 0 0 0 172250 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4920166 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 1722.5 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 31502
/proc/meminfo: memFree=27118360/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=1782.51 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 7851 0 0 0 178251 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4920173 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 1782.51 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 31503
/proc/meminfo: memFree=27118868/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=1842.52 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 7851 0 0 0 184252 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4920138 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 1842.52 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 31504
/proc/meminfo: memFree=27118736/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=1902.53 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 8151 0 0 0 190253 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4920181 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 1902.53 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 31505
/proc/meminfo: memFree=27118748/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=1962.53 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 8151 0 0 0 196253 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4920173 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 1962.53 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 31506
/proc/meminfo: memFree=27118504/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=2022.54 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 8424 0 0 0 202254 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4920128 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 2022.54 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+2082.3 s]
/proc/loadavg: 2.44 2.10 1.99 3/187 31507
/proc/meminfo: memFree=27118740/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=2082.55 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 8448 0 0 0 208255 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 5000320 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 2082.55 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+2142.3 s]
/proc/loadavg: 2.23 2.11 2.00 3/187 31508
/proc/meminfo: memFree=27118868/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=2142.56 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 8719 0 0 0 214256 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 5128339 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 2142.56 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+2202.3 s]
/proc/loadavg: 2.08 2.09 2.00 3/187 31509
/proc/meminfo: memFree=27118864/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=2202.56 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 8719 0 0 0 220256 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 5127947 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 2202.56 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+2262.3 s]
/proc/loadavg: 2.03 2.07 2.00 3/187 31510
/proc/meminfo: memFree=27118604/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=2262.57 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 9018 0 0 0 226257 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4920261 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 2262.57 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.06 2.00 3/187 31511
/proc/meminfo: memFree=27118548/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=2322.58 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 9018 0 0 0 232258 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 5000334 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 2322.58 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

[startup+2382.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/188 31520
/proc/meminfo: memFree=27118280/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=2382.59 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 9289 0 0 0 238259 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4873275 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 2382.59 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.8 s]
/proc/loadavg: 2.08 2.07 2.01 3/188 31520
/proc/meminfo: memFree=27118280/32770624 swapFree=67108860/67108860
[pid=31381] ppid=31378 vsize=27812 memory=4712 CPUtime=2400.09 cores=0,2,4,6
/proc/31381/stat : 31381 (cosoco) R 31378 31381 30942 0 -1 4202496 9289 0 0 0 240009 0 0 0 20 0 1 0 93639865 28479488 1178 33554432000 4194304 5748600 140736839098656 140736839096056 4920090 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 22147072 140736839107775 140736839107870 140736839107870 140736839110606 0
/proc/31381/statm: 6953 1178 815 380 0 371 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 27812 KiB
Current children cumulated memory: 4712 KiB

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

[startup+2399.8 s]
# the end of solver process 31381 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400.09 s, system=0.004 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2399.8
CPU time (s): 2400.1
CPU user time (s): 2400.09
CPU system time (s): 0.004
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 27812
Max. memory (cumulated for all children) (KiB): 4712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.09
system time used= 0.004
maximum resident set size= 4776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9338
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 623


# summary of solver processes directly reported to runsolver:
#   pid: 31381
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2400.09
#   total CPU system time (s): 0.004

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8877 second user time and 13.2521 second system time

The end

Launcher Data 

Begin job on node114 at 2017-08-13 08:11:02
IDJOB=4267298
IDBENCH=124359
IDSOLVER=2657
FILE ID=node114/4267298-1502605520
RUNJOBID= node114-1502602193-30973
PBS_JOBID= 20628297
Free space on /tmp= 61696 MiB

SOLVER NAME= cosoco-mini 1.12
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-45.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267298-1502605520/watcher-4267298-1502605520 -o /tmp/evaluation-result-4267298-1502605520/solver-4267298-1502605520 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502602193-30973 --watchdog 2560  cosoco -lc -model -restarts HOME/instance-4267298-1502605520.xml

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

MD5SUM BENCH= d06dfc4a92b3645075aa026a1be187ca
RANDOM SEED=395436730

node114.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	: 5332.98
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	: 5332.98
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	: 5332.98
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	: 5332.98
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:        27122200 kB
MemAvailable:   31987796 kB
Buffers:          138840 kB
Cached:          5017500 kB
SwapCached:            0 kB
Active:           380252 kB
Inactive:        4833084 kB
Active(anon):      60008 kB
Inactive(anon):    25036 kB
Active(file):     320244 kB
Inactive(file):  4808048 kB
Unevictable:        6520 kB
Mlocked:            6520 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1948 kB
Writeback:             0 kB
AnonPages:         63536 kB
Mapped:            44596 kB
Shmem:             25224 kB
Slab:             131216 kB
SReclaimable:     106280 kB
SUnreclaim:        24936 kB
KernelStack:        3360 kB
PageTables:         5612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     353284 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:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 61696 MiB
End job on node114 at 2017-08-13 08:51:02