Trace number 4408131

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0? (TO) 2520.05 2519.8

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-fpga/
Pb-chnl10-15.xml
MD5SUM0275487dddce0dcf34d0f76368ca0063
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 benchmark62.4225
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints50
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":300}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":300}]
Minimum constraint arity10
Maximum constraint arity15
Distribution of constraint arities[{"arity":10,"count":30},{"arity":15,"count":20}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":50}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 0           
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 2.00 --  
0.00/0.01	c
0.00/0.01	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408131-1569803737.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 300
0.00/0.01	c |            Domain Sizes: 2..2
0.00/0.01	c |
0.00/0.01	c |             Constraints: 50
0.00/0.01	c |                   Arity: 10..15
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          Sum: 50
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 101            1280           6384           9061           0              0              110   138   122
0.00/0.02	c 211            2825           13317          19714          0              0              96   125   110 
0.00/0.02	c 332            4401           21013          31059          0              0              99   128   116 
0.00/0.03	c 465            6381           30842          44806          0              0              76   109   96  
0.00/0.04	c 611            8468           39307          55712          0              0              93   133   113 
0.00/0.05	c 771            10686          49481          71341          0              0              95   137   115 
0.00/0.06	c 947            13704          65681          96874          0              0              68   120   92  
0.00/0.07	c 1140           16568          77245          111861         0              0              101   127   117
0.00/0.08	c 1352           19989          91850          132605         0              0              61   134   108 
0.00/0.10	c 1585           23507          106505         152546         0              0              72   133   113 
0.10/0.11	c 1841           27924          125488         182492         0              0              79   130   117 
0.10/0.13	c 2122           32794          145020         211491         0              0              82   135   116 
0.10/0.15	c 2431           38668          170268         247236         0              0              83   131   108 
0.10/0.16	c 2770           43409          190748         275449         0              0              88   137   125 
0.10/0.19	c 3142           50167          218174         316326         0              0              68   122   105 
0.10/0.21	c 3551           55699          242484         350719         0              0              85   137   118 
0.21/0.24	c 4000           63411          277401         400969         0              0              67   128   108 
0.21/0.26	c 4493           70092          304735         438891         0              0              65   137   124 
0.21/0.29	c 5035           79748          345568         495517         0              0              76   129   112 
0.31/0.32	c 5631           87262          376918         537003         0              0              107   137   129
0.31/0.36	c 6286           98161          426900         607598         0              0              68   127   111 
0.31/0.40	c 7006           111059         483509         687551         0              0              71   135   113 
0.41/0.45	c 7798           123999         541226         777301         0              0              75   137   120 
0.41/0.50	c 8669           138503         604620         871081         0              0              82   135   116 
0.51/0.56	c 9627           152781         672850         979878         0              0              73   130   111 
0.60/0.63	c 10680          175756         768005         1108783        0              0              53   137   114 
0.69/0.70	c 11838          193805         843432         1219840        0              0              77   137   116 
0.69/0.76	c 13111          210933         920825         1338177        0              0              81   137   114 
0.79/0.85	c 14511          235862         1029801        1498446        0              0              67   134   113 
0.89/0.95	c 16051          262795         1151024        1663767        0              0              68   135   118 
1.00/1.05	c 17745          291665         1280488        1848362        0              0              63   137   112 
1.10/1.16	c 19608          321785         1409892        2041648        0              0              70   137   113 
1.19/1.27	c 21657          354660         1549537        2247326        0              0              82   135   122 
1.29/1.39	c 23910          384982         1692394        2477943        0              0              86   137   114 
1.49/1.54	c 26388          429388         1877797        2750250        0              0              68   137   116 
1.59/1.68	c 29113          469729         2061912        3013996        0              0              70   137   123 
1.79/1.86	c 32110          520287         2280151        3351701        0              0              81   131   115 
2.00/2.05	c 35406          574821         2512135        3685368        0              0              55   137   116 
2.19/2.28	c 39031          637909         2792860        4100946        0              0              68   137   113 
2.49/2.53	c 43018          699493         3112281        4591935        0              0              75   137   113 
2.69/2.76	c 47403          765682         3400451        5017242        0              0              78   137   114 
3.00/3.03	c 52226          841413         3728451        5510319        0              0              63   134   112 
3.29/3.36	c 57531          930386         4136040        6095768        0              0              50   137   115 
3.69/3.73	c 63366          1027726        4607214        6762844        0              0              66   137   111 
4.10/4.14	c 69784          1131923        5119838        7522658        0              0              64   136   113 
4.49/4.55	c 76843          1247688        5622211        8242327        0              0              79   137   118 
4.89/4.95	c 84607          1363768        6118762        8990327        0              0              70   134   118 
5.39/5.43	c 93147          1501078        6713761        9891263        0              0              70   135   115 
5.89/5.95	c 102541         1644989        7335398        10800949       0              0              62   137   114 
6.49/6.58	c 112874         1819969        8115656        11924165       0              0              59   137   114 
7.19/7.24	c 124240         1999803        8926383        13145000       0              0              53   137   115 
7.89/7.92	c 136742         2193016        9765507        14404261       0              0              67   137   116 
8.59/8.62	c 150494         2383694        10636798       15795245       0              0              58   137   118 
9.49/9.52	c 165621         2627489        11756501       17531936       0              0              66   137   117 
10.49/10.52	c 182260         2883050        13017861       19488057       0              0              59   137   116 
11.49/11.58	c 200562         3163770        14318832       21644664       0              0              55   135   115 
12.69/12.77	c 220694         3476645        15810976       23962035       0              0              45   137   115 
14.00/14.07	c 242839         3842436        17411607       26257624       0              0              51   135   118 
15.29/15.38	c 267198         4205102        19070435       28806054       0              0              61   137   121 
16.69/16.73	c 293992         4572307        20740524       31500669       0              0              65   137   118 
18.49/18.50	c 323465         5048392        22944188       34942884       0              0              63   137   116 
20.39/20.41	c 355885         5550226        25312123       38596267       0              0              42   137   113 
22.59/22.66	c 391547         6127146        28126494       42926341       0              0              47   135   114 
24.79/24.83	c 430775         6733251        30860414       47024046       0              0              67   137   118 
26.89/26.91	c 473925         7314067        33429562       51043460       0              0              59   137   117 
29.59/29.69	c 521390         8147206        36838625       55918938       0              0              57   137   120 
32.00/32.04	c 573601         8792804        39775737       60566818       0              0              56   137   120 
35.29/35.37	c 631033         9749141        43843262       66751736       0              0              54   137   117 
38.49/38.56	c 694208         10619946       47807418       72926029       0              0              60   137   117 
42.70/42.79	c 763700         11769541       53121171       80573125       0              0              55   137   117 
47.40/47.50	c 840141         13077522       59021133       88882267       0              0              44   137   117 
52.40/52.40	c 924226         14355841       65113236       98232625       0              0              51   137   113 
57.80/57.80	c 1016719        15885675       71932118       107958607      0              0              54   137   119 
63.30/63.36	c 1118461        17386869       78891860       118696539      0              0              57   137   117 
70.01/70.04	c 1230377        19076432       87317881       131389792      0              0              46   137   115 
77.01/77.07	c 1353484        20988355       96125191       144538707      0              0              45   137   117 
85.01/85.06	c 1488901        23033199       106101604      160498725      0              0              57   137   114 
93.70/93.76	c 1637859        25469981       116765696      177104819      0              0              38   137   116 
103.40/103.40	c 1801712        28044852       128779855      195598512      0              0              50   137   116 
114.90/114.96	c 1981950        30972226       143106131      217086663      0              0              41   137   112 
126.80/126.81	c 2180211        34233634       157597347      235998731      0              0              35   137   113 
139.11/139.19	c 2398298        37518645       173192916      259333374      0              0              52   137   118 
152.51/152.56	c 2638193        41078741       190004326      285004743      0              0              53   137   116 
167.71/167.79	c 2902077        45142130       209044178      313701313      0              0              48   137   116 
184.12/184.17	c 3192349        49600989       229401004      343863591      0              0              43   137   117 
203.71/203.72	c 3511648        54544909       253319866      381314807      0              0              41   137   112 
223.41/223.43	c 3862876        60191550       277879353      414146790      0              0              59   137   118 
245.61/245.65	c 4249226        66229598       305515196      455790161      0              0              25   137   116 
272.02/272.10	c 4674211        72808709       338511384      506008627      0              0              38   137   113 
300.92/300.90	c 5141694        80150162       374813790      562641171      0              0              32   137   114 
332.82/332.81	c 5655925        88792826       415190311      620639712      0              0              48   137   118 
365.93/365.99	c 6221579        97854950       456695426      680345580      0              0              43   137   116 
404.93/404.97	c 6843798        108281721      506131389      751130146      0              0              45   137   118 
443.04/443.08	c 7528238        118947339      553844976      820011328      0              0              41   137   118 
484.54/484.52	c 8281122        130515529      605155498      893422563      0              0              50   137   117 
532.24/532.27	c 9109294        143567743      663979761      974547045      0              0              29   137   115 
585.65/585.66	c 10020283       157844121      731399919      1072310486     0              0              38   137   118 
643.95/643.92	c 11022370       173008338      805223925      1182567687     0              0              45   137   117 
704.07/704.03	c 12124665       188525954      880098699      1294519981     0              0              36   137   115 
775.17/775.16	c 13337189       208658407      968064330      1423141900     0              0              47   137   119 
851.18/851.16	c 14670965       229086361      1062975570     1565511148     0              0              49   137   116 
936.38/936.30	c 16138118       252731834      1168129957     1717063471     0              0              18   137   116 
1033.59/1033.55	c 17751986       277878109      1288782789     1903891828     0              0              40   137   114 
1139.30/1139.24	c 19527240       305643328      1421626475     2098292277     0              0              43   137   116 
1255.81/1255.80	c 21480019       336666914      1567095869     2314267127     0              0              44   137   118 
1385.62/1385.54	c 23628075       371898885      1729332657     2549075577     0              0              39   137   117 
1515.93/1515.85	c 25990936       408124490      1891537710     2796130606     1              0              32   137   119 
1669.75/1669.66	c 28590083       448494011      2083400288     3090113953     1              0              28   137   115 
1829.56/1829.41	c 31449144       490536358      2282783518     3381638217     1              0              26   137   116 
1993.68/1993.53	c 34594111       535272357      2488108177     3663989363     1              0              48   137   116 
2185.60/2185.46	c 38053574       587012073      2729687050     4015501353     1              0              37   137   119 
2401.33/2401.14	c 41858983       642771418      2997778449     4422147494     1              0              38   137   115 
2520.03/2519.80	
2520.03/2519.80	c *** INTERRUPTED ***
2520.03/2519.80	c restarts              : 112         
2520.03/2519.80	c conflicts             : 43958047     (17443 /sec)
2520.03/2519.80	c decisions             : 674375629    (267606 /sec)
2520.03/2519.80	c propagations          : 4649565686  (1845039 /sec)
2520.03/2519.80	c root propagations     : 0           
2520.03/2519.80	c filter calls          : 3146235522     (1248488 /sec)
2520.03/2519.80	c useless filter calls  : 2380995648     (75 %)
2520.03/2519.80	c Memory used           : 26.98 MB
2520.03/2519.80	c CPU time              : 2520.04 s
2520.03/2519.80	c real time             : 2519.8 s
2520.03/2519.80	
2520.03/2519.80	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 (12254 MiB free)
  memory of node 1: 16384 MiB (15650 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408131-1569803737/watcher-4408131-1569803737 -o /tmp/evaluation-result-4408131-1569803737/solver-4408131-1569803737 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569787355-25779 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408131-1569803737.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=29181, runsolver pid=29178

[startup+0.10013 s]*
/proc/loadavg: 1.97 2.00 2.04 3/201 29182
/proc/meminfo: memFree=28574128/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=3952 CPUtime=0.1 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 1216 0 0 0 10 0 0 0 20 0 1 0 556535163 28286976 988 33554432000 4194304 6211132 140734760138912 140734760136872 5396804 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 988 835 493 0 211 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB

[startup+0.209686 s]*
/proc/loadavg: 1.97 2.00 2.04 3/201 29182
/proc/meminfo: memFree=28573912/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4216 CPUtime=0.21 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 1217 0 0 0 21 0 0 0 20 0 1 0 556535163 28286976 1054 33554432000 4194304 6211132 140734760138912 140734760136872 5155832 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1054 873 493 0 211 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4216 KiB

[startup+0.309051 s]*
/proc/loadavg: 1.97 2.00 2.04 3/201 29182
/proc/meminfo: memFree=28573912/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4216 CPUtime=0.31 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 1217 0 0 0 31 0 0 0 20 0 1 0 556535163 28286976 1054 33554432000 4194304 6211132 140734760138912 140734760136872 5409493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1054 873 493 0 211 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4216 KiB

[startup+0.700252 s]
/proc/loadavg: 1.97 2.00 2.04 3/201 29182
/proc/meminfo: memFree=28573912/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4216 CPUtime=0.69 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 1217 0 0 0 69 0 0 0 20 0 1 0 556535163 28286976 1054 33554432000 4194304 6211132 140734760138912 140734760136872 5158121 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1054 873 493 0 211 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4216 KiB

[startup+1.50027 s]
/proc/loadavg: 1.97 2.00 2.04 3/201 29182
/proc/meminfo: memFree=28573912/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4216 CPUtime=1.49 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 1217 0 0 0 149 0 0 0 20 0 1 0 556535163 28286976 1054 33554432000 4194304 6211132 140734760138912 140734760136872 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1054 873 493 0 211 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4216 KiB

[startup+3.1091 s]
/proc/loadavg: 1.97 2.00 2.04 3/200 29182
/proc/meminfo: memFree=28573912/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4220 CPUtime=3.1 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 1331 0 0 0 310 0 0 0 20 0 1 0 556535163 28286976 1055 33554432000 4194304 6211132 140734760138912 140734760136872 5250256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1055 873 493 0 211 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+6.30027 s]
/proc/loadavg: 1.97 2.00 2.04 3/199 29182
/proc/meminfo: memFree=28573392/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4220 CPUtime=6.29 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 1446 0 0 0 629 0 0 0 20 0 1 0 556535163 28286976 1055 33554432000 4194304 6211132 140734760138912 140734760136872 5155377 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1055 873 493 0 211 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4220 KiB

[startup+12.7003 s]
/proc/loadavg: 1.98 2.00 2.04 3/199 29182
/proc/meminfo: memFree=28573692/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=12.69 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 1561 0 0 0 1269 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5389998 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+25.5003 s]
/proc/loadavg: 1.98 2.00 2.04 3/200 29184
/proc/meminfo: memFree=28573024/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=25.49 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 1789 0 0 0 2549 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5409456 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+51.1091 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 29185
/proc/meminfo: memFree=28573392/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=51.1 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 1903 0 0 0 5110 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5156288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 29189
/proc/meminfo: memFree=28573124/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=102.3 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 2017 0 0 0 10230 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5156288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+162.3 s]
/proc/loadavg: 2.10 2.03 2.05 3/199 29259
/proc/meminfo: memFree=28570612/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=162.31 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 2131 0 0 0 16231 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5008827 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/199 29263
/proc/meminfo: memFree=28572004/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=222.31 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 2245 0 0 0 22231 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5155369 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 29267
/proc/meminfo: memFree=28572200/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=282.32 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 2245 0 0 0 28232 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5157544 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29280
/proc/meminfo: memFree=28571468/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=342.32 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 2359 0 0 0 34232 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5250330 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29284
/proc/meminfo: memFree=28572072/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=402.33 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 2359 0 0 0 40233 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5009142 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29288
/proc/meminfo: memFree=28572208/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=462.34 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 2473 0 0 0 46234 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5155402 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB


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

/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 1722.45 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+1782.3 s]
/proc/loadavg: 2.35 2.13 2.08 3/202 29434
/proc/meminfo: memFree=28570640/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=1782.46 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 3700 0 0 0 178246 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5155535 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 1782.46 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+1842.3 s]
/proc/loadavg: 2.13 2.11 2.08 3/200 29438
/proc/meminfo: memFree=28571520/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=1842.47 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 3713 0 0 0 184247 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5409493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 1842.47 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+1902.3 s]
/proc/loadavg: 2.05 2.09 2.07 3/200 29442
/proc/meminfo: memFree=28570024/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=1902.47 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 3814 0 0 0 190247 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5156981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 1902.47 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+1962.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/200 29448
/proc/meminfo: memFree=28570348/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=1962.48 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 3814 0 0 0 196248 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5409485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 1962.48 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/200 29452
/proc/meminfo: memFree=28570912/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=2022.48 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 3928 0 0 0 202248 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5155377 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2022.48 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/200 29456
/proc/meminfo: memFree=28570712/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=2082.49 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 3928 0 0 0 208249 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5157220 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2082.49 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 29467
/proc/meminfo: memFree=28569388/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=2142.49 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 4029 0 0 0 214249 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5409489 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2142.49 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 29471
/proc/meminfo: memFree=28569828/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=2202.5 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 4042 0 0 0 220250 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5157195 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2202.5 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 29475
/proc/meminfo: memFree=28570340/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=2262.51 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 4143 0 0 0 226251 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5409485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2262.51 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 29481
/proc/meminfo: memFree=28570380/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=2322.51 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 4143 0 0 0 232251 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5250286 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2322.51 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 29485
/proc/meminfo: memFree=28570420/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=2382.52 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 4243 0 0 0 238252 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5157100 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2382.52 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29489
/proc/meminfo: memFree=28570804/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=2442.52 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 4257 0 0 0 244252 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5156497 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2442.52 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29556
/proc/meminfo: memFree=28571632/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=2502.53 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 4356 0 0 0 250253 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5155385 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2502.53 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29556
/proc/meminfo: memFree=28571600/32770624 swapFree=67002732/67108860
[pid=29181] ppid=29178 vsize=27624 memory=4224 CPUtime=2520.03 cores=0,2,4,6
/proc/29181/stat : 29181 (cosoco) R 29178 29181 25748 0 -1 4202496 4358 0 0 0 252003 0 0 0 20 0 1 0 556535163 28286976 1056 33554432000 4194304 6211132 140734760138912 140734760136872 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 23425024 140734760145931 140734760146033 140734760146033 140734760148942 0
/proc/29181/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

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

[startup+2519.8 s]
# the end of solver process 29181 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.04 s, system=0.01 s

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

Child status: 1
Real time (s): 2519.8
CPU time (s): 2520.05
CPU user time (s): 2520.04
CPU system time (s): 0.01
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 27624
Max. memory (cumulated for all children) (KiB): 4224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.04
system time used= 0.01
maximum resident set size= 4288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4409
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= 13
involuntary context switches= 633


# summary of solver processes directly reported to runsolver:
#   pid: 29181
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2520.04
#   total CPU system time (s): 0.01

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.2017 second user time and 16.1062 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-30 02:34:59
IDJOB=4408131
IDBENCH=134718
IDSOLVER=2874
FILE ID=node148/4408131-1569803737
RUNJOBID= node148-1569787355-25779
PBS_JOBID= 21705817
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-fpga/Pb-chnl10-15.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408131-1569803737/watcher-4408131-1569803737 -o /tmp/evaluation-result-4408131-1569803737/solver-4408131-1569803737 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569787355-25779 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408131-1569803737.xml

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

MD5SUM BENCH= 0275487dddce0dcf34d0f76368ca0063
RANDOM SEED=1668370261

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
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.13
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.13
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.13
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:        28574472 kB
MemAvailable:   31872504 kB
Buffers:          165436 kB
Cached:          3470756 kB
SwapCached:         3492 kB
Active:          2240336 kB
Inactive:        1402128 kB
Active(anon):      19528 kB
Inactive(anon):    67036 kB
Active(file):    2220808 kB
Inactive(file):  1335092 kB
Unevictable:      110976 kB
Mlocked:          110976 kB
SwapTotal:      67108860 kB
SwapFree:       67002732 kB
Dirty:              2784 kB
Writeback:             0 kB
AnonPages:        114540 kB
Mapped:            27424 kB
Shmem:             71796 kB
Slab:             145200 kB
SReclaimable:     115932 kB
SUnreclaim:        29268 kB
KernelStack:        3552 kB
PageTables:         5408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     569520 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:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62024 MiB
End job on node148 at 2019-09-30 03:16:59