Trace number 4389591

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) 2520.11 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-4389591-1568349869.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.02	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.03	c 332            4401           21013          31059          0              0              99   128   116 
0.00/0.04	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.09	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.17	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.55	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.60/0.69	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.84	c 14511          235862         1029801        1498446        0              0              67   134   113 
0.89/0.94	c 16051          262795         1151024        1663767        0              0              68   135   118 
1.00/1.04	c 17745          291665         1280488        1848362        0              0              63   137   112 
1.10/1.15	c 19608          321785         1409892        2041648        0              0              70   137   113 
1.19/1.26	c 21657          354660         1549537        2247326        0              0              82   135   122 
1.29/1.37	c 23910          384982         1692394        2477943        0              0              86   137   114 
1.49/1.52	c 26388          429388         1877797        2750250        0              0              68   137   116 
1.59/1.66	c 29113          469729         2061912        3013996        0              0              70   137   123 
1.79/1.84	c 32110          520287         2280151        3351701        0              0              81   131   115 
2.00/2.03	c 35406          574821         2512135        3685368        0              0              55   137   116 
2.19/2.25	c 39031          637909         2792860        4100946        0              0              68   137   113 
2.49/2.50	c 43018          699493         3112281        4591935        0              0              75   137   113 
2.69/2.73	c 47403          765682         3400451        5017242        0              0              78   137   114 
2.89/3.00	c 52226          841413         3728451        5510319        0              0              63   134   112 
3.29/3.33	c 57531          930386         4136040        6095768        0              0              50   137   115 
3.69/3.70	c 63366          1027726        4607214        6762844        0              0              66   137   111 
4.00/4.10	c 69784          1131923        5119838        7522658        0              0              64   136   113 
4.49/4.50	c 76843          1247688        5622211        8242327        0              0              79   137   118 
4.89/4.90	c 84607          1363768        6118762        8990327        0              0              70   134   118 
5.29/5.38	c 93147          1501078        6713761        9891263        0              0              70   135   115 
5.79/5.89	c 102541         1644989        7335398        10800949       0              0              62   137   114 
6.49/6.52	c 112874         1819969        8115656        11924165       0              0              59   137   114 
7.10/7.16	c 124240         1999803        8926383        13145000       0              0              53   137   115 
7.79/7.83	c 136742         2193016        9765507        14404261       0              0              67   137   116 
8.49/8.53	c 150494         2383694        10636798       15795245       0              0              58   137   118 
9.39/9.42	c 165621         2627489        11756501       17531936       0              0              66   137   117 
10.39/10.41	c 182260         2883050        13017861       19488057       0              0              59   137   116 
11.39/11.47	c 200562         3163770        14318832       21644664       0              0              55   135   115 
12.59/12.65	c 220694         3476645        15810976       23962035       0              0              45   137   115 
13.89/13.93	c 242839         3842436        17411607       26257624       0              0              51   135   118 
15.19/15.23	c 267198         4205102        19070435       28806054       0              0              61   137   121 
16.49/16.57	c 293992         4572307        20740524       31500669       0              0              65   137   118 
18.29/18.32	c 323465         5048392        22944188       34942884       0              0              63   137   116 
20.19/20.21	c 355885         5550226        25312123       38596267       0              0              42   137   113 
22.39/22.44	c 391547         6127146        28126494       42926341       0              0              47   135   114 
24.49/24.58	c 430775         6733251        30860414       47024046       0              0              67   137   118 
26.59/26.64	c 473925         7314067        33429562       51043460       0              0              59   137   117 
29.29/29.39	c 521390         8147206        36838625       55918938       0              0              57   137   120 
31.69/31.72	c 573601         8792804        39775737       60566818       0              0              56   137   120 
35.00/35.02	c 631033         9749141        43843262       66751736       0              0              54   137   117 
38.10/38.18	c 694208         10619946       47807418       72926029       0              0              60   137   117 
42.29/42.37	c 763700         11769541       53121171       80573125       0              0              55   137   117 
47.00/47.04	c 840141         13077522       59021133       88882267       0              0              44   137   117 
51.89/51.91	c 924226         14355841       65113236       98232625       0              0              51   137   113 
57.19/57.25	c 1016719        15885675       71932118       107958607      0              0              54   137   119 
62.70/62.75	c 1118461        17386869       78891860       118696539      0              0              57   137   117 
69.30/69.37	c 1230377        19076432       87317881       131389792      0              0              46   137   115 
76.30/76.33	c 1353484        20988355       96125191       144538707      0              0              45   137   117 
84.20/84.24	c 1488901        23033199       106101604      160498725      0              0              57   137   114 
92.80/92.86	c 1637859        25469981       116765696      177104819      0              0              38   137   116 
102.40/102.40	c 1801712        28044852       128779855      195598512      0              0              50   137   116 
113.80/113.85	c 1981950        30972226       143106131      217086663      0              0              41   137   112 
125.50/125.58	c 2180211        34233634       157597347      235998731      0              0              35   137   113 
137.80/137.84	c 2398298        37518645       173192916      259333374      0              0              52   137   118 
151.01/151.09	c 2638193        41078741       190004326      285004743      0              0              53   137   116 
166.12/166.16	c 2902077        45142130       209044178      313701313      0              0              48   137   116 
182.31/182.39	c 3192349        49600989       229401004      343863591      0              0              43   137   117 
201.71/201.73	c 3511648        54544909       253319866      381314807      0              0              41   137   112 
221.21/221.26	c 3862876        60191550       277879353      414146790      0              0              59   137   118 
243.22/243.25	c 4249226        66229598       305515196      455790161      0              0              25   137   116 
269.42/269.47	c 4674211        72808709       338511384      506008627      0              0              38   137   113 
297.92/297.98	c 5141694        80150162       374813790      562641171      0              0              32   137   114 
329.63/329.61	c 5655925        88792826       415190311      620639712      0              0              48   137   118 
362.43/362.48	c 6221579        97854950       456695426      680345580      0              0              43   137   116 
401.15/401.11	c 6843798        108281721      506131389      751130146      0              0              45   137   118 
438.84/438.87	c 7528238        118947339      553844976      820011328      0              0              41   137   118 
479.85/479.87	c 8281122        130515529      605155498      893422563      0              0              50   137   117 
527.16/527.12	c 9109294        143567743      663979761      974547045      0              0              29   137   115 
580.07/580.04	c 10020283       157844121      731399919      1072310486     0              0              38   137   118 
637.77/637.71	c 11022370       173008338      805223925      1182567687     0              0              45   137   117 
697.18/697.18	c 12124665       188525954      880098699      1294519981     0              0              36   137   115 
767.68/767.63	c 13337189       208658407      968064330      1423141900     0              0              47   137   119 
842.89/842.87	c 14670965       229086361      1062975570     1565511148     0              0              49   137   116 
927.21/927.17	c 16138118       252731834      1168129957     1717063471     0              0              18   137   116 
1023.71/1023.60	c 17751986       277878109      1288782789     1903891828     0              0              40   137   114 
1128.43/1128.30	c 19527240       305643328      1421626475     2098292277     0              0              43   137   116 
1243.74/1243.69	c 21480019       336666914      1567095869     2314267127     0              0              44   137   118 
1372.35/1372.22	c 23628075       371898885      1729332657     2549075577     0              0              39   137   117 
1501.37/1501.22	c 25990936       408124490      1891537710     2796130606     1              0              32   137   119 
1653.69/1653.57	c 28590083       448494011      2083400288     3090113953     1              0              28   137   115 
1811.91/1811.75	c 31449144       490536358      2282783518     3381638217     1              0              26   137   116 
1974.24/1974.05	c 34594111       535272357      2488108177     3663989363     1              0              48   137   116 
2164.26/2164.06	c 38053574       587012073      2729687050     4015501353     1              0              37   137   119 
2377.78/2377.56	c 41858983       642771418      2997778449     4422147494     1              0              38   137   115 
2520.09/2519.80	
2520.09/2519.80	c *** INTERRUPTED ***
2520.09/2519.80	c restarts              : 112         
2520.09/2519.80	c conflicts             : 44398227     (17618 /sec)
2520.09/2519.80	c decisions             : 680737399    (270123 /sec)
2520.09/2519.80	c propagations          : 4699773632  (1864916 /sec)
2520.09/2519.80	c root propagations     : 0           
2520.09/2519.80	c filter calls          : 3177285871     (1260778 /sec)
2520.09/2519.80	c useless filter calls  : 2404121578     (75 %)
2520.09/2519.80	c Memory used           : 26.98 MB
2520.09/2519.80	c CPU time              : 2520.1 s
2520.09/2519.80	c real time             : 2519.79 s
2520.09/2519.80	
2520.09/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 (15232 MiB free)
  memory of node 1: 16384 MiB (15641 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389591-1568349869/watcher-4389591-1568349869 -o /tmp/evaluation-result-4389591-1568349869/solver-4389591-1568349869 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568349828-22474 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389591-1568349869.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=22504, runsolver pid=22497

[startup+0.100197 s]*
/proc/loadavg: 3.67 3.43 3.84 4/199 22505
/proc/meminfo: memFree=31602040/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=3952 CPUtime=0.1 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 1213 0 0 0 10 0 0 0 20 0 1 0 410900904 28286976 988 33554432000 4194304 6210612 140733733353616 140733733350104 5409289 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 988 832 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.209339 s]*
/proc/loadavg: 3.67 3.43 3.84 4/199 22505
/proc/meminfo: memFree=31587904/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=3952 CPUtime=0.21 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 1214 0 0 0 21 0 0 0 20 0 1 0 410900904 28286976 988 33554432000 4194304 6210612 140733733353616 140733733350104 5156648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 988 832 493 0 211 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB

[startup+0.309142 s]*
/proc/loadavg: 3.67 3.43 3.84 4/199 22505
/proc/meminfo: memFree=31557508/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=3952 CPUtime=0.31 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 1214 0 0 0 31 0 0 0 20 0 1 0 410900904 28286976 988 33554432000 4194304 6210612 140733733353616 140733733350104 5409279 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 988 832 493 0 211 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB

[startup+0.70035 s]
/proc/loadavg: 3.67 3.43 3.84 4/199 22505
/proc/meminfo: memFree=31433632/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=3952 CPUtime=0.69 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 1214 0 0 0 69 0 0 0 20 0 1 0 410900904 28286976 988 33554432000 4194304 6210612 140733733353616 140733733350104 5249674 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 988 832 493 0 211 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB

[startup+1.50034 s]
/proc/loadavg: 3.67 3.43 3.84 4/199 22505
/proc/meminfo: memFree=31120820/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=3952 CPUtime=1.49 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 1214 0 0 0 149 0 0 0 20 0 1 0 410900904 28286976 988 33554432000 4194304 6210612 140733733353616 140733733350104 5249664 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 988 832 493 0 211 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB

[startup+3.1095 s]
/proc/loadavg: 3.53 3.41 3.83 4/199 22505
/proc/meminfo: memFree=30387748/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4208 CPUtime=3.1 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 1328 0 0 0 310 0 0 0 20 0 1 0 410900904 28286976 1052 33554432000 4194304 6210612 140733733353616 140733733351576 5249738 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1052 870 493 0 211 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4208 KiB

[startup+6.30031 s]
/proc/loadavg: 3.53 3.41 3.83 4/199 22505
/proc/meminfo: memFree=29830588/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4208 CPUtime=6.29 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 1443 0 0 0 629 0 0 0 20 0 1 0 410900904 28286976 1052 33554432000 4194304 6210612 140733733353616 140733733351576 5409293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1052 870 493 0 211 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4208 KiB

[startup+12.7004 s]
/proc/loadavg: 3.41 3.39 3.83 4/199 22505
/proc/meminfo: memFree=29743940/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=12.69 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 1558 0 0 0 1269 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5185888 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+25.5003 s]
/proc/loadavg: 3.10 3.32 3.80 4/199 22506
/proc/meminfo: memFree=29744252/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=25.49 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 1786 0 0 0 2549 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5155484 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+51.109 s]
/proc/loadavg: 2.72 3.21 3.75 4/199 22508
/proc/meminfo: memFree=29574844/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=51.1 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 1900 0 0 0 5110 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5249901 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+102.3 s]
/proc/loadavg: 2.31 3.03 3.66 4/199 22512
/proc/meminfo: memFree=29573976/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=102.3 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 2014 0 0 0 10230 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5186172 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+162.3 s]
/proc/loadavg: 2.12 2.84 3.55 4/199 22516
/proc/meminfo: memFree=29574692/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=162.31 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 2128 0 0 0 16231 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5249681 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+222.3 s]
/proc/loadavg: 2.14 2.72 3.47 4/200 22522
/proc/meminfo: memFree=29574144/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=222.32 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 2242 0 0 0 22232 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5380144 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+282.3 s]
/proc/loadavg: 2.05 2.59 3.37 4/199 22526
/proc/meminfo: memFree=29575032/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=282.32 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 2242 0 0 0 28232 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5409279 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+342.3 s]
/proc/loadavg: 2.05 2.49 3.29 4/199 22530
/proc/meminfo: memFree=29575252/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=342.33 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 2356 0 0 0 34233 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5391826 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+402.3 s]
/proc/loadavg: 2.05 2.42 3.22 4/201 22544
/proc/meminfo: memFree=29574980/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=402.34 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 2356 0 0 0 40234 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5249719 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 402.34 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+462.3 s]
/proc/loadavg: 2.02 2.34 3.14 4/200 22548
/proc/meminfo: memFree=29573996/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=462.34 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 2470 0 0 0 46234 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5185944 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB


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

/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 1722.5 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.28 4/200 22690
/proc/meminfo: memFree=29532468/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=1782.51 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 3698 0 0 0 178251 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5157176 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 1782.51 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.26 4/201 22696
/proc/meminfo: memFree=29531712/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=1842.51 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 3711 0 0 0 184251 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5409200 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 1842.51 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.25 4/199 22700
/proc/meminfo: memFree=29532024/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=1902.52 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 3812 0 0 0 190252 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 1902.52 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.23 4/199 22704
/proc/meminfo: memFree=29532428/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=1962.53 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 3812 0 0 0 196253 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5409297 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 1962.53 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.22 4/200 22710
/proc/meminfo: memFree=29531128/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=2022.53 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 3926 0 0 0 202253 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5155300 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 2022.53 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+2082.3 s]
/proc/loadavg: 2.88 2.23 2.28 4/199 22714
/proc/meminfo: memFree=29531608/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=2082.54 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 3926 0 0 0 208254 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5249724 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 2082.54 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+2142.3 s]
/proc/loadavg: 2.42 2.23 2.27 4/199 22718
/proc/meminfo: memFree=29532140/32770624 swapFree=67000040/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=2142.55 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 4027 0 0 0 214255 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5155776 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 2142.55 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+2202.3 s]
/proc/loadavg: 2.15 2.19 2.26 4/201 22732
/proc/meminfo: memFree=29531424/32770624 swapFree=67000044/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=2202.56 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 4040 0 0 0 220256 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5008472 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 2202.56 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+2262.3 s]
/proc/loadavg: 2.06 2.16 2.24 4/200 22736
/proc/meminfo: memFree=29531980/32770624 swapFree=67000044/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=2262.56 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 4140 0 0 0 226256 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5249681 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 2262.56 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 2.13 2.22 4/200 22740
/proc/meminfo: memFree=29532712/32770624 swapFree=67000044/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=2322.57 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 4140 0 0 0 232257 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5409301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 2322.57 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.10 2.21 4/201 22746
/proc/meminfo: memFree=29532048/32770624 swapFree=67000044/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=2382.58 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 4254 0 0 0 238258 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5155149 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 2382.58 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.09 2.20 4/200 22750
/proc/meminfo: memFree=29532412/32770624 swapFree=67000044/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=2442.59 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 4254 0 0 0 244259 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5397245 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 2442.59 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.07 2.19 4/199 22755
/proc/meminfo: memFree=29532432/32770624 swapFree=67000044/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=2502.59 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 4355 0 0 0 250259 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5156681 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 2502.59 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.8 s]
/proc/loadavg: 2.00 2.07 2.18 4/200 22757
/proc/meminfo: memFree=29531916/32770624 swapFree=67000044/67108860
[pid=22504] ppid=22497 vsize=27624 memory=4212 CPUtime=2520.09 cores=0,2,4,6
/proc/22504/stat : 22504 (cosoco) R 22497 22504 22443 0 -1 4202496 4355 0 0 0 252009 0 0 0 20 0 1 0 410900904 28286976 1053 33554432000 4194304 6210612 140733733353616 140733733351576 5155589 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40005632 140733733360651 140733733360753 140733733360753 140733733363662 0
/proc/22504/statm: 6906 1053 870 493 0 211 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4212 KiB

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

[startup+2519.8 s]
# the end of solver process 22504 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.1 s, system=0.007 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.11
CPU user time (s): 2520.1
CPU system time (s): 0.007
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 27624
Max. memory (cumulated for all children) (KiB): 4212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.1
system time used= 0.007
maximum resident set size= 4280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4407
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= 30
involuntary context switches= 647


# summary of solver processes directly reported to runsolver:
#   pid: 22504
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2520.1
#   total CPU system time (s): 0.007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.04633 second user time and 16.4244 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-13 06:43:48
IDJOB=4389591
IDBENCH=134718
IDSOLVER=2829
FILE ID=node146/4389591-1568349869
RUNJOBID= node146-1568349828-22474
PBS_JOBID= 21701173
Free space on /tmp= 56696 MiB

SOLVER NAME= cosoco 2
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-4389591-1568349869/watcher-4389591-1568349869 -o /tmp/evaluation-result-4389591-1568349869/solver-4389591-1568349869 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568349828-22474 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389591-1568349869.xml

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

MD5SUM BENCH= 0275487dddce0dcf34d0f76368ca0063
RANDOM SEED=1420465568

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        31614996 kB
MemAvailable:   31897468 kB
Buffers:          147876 kB
Cached:           415108 kB
SwapCached:         5140 kB
Active:           284180 kB
Inactive:         283688 kB
Active(anon):      21960 kB
Inactive(anon):    21184 kB
Active(file):     262220 kB
Inactive(file):   262504 kB
Unevictable:      111304 kB
Mlocked:          111304 kB
SwapTotal:      67108860 kB
SwapFree:       67000040 kB
Dirty:              6332 kB
Writeback:             0 kB
AnonPages:        112020 kB
Mapped:            40840 kB
Shmem:             29400 kB
Slab:             176444 kB
SReclaimable:     147168 kB
SUnreclaim:        29276 kB
KernelStack:        3280 kB
PageTables:         5248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502820 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:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 56692 MiB
End job on node146 at 2019-09-13 07:25:48