Trace number 4294663

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 1.12UNSAT 1129.19 1129.11

General information on the benchmark

NameDubois/
Dubois-024_c18.xml
MD5SUM4f48250d2147fae0e085f28a4cc8c702
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.008066
Satisfiable
(Un)Satisfiability was proved
Number of variables72
Number of constraints48
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":72}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":72}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":48}]
Number of extensional constraints48
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":48}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 1.12 --  
0.00/0.00	c
0.00/0.00	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294663-1532481407.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 72
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 48
0.00/0.00	c |                   Arity: 3..3  -- Ternary: 48
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Extension: 48  (nb tuples: 4..4) -- (shared: 43)
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.00	c 101            1242           5143           4941           0              0              25   69   48   
0.00/0.00	c 211            1826           7243           6930           0              0              27   71   47   
0.00/0.01	c 332            2672           10258          9851           0              0              48   69   62   
0.00/0.01	c 465            3483           13143          12534          0              0              33   64   49   
0.00/0.01	c 611            4338           16157          15378          0              0              15   71   57   
0.00/0.01	c 771            5341           19769          18837          0              0              19   69   59   
0.00/0.01	c 947            6348           23368          22267          0              0              12   64   41   
0.00/0.01	c 1140           7683           28019          26754          0              0              48   68   64   
0.00/0.01	c 1352           8912           32286          30896          0              0              31   71   49   
0.00/0.02	c 1585           10475          37787          36118          0              0              26   68   63   
0.00/0.02	c 1841           12400          44330          42488          0              0              22   70   51   
0.00/0.02	c 2122           14440          51510          49484          0              0              39   70   62   
0.00/0.03	c 2431           16173          57620          55369          0              0              27   67   51   
0.00/0.03	c 2770           18394          65305          62773          0              0              20   69   59   
0.00/0.03	c 3142           21239          75427          72723          0              0              33   68   59   
0.00/0.04	c 3551           24189          85437          82463          0              0              20   66   50   
0.00/0.04	c 4000           26777          94906          91629          0              0              46   68   62   
0.00/0.05	c 4493           30283          106903         103353         0              0              32   67   60   
0.00/0.05	c 5035           33445          118303         114398         0              0              41   64   54   
0.00/0.06	c 5631           37783          133075         128655         0              0              28   67   61   
0.00/0.06	c 6286           42589          149959         145122         0              0              38   68   60   
0.00/0.07	c 7006           48309          169783         164455         0              0              19   67   56   
0.00/0.08	c 7798           53416          188322         182297         0              0              37   67   58   
0.00/0.09	c 8669           60068          211796         205056         0              0              31   66   56   
0.00/0.10	c 9627           66868          236453         229110         0              0              16   67   58   
0.10/0.11	c 10680          74466          262790         254855         0              0              14   66   54   
0.10/0.12	c 11838          81948          289993         281407         0              0              38   66   58   
0.10/0.14	c 13111          91676          323996         314757         0              0              24   64   53   
0.10/0.15	c 14511          100630         357104         347189         0              0              26   65   58   
0.10/0.17	c 16051          112433         399101         388340         0              0              22   64   56   
0.10/0.18	c 17745          123425         438941         426793         0              0              13   65   57   
0.10/0.21	c 19608          138562         492915         479836         0              0              17   63   52   
0.21/0.23	c 21657          154558         550196         536030         0              0              21   64   55   
0.21/0.26	c 23910          175779         625466         608841         0              0              23   61   56   
0.21/0.29	c 26388          194967         694457         676236         0              0              16   64   53   
0.31/0.32	c 29113          214294         763391         743285         0              0              22   61   50   
0.31/0.35	c 32110          237017         845513         823655         0              0              18   64   56   
0.31/0.39	c 35406          262425         936261         912986         0              0              15   64   54   
0.41/0.44	c 39031          291538         1041046        1015881        0              0              22   64   54   
0.41/0.49	c 43018          328454         1172617        1145586        0              0              15   64   54   
0.51/0.55	c 47403          365952         1306227        1276706        0              0              22   64   55   
0.51/0.60	c 52226          402182         1436545        1402911        0              0              18   64   53   
0.60/0.67	c 57531          447547         1598119        1562383        0              0              16   64   54   
0.69/0.75	c 63366          500844         1788544        1748361        0              0              18   64   55   
0.79/0.84	c 69784          559228         1995687        1951863        0              0              14   64   55   
0.89/0.91	c 76843          607435         2168780        2122122        0              0              17   64   53   
1.00/1.01	c 84607          677136         2415072        2360995        0              0              16   63   54   
1.10/1.11	c 93147          743791         2661862        2601156        0              0              21   64   55   
1.19/1.23	c 102541         820422         2936210        2869783        0              0              13   64   54   
1.29/1.37	c 112874         913996         3267007        3194141        0              0              16   64   56   
1.49/1.51	c 124240         1008936        3603789        3525777        0              0              19   64   55   
1.59/1.65	c 136742         1101249        3933784        3849760        0              0              14   64   53   
1.79/1.83	c 150494         1223863        4368202        4276124        0              0              17   64   55   
2.00/2.01	c 165621         1346678        4815087        4714038        0              0              12   64   54   
2.19/2.23	c 182260         1490516        5327192        5220129        0              0              13   64   54   
2.39/2.45	c 200562         1634695        5845290        5722767        0              0              16   64   52   
2.69/2.70	c 220694         1802910        6446416        6313379        0              0              15   64   55   
2.89/2.99	c 242839         1997713        7141368        6992238        0              0              15   64   55   
3.19/3.27	c 267198         2184012        7796392        7639533        0              0              15   64   50   
3.49/3.57	c 293992         2386661        8521356        8351937        0              0              14   64   53   
3.89/3.97	c 323465         2647498        9472817        9288141        0              0              12   64   54   
4.29/4.35	c 355885         2898657        10379747       10174535       0              0              16   64   55   
4.69/4.75	c 391547         3168163        11336692       11119935       0              0              13   64   51   
5.19/5.27	c 430775         3517335        12567773       12332052       0              0              13   64   55   
5.79/5.83	c 473925         3889364        13902905       13645561       0              0              11   64   54   
6.49/6.50	c 521390         4335607        15479204       15195950       0              0              15   64   55   
7.10/7.12	c 573601         4749682        16977199       16658724       0              0              15   64   54   
7.79/7.84	c 631033         5234617        18708996       18354547       0              0              12   63   54   
8.59/8.67	c 694208         5789203        20667866       20283845       0              0              14   64   54   
9.49/9.52	c 763700         6362503        22696561       22285260       0              0              13   64   54   
10.39/10.47	c 840141         6996862        24931804       24495509       0              0              12   63   52   
11.49/11.52	c 924226         7691152        27435850       26941894       0              0              13   64   53   
12.79/12.82	c 1016719        8561990        30504999       29974055       0              0              12   63   53   
14.00/14.05	c 1118461        9381321        33384507       32821288       0              0              13   64   52   
15.19/15.29	c 1230377        10199709       36321920       35711015       0              0              12   64   50   
16.79/16.88	c 1353484        11252236       40130761       39430732       0              0              11   64   53   
18.49/18.50	c 1488901        12325363       43969290       43200493       0              0              11   64   54   
20.49/20.57	c 1637859        13703151       48924424       48081111       0              0              11   64   55   
22.49/22.55	c 1801712        15015309       53624209       52694800       0              0              12   64   53   
24.59/24.61	c 1981950        16382219       58526425       57515915       0              0              14   64   52   
26.89/26.94	c 2180211        17922285       64034182       62962842       0              0              12   64   52   
29.79/29.82	c 2398298        19857558       70818766       69659405       0              0              12   63   53   
32.69/32.79	c 2638193        21800391       77942300       76670109       0              0              10   64   53   
35.90/35.94	c 2902077        23905286       85467025       84015107       0              0              8   64   53    
39.40/39.43	c 3192349        26215636       93852497       92175191       0              0              11   64   53   
42.90/42.93	c 3511648        28533715       102096344      100315326      0              0              11   64   50   
47.10/47.13	c 3862876        31324029       112021652      110103889      0              0              12   64   52   
51.90/51.96	c 4249226        34536708       123507416      121381451      0              0              7   64   54    
56.80/56.88	c 4674211        37808280       135166420      132813365      0              0              9   64   51    
62.30/62.31	c 5141694        41389598       148055616      145413159      0              0              11   64   50   
68.11/68.17	c 5655925        45257356       162031863      159092997      0              0              10   64   52   
74.50/74.56	c 6221579        49472715       177322481      173982268      0              0              8   64   53    
82.30/82.32	c 6843798        54626030       195727434      191997838      0              0              8   64   54    
89.50/89.50	c 7528238        59349743       212804626      208814158      0              0              6   64   51    
97.30/97.37	c 8281122        64518947       231738333      227382667      0              0              6   64   52    
107.40/107.40	c 9109294        71189665       255812262      250806840      0              0              10   64   54   
117.11/117.14	c 10020283       77569734       279128235      273656648      0              0              11   64   51   
127.30/127.35	c 11022370       84245810       303532522      297696331      0              0              11   65   51   
139.30/139.31	c 12124665       92177684       332283860      325836003      0              0              8   65   54    
152.90/152.92	c 13337189       101238376      364418614      357443637      0              0              6   65   53    
168.01/168.02	c 14670965       111297284      400433680      393016753      0              0              9   66   53    
184.21/184.20	c 16138118       122099972      438593664      430653607      0              0              8   66   52    
201.71/201.76	c 17751986       133691668      480162840      471496802      0              0              7   65   51    
222.71/222.72	c 19527240       147708111      530028212      520143755      0              0              9   65   53    
247.81/247.84	c 21480019       164549640      589496517      578209348      0              0              7   63   54    
271.81/271.88	c 23628075       180416607      646342324      634121050      0              0              8   65   51    
300.61/300.62	c 25990936       199596935      714813083      700957393      0              0              7   64   54    
328.02/328.08	c 28590083       217682121      780008397      765289081      0              0              7   64   51    
354.72/354.73	c 31449144       235250669      842953190      827782961      0              0              9   64   48    
389.13/389.17	c 34594111       258152307      923452431      907552655      0              0              6   64   50    
426.22/426.26	c 38053574       282806916      1010582756     993834511      0              0              7   63   50    
468.13/468.16	c 41858983       310725762      1109448846     1090802799     0              0              7   64   52    
512.73/512.70	c 46044932       340334332      1213949520     1194317819     0              0              7   64   50    
569.63/569.65	c 50649475       378006457      1348450859     1325763909     0              0              8   64   54    
634.15/634.17	c 55714472       421336174      1500416677     1474010091     0              0              6   63   52    
704.94/704.93	c 61285968       468511900      1669780271     1637429225     0              0              6   64   54    
770.95/770.99	c 67414613       511776124      1825879049     1792035873     0              0              7   64   50    
849.16/849.11	c 74156122       562813073      2013650919     1975634448     0              0              5   64   52    
930.17/930.14	c 81571781       615531457      2208428164     2166914352     0              0              5   64   51    
1013.56/1013.58	c 89729005       670255852      2405471057     2360957876     1              0              7   64   49    
1113.27/1113.27	c 98701951       735545344      2643267461     2593356710     4              0              5   64   51    
1129.18/1129.11	c restarts              : 121         
1129.18/1129.11	c conflicts             : 100063475    (88615 /sec)
1129.18/1129.11	c decisions             : 746074082    (660717 /sec)
1129.18/1129.11	c propagations          : 2630760249  (2329781 /sec)
1129.18/1129.11	c root propagations     : 0           
1129.18/1129.11	c filter calls          : 2682150925     (2375292 /sec)
1129.18/1129.11	c useless filter calls  : 1500188632     (55 %)
1129.18/1129.11	c Memory used           : 26.66 MB
1129.18/1129.11	c CPU time              : 1129.19 s
1129.18/1129.11	
1129.18/1129.11	s UNSATISFIABLE

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 (10063 MiB free)
  memory of node 1: 16384 MiB (12102 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294663-1532481407/watcher-4294663-1532481407 -o /tmp/evaluation-result-4294663-1532481407/solver-4294663-1532481407 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532481209-32055 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294663-1532481407.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=32269, runsolver pid=32266

[startup+0.100153 s]*
/proc/loadavg: 1.95 1.58 1.45 3/188 32270
/proc/meminfo: memFree=22697240/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3672 CPUtime=0.1 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1109 0 0 0 10 0 0 0 20 0 1 0 65703864 27947008 918 33554432000 4194304 6142532 140735840979008 140735840975640 5013856 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 918 804 476 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.209408 s]*
/proc/loadavg: 1.95 1.58 1.45 3/188 32270
/proc/meminfo: memFree=22697240/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3672 CPUtime=0.21 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1109 0 0 0 21 0 0 0 20 0 1 0 65703864 27947008 918 33554432000 4194304 6142532 140735840979008 140735840975640 5013944 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 918 804 476 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.308916 s]*
/proc/loadavg: 1.95 1.58 1.45 3/188 32270
/proc/meminfo: memFree=22697240/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3672 CPUtime=0.31 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1109 0 0 0 31 0 0 0 20 0 1 0 65703864 27947008 918 33554432000 4194304 6142532 140735840979008 140735840975640 5013961 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 918 804 476 0 145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+0.70031 s]
/proc/loadavg: 1.95 1.58 1.45 3/188 32270
/proc/meminfo: memFree=22696892/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3672 CPUtime=0.69 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1109 0 0 0 69 0 0 0 20 0 1 0 65703864 27947008 918 33554432000 4194304 6142532 140735840979008 140735840975640 5013864 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 918 804 476 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+1.50027 s]
/proc/loadavg: 1.95 1.58 1.45 3/188 32270
/proc/meminfo: memFree=22696892/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3672 CPUtime=1.49 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1109 0 0 0 149 0 0 0 20 0 1 0 65703864 27947008 918 33554432000 4194304 6142532 140735840979008 140735840976408 5347504 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 918 804 476 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3672 KiB

[startup+3.10899 s]
/proc/loadavg: 1.96 1.58 1.45 3/188 32270
/proc/meminfo: memFree=22696892/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=3.1 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1170 0 0 0 310 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5017759 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+6.30026 s]
/proc/loadavg: 1.96 1.58 1.45 3/188 32270
/proc/meminfo: memFree=22696552/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=6.29 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1234 0 0 0 629 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5013950 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+12.7003 s]
/proc/loadavg: 1.96 1.59 1.46 3/188 32270
/proc/meminfo: memFree=22696552/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=12.69 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1296 0 0 0 1269 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5018483 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+25.5003 s]
/proc/loadavg: 1.97 1.61 1.46 3/188 32270
/proc/meminfo: memFree=22696572/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=25.49 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1420 0 0 0 2549 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5319202 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+51.109 s]
/proc/loadavg: 1.98 1.64 1.48 3/188 32270
/proc/meminfo: memFree=22696448/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=51.1 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1482 0 0 0 5110 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5016613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 1.70 1.51 3/188 32271
/proc/meminfo: memFree=22695952/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=102.3 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1544 0 0 0 10230 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5345599 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 1.75 1.54 3/188 32272
/proc/meminfo: memFree=22695704/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=162.3 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1606 0 0 0 16230 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5347469 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.80 1.57 3/188 32278
/proc/meminfo: memFree=22694500/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=222.31 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1668 0 0 0 22231 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 4990798 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.83 1.60 3/188 32340
/proc/meminfo: memFree=22694960/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=282.31 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1668 0 0 0 28231 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5318976 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.86 1.62 3/188 32341
/proc/meminfo: memFree=22694956/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=342.32 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1730 0 0 0 34232 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5013907 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.89 1.64 3/188 32342
/proc/meminfo: memFree=22695080/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=402.32 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1730 0 0 0 40232 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 4990600 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.91 1.67 3/188 32343
/proc/meminfo: memFree=22694356/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=462.32 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1792 0 0 0 46232 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5017337 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB


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

Current children cumulated memory: 3812 KiB

[startup+642.3 s]
/proc/loadavg: 2.00 1.95 1.72 3/188 32347
/proc/meminfo: memFree=22694248/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=642.34 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1854 0 0 0 64234 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5319064 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 642.34 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+702.3 s]
/proc/loadavg: 2.00 1.96 1.74 3/188 32391
/proc/meminfo: memFree=22693112/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=702.34 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1904 0 0 0 70234 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5170000 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 702.34 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+762.3 s]
/proc/loadavg: 2.00 1.96 1.76 3/188 32392
/proc/meminfo: memFree=22693236/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=762.35 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1916 0 0 0 76235 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5335553 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 762.35 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+822.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/188 32400
/proc/meminfo: memFree=22693256/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=822.35 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1966 0 0 0 82235 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5013936 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 822.35 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+882.3 s]
/proc/loadavg: 2.00 1.98 1.79 3/188 32401
/proc/meminfo: memFree=22693132/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=882.35 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 1978 0 0 0 88235 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5326496 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 882.35 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+942.3 s]
/proc/loadavg: 2.39 2.08 1.83 3/188 32402
/proc/meminfo: memFree=22693380/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=942.36 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 2040 0 0 0 94236 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5336576 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 942.36 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+1002.3 s]
/proc/loadavg: 2.25 2.10 1.86 3/187 32403
/proc/meminfo: memFree=22693792/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=1002.36 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 2040 0 0 0 100236 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5335920 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1002.36 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+1062.3 s]
/proc/loadavg: 2.09 2.09 1.87 3/187 32404
/proc/meminfo: memFree=22693992/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=1062.37 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 2090 0 0 0 106237 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5013961 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1062.37 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+1122.3 s]
/proc/loadavg: 2.03 2.07 1.87 3/187 32405
/proc/meminfo: memFree=22694612/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=1122.37 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 2102 0 0 0 112237 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5319200 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1122.37 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+1129.11 s]
# the end of solver process 32269 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1129.19 s, system=0.002003 s

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

[startup+1123.2 s]
/proc/loadavg: 2.03 2.07 1.87 3/187 32405
/proc/meminfo: memFree=22694612/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=1123.27 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 2102 0 0 0 112327 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5017553 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1123.27 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+1126.4 s]
/proc/loadavg: 2.03 2.07 1.87 3/187 32405
/proc/meminfo: memFree=22694612/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=1126.47 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 2102 0 0 0 112647 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5336669 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1126.47 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+1128 s]*
/proc/loadavg: 2.03 2.07 1.87 3/187 32405
/proc/meminfo: memFree=22694612/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=1128.08 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 2102 0 0 0 112808 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5336753 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1128.08 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+1128.8 s]
/proc/loadavg: 2.03 2.07 1.87 3/187 32405
/proc/meminfo: memFree=22694612/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=1128.87 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 2102 0 0 0 112887 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5335920 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1128.87 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+1129 s]*
/proc/loadavg: 2.03 2.07 1.87 3/187 32405
/proc/meminfo: memFree=22694612/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=1129.08 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 2102 0 0 0 112908 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5329140 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1129.08 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

[startup+1129.11 s]
/proc/loadavg: 2.03 2.07 1.87 3/187 32405
/proc/meminfo: memFree=22694612/32770624 swapFree=67108860/67108860
[pid=32269] ppid=32266 vsize=27292 memory=3812 CPUtime=1129.18 cores=1,3,5,7
/proc/32269/stat : 32269 (cosoco) R 32266 32269 24765 0 -1 4202496 2102 0 0 0 112918 0 0 0 20 0 1 0 65703864 27947008 953 33554432000 4194304 6142532 140735840979008 140735840976408 5013856 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20754432 140735840982150 140735840982280 140735840982280 140735840985038 0
/proc/32269/statm: 6823 953 830 476 0 145 0
Current children cumulated CPU time: 1129.18 s
Current children cumulated vsize: 27292 KiB
Current children cumulated memory: 3812 KiB

Child status: 0
Real time (s): 1129.11
CPU time (s): 1129.19
CPU user time (s): 1129.19
CPU system time (s): 0.002003
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 27292
Max. memory (cumulated for all children) (KiB): 3812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1129.19
system time used= 0.002003
maximum resident set size= 3880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2140
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= 296


# summary of solver processes directly reported to runsolver:
#   pid: 32269
#   total CPU time (s): 1129.19
#   total CPU user time (s): 1129.19
#   total CPU system time (s): 0.002003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.33612 second user time and 6.78487 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-25 03:16:47
IDJOB=4294663
IDBENCH=141408
IDSOLVER=2752
FILE ID=node105/4294663-1532481407
RUNJOBID= node105-1532481209-32055
PBS_JOBID= 21021581
Free space on /tmp= 44760 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Dubois/Dubois-024_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294663-1532481407/watcher-4294663-1532481407 -o /tmp/evaluation-result-4294663-1532481407/solver-4294663-1532481407 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532481209-32055 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4294663-1532481407.xml

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

MD5SUM BENCH= 4f48250d2147fae0e085f28a4cc8c702
RANDOM SEED=1273109525

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
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:        22698036 kB
MemAvailable:   31941652 kB
Buffers:          229736 kB
Cached:          9153640 kB
SwapCached:            0 kB
Active:          1610932 kB
Inactive:        7825084 kB
Active(anon):       6872 kB
Inactive(anon):    65528 kB
Active(file):    1604060 kB
Inactive(file):  7759556 kB
Unevictable:        7180 kB
Mlocked:            7180 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2728 kB
Writeback:             0 kB
AnonPages:         59804 kB
Mapped:            40448 kB
Shmem:             17068 kB
Slab:             335808 kB
SReclaimable:     308460 kB
SUnreclaim:        27348 kB
KernelStack:        3376 kB
PageTables:         4952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     344976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44760 MiB
End job on node105 at 2018-07-25 03:35:36