Trace number 4389426

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? (TO) 2519.83 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-4389426-1568353472.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.08	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.15	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.22	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.32	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.40	c 8669           138845         610180         858931         0              0              71   131   114 
0.41/0.45	c 9627           155177         680712         948891         0              0              61   135   102 
0.41/0.50	c 10680          172170         763102         1072153        0              0              84   137   123 
0.51/0.56	c 11838          191447         845939         1185007        0              0              77   129   111 
0.60/0.62	c 13111          213385         944936         1311332        0              0              69   136   115 
0.60/0.70	c 14511          234947         1053160        1466158        0              0              65   134   107 
0.69/0.77	c 16051          260778         1177362        1651847        0              0              70   131   114 
0.79/0.85	c 17745          288330         1299207        1828857        0              0              75   137   115 
0.89/0.94	c 19608          317888         1423014        2002476        0              0              56   131   112 
1.00/1.03	c 21657          348286         1566578        2212456        0              0              80   137   118 
1.10/1.15	c 23910          387465         1746032        2501444        0              0              70   135   115 
1.19/1.27	c 26388          428133         1922841        2772924        0              0              67   135   115 
1.29/1.38	c 29113          463835         2084078        3041469        0              0              59   137   109 
1.49/1.53	c 32110          520711         2309506        3353300        0              0              59   137   115 
1.59/1.69	c 35406          573594         2550688        3719596        0              0              66   137   114 
1.79/1.86	c 39031          637108         2818734        4125676        0              0              70   136   114 
2.00/2.07	c 43018          706668         3143814        4623914        0              0              67   137   115 
2.19/2.28	c 47403          778357         3469963        5124267        0              0              74   137   119 
2.49/2.50	c 52226          854683         3797248        5613098        0              0              63   137   117 
2.69/2.74	c 57531          939473         4159250        6181871        0              0              70   135   117 
3.00/3.00	c 63366          1035066        4567332        6820376        0              0              57   135   115 
3.29/3.33	c 69784          1147209        5055041        7569425        0              0              68   135   115 
3.59/3.64	c 76843          1256006        5524356        8266486        0              0              57   137   113 
4.00/4.01	c 84607          1385156        6101135        9135899        0              0              72   136   116 
4.29/4.39	c 93147          1517058        6672477        10025803       0              0              71   137   118 
4.79/4.86	c 102541         1667611        7388163        11162291       0              0              69   137   115 
5.39/5.40	c 112874         1851655        8216201        12453680       0              0              70   137   118 
5.79/5.86	c 124240         2004608        8911631        13573748       0              0              74   137   116 
6.39/6.41	c 136742         2192936        9770616        14893834       0              0              77   137   120 
7.00/7.04	c 150494         2403217        10724639       16408072       0              0              59   135   117 
7.69/7.76	c 165621         2660034        11847941       18077097       0              0              63   137   117 
8.39/8.47	c 182260         2910482        12927980       19760921       0              0              72   135   118 
9.19/9.27	c 200562         3188625        14171745       21667966       0              0              63   137   120 
10.19/10.24	c 220694         3504223        15652023       23972340       0              0              62   137   116 
11.29/11.34	c 242839         3870003        17358400       26557779       0              0              59   137   119 
12.29/12.36	c 267198         4234137        18916985       29016268       0              0              57   135   119 
13.59/13.67	c 293992         4658686        20936935       32139395       0              0              63   137   118 
14.79/14.80	c 323465         5046025        22661425       34984881       0              0              65   137   117 
16.29/16.33	c 355885         5587324        25014766       38519454       0              0              59   137   119 
17.69/17.76	c 391547         6057594        27203551       42052226       0              0              71   137   116 
19.49/19.58	c 430775         6669111        29994015       46390850       0              0              63   137   118 
21.49/21.56	c 473925         7319643        33038748       51095209       0              0              59   137   116 
23.79/23.82	c 521390         8117267        36420104       56291213       0              0              34   137   114 
26.19/26.28	c 573601         8969952        40188161       62032693       0              0              44   137   116 
29.00/29.10	c 631033         9946604        44417181       68164033       0              0              46   137   112 
32.19/32.22	c 694208         11047601       49283545       75220870       0              0              56   137   120 
35.10/35.15	c 763700         12068556       53805338       82189685       0              0              62   137   119 
38.49/38.58	c 840141         13223401       59021017       90208406       0              0              50   137   116 
42.79/42.80	c 924226         14582401       65480246       100537137      0              0              54   135   114 
47.19/47.29	c 1016719        16121514       72457052       110726071      0              0              43   135   121 
51.59/51.61	c 1118461        17613857       79097305       121279230      0              0              45   137   118 
56.69/56.78	c 1230377        19416207       87021709       132723116      0              0              60   137   116 
62.69/62.78	c 1353484        21434558       96297290       146000155      0              0              55   137   114 
69.49/69.52	c 1488901        23601947       106600944      162007312      0              0              51   137   115 
76.39/76.49	c 1637859        25884147       117306489      178272489      0              0              54   137   116 
84.59/84.65	c 1801712        28536461       129646165      196653551      0              0              52   137   113 
92.99/93.08	c 1981950        31403351       142640282      216623460      0              0              58   137   116 
102.58/102.65	c 2180211        34588410       157635870      238144852      0              0              57   137   119 
113.78/113.88	c 2398298        38030389       174773320      262571688      0              0              44   137   111 
125.88/125.97	c 2638193        42199118       193322290      287627046      0              0              50   137   116 
139.88/139.95	c 2902077        46795255       214649941      317822245      0              0              49   137   115 
153.58/153.63	c 3192349        51380004       235458191      344905584      0              0              39   137   111 
168.58/168.63	c 3511648        56345042       258944272      378717293      0              0              59   137   122 
185.18/185.20	c 3862876        61408653       284351927      418386142      0              0              39   137   114 
204.78/204.89	c 4249226        67887016       314650500      461182366      0              0              46   137   116 
224.58/224.63	c 4674211        74868191       345598348      503915472      0              0              33   135   118 
244.27/244.39	c 5141694        81671172       376073542      550314870      0              0              56   137   119 
269.37/269.46	c 5655925        90126835       414733784      608191168      0              0              48   137   120 
297.37/297.41	c 6221579        99305908       457465131      669554044      0              0              29   137   114 
330.77/330.84	c 6843798        109129329      507760867      745429285      0              0              44   137   113 
362.97/363.08	c 7528238        119855142      557381336      820316770      0              0              37   137   117 
397.66/397.77	c 8281122        131335599      610837057      900826055      0              0              48   137   116 
437.07/437.13	c 9109294        144590270      670405800      990279941      0              0              35   137   114 
480.97/481.06	c 10020283       158987683      738463238      1092405872     0              0              37   137   116 
522.56/522.64	c 11022370       173804835      802887872      1189813636     0              0              51   137   119 
571.65/571.78	c 12124665       191679833      879758641      1300189502     0              0              38   137   121 
627.55/627.69	c 13337189       209895077      964184421      1430218212     0              0              47   137   114 
692.55/692.70	c 14670965       230707809      1062884371     1578837194     0              0              36   137   114 
767.84/767.98	c 16138118       255757633      1179620170     1745680806     0              0              35   137   118 
847.14/847.23	c 17751986       282440687      1302390132     1919730084     0              0              35   137   117 
938.73/938.86	c 19527240       309915904      1440033468     2135616710     0              0              30   137   113 
1038.12/1038.26	c 21480019       342065617      1592896525     2359825967     0              0              35   137   117 
1146.12/1146.20	c 23628075       375740186      1756573122     2616506090     0              0              34   137   114 
1262.51/1262.62	c 25990936       413796277      1934544686     2879510167     0              0              36   137   115 
1392.01/1392.17	c 28590083       455625098      2132839070     3173731800     0              0              34   137   116 
1528.49/1528.64	c 31449144       499870392      2340143021     3490327738     0              0              23   137   115 
1668.88/1669.03	c 34594111       546476343      2556343341     3814509352     0              0              27   137   118 
1838.76/1838.93	c 38053574       600510650      2816406992     4202967991     0              0              32   137   116 
2013.15/2013.34	c 41858983       657119857      3083508119     4586092776     0              0              38   137   115 
2216.73/2216.98	c 46044932       719971157      3394617808     5062087789     0              0              35   137   115 
2432.02/2432.27	c 50649475       791118991      3725370015     5548872210     1              0              18   137   116 
2519.82/2520.00	
2519.82/2520.00	c *** INTERRUPTED ***
2519.82/2520.00	c restarts              : 114         
2519.82/2520.00	c conflicts             : 52441299     (20812 /sec)
2519.82/2520.00	c decisions             : 818310342    (324749 /sec)
2519.82/2520.00	c propagations          : 5752955811  (2283079 /sec)
2519.82/2520.00	c root propagations     : 0           
2519.82/2520.00	c filter calls          : 3858654564     (1531320 /sec)
2519.82/2520.00	c useless filter calls  : 2926594688     (75 %)
2519.82/2520.00	c Memory used           : 26.85 MB
2519.82/2520.00	c CPU time              : 2519.82 s
2519.82/2520.00	c real time             : 2520 s
2519.82/2520.00	
2519.82/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 (14793 MiB free)
  memory of node 1: 16384 MiB (15288 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389426-1568353472/watcher-4389426-1568353472 -o /tmp/evaluation-result-4389426-1568353472/solver-4389426-1568353472 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568347274-994 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389426-1568353472.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=1394, runsolver pid=1391

[startup+0.100147 s]*
/proc/loadavg: 2.01 2.03 1.97 3/200 1395
/proc/meminfo: memFree=30802640/32770624 swapFree=66996800/67108860
[pid=1394] ppid=1391 vsize=27492 memory=3952 CPUtime=0.1 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 1172 0 0 0 10 0 0 0 20 0 1 0 411601873 28151808 988 33554432000 4194304 6210612 140735318286128 140735318282664 5156501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 988 866 493 0 178 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3952 KiB

[startup+0.209365 s]*
/proc/loadavg: 2.01 2.03 1.97 3/200 1395
/proc/meminfo: memFree=30802640/32770624 swapFree=66996800/67108860
[pid=1394] ppid=1391 vsize=27492 memory=3952 CPUtime=0.21 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 1172 0 0 0 21 0 0 0 20 0 1 0 411601873 28151808 988 33554432000 4194304 6210612 140735318286128 140735318282664 5380167 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 988 866 493 0 178 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3952 KiB

[startup+0.308905 s]*
/proc/loadavg: 2.01 2.03 1.97 3/200 1395
/proc/meminfo: memFree=30802640/32770624 swapFree=66996800/67108860
[pid=1394] ppid=1391 vsize=27492 memory=3952 CPUtime=0.31 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 1172 0 0 0 31 0 0 0 20 0 1 0 411601873 28151808 988 33554432000 4194304 6210612 140735318286128 140735318282664 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 988 866 493 0 178 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3952 KiB

[startup+0.700271 s]
/proc/loadavg: 2.01 2.03 1.97 3/200 1395
/proc/meminfo: memFree=30802640/32770624 swapFree=66996800/67108860
[pid=1394] ppid=1391 vsize=27492 memory=3952 CPUtime=0.69 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 1172 0 0 0 69 0 0 0 20 0 1 0 411601873 28151808 988 33554432000 4194304 6210612 140735318286128 140735318282664 140038819097696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 988 866 493 0 178 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3952 KiB

[startup+1.50028 s]
/proc/loadavg: 2.01 2.03 1.97 3/200 1395
/proc/meminfo: memFree=30802216/32770624 swapFree=66996800/67108860
[pid=1394] ppid=1391 vsize=27492 memory=3952 CPUtime=1.49 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 1172 0 0 0 149 0 0 0 20 0 1 0 411601873 28151808 988 33554432000 4194304 6210612 140735318286128 140735318284088 5155157 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 988 866 493 0 178 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3952 KiB

[startup+3.10905 s]
/proc/loadavg: 2.01 2.03 1.97 3/200 1395
/proc/meminfo: memFree=30802264/32770624 swapFree=66996800/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=3.1 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 1250 0 0 0 310 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5409236 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+6.30026 s]
/proc/loadavg: 1.85 1.99 1.96 3/200 1395
/proc/meminfo: memFree=30802328/32770624 swapFree=66996800/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=6.29 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 1328 0 0 0 629 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5155352 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+12.7003 s]
/proc/loadavg: 1.86 1.99 1.96 3/200 1395
/proc/meminfo: memFree=30802360/32770624 swapFree=66996800/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=12.69 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 1406 0 0 0 1269 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5156084 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+25.5003 s]
/proc/loadavg: 1.89 1.99 1.96 3/200 1397
/proc/meminfo: memFree=30802184/32770624 swapFree=66996800/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=25.49 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 1562 0 0 0 2549 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5155155 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+51.1091 s]
/proc/loadavg: 1.93 1.99 1.96 3/200 1398
/proc/meminfo: memFree=30802152/32770624 swapFree=66996800/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=51.1 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 1640 0 0 0 5110 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5157152 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 1.99 1.96 3/200 1401
/proc/meminfo: memFree=30801972/32770624 swapFree=66996800/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=102.28 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 1718 0 0 0 10228 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.96 3/199 1407
/proc/meminfo: memFree=30801732/32770624 swapFree=66996800/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=162.28 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 1796 0 0 0 16228 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5157625 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/198 1411
/proc/meminfo: memFree=30801744/32770624 swapFree=66996800/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=222.28 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 1874 0 0 0 22228 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5409297 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/198 1415
/proc/meminfo: memFree=30801768/32770624 swapFree=66996800/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=282.27 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 1952 0 0 0 28227 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5156072 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+342.3 s]
/proc/loadavg: 2.06 2.01 1.97 3/198 1421
/proc/meminfo: memFree=30801740/32770624 swapFree=66996800/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=342.27 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 2030 0 0 0 34227 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5249727 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/198 1425
/proc/meminfo: memFree=30801992/32770624 swapFree=66996800/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=402.26 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 2108 0 0 0 40226 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5249890 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/200 1438
/proc/meminfo: memFree=30801212/32770624 swapFree=66996804/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=462.26 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 2186 0 0 0 46226 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5155888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB


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

/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.02 3/198 1643
/proc/meminfo: memFree=30799812/32770624 swapFree=66996820/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=1782.17 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 3785 0 0 0 178217 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5154969 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/198 1647
/proc/meminfo: memFree=30800156/32770624 swapFree=66996820/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=1842.16 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 3863 0 0 0 184216 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5008622 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/198 1652
/proc/meminfo: memFree=30800104/32770624 swapFree=66996820/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=1902.16 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 3928 0 0 0 190216 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/198 1658
/proc/meminfo: memFree=30800204/32770624 swapFree=66996820/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=1962.15 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 3993 0 0 0 196215 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5380096 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/198 1662
/proc/meminfo: memFree=30800692/32770624 swapFree=66996820/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=2022.15 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 4071 0 0 0 202215 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5155576 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/198 1666
/proc/meminfo: memFree=30801024/32770624 swapFree=66996820/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=2082.14 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 4136 0 0 0 208214 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5155856 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/198 1672
/proc/meminfo: memFree=30800592/32770624 swapFree=66996820/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=2142.14 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 4201 0 0 0 214214 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5396090 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 2142.14 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/198 1676
/proc/meminfo: memFree=30800768/32770624 swapFree=66996820/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=2202.13 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 4266 0 0 0 220213 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5389663 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 1688
/proc/meminfo: memFree=30799824/32770624 swapFree=66996832/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=2262.13 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 4344 0 0 0 226213 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5155311 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 2262.13 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.02 3/199 1694
/proc/meminfo: memFree=30799816/32770624 swapFree=66996832/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=2322.12 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 4409 0 0 0 232212 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5155484 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/199 1698
/proc/meminfo: memFree=30800032/32770624 swapFree=66996832/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=2382.12 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 4474 0 0 0 238212 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5155592 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/199 1702
/proc/meminfo: memFree=30799972/32770624 swapFree=66996832/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=2442.11 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 4552 0 0 0 244211 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5249890 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/199 1708
/proc/meminfo: memFree=30799388/32770624 swapFree=66996832/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=2502.11 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 4617 0 0 0 250211 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5409712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 2502.11 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.02 3/198 1710
/proc/meminfo: memFree=30799372/32770624 swapFree=66996836/67108860
[pid=1394] ppid=1391 vsize=27492 memory=4040 CPUtime=2519.82 cores=0,2,4,6
/proc/1394/stat : 1394 (cosoco) R 1391 1394 963 0 -1 4202496 4682 0 0 0 251982 0 0 0 20 0 1 0 411601873 28151808 1010 33554432000 4194304 6210612 140735318286128 140735318284088 5154977 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 16322560 140735318291467 140735318291569 140735318291569 140735318294478 0
/proc/1394/statm: 6873 1010 870 493 0 178 0
Current children cumulated CPU time: 2519.82 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4040 KiB

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.82
system time used= 0.009999
maximum resident set size= 4108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4732
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= 3193


# summary of solver processes directly reported to runsolver:
#   pid: 1394
#   total CPU time (s): 2519.83
#   total CPU user time (s): 2519.82
#   total CPU system time (s): 0.009999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.40765 second user time and 16.5514 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-13 06:43:15
IDJOB=4389426
IDBENCH=135575
IDSOLVER=2829
FILE ID=node106/4389426-1568353472
RUNJOBID= node106-1568347274-994
PBS_JOBID= 21701175
Free space on /tmp= 56732 MiB

SOLVER NAME= cosoco 2
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-4389426-1568353472/watcher-4389426-1568353472 -o /tmp/evaluation-result-4389426-1568353472/solver-4389426-1568353472 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568347274-994 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389426-1568353472.xml

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

MD5SUM BENCH= 4075ec57c143d98d1900f8e9a33246e5
RANDOM SEED=641055778

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
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:        30803572 kB
MemAvailable:   31900812 kB
Buffers:          145044 kB
Cached:          1231116 kB
SwapCached:         9892 kB
Active:           357716 kB
Inactive:        1033956 kB
Active(anon):      14824 kB
Inactive(anon):    33812 kB
Active(file):     342892 kB
Inactive(file):  1000144 kB
Unevictable:      107532 kB
Mlocked:          107532 kB
SwapTotal:      67108860 kB
SwapFree:       66996800 kB
Dirty:              2632 kB
Writeback:             0 kB
AnonPages:        113740 kB
Mapped:            38340 kB
Shmem:             24424 kB
Slab:             169760 kB
SReclaimable:     140080 kB
SUnreclaim:        29680 kB
KernelStack:        3504 kB
PageTables:         5460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     519756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 56728 MiB
End job on node106 at 2019-09-13 07:25:15