Trace number 4293798

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.12? (TO) 2520.09 2520.01

General information on the benchmark

NamePseudoBoolean-dec/
Pb-chnl30-31_c18.xml
MD5SUM986923daef9243229e6ae2459781d9f0
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 variables1860
Number of constraints122
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1860}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":1860}]
Minimum constraint arity30
Maximum constraint arity31
Distribution of constraint arities[{"arity":30,"count":62},{"arity":31,"count":60}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":122}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.03	c root propagations     : 0           
0.00/0.03	c restarts enabled, print stats at every restarts
0.00/0.03	c
0.00/0.03	c
0.00/0.03	c
0.00/0.03	c This is cosoco 1.12 --  
0.00/0.03	c
0.00/0.03	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293798-1532327011.xml 
0.00/0.03	c ========================================[ Problem Statistics ]===========================================
0.00/0.03	c |                                                                                                       
0.00/0.03	c |  Parse time        :         0.03 s 
0.00/0.03	c |
0.00/0.03	c |               Variables: 1860
0.00/0.03	c |            Domain Sizes: 2..2
0.00/0.03	c |
0.00/0.03	c |             Constraints: 122
0.00/0.03	c |                   Arity: 30..31
0.00/0.03	c | 
0.00/0.03	c |                   Types: 
0.00/0.03	c |                          Sum: 122
0.00/0.03	c |                          
0.00/0.03	c =========================================================================================================
0.00/0.03	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.06	c 101            1920           9152           8887           0              0              890   926   900
0.00/0.10	c 211            4278           21047          29862          0              0              853   891   862
0.10/0.14	c 332            6012           32353          51872          0              0              552   617   569
0.10/0.18	c 465            8172           42477          71733          0              0              461   522   483
0.21/0.24	c 611            10634          57588          103605         0              0              263   297   277
0.21/0.29	c 771            13735          70574          121127         0              0              756   817   773
0.31/0.36	c 947            17801          89206          154246         0              0              745   795   766
0.41/0.44	c 1140           22403          107552         181641         0              0              507   582   541
0.51/0.55	c 1352           27977          132795         218142         0              0              484   539   511
0.60/0.67	c 1585           33697          165723         269815         0              0              396   444   425
0.69/0.75	c 1841           39004          187623         301481         0              0              223   845   742
0.79/0.87	c 2122           46397          216220         345415         0              0              541   827   785
0.89/1.00	c 2431           54709          248741         396181         0              0              617   727   671
1.19/1.21	c 2770           65827          299717         482500         0              0              486   579   535
1.29/1.36	c 3142           74814          333444         525008         0              0              189   907   672
1.49/1.52	c 3551           85625          372322         575163         0              0              198   922   742
1.59/1.69	c 4000           95738          416662         648360         0              0              554   751   704
2.00/2.04	c 4493           115114         498196         767525         0              0              465   617   562
2.10/2.19	c 5035           124763         541600         824874         0              0              359   904   852
2.39/2.43	c 5631           139057         601555         916225         0              0              373   846   710
2.69/2.75	c 6286           157005         674327         1040677        0              0              334   669   513
3.19/3.26	c 7006           183863         791683         1225068        0              0              418   537   496
3.39/3.40	c 7798           194065         838525         1282296        0              0              478   922   903
3.59/3.67	c 8669           213364         909449         1389768        0              0              595   898   873
4.10/4.14	c 9627           238835         1025716        1564116        0              0              495   789   596
4.49/4.57	c 10680          262607         1133587        1732720        0              0              196   695   604
4.69/4.77	c 11838          275913         1199352        1808503        0              0              496   917   877
5.10/5.16	c 13111          301252         1323485        1981736        0              0              820   889   869
5.79/5.89	c 14511          348943         1517500        2258779        0              0              718   814   781
6.59/6.69	c 16051          403402         1703666        2534372        0              0              679   765   718
7.89/7.92	c 17745          473215         1987385        3090892        0              0              494   684   583
8.69/8.73	c 19608          523295         2176588        3359869        0              0              193   912   706
9.49/9.59	c 21657          577592         2415303        3697975        0              0              669   864   793
10.79/10.82	c 23910          646365         2764507        4251832        0              0              614   776   713
12.39/12.41	c 26388          744926         3113563        4817403        0              0              517   626   597
13.19/13.20	c 29113          798749         3338341        5119857        0              0              311   913   845
14.19/14.26	c 32110          873966         3614054        5527929        0              0              400   851   829
15.59/15.69	c 35406          972232         3976875        6203844        0              0              550   808   780
17.89/17.95	c 39031          1104472        4458081        6938427        0              0              216   743   554
19.00/19.07	c 43018          1179171        4759740        7315961        0              0              190   904   821
20.49/20.54	c 47403          1285772        5165685        7929430        0              0              301   885   864
22.79/22.84	c 52226          1446285        5738133        8916140        0              0              481   819   796
26.10/26.15	c 57531          1661651        6495595        10311773       0              0              590   707   681
30.49/30.53	c 63366          1896564        7294108        11644053       0              0              211   338   302
32.69/32.78	c 69784          2053711        7878170        12459652       0              0              215   864   812
35.69/35.75	c 76843          2270912        8638073        13646746       0              0              309   885   850
39.39/39.40	c 84607          2508102        9454756        14992411       0              0              466   818   678
42.10/42.19	c 93147          2692764        10131665       15943708       0              0              264   925   759
46.19/46.23	c 102541         2971063        11149918       17601150       0              0              318   808   778
53.49/53.50	c 112874         3447422        12749562       20521159       0              0              515   726   663
56.89/56.98	c 124240         3693012        13721456       21863137       0              0              274   925   844
62.00/62.02	c 136742         4048806        15085493       24114701       0              0              398   860   830
69.59/69.66	c 150494         4571089        16866948       27101830       0              0              623   799   735
80.00/80.07	c 165621         5191727        18973358       30474113       0              0              380   637   503
92.69/92.78	c 182260         5941627        21480861       34420799       0              0              354   501   477
99.79/99.81	c 200562         6468044        23418769       37485904       0              0              412   894   867
112.19/112.26	c 220694         7286618        26609545       43440862       0              0              653   795   752
120.69/120.77	c 242839         7820910        28563769       46337963       0              0              212   925   713
132.29/132.36	c 267198         8617966        31674422       51191271       0              0              222   893   818
147.00/147.08	c 293992         9553475        34915278       56975481       0              0              447   750   633
152.29/152.36	c 323465         9927695        36759207       59218083       0              0              124   925   902
162.39/162.48	c 355885         10664743       39786994       64212068       0              0              283   903   881
182.59/182.63	c 391547         11985375       44941870       71991156       0              0              494   845   732
192.10/192.19	c 430775         12594120       47536077       75435509       0              0              225   925   805
205.79/205.86	c 473925         13544674       51795097       82785935       0              0              803   902   876
231.89/231.91	c 521390         15110936       58826257       93485577       0              0              348   852   724
250.19/250.28	c 573601         16109462       63894539       100019867      0              0              243   925   777
275.39/275.43	c 631033         17798853       70773586       111506400      0              0              720   834   807
322.50/322.59	c 694208         20489177       80806392       127921800      0              0              367   518   484
340.01/340.07	c 763700         21781984       86139298       136154412      0              0              291   909   888
372.60/372.67	c 840141         24077331       94642719       150170545      0              0              728   838   809
426.11/426.16	c 924226         27597347       107661576      173610445      0              0              589   753   713
440.90/440.93	c 1016719        28649765       112505931      179896374      0              0              264   924   890
474.90/474.95	c 1118461        31161764       121977219      194140102      0              0              787   897   857
531.90/531.93	c 1230377        35169767       136577336      220536085      0              0              673   863   798
615.61/615.64	c 1353484        39928707       153138305      249214210      0              0              296   656   420
678.91/678.99	c 1488901        44026656       169101882      275051830      0              0              268   874   738
783.21/783.23	c 1637859        50452730       192385887      313148541      0              0              426   762   612
814.02/814.10	c 1801712        52584208       202166532      325770050      0              0              343   925   880
881.02/881.09	c 1981950        57451459       220436232      354807919      0              0              504   893   849
1009.32/1009.35	c 2180211        66015814       251237816      409896806      0              0              582   826   719
1051.22/1051.28	c 2398298        68958309       265026916      427299461      0              0              270   925   886
1132.62/1132.68	c 2638193        75014424       288343771      467339321      0              0              794   897   873
1190.42/1190.48	c 2902077        79097065       307600943      491972865      0              0              328   925   888
1421.43/1421.42	c 3192349        93007424       367748926      574191654      0              0              544   813   711
1525.64/1525.63	c 3511648        100032309      400311712      622651024      0              0              323   895   858
1745.84/1745.89	c 3862876        115037228      456831994      710917670      0              0              596   871   781
2006.16/2006.16	c 4249226        131555391      514525957      808086561      0              0              461   795   642
2088.96/2088.94	c 4674211        137473209      543836935      845097344      0              0              865   925   909
2307.96/2307.98	c 5141694        152954025      599463522      929920833      0              0              701   870   802
2520.08/2520.00	
2520.08/2520.00	c *** INTERRUPTED ***
2520.08/2520.00	c restarts              : 90          
2520.08/2520.00	c conflicts             : 5528208      (2194 /sec)
2520.08/2520.00	c decisions             : 168445409    (66841 /sec)
2520.08/2520.00	c propagations          : 1030216822  (408803 /sec)
2520.08/2520.00	c root propagations     : 0           
2520.08/2520.00	c filter calls          : 655446592      (260089 /sec)
2520.08/2520.00	c useless filter calls  : 561450115      (85 %)
2520.08/2520.00	c Memory used           : 33.34 MB
2520.08/2520.00	c CPU time              : 2520.08 s
2520.08/2520.00	
2520.08/2520.00	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 (9752 MiB free)
  memory of node 1: 16384 MiB (14765 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293798-1532327011/watcher-4293798-1532327011 -o /tmp/evaluation-result-4293798-1532327011/solver-4293798-1532327011 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532296736-6957 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293798-1532327011.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
solver pid=10045, runsolver pid=10042
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 1.93 2.06 2.07 3/189 10046
/proc/meminfo: memFree=25100484/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=32540 memory=9092 CPUtime=0.1 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 2460 0 0 0 10 0 0 0 20 0 1 0 50264279 33320960 2273 33554432000 4194304 6142532 140724281115808 140724281112440 140359003249760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8135 2273 864 476 0 1457 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32540 KiB
Current children cumulated memory: 9092 KiB

[startup+0.20973 s]*
/proc/loadavg: 1.93 2.06 2.07 3/189 10046
/proc/meminfo: memFree=25100484/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=32540 memory=9092 CPUtime=0.21 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 2466 0 0 0 21 0 0 0 20 0 1 0 50264279 33320960 2273 33554432000 4194304 6142532 140724281115808 140724281112440 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8135 2273 864 476 0 1457 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32540 KiB
Current children cumulated memory: 9092 KiB

[startup+0.309038 s]*
/proc/loadavg: 1.93 2.06 2.07 3/189 10046
/proc/meminfo: memFree=25100112/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=32936 memory=9356 CPUtime=0.31 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 2558 0 0 0 31 0 0 0 20 0 1 0 50264279 33726464 2339 33554432000 4194304 6142532 140724281115808 140724281112440 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8234 2339 864 476 0 1556 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32936 KiB
Current children cumulated memory: 9356 KiB

[startup+0.700277 s]
/proc/loadavg: 1.93 2.06 2.07 3/189 10046
/proc/meminfo: memFree=25099832/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=32936 memory=9356 CPUtime=0.69 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 2558 0 0 0 69 0 0 0 20 0 1 0 50264279 33726464 2339 33554432000 4194304 6142532 140724281115808 140724281112440 5139100 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8234 2339 864 476 0 1556 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32936 KiB
Current children cumulated memory: 9356 KiB

[startup+1.50028 s]
/proc/loadavg: 1.93 2.06 2.07 3/189 10046
/proc/meminfo: memFree=25099584/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=33332 memory=9884 CPUtime=1.49 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 2668 0 0 0 149 0 0 0 20 0 1 0 50264279 34131968 2471 33554432000 4194304 6142532 140724281115808 140724281113208 5347465 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8333 2471 864 476 0 1655 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33332 KiB
Current children cumulated memory: 9884 KiB

[startup+3.10909 s]
/proc/loadavg: 1.93 2.06 2.07 3/189 10046
/proc/meminfo: memFree=25099724/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=33468 memory=10128 CPUtime=3.1 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 4095 0 0 0 310 0 0 0 20 0 1 0 50264279 34271232 2532 33554432000 4194304 6142532 140724281115808 140724281113208 5319054 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8367 2532 864 476 0 1689 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33468 KiB
Current children cumulated memory: 10128 KiB

[startup+6.30027 s]
/proc/loadavg: 1.93 2.06 2.07 3/189 10046
/proc/meminfo: memFree=25099944/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=33732 memory=10336 CPUtime=6.29 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 5606 0 0 0 629 0 0 0 20 0 1 0 50264279 34541568 2584 33554432000 4194304 6142532 140724281115808 140724281113208 5347477 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8433 2584 864 476 0 1755 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33732 KiB
Current children cumulated memory: 10336 KiB

[startup+12.7003 s]
/proc/loadavg: 1.94 2.06 2.07 3/189 10046
/proc/meminfo: memFree=25099944/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=33864 memory=10444 CPUtime=12.69 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 7117 0 0 0 1269 0 0 0 20 0 1 0 50264279 34676736 2611 33554432000 4194304 6142532 140724281115808 140724281113208 5138416 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8466 2611 864 476 0 1788 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 33864 KiB
Current children cumulated memory: 10444 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.06 2.07 3/189 10046
/proc/meminfo: memFree=25100284/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=33864 memory=10528 CPUtime=25.49 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 9277 0 0 0 2549 0 0 0 20 0 1 0 50264279 34676736 2632 33554432000 4194304 6142532 140724281115808 140724281113208 5140312 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8466 2632 864 476 0 1788 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 33864 KiB
Current children cumulated memory: 10528 KiB

[startup+51.1091 s]
/proc/loadavg: 1.97 2.05 2.07 3/189 10046
/proc/meminfo: memFree=25099844/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=33864 memory=10560 CPUtime=51.1 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 10303 0 0 0 5110 0 0 0 20 0 1 0 50264279 34676736 2640 33554432000 4194304 6142532 140724281115808 140724281113208 5140429 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8466 2640 864 476 0 1788 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 33864 KiB
Current children cumulated memory: 10560 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.04 2.06 3/187 10048
/proc/meminfo: memFree=25100576/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=33996 memory=10580 CPUtime=102.29 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 10449 0 0 0 10229 0 0 0 20 0 1 0 50264279 34811904 2645 33554432000 4194304 6142532 140724281115808 140724281113208 5139072 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8499 2645 864 476 0 1821 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 33996 KiB
Current children cumulated memory: 10580 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.04 2.06 3/187 10049
/proc/meminfo: memFree=25100348/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=33996 memory=10588 CPUtime=162.29 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 10602 0 0 0 16229 0 0 0 20 0 1 0 50264279 34811904 2647 33554432000 4194304 6142532 140724281115808 140724281113208 5138416 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8499 2647 864 476 0 1821 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 33996 KiB
Current children cumulated memory: 10588 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 10050
/proc/meminfo: memFree=25100040/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=33996 memory=10640 CPUtime=222.29 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 10767 0 0 0 22229 0 0 0 20 0 1 0 50264279 34811904 2660 33554432000 4194304 6142532 140724281115808 140724281113208 5347465 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8499 2660 864 476 0 1821 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 33996 KiB
Current children cumulated memory: 10640 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 10052
/proc/meminfo: memFree=25099996/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10688 CPUtime=282.29 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 10937 0 0 0 28229 0 0 0 20 0 1 0 50264279 34951168 2672 33554432000 4194304 6142532 140724281115808 140724281113208 5138400 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2672 864 476 0 1855 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10688 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 10053
/proc/meminfo: memFree=25099728/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10724 CPUtime=342.3 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 11104 0 0 0 34230 0 0 0 20 0 1 0 50264279 34951168 2681 33554432000 4194304 6142532 140724281115808 140724281113208 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2681 864 476 0 1855 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10724 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10062
/proc/meminfo: memFree=25098392/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10728 CPUtime=402.3 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 11268 0 0 0 40230 0 0 0 20 0 1 0 50264279 34951168 2682 33554432000 4194304 6142532 140724281115808 140724281113208 5347477 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2682 864 476 0 1855 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10728 KiB

[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 10063
/proc/meminfo: memFree=25098800/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10728 CPUtime=462.3 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 11445 0 0 0 46230 0 0 0 20 0 1 0 50264279 34951168 2682 33554432000 4194304 6142532 140724281115808 140724281113208 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2682 864 476 0 1855 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10728 KiB


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

/proc/10045/statm: 8533 2703 864 476 0 1855 0
Current children cumulated CPU time: 1722.34 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10812 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 10101
/proc/meminfo: memFree=25099248/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10812 CPUtime=1782.35 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 14259 0 0 0 178235 0 0 0 20 0 1 0 50264279 34951168 2703 33554432000 4194304 6142532 140724281115808 140724281113208 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2703 864 476 0 1855 0
Current children cumulated CPU time: 1782.35 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10812 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 10103
/proc/meminfo: memFree=25098052/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10812 CPUtime=1842.35 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 14369 0 0 0 184235 0 0 0 20 0 1 0 50264279 34951168 2703 33554432000 4194304 6142532 140724281115808 140724281113208 5137605 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2703 864 476 0 1855 0
Current children cumulated CPU time: 1842.35 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10812 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 10105
/proc/meminfo: memFree=25098272/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10812 CPUtime=1902.35 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 14468 0 0 0 190235 0 0 0 20 0 1 0 50264279 34951168 2703 33554432000 4194304 6142532 140724281115808 140724281113208 5347477 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2703 864 476 0 1855 0
Current children cumulated CPU time: 1902.35 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10812 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 10106
/proc/meminfo: memFree=25098348/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10812 CPUtime=1962.35 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 14567 0 0 0 196235 0 0 0 20 0 1 0 50264279 34951168 2703 33554432000 4194304 6142532 140724281115808 140724281113208 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2703 864 476 0 1855 0
Current children cumulated CPU time: 1962.35 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10812 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 10107
/proc/meminfo: memFree=25098364/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10812 CPUtime=2022.35 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 14767 0 0 0 202235 0 0 0 20 0 1 0 50264279 34951168 2703 33554432000 4194304 6142532 140724281115808 140724281113208 5138034 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2703 864 476 0 1855 0
Current children cumulated CPU time: 2022.35 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10812 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 10109
/proc/meminfo: memFree=25097792/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10820 CPUtime=2082.36 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 14845 0 0 0 208236 0 0 0 20 0 1 0 50264279 34951168 2705 33554432000 4194304 6142532 140724281115808 140724281113208 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2705 864 476 0 1855 0
Current children cumulated CPU time: 2082.36 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10820 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 10110
/proc/meminfo: memFree=25097584/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10820 CPUtime=2142.36 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 15043 0 0 0 214236 0 0 0 20 0 1 0 50264279 34951168 2705 33554432000 4194304 6142532 140724281115808 140724281113208 5138049 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2705 864 476 0 1855 0
Current children cumulated CPU time: 2142.36 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10820 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10119
/proc/meminfo: memFree=25096740/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10820 CPUtime=2202.36 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 15044 0 0 0 220236 0 0 0 20 0 1 0 50264279 34951168 2705 33554432000 4194304 6142532 140724281115808 140724281113208 5137884 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2705 864 476 0 1855 0
Current children cumulated CPU time: 2202.36 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10820 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 10143
/proc/meminfo: memFree=25095368/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10820 CPUtime=2262.36 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 15137 0 0 0 226236 0 0 0 20 0 1 0 50264279 34951168 2705 33554432000 4194304 6142532 140724281115808 140724281113208 5175088 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2705 864 476 0 1855 0
Current children cumulated CPU time: 2262.36 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10820 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 10144
/proc/meminfo: memFree=25096280/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10820 CPUtime=2322.36 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 15329 0 0 0 232236 0 0 0 20 0 1 0 50264279 34951168 2705 33554432000 4194304 6142532 140724281115808 140724281113208 5347455 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2705 864 476 0 1855 0
Current children cumulated CPU time: 2322.36 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10820 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 10145
/proc/meminfo: memFree=25096504/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10824 CPUtime=2382.36 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 15446 0 0 0 238236 0 0 0 20 0 1 0 50264279 34951168 2706 33554432000 4194304 6142532 140724281115808 140724281113208 5137283 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2706 864 476 0 1855 0
Current children cumulated CPU time: 2382.36 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10824 KiB

[startup+2442.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/189 10146
/proc/meminfo: memFree=25096060/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10836 CPUtime=2442.37 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 15558 0 0 0 244237 0 0 0 20 0 1 0 50264279 34951168 2709 33554432000 4194304 6142532 140724281115808 140724281113208 5215827 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2709 864 476 0 1855 0
Current children cumulated CPU time: 2442.37 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10836 KiB

[startup+2502.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 10147
/proc/meminfo: memFree=25096144/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10836 CPUtime=2502.37 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 15669 0 0 0 250237 0 0 0 20 0 1 0 50264279 34951168 2709 33554432000 4194304 6142532 140724281115808 140724281113208 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2709 864 476 0 1855 0
Current children cumulated CPU time: 2502.37 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10836 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.02 2.02 2.05 3/188 10208
/proc/meminfo: memFree=25095392/32770624 swapFree=67108852/67108860
[pid=10045] ppid=10042 vsize=34132 memory=10836 CPUtime=2520.08 cores=1,3,5,7
/proc/10045/stat : 10045 (cosoco) R 10042 10045 6925 0 -1 4202496 15774 0 0 0 252008 0 0 0 20 0 1 0 50264279 34951168 2709 33554432000 4194304 6142532 140724281115808 140724281113208 5215649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 18219008 140724281123974 140724281124104 140724281124104 140724281126862 0
/proc/10045/statm: 8533 2709 864 476 0 1855 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 34132 KiB
Current children cumulated memory: 10836 KiB

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

[startup+2520.01 s]
# the end of solver process 10045 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.08 s, system=0.008 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.09
CPU user time (s): 2520.08
CPU system time (s): 0.008
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 34132
Max. memory (cumulated for all children) (KiB): 10836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.08
system time used= 0.008
maximum resident set size= 10900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15824
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 724


# summary of solver processes directly reported to runsolver:
#   pid: 10045
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2520.08
#   total CPU system time (s): 0.008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56829 second user time and 18.2022 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-23 08:23:31
IDJOB=4293798
IDBENCH=141237
IDSOLVER=2752
FILE ID=node148/4293798-1532327011
RUNJOBID= node148-1532296736-6957
PBS_JOBID= 21018990
Free space on /tmp= 51992 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-chnl30-31_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293798-1532327011/watcher-4293798-1532327011 -o /tmp/evaluation-result-4293798-1532327011/solver-4293798-1532327011 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532296736-6957 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4293798-1532327011.xml

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

MD5SUM BENCH= 986923daef9243229e6ae2459781d9f0
RANDOM SEED=1228050211

node148.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.50
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.50
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.50
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.50
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:        25107048 kB
MemAvailable:   31941816 kB
Buffers:          177028 kB
Cached:          6840204 kB
SwapCached:            8 kB
Active:          1204196 kB
Inactive:        5864552 kB
Active(anon):       5260 kB
Inactive(anon):    66100 kB
Active(file):    1198936 kB
Inactive(file):  5798452 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:              2872 kB
Writeback:             0 kB
AnonPages:         58464 kB
Mapped:            38592 kB
Shmem:             17024 kB
Slab:             293292 kB
SReclaimable:     265840 kB
SUnreclaim:        27452 kB
KernelStack:        3296 kB
PageTables:         5072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     344672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 51988 MiB
End job on node148 at 2018-07-23 09:05:31