Trace number 4407966

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) 2519.71 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-4407966-1569805885.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.10/0.11	c 2431           37855          159635         227008         0              0              74   116   102 
0.10/0.12	c 2770           42747          179443         254057         0              0              66   135   123 
0.10/0.14	c 3142           49055          206947         296454         0              0              84   127   114 
0.10/0.16	c 3551           54625          229882         327233         0              0              110   137   127
0.10/0.18	c 4000           63907          267688         380146         0              0              59   134   105 
0.10/0.20	c 4493           70720          295804         419541         0              0              100   137   123
0.21/0.23	c 5035           78757          332091         473579         0              0              96   137   121 
0.21/0.25	c 5631           87391          371079         533148         0              0              71   137   111 
0.21/0.28	c 6286           98708          423300         607850         0              0              81   137   121 
0.31/0.33	c 7006           112303         482678         686485         0              0              65   137   109 
0.31/0.36	c 7798           124604         537939         764019         0              0              72   137   112 
0.31/0.41	c 8669           138845         610180         858931         0              0              71   131   114 
0.41/0.46	c 9627           155177         680712         948891         0              0              61   135   102 
0.41/0.51	c 10680          172170         763102         1072153        0              0              84   137   123 
0.51/0.57	c 11838          191447         845939         1185007        0              0              77   129   111 
0.60/0.63	c 13111          213385         944936         1311332        0              0              69   136   115 
0.69/0.70	c 14511          234947         1053160        1466158        0              0              65   134   107 
0.69/0.78	c 16051          260778         1177362        1651847        0              0              70   131   114 
0.79/0.86	c 17745          288330         1299207        1828857        0              0              75   137   115 
0.89/0.95	c 19608          317888         1423014        2002476        0              0              56   131   112 
1.00/1.04	c 21657          348286         1566578        2212456        0              0              80   137   118 
1.10/1.16	c 23910          387465         1746032        2501444        0              0              70   135   115 
1.19/1.28	c 26388          428133         1922841        2772924        0              0              67   135   115 
1.29/1.39	c 29113          463835         2084078        3041469        0              0              59   137   109 
1.49/1.54	c 32110          520711         2309506        3353300        0              0              59   137   115 
1.69/1.70	c 35406          573594         2550688        3719596        0              0              66   137   114 
1.79/1.88	c 39031          637108         2818734        4125676        0              0              70   136   114 
2.00/2.09	c 43018          706668         3143814        4623914        0              0              67   137   115 
2.29/2.30	c 47403          778357         3469963        5124267        0              0              74   137   119 
2.49/2.52	c 52226          854683         3797248        5613098        0              0              63   137   117 
2.69/2.76	c 57531          939473         4159250        6181871        0              0              70   135   117 
3.00/3.04	c 63366          1035066        4567332        6820376        0              0              57   135   115 
3.29/3.36	c 69784          1147209        5055041        7569425        0              0              68   135   115 
3.59/3.67	c 76843          1256006        5524356        8266486        0              0              57   137   113 
4.00/4.06	c 84607          1385156        6101135        9135899        0              0              72   136   116 
4.39/4.44	c 93147          1517058        6672477        10025803       0              0              71   137   118 
4.89/4.91	c 102541         1667611        7388163        11162291       0              0              69   137   115 
5.39/5.46	c 112874         1851655        8216201        12453680       0              0              70   137   118 
5.89/5.92	c 124240         2004608        8911631        13573748       0              0              74   137   116 
6.39/6.48	c 136742         2192936        9770616        14893834       0              0              77   137   120 
7.10/7.11	c 150494         2403217        10724639       16408072       0              0              59   135   117 
7.79/7.85	c 165621         2660034        11847941       18077097       0              0              63   137   117 
8.49/8.56	c 182260         2910482        12927980       19760921       0              0              72   135   118 
9.29/9.37	c 200562         3188625        14171745       21667966       0              0              63   137   120 
10.29/10.35	c 220694         3504223        15652023       23972340       0              0              62   137   116 
11.39/11.46	c 242839         3870003        17358400       26557779       0              0              59   137   119 
12.39/12.49	c 267198         4234137        18916985       29016268       0              0              57   135   119 
13.79/13.82	c 293992         4658686        20936935       32139395       0              0              63   137   118 
14.89/14.96	c 323465         5046025        22661425       34984881       0              0              65   137   117 
16.49/16.51	c 355885         5587324        25014766       38519454       0              0              59   137   119 
17.89/17.95	c 391547         6057594        27203551       42052226       0              0              71   137   116 
19.69/19.79	c 430775         6669111        29994015       46390850       0              0              63   137   118 
21.69/21.79	c 473925         7319643        33038748       51095209       0              0              59   137   116 
23.99/24.07	c 521390         8117267        36420104       56291213       0              0              34   137   114 
26.48/26.56	c 573601         8969952        40188161       62032693       0              0              44   137   116 
29.38/29.41	c 631033         9946604        44417181       68164033       0              0              46   137   112 
32.48/32.57	c 694208         11047601       49283545       75220870       0              0              56   137   120 
35.48/35.52	c 763700         12068556       53805338       82189685       0              0              62   137   119 
38.88/38.98	c 840141         13223401       59021017       90208406       0              0              50   137   116 
43.18/43.26	c 924226         14582401       65480246       100537137      0              0              54   135   114 
47.78/47.80	c 1016719        16121514       72457052       110726071      0              0              43   135   121 
52.08/52.17	c 1118461        17613857       79097305       121279230      0              0              45   137   118 
57.37/57.40	c 1230377        19416207       87021709       132723116      0              0              60   137   116 
63.37/63.46	c 1353484        21434558       96297290       146000155      0              0              55   137   114 
70.17/70.27	c 1488901        23601947       106600944      162007312      0              0              51   137   115 
77.27/77.33	c 1637859        25884147       117306489      178272489      0              0              54   137   116 
85.47/85.57	c 1801712        28536461       129646165      196653551      0              0              52   137   113 
93.97/94.10	c 1981950        31403351       142640282      216623460      0              0              58   137   116 
103.66/103.77	c 2180211        34588410       157635870      238144852      0              0              57   137   119 
114.97/115.08	c 2398298        38030389       174773320      262571688      0              0              44   137   111 
127.16/127.25	c 2638193        42199118       193322290      287627046      0              0              50   137   116 
141.25/141.32	c 2902077        46795255       214649941      317822245      0              0              49   137   115 
154.96/155.08	c 3192349        51380004       235458191      344905584      0              0              39   137   111 
170.06/170.15	c 3511648        56345042       258944272      378717293      0              0              59   137   122 
186.75/186.86	c 3862876        61408653       284351927      418386142      0              0              39   137   114 
206.54/206.63	c 4249226        67887016       314650500      461182366      0              0              46   137   116 
226.34/226.48	c 4674211        74868191       345598348      503915472      0              0              33   135   118 
246.24/246.37	c 5141694        81671172       376073542      550314870      0              0              56   137   119 
271.53/271.61	c 5655925        90126835       414733784      608191168      0              0              48   137   120 
299.63/299.72	c 6221579        99305908       457465131      669554044      0              0              29   137   114 
333.22/333.34	c 6843798        109129329      507760867      745429285      0              0              44   137   113 
365.62/365.79	c 7528238        119855142      557381336      820316770      0              0              37   137   117 
400.51/400.69	c 8281122        131335599      610837057      900826055      0              0              48   137   116 
440.10/440.29	c 9109294        144590270      670405800      990279941      0              0              35   137   114 
484.40/484.54	c 10020283       158987683      738463238      1092405872     0              0              37   137   116 
526.29/526.41	c 11022370       173804835      802887872      1189813636     0              0              51   137   119 
575.68/575.83	c 12124665       191679833      879758641      1300189502     0              0              38   137   121 
631.88/632.07	c 13337189       209895077      964184421      1430218212     0              0              47   137   114 
697.27/697.45	c 14670965       230707809      1062884371     1578837194     0              0              36   137   114 
773.06/773.23	c 16138118       255757633      1179620170     1745680806     0              0              35   137   118 
852.74/852.96	c 17751986       282440687      1302390132     1919730084     0              0              35   137   117 
944.95/945.13	c 19527240       309915904      1440033468     2135616710     0              0              30   137   113 
1044.93/1045.11	c 21480019       342065617      1592896525     2359825967     0              0              35   137   117 
1153.50/1153.70	c 23628075       375740186      1756573122     2616506090     0              0              34   137   114 
1270.49/1270.77	c 25990936       413796277      1934544686     2879510167     0              0              36   137   115 
1400.79/1401.05	c 28590083       455625098      2132839070     3173731800     0              0              34   137   116 
1538.07/1538.39	c 31449144       499870392      2340143021     3490327738     0              0              23   137   115 
1679.36/1679.67	c 34594111       546476343      2556343341     3814509352     0              0              27   137   118 
1850.35/1850.68	c 38053574       600510650      2816406992     4202967991     0              0              32   137   116 
2025.63/2025.97	c 41858983       657119857      3083508119     4586092776     0              0              38   137   115 
2230.42/2230.77	c 46044932       719971157      3394617808     5062087789     0              0              35   137   115 
2446.90/2447.26	c 50649475       791118991      3725370015     5548872210     1              0              18   137   116 
2519.70/2520.00	
2519.70/2520.00	c *** INTERRUPTED ***
2519.70/2520.00	c restarts              : 114         
2519.70/2520.00	c conflicts             : 52122343     (20686 /sec)
2519.70/2520.00	c decisions             : 813539879    (322872 /sec)
2519.70/2520.00	c propagations          : 5717033755  (2268939 /sec)
2519.70/2520.00	c root propagations     : 0           
2519.70/2520.00	c filter calls          : 3835189205     (1522085 /sec)
2519.70/2520.00	c useless filter calls  : 2909125849     (75 %)
2519.70/2520.00	c Memory used           : 26.85 MB
2519.70/2520.00	c CPU time              : 2519.69 s
2519.70/2520.00	c real time             : 2520 s
2519.70/2520.00	
2519.70/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 (15171 MiB free)
  memory of node 1: 16384 MiB (15589 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407966-1569805885/watcher-4407966-1569805885 -o /tmp/evaluation-result-4407966-1569805885/solver-4407966-1569805885 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1569783667-9930 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407966-1569805885.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
Current StackSize limit: 8192 KiB

solver pid=13522, runsolver pid=13519

[startup+0.100111 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 13523
/proc/meminfo: memFree=31498700/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=3956 CPUtime=0.1 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 1175 0 0 0 10 0 0 0 20 0 1 0 556843540 28151808 989 33554432000 4194304 6211132 140720440720688 140720440718648 5186344 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 989 868 493 0 178 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3956 KiB

[startup+0.209594 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 13523
/proc/meminfo: memFree=31498700/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=3956 CPUtime=0.21 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 1175 0 0 0 21 0 0 0 20 0 1 0 556843540 28151808 989 33554432000 4194304 6211132 140720440720688 140720440718648 5156912 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 989 868 493 0 178 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3956 KiB

[startup+0.308925 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 13523
/proc/meminfo: memFree=31498700/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=3956 CPUtime=0.31 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 1175 0 0 0 31 0 0 0 20 0 1 0 556843540 28151808 989 33554432000 4194304 6211132 140720440720688 140720440718648 5156264 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 989 868 493 0 178 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3956 KiB

[startup+0.700226 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13523
/proc/meminfo: memFree=31498700/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=3956 CPUtime=0.69 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 1175 0 0 0 69 0 0 0 20 0 1 0 556843540 28151808 989 33554432000 4194304 6211132 140720440720688 140720440718648 5158052 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 989 868 493 0 178 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3956 KiB

[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13523
/proc/meminfo: memFree=31498700/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=3956 CPUtime=1.49 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 1175 0 0 0 149 0 0 0 20 0 1 0 556843540 28151808 989 33554432000 4194304 6211132 140720440720688 140720440718648 5155377 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 989 868 493 0 178 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3956 KiB

[startup+3.10912 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13523
/proc/meminfo: memFree=31499200/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=3.1 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 1253 0 0 0 310 0 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5389998 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13524
/proc/meminfo: memFree=31499052/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=6.29 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 1331 0 0 0 629 0 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5392056 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 13524
/proc/meminfo: memFree=31498976/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=12.69 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 1409 0 0 0 1269 0 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5409485 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 13524
/proc/meminfo: memFree=31498820/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=25.48 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 1565 0 0 0 2548 0 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5390151 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13534
/proc/meminfo: memFree=31496340/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=51.08 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 1643 0 0 0 5108 0 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5404029 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13538
/proc/meminfo: memFree=31495364/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=102.26 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 1721 0 0 0 10226 0 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5155844 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13542
/proc/meminfo: memFree=31495904/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=162.25 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 1799 0 0 0 16225 0 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5158083 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13546
/proc/meminfo: memFree=31496008/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=222.24 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 1877 0 0 0 22224 0 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5409438 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13552
/proc/meminfo: memFree=31495312/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=282.23 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 1955 0 0 0 28223 0 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5155352 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13556
/proc/meminfo: memFree=31496476/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=342.22 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 2033 0 0 0 34222 0 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5009195 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 13560
/proc/meminfo: memFree=31496428/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=402.21 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 2111 0 0 0 40221 0 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5156901 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 13566
/proc/meminfo: memFree=31495500/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=462.2 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 2189 0 0 0 46220 0 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB


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

/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 1722.06 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 13686
/proc/meminfo: memFree=31496164/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=1782.05 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 3788 0 0 0 178204 1 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5155711 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 1782.05 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 13690
/proc/meminfo: memFree=31496732/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=1842.05 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 3853 0 0 0 184204 1 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5157568 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 1842.05 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 13705
/proc/meminfo: memFree=31495548/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=1902.05 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 3931 0 0 0 190204 1 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 1902.05 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 13709
/proc/meminfo: memFree=31495884/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=1962.04 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 3996 0 0 0 196203 1 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5156256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 1962.04 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 13713
/proc/meminfo: memFree=31495508/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=2022.03 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 4061 0 0 0 202202 1 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5155866 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 2022.03 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 13719
/proc/meminfo: memFree=31495808/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=2082.03 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 4139 0 0 0 208202 1 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5250490 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 2082.03 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 13723
/proc/meminfo: memFree=31496288/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=2142.02 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 4204 0 0 0 214201 1 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5156165 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 2142.02 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 13727
/proc/meminfo: memFree=31495364/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=2202.02 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 4269 0 0 0 220201 1 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5156523 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 2202.02 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 13733
/proc/meminfo: memFree=31495624/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=2262.01 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 4347 0 0 0 226200 1 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5155365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 2262.01 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 13737
/proc/meminfo: memFree=31496504/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=2322.01 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 4412 0 0 0 232200 1 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5156272 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 2322.01 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 13741
/proc/meminfo: memFree=31496272/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=2382.01 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 4477 0 0 0 238200 1 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5250482 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 2382.01 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 13747
/proc/meminfo: memFree=31495684/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=2442 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 4542 0 0 0 244199 1 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5409489 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 2442 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 13819
/proc/meminfo: memFree=31441676/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=2501.99 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 4620 0 0 0 250198 1 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5155377 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 2501.99 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 13822
/proc/meminfo: memFree=31441976/32770624 swapFree=66954412/67108860
[pid=13522] ppid=13519 vsize=27492 memory=4052 CPUtime=2519.7 cores=0,2,4,6
/proc/13522/stat : 13522 (cosoco) R 13519 13522 9899 0 -1 4202496 4685 0 0 0 251969 1 0 0 20 0 1 0 556843540 28151808 1013 33554432000 4194304 6211132 140720440720688 140720440718648 5155992 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23265280 140720440726539 140720440726641 140720440726641 140720440729550 0
/proc/13522/statm: 6873 1013 873 493 0 178 0
Current children cumulated CPU time: 2519.7 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4052 KiB

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.69
system time used= 0.019997
maximum resident set size= 4116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4734
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= 2236


# summary of solver processes directly reported to runsolver:
#   pid: 13522
#   total CPU time (s): 2519.71
#   total CPU user time (s): 2519.69
#   total CPU system time (s): 0.019997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.66855 second user time and 16.9389 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-30 02:09:19
IDJOB=4407966
IDBENCH=135575
IDSOLVER=2874
FILE ID=node107/4407966-1569805885
RUNJOBID= node107-1569783667-9930
PBS_JOBID= 21705836
Free space on /tmp= 62028 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-4407966-1569805885/watcher-4407966-1569805885 -o /tmp/evaluation-result-4407966-1569805885/solver-4407966-1569805885 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1569783667-9930 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4407966-1569805885.xml

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

MD5SUM BENCH= 4075ec57c143d98d1900f8e9a33246e5
RANDOM SEED=2039568997

node107.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        31499888 kB
MemAvailable:   31832024 kB
Buffers:          189048 kB
Cached:           478348 kB
SwapCached:        48108 kB
Active:           354800 kB
Inactive:         364800 kB
Active(anon):      17760 kB
Inactive(anon):   112432 kB
Active(file):     337040 kB
Inactive(file):   252368 kB
Unevictable:      109672 kB
Mlocked:          109672 kB
SwapTotal:      67108860 kB
SwapFree:       66954412 kB
Dirty:              2736 kB
Writeback:             0 kB
AnonPages:        115120 kB
Mapped:            28252 kB
Shmem:             69360 kB
Slab:             145924 kB
SReclaimable:     117124 kB
SUnreclaim:        28800 kB
KernelStack:        3520 kB
PageTables:         5988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     561692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62024 MiB
End job on node107 at 2019-09-30 02:51:19