Trace number 4396871

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.06 2520.01

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-4396871-1568588245.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.09	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.23	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.31	c 5631           87262          376918         537003         0              0              107   137   129
0.31/0.35	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.44	c 7798           123999         541226         777301         0              0              75   137   120 
0.41/0.49	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.75	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.93	c 16051          262795         1151024        1663767        0              0              68   135   118 
1.00/1.03	c 17745          291665         1280488        1848362        0              0              63   137   112 
1.10/1.14	c 19608          321785         1409892        2041648        0              0              70   137   113 
1.19/1.25	c 21657          354660         1549537        2247326        0              0              82   135   122 
1.29/1.36	c 23910          384982         1692394        2477943        0              0              86   137   114 
1.49/1.51	c 26388          429388         1877797        2750250        0              0              68   137   116 
1.59/1.65	c 29113          469729         2061912        3013996        0              0              70   137   123 
1.79/1.82	c 32110          520287         2280151        3351701        0              0              81   131   115 
2.00/2.01	c 35406          574821         2512135        3685368        0              0              55   137   116 
2.19/2.23	c 39031          637909         2792860        4100946        0              0              68   137   113 
2.39/2.48	c 43018          699493         3112281        4591935        0              0              75   137   113 
2.69/2.71	c 47403          765682         3400451        5017242        0              0              78   137   114 
2.89/2.98	c 52226          841413         3728451        5510319        0              0              63   134   112 
3.29/3.30	c 57531          930386         4136040        6095768        0              0              50   137   115 
3.59/3.66	c 63366          1027726        4607214        6762844        0              0              66   137   111 
4.00/4.06	c 69784          1131923        5119838        7522658        0              0              64   136   113 
4.39/4.46	c 76843          1247688        5622211        8242327        0              0              79   137   118 
4.79/4.86	c 84607          1363768        6118762        8990327        0              0              70   134   118 
5.29/5.33	c 93147          1501078        6713761        9891263        0              0              70   135   115 
5.79/5.83	c 102541         1644989        7335398        10800949       0              0              62   137   114 
6.39/6.46	c 112874         1819969        8115656        11924165       0              0              59   137   114 
7.00/7.10	c 124240         1999803        8926383        13145000       0              0              53   137   115 
7.69/7.76	c 136742         2193016        9765507        14404261       0              0              67   137   116 
8.39/8.45	c 150494         2383694        10636798       15795245       0              0              58   137   118 
9.29/9.34	c 165621         2627489        11756501       17531936       0              0              66   137   117 
10.29/10.32	c 182260         2883050        13017861       19488057       0              0              59   137   116 
11.29/11.36	c 200562         3163770        14318832       21644664       0              0              55   135   115 
12.49/12.53	c 220694         3476645        15810976       23962035       0              0              45   137   115 
13.79/13.80	c 242839         3842436        17411607       26257624       0              0              51   135   118 
15.00/15.09	c 267198         4205102        19070435       28806054       0              0              61   137   121 
16.39/16.42	c 293992         4572307        20740524       31500669       0              0              65   137   118 
18.10/18.15	c 323465         5048392        22944188       34942884       0              0              63   137   116 
20.00/20.03	c 355885         5550226        25312123       38596267       0              0              42   137   113 
22.19/22.24	c 391547         6127146        28126494       42926341       0              0              47   135   114 
24.29/24.36	c 430775         6733251        30860414       47024046       0              0              67   137   118 
26.39/26.40	c 473925         7314067        33429562       51043460       0              0              59   137   117 
29.10/29.13	c 521390         8147206        36838625       55918938       0              0              57   137   120 
31.39/31.44	c 573601         8792804        39775737       60566818       0              0              56   137   120 
34.69/34.70	c 631033         9749141        43843262       66751736       0              0              54   137   117 
37.79/37.83	c 694208         10619946       47807418       72926029       0              0              60   137   117 
41.89/41.99	c 763700         11769541       53121171       80573125       0              0              55   137   117 
46.59/46.61	c 840141         13077522       59021133       88882267       0              0              44   137   117 
51.39/51.42	c 924226         14355841       65113236       98232625       0              0              51   137   113 
56.69/56.73	c 1016719        15885675       71932118       107958607      0              0              54   137   119 
62.10/62.18	c 1118461        17386869       78891860       118696539      0              0              57   137   117 
68.69/68.73	c 1230377        19076432       87317881       131389792      0              0              46   137   115 
75.59/75.63	c 1353484        20988355       96125191       144538707      0              0              45   137   117 
83.39/83.47	c 1488901        23033199       106101604      160498725      0              0              57   137   114 
92.00/92.02	c 1637859        25469981       116765696      177104819      0              0              38   137   116 
101.49/101.50	c 1801712        28044852       128779855      195598512      0              0              50   137   116 
112.79/112.86	c 1981950        30972226       143106131      217086663      0              0              41   137   112 
124.49/124.51	c 2180211        34233634       157597347      235998731      0              0              35   137   113 
136.59/136.65	c 2398298        37518645       173192916      259333374      0              0              52   137   118 
149.69/149.79	c 2638193        41078741       190004326      285004743      0              0              53   137   116 
164.69/164.74	c 2902077        45142130       209044178      313701313      0              0              48   137   116 
180.79/180.82	c 3192349        49600989       229401004      343863591      0              0              43   137   117 
200.00/200.01	c 3511648        54544909       253319866      381314807      0              0              41   137   112 
219.29/219.37	c 3862876        60191550       277879353      414146790      0              0              59   137   118 
241.10/241.17	c 4249226        66229598       305515196      455790161      0              0              25   137   116 
267.10/267.17	c 4674211        72808709       338511384      506008627      0              0              38   137   113 
295.39/295.48	c 5141694        80150162       374813790      562641171      0              0              32   137   114 
326.80/326.84	c 5655925        88792826       415190311      620639712      0              0              48   137   118 
359.40/359.40	c 6221579        97854950       456695426      680345580      0              0              43   137   116 
397.60/397.69	c 6843798        108281721      506131389      751130146      0              0              45   137   118 
435.01/435.08	c 7528238        118947339      553844976      820011328      0              0              41   137   118 
475.70/475.73	c 8281122        130515529      605155498      893422563      0              0              50   137   117 
522.50/522.58	c 9109294        143567743      663979761      974547045      0              0              29   137   115 
575.01/575.01	c 10020283       157844121      731399919      1072310486     0              0              38   137   118 
632.20/632.23	c 11022370       173008338      805223925      1182567687     0              0              45   137   117 
691.20/691.23	c 12124665       188525954      880098699      1294519981     0              0              36   137   115 
761.01/761.02	c 13337189       208658407      968064330      1423141900     0              0              47   137   119 
835.51/835.56	c 14670965       229086361      1062975570     1565511148     0              0              49   137   116 
919.02/919.10	c 16138118       252731834      1168129957     1717063471     0              0              18   137   116 
1014.61/1014.66	c 17751986       277878109      1288782789     1903891828     0              0              40   137   114 
1118.41/1118.43	c 19527240       305643328      1421626475     2098292277     0              0              43   137   116 
1232.82/1232.86	c 21480019       336666914      1567095869     2314267127     0              0              44   137   118 
1360.32/1360.32	c 23628075       371898885      1729332657     2549075577     0              0              39   137   117 
1488.13/1488.13	c 25990936       408124490      1891537710     2796130606     1              0              32   137   119 
1639.23/1639.22	c 28590083       448494011      2083400288     3090113953     1              0              28   137   115 
1796.04/1796.04	c 31449144       490536358      2282783518     3381638217     1              0              26   137   116 
1956.93/1956.91	c 34594111       535272357      2488108177     3663989363     1              0              48   137   116 
2145.33/2145.32	c 38053574       587012073      2729687050     4015501353     1              0              37   137   119 
2357.05/2357.10	c 41858983       642771418      2997778449     4422147494     1              0              38   137   115 
2520.05/2520.00	
2520.05/2520.00	c *** INTERRUPTED ***
2520.05/2520.00	c restarts              : 112         
2520.05/2520.00	c conflicts             : 44764903     (17763 /sec)
2520.05/2520.00	c decisions             : 686477048    (272405 /sec)
2520.05/2520.00	c propagations          : 4740980845  (1881300 /sec)
2520.05/2520.00	c root propagations     : 0           
2520.05/2520.00	c filter calls          : 3205738438     (1272090 /sec)
2520.05/2520.00	c useless filter calls  : 2425703874     (75 %)
2520.05/2520.00	c Memory used           : 26.98 MB
2520.05/2520.00	c CPU time              : 2520.06 s
2520.05/2520.00	c real time             : 2520 s
2520.05/2520.00	
2520.05/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11771 MiB free)
  memory of node 1: 16384 MiB (14005 MiB free)
  node distances:
     10  21
     21  10

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

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11538, runsolver pid=11535
Current StackSize limit: 8192 KiB


[startup+0.100621 s]*
/proc/loadavg: 2.00 2.06 2.06 3/199 11539
/proc/meminfo: memFree=26395432/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=3952 CPUtime=0.1 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 1216 0 0 0 10 0 0 0 20 0 1 0 435093333 28286976 988 33554432000 4194304 6211092 140735225145824 140735225143784 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/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.209348 s]*
/proc/loadavg: 2.00 2.06 2.06 3/199 11539
/proc/meminfo: memFree=26395432/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4216 CPUtime=0.21 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 1217 0 0 0 21 0 0 0 20 0 1 0 435093333 28286976 1054 33554432000 4194304 6211092 140735225145824 140735225143784 5155707 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/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.308849 s]*
/proc/loadavg: 2.00 2.06 2.06 3/199 11539
/proc/meminfo: memFree=26395060/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4216 CPUtime=0.31 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 1217 0 0 0 31 0 0 0 20 0 1 0 435093333 28286976 1054 33554432000 4194304 6211092 140735225145824 140735225143784 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/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.70027 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 11539
/proc/meminfo: memFree=26395060/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4216 CPUtime=0.69 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 1217 0 0 0 69 0 0 0 20 0 1 0 435093333 28286976 1054 33554432000 4194304 6211092 140735225145824 140735225143784 5155511 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/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: 2.00 2.06 2.06 3/199 11539
/proc/meminfo: memFree=26395060/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4216 CPUtime=1.49 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 1217 0 0 0 149 0 0 0 20 0 1 0 435093333 28286976 1054 33554432000 4194304 6211092 140735225145824 140735225143784 5157772 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/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.10896 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 11539
/proc/meminfo: memFree=26394932/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4220 CPUtime=3.1 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 1331 0 0 0 310 0 0 0 20 0 1 0 435093333 28286976 1055 33554432000 4194304 6211092 140735225145824 140735225143784 5156224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/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.30026 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 11539
/proc/meminfo: memFree=26394932/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4220 CPUtime=6.29 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 1446 0 0 0 629 0 0 0 20 0 1 0 435093333 28286976 1055 33554432000 4194304 6211092 140735225145824 140735225143784 5250234 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/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: 2.00 2.06 2.06 3/199 11539
/proc/meminfo: memFree=26394932/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=12.69 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 1561 0 0 0 1269 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5193754 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/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: 2.00 2.05 2.06 3/199 11539
/proc/meminfo: memFree=26394588/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=25.49 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 1789 0 0 0 2549 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5409424 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/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.1089 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 11542
/proc/meminfo: memFree=26394280/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=51.1 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 1903 0 0 0 5110 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5409465 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/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: 2.00 2.04 2.05 3/199 11667
/proc/meminfo: memFree=26225528/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=102.29 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 2017 0 0 0 10229 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5156699 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 11732
/proc/meminfo: memFree=26512980/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=162.29 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 2131 0 0 0 16229 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5155358 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 11746
/proc/meminfo: memFree=26511404/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=222.29 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 2245 0 0 0 22229 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5397375 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 11775
/proc/meminfo: memFree=26510672/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=282.29 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 2359 0 0 0 28229 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 11779
/proc/meminfo: memFree=26510700/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=342.3 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 2473 0 0 0 34230 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5250254 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 342.3 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/200 11785
/proc/meminfo: memFree=26510508/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=402.3 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 2587 0 0 0 40230 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5157178 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 402.3 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/200 11789
/proc/meminfo: memFree=26510472/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=462.3 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 2701 0 0 0 46230 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5396504 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB


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

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

[startup+1782.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/199 11906
/proc/meminfo: memFree=26510016/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=1782.33 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 5088 0 0 0 178233 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5009142 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+1842.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/199 11912
/proc/meminfo: memFree=26509740/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=1842.33 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 5202 0 0 0 184233 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5380176 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 11917
/proc/meminfo: memFree=26509976/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=1902.33 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 5303 0 0 0 190233 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5391229 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 11921
/proc/meminfo: memFree=26509628/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=1962.33 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 5417 0 0 0 196233 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5155337 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 11935
/proc/meminfo: memFree=26509520/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=2022.33 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 5518 0 0 0 202233 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5186299 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 11939
/proc/meminfo: memFree=26509456/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=2082.33 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 5619 0 0 0 208233 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5250284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2082.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 11943
/proc/meminfo: memFree=26509748/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=2142.33 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 5720 0 0 0 214233 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5380256 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2142.33 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 11949
/proc/meminfo: memFree=26509704/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=2202.34 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 5834 0 0 0 220234 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5409030 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 11953
/proc/meminfo: memFree=26508648/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=2262.34 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 5934 0 0 0 226234 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2262.34 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/199 11957
/proc/meminfo: memFree=26509464/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=2322.34 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 6034 0 0 0 232234 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5193754 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11963
/proc/meminfo: memFree=26509196/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=2382.34 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 6148 0 0 0 238234 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5250251 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2382.34 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/199 11967
/proc/meminfo: memFree=26509700/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=2442.34 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 6249 0 0 0 244234 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5397223 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2442.34 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/199 11971
/proc/meminfo: memFree=26509900/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=2502.34 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 6350 0 0 0 250234 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 11974
/proc/meminfo: memFree=26510148/32770624 swapFree=66998528/67108860
[pid=11538] ppid=11535 vsize=27624 memory=4224 CPUtime=2520.05 cores=1,3,5,7
/proc/11538/stat : 11538 (cosoco) R 11535 11538 8014 0 -1 4202496 6449 0 0 0 252005 0 0 0 20 0 1 0 435093333 28286976 1056 33554432000 4194304 6211092 140735225145824 140735225143784 5250293 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22237184 140735225152523 140735225152625 140735225152625 140735225155534 0
/proc/11538/statm: 6906 1056 873 493 0 211 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4224 KiB

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

[startup+2520.01 s]
# the end of solver process 11538 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.06 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): 2520.01
CPU time (s): 2520.06
CPU user time (s): 2520.06
CPU system time (s): 0.007
CPU usage (%): 100.002
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.06
system time used= 0.007
maximum resident set size= 4288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6500
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 633


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1378 second user time and 14.6089 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-16 00:56:45
IDJOB=4396871
IDBENCH=134718
IDSOLVER=2848
FILE ID=node127/4396871-1568588245
RUNJOBID= node127-1568572744-8046
PBS_JOBID= 21703323
Free space on /tmp= 61308 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-4396871-1568588245/watcher-4396871-1568588245 -o /tmp/evaluation-result-4396871-1568588245/solver-4396871-1568588245 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568572744-8046 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396871-1568588245.xml

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

MD5SUM BENCH= 0275487dddce0dcf34d0f76368ca0063
RANDOM SEED=1252106350

node127.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.55
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.55
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.55
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.55
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:        26396052 kB
MemAvailable:   31726964 kB
Buffers:          133936 kB
Cached:          5471192 kB
SwapCached:         6772 kB
Active:          2950960 kB
Inactive:        2803816 kB
Active(anon):     141712 kB
Inactive(anon):    57448 kB
Active(file):    2809248 kB
Inactive(file):  2746368 kB
Unevictable:      110552 kB
Mlocked:          110552 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:              2804 kB
Writeback:             0 kB
AnonPages:        264844 kB
Mapped:            49112 kB
Shmem:             40892 kB
Slab:             212628 kB
SReclaimable:     182264 kB
SUnreclaim:        30364 kB
KernelStack:        3776 kB
PageTables:         6020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     674836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61308 MiB
End job on node127 at 2019-09-16 01:38:45