Trace number 4396706

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 2.0? (TO) 2520.07 2520.01

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-pigeon/
Pb-pigeon-card-015-010.xml
MD5SUM4075ec57c143d98d1900f8e9a33246e5
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 benchmark43.0368
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints25
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":150}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":150}]
Minimum constraint arity10
Maximum constraint arity15
Distribution of constraint arities[{"arity":10,"count":15},{"arity":15,"count":10}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":25}]
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 2.00 --  
0.00/0.00	c
0.00/0.00	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396706-1568589759.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: 150
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 25
0.00/0.00	c |                   Arity: 10..15
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Sum: 25
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.01	c 101            1239           5799           7988           0              0              110   137   123
0.00/0.01	c 211            2867           12580          18401          0              0              92   128   113 
0.00/0.02	c 332            4684           20465          29076          0              0              98   127   115 
0.00/0.02	c 465            7184           31136          45746          0              0              95   130   118 
0.00/0.03	c 611            9565           41758          62265          0              0              70   117   97  
0.00/0.04	c 771            11702          50350          73528          0              0              113   137   130
0.00/0.05	c 947            14835          63769          93314          0              0              80   127   114 
0.00/0.05	c 1140           17683          75974          110231         0              0              92   137   121 
0.00/0.06	c 1352           21190          91446          134011         0              0              90   127   115 
0.00/0.07	c 1585           24442          104833         152136         0              0              112   137   128
0.00/0.09	c 1841           28939          123616         176916         0              0              73   127   110 
0.00/0.09	c 2122           32455          138199         196147         0              0              47   137   129 
0.09/0.11	c 2431           37855          159635         227008         0              0              74   116   102 
0.09/0.13	c 2770           42747          179443         254057         0              0              66   135   123 
0.09/0.14	c 3142           49055          206947         296454         0              0              84   127   114 
0.09/0.16	c 3551           54625          229882         327233         0              0              110   137   127
0.09/0.19	c 4000           63907          267688         380146         0              0              59   134   105 
0.09/0.20	c 4493           70720          295804         419541         0              0              100   137   123
0.20/0.23	c 5035           78757          332091         473579         0              0              96   137   121 
0.20/0.25	c 5631           87391          371079         533148         0              0              71   137   111 
0.20/0.29	c 6286           98708          423300         607850         0              0              81   137   121 
0.30/0.33	c 7006           112303         482678         686485         0              0              65   137   109 
0.30/0.36	c 7798           124604         537939         764019         0              0              72   137   112 
0.30/0.41	c 8669           138845         610180         858931         0              0              71   131   114 
0.40/0.46	c 9627           155177         680712         948891         0              0              61   135   102 
0.50/0.51	c 10680          172170         763102         1072153        0              0              84   137   123 
0.50/0.57	c 11838          191447         845939         1185007        0              0              77   129   111 
0.59/0.63	c 13111          213385         944936         1311332        0              0              69   136   115 
0.68/0.71	c 14511          234947         1053160        1466158        0              0              65   134   107 
0.68/0.78	c 16051          260778         1177362        1651847        0              0              70   131   114 
0.78/0.86	c 17745          288330         1299207        1828857        0              0              75   137   115 
0.88/0.95	c 19608          317888         1423014        2002476        0              0              56   131   112 
0.99/1.04	c 21657          348286         1566578        2212456        0              0              80   137   118 
1.09/1.16	c 23910          387465         1746032        2501444        0              0              70   135   115 
1.18/1.28	c 26388          428133         1922841        2772924        0              0              67   135   115 
1.28/1.39	c 29113          463835         2084078        3041469        0              0              59   137   109 
1.48/1.54	c 32110          520711         2309506        3353300        0              0              59   137   115 
1.68/1.70	c 35406          573594         2550688        3719596        0              0              66   137   114 
1.78/1.87	c 39031          637108         2818734        4125676        0              0              70   136   114 
1.99/2.08	c 43018          706668         3143814        4623914        0              0              67   137   115 
2.18/2.29	c 47403          778357         3469963        5124267        0              0              74   137   119 
2.48/2.51	c 52226          854683         3797248        5613098        0              0              63   137   117 
2.68/2.75	c 57531          939473         4159250        6181871        0              0              70   135   117 
2.99/3.02	c 63366          1035066        4567332        6820376        0              0              57   135   115 
3.28/3.34	c 69784          1147209        5055041        7569425        0              0              68   135   115 
3.58/3.65	c 76843          1256006        5524356        8266486        0              0              57   137   113 
3.99/4.03	c 84607          1385156        6101135        9135899        0              0              72   136   116 
4.38/4.40	c 93147          1517058        6672477        10025803       0              0              71   137   118 
4.78/4.87	c 102541         1667611        7388163        11162291       0              0              69   137   115 
5.38/5.41	c 112874         1851655        8216201        12453680       0              0              70   137   118 
5.78/5.87	c 124240         2004608        8911631        13573748       0              0              74   137   116 
6.38/6.42	c 136742         2192936        9770616        14893834       0              0              77   137   120 
6.99/7.05	c 150494         2403217        10724639       16408072       0              0              59   135   117 
7.68/7.78	c 165621         2660034        11847941       18077097       0              0              63   137   117 
8.38/8.48	c 182260         2910482        12927980       19760921       0              0              72   135   118 
9.18/9.28	c 200562         3188625        14171745       21667966       0              0              63   137   120 
10.18/10.26	c 220694         3504223        15652023       23972340       0              0              62   137   116 
11.28/11.36	c 242839         3870003        17358400       26557779       0              0              59   137   119 
12.28/12.38	c 267198         4234137        18916985       29016268       0              0              57   135   119 
13.58/13.69	c 293992         4658686        20936935       32139395       0              0              63   137   118 
14.78/14.82	c 323465         5046025        22661425       34984881       0              0              65   137   117 
16.28/16.36	c 355885         5587324        25014766       38519454       0              0              59   137   119 
17.68/17.78	c 391547         6057594        27203551       42052226       0              0              71   137   116 
19.58/19.61	c 430775         6669111        29994015       46390850       0              0              63   137   118 
21.48/21.59	c 473925         7319643        33038748       51095209       0              0              59   137   116 
23.78/23.85	c 521390         8117267        36420104       56291213       0              0              34   137   114 
26.28/26.31	c 573601         8969952        40188161       62032693       0              0              44   137   116 
29.09/29.14	c 631033         9946604        44417181       68164033       0              0              46   137   112 
32.18/32.26	c 694208         11047601       49283545       75220870       0              0              56   137   120 
35.09/35.19	c 763700         12068556       53805338       82189685       0              0              62   137   119 
38.58/38.61	c 840141         13223401       59021017       90208406       0              0              50   137   116 
42.78/42.84	c 924226         14582401       65480246       100537137      0              0              54   135   114 
47.28/47.34	c 1016719        16121514       72457052       110726071      0              0              43   135   121 
51.59/51.66	c 1118461        17613857       79097305       121279230      0              0              45   137   118 
56.79/56.84	c 1230377        19416207       87021709       132723116      0              0              60   137   116 
62.79/62.84	c 1353484        21434558       96297290       146000155      0              0              55   137   114 
69.49/69.59	c 1488901        23601947       106600944      162007312      0              0              51   137   115 
76.49/76.57	c 1637859        25884147       117306489      178272489      0              0              54   137   116 
84.69/84.73	c 1801712        28536461       129646165      196653551      0              0              52   137   113 
93.09/93.18	c 1981950        31403351       142640282      216623460      0              0              58   137   116 
102.69/102.75	c 2180211        34588410       157635870      238144852      0              0              57   137   119 
113.89/113.99	c 2398298        38030389       174773320      262571688      0              0              44   137   111 
126.00/126.10	c 2638193        42199118       193322290      287627046      0              0              50   137   116 
140.00/140.09	c 2902077        46795255       214649941      317822245      0              0              49   137   115 
153.69/153.78	c 3192349        51380004       235458191      344905584      0              0              39   137   111 
168.69/168.76	c 3511648        56345042       258944272      378717293      0              0              59   137   122 
185.29/185.37	c 3862876        61408653       284351927      418386142      0              0              39   137   114 
205.00/205.04	c 4249226        67887016       314650500      461182366      0              0              46   137   116 
224.69/224.79	c 4674211        74868191       345598348      503915472      0              0              33   135   118 
244.49/244.56	c 5141694        81671172       376073542      550314870      0              0              56   137   119 
269.59/269.65	c 5655925        90126835       414733784      608191168      0              0              48   137   120 
297.59/297.61	c 6221579        99305908       457465131      669554044      0              0              29   137   114 
331.00/331.09	c 6843798        109129329      507760867      745429285      0              0              44   137   113 
363.29/363.37	c 7528238        119855142      557381336      820316770      0              0              37   137   117 
398.00/398.10	c 8281122        131335599      610837057      900826055      0              0              48   137   116 
437.49/437.52	c 9109294        144590270      670405800      990279941      0              0              35   137   114 
481.50/481.53	c 10020283       158987683      738463238      1092405872     0              0              37   137   116 
523.11/523.18	c 11022370       173804835      802887872      1189813636     0              0              51   137   119 
572.30/572.33	c 12124665       191679833      879758641      1300189502     0              0              38   137   121 
628.20/628.29	c 13337189       209895077      964184421      1430218212     0              0              47   137   114 
693.30/693.38	c 14670965       230707809      1062884371     1578837194     0              0              36   137   114 
768.71/768.78	c 16138118       255757633      1179620170     1745680806     0              0              35   137   118 
848.12/848.14	c 17751986       282440687      1302390132     1919730084     0              0              35   137   117 
939.81/939.87	c 19527240       309915904      1440033468     2135616710     0              0              30   137   113 
1039.31/1039.35	c 21480019       342065617      1592896525     2359825967     0              0              35   137   117 
1147.42/1147.41	c 23628075       375740186      1756573122     2616506090     0              0              34   137   114 
1263.92/1263.95	c 25990936       413796277      1934544686     2879510167     0              0              36   137   115 
1393.62/1393.64	c 28590083       455625098      2132839070     3173731800     0              0              34   137   116 
1530.33/1530.38	c 31449144       499870392      2340143021     3490327738     0              0              23   137   115 
1670.93/1670.94	c 34594111       546476343      2556343341     3814509352     0              0              27   137   118 
1841.04/1841.04	c 38053574       600510650      2816406992     4202967991     0              0              32   137   116 
2015.54/2015.53	c 41858983       657119857      3083508119     4586092776     0              0              38   137   115 
2219.34/2219.35	c 46044932       719971157      3394617808     5062087789     0              0              35   137   115 
2434.75/2434.73	c 50649475       791118991      3725370015     5548872210     1              0              18   137   116 
2520.06/2520.00	
2520.06/2520.00	c *** INTERRUPTED ***
2520.06/2520.00	c restarts              : 114         
2520.06/2520.00	c conflicts             : 52395539     (20791 /sec)
2520.06/2520.00	c decisions             : 817575536    (324427 /sec)
2520.06/2520.00	c propagations          : 5747220664  (2280591 /sec)
2520.06/2520.00	c root propagations     : 0           
2520.06/2520.00	c filter calls          : 3854950200     (1529707 /sec)
2520.06/2520.00	c useless filter calls  : 2923857845     (75 %)
2520.06/2520.00	c Memory used           : 26.85 MB
2520.06/2520.00	c CPU time              : 2520.06 s
2520.06/2520.00	c real time             : 2520 s
2520.06/2520.00	
2520.06/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 (14817 MiB free)
  memory of node 1: 16384 MiB (15334 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396706-1568589759/watcher-4396706-1568589759 -o /tmp/evaluation-result-4396706-1568589759/solver-4396706-1568589759 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568572744-4608 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396706-1568589759.xml 

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

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=7747, runsolver pid=7744
Current StackSize limit: 8192 KiB


[startup+0.100738 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 7748
/proc/meminfo: memFree=30875108/32770624 swapFree=66937060/67108860
[pid=7747] ppid=7744 vsize=27492 memory=3952 CPUtime=0.09 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 1175 0 0 0 9 0 0 0 20 0 1 0 435247304 28151808 988 33554432000 4194304 6211092 140723134532912 140723134530872 5193748 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 988 868 493 0 178 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3952 KiB

[startup+0.209344 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 7748
/proc/meminfo: memFree=30875108/32770624 swapFree=66937060/67108860
[pid=7747] ppid=7744 vsize=27492 memory=3952 CPUtime=0.2 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 1175 0 0 0 20 0 0 0 20 0 1 0 435247304 28151808 988 33554432000 4194304 6211092 140723134532912 140723134530872 5158185 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 988 868 493 0 178 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3952 KiB

[startup+0.308803 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 7748
/proc/meminfo: memFree=30875108/32770624 swapFree=66937060/67108860
[pid=7747] ppid=7744 vsize=27492 memory=3952 CPUtime=0.3 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 1175 0 0 0 30 0 0 0 20 0 1 0 435247304 28151808 988 33554432000 4194304 6211092 140723134532912 140723134530872 5155525 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 988 868 493 0 178 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3952 KiB

[startup+0.700261 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7748
/proc/meminfo: memFree=30875108/32770624 swapFree=66937060/67108860
[pid=7747] ppid=7744 vsize=27492 memory=3952 CPUtime=0.68 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 1175 0 0 0 68 0 0 0 20 0 1 0 435247304 28151808 988 33554432000 4194304 6211092 140723134532912 140723134530872 5156256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 988 868 493 0 178 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3952 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7748
/proc/meminfo: memFree=30874380/32770624 swapFree=66937060/67108860
[pid=7747] ppid=7744 vsize=27492 memory=3952 CPUtime=1.48 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 1175 0 0 0 148 0 0 0 20 0 1 0 435247304 28151808 988 33554432000 4194304 6211092 140723134532912 140723134530872 5250224 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 988 868 493 0 178 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3952 KiB

[startup+3.10902 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7748
/proc/meminfo: memFree=30874384/32770624 swapFree=66937060/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=3.09 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 1253 0 0 0 309 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5156963 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7748
/proc/meminfo: memFree=30874324/32770624 swapFree=66937060/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=6.28 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 1331 0 0 0 628 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5157016 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7750
/proc/meminfo: memFree=30874184/32770624 swapFree=66937060/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=12.68 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 1409 0 0 0 1268 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5157163 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7751
/proc/meminfo: memFree=30874240/32770624 swapFree=66937060/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=25.48 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 1565 0 0 0 2548 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5380256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7751
/proc/meminfo: memFree=30874364/32770624 swapFree=66937060/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=51.09 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 1643 0 0 0 5109 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5380267 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7757
/proc/meminfo: memFree=30874980/32770624 swapFree=66937060/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=102.29 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 1721 0 0 0 10229 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7761
/proc/meminfo: memFree=30873880/32770624 swapFree=66937060/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=162.29 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 1799 0 0 0 16229 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5389832 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7766
/proc/meminfo: memFree=30873256/32770624 swapFree=66937064/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=222.29 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 1877 0 0 0 22229 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5156256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7772
/proc/meminfo: memFree=30873076/32770624 swapFree=66937064/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=282.29 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 1877 0 0 0 28229 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5396756 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7776
/proc/meminfo: memFree=30873312/32770624 swapFree=66937064/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=342.29 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 1955 0 0 0 34229 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5396768 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7781
/proc/meminfo: memFree=30873684/32770624 swapFree=66937072/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=402.29 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 2033 0 0 0 40229 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5156256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7787
/proc/meminfo: memFree=30873588/32770624 swapFree=66937072/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=462.3 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 2111 0 0 0 46230 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5155960 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB


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

/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7976
/proc/meminfo: memFree=30904592/32770624 swapFree=66937080/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=1782.33 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 3710 0 0 0 178233 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5409461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7980
/proc/meminfo: memFree=30904516/32770624 swapFree=66937080/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=1842.33 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 3788 0 0 0 184233 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5156502 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7986
/proc/meminfo: memFree=30904160/32770624 swapFree=66937080/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=1902.33 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 3853 0 0 0 190233 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5156133 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7990
/proc/meminfo: memFree=30904012/32770624 swapFree=66937080/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=1962.33 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 3918 0 0 0 196233 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5155345 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 7995
/proc/meminfo: memFree=30904044/32770624 swapFree=66937080/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=2022.34 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 3996 0 0 0 202234 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+2082.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/200 8001
/proc/meminfo: memFree=30904052/32770624 swapFree=66937080/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=2082.34 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 4061 0 0 0 208234 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5390135 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+2142.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/199 8005
/proc/meminfo: memFree=30904020/32770624 swapFree=66937080/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=2142.34 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 4126 0 0 0 214234 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5155337 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/199 8010
/proc/meminfo: memFree=30903936/32770624 swapFree=66937080/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=2202.34 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 4191 0 0 0 220234 0 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5390084 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 8016
/proc/meminfo: memFree=30904264/32770624 swapFree=66937080/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=2262.35 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 4269 0 0 0 226234 1 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5157421 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 8028
/proc/meminfo: memFree=30903252/32770624 swapFree=66937088/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=2322.35 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 4334 0 0 0 232234 1 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5409461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 8058
/proc/meminfo: memFree=30903000/32770624 swapFree=66937092/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=2382.35 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 4399 0 0 0 238234 1 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5156133 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 8064
/proc/meminfo: memFree=30903428/32770624 swapFree=66937092/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=2442.35 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 4477 0 0 0 244234 1 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5155807 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 8068
/proc/meminfo: memFree=30903348/32770624 swapFree=66937092/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=2502.35 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 4542 0 0 0 250234 1 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5250467 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 8069
/proc/meminfo: memFree=30903688/32770624 swapFree=66937092/67108860
[pid=7747] ppid=7744 vsize=27492 memory=4048 CPUtime=2520.06 cores=0,2,4,6
/proc/7747/stat : 7747 (cosoco) R 7744 7747 4577 0 -1 4202496 4607 0 0 0 252005 1 0 0 20 0 1 0 435247304 28151808 1012 33554432000 4194304 6211092 140723134532912 140723134530872 5250461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11083776 140723134534667 140723134534769 140723134534769 140723134537678 0
/proc/7747/statm: 6873 1012 873 493 0 178 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4048 KiB

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

[startup+2520.01 s]
# the end of solver process 7747 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.06 s, system=0.01 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.07
CPU user time (s): 2520.06
CPU system time (s): 0.01
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 27492
Max. memory (cumulated for all children) (KiB): 4048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.06
system time used= 0.01
maximum resident set size= 4112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4656
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= 14
involuntary context switches= 640


# summary of solver processes directly reported to runsolver:
#   pid: 7747
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2520.06
#   total CPU system time (s): 0.01

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.64409 second user time and 16.4455 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-16 01:21:59
IDJOB=4396706
IDBENCH=135575
IDSOLVER=2848
FILE ID=node151/4396706-1568589759
RUNJOBID= node151-1568572744-4608
PBS_JOBID= 21703306
Free space on /tmp= 59304 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-pigeon/Pb-pigeon-card-015-010.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396706-1568589759/watcher-4396706-1568589759 -o /tmp/evaluation-result-4396706-1568589759/solver-4396706-1568589759 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568572744-4608 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396706-1568589759.xml

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

MD5SUM BENCH= 4075ec57c143d98d1900f8e9a33246e5
RANDOM SEED=1580120613

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30875228 kB
MemAvailable:   31801884 kB
Buffers:          210272 kB
Cached:          1015184 kB
SwapCached:        69804 kB
Active:           705096 kB
Inactive:         637296 kB
Active(anon):      52640 kB
Inactive(anon):   107032 kB
Active(file):     652456 kB
Inactive(file):   530264 kB
Unevictable:      109456 kB
Mlocked:          109456 kB
SwapTotal:      67108860 kB
SwapFree:       66937060 kB
Dirty:              2516 kB
Writeback:             0 kB
AnonPages:        164444 kB
Mapped:            42908 kB
Shmem:             34444 kB
Slab:             148312 kB
SReclaimable:     119544 kB
SUnreclaim:        28768 kB
KernelStack:        3760 kB
PageTables:         6044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     578788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59304 MiB
End job on node151 at 2019-09-16 02:04:00