Trace number 4397291

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.0UNSAT 1706.11 1706.25

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-pigeon/
Pb-pigeon-card-011-010.xml
MD5SUM304d36c9f4738ce6debdcd70a29e2b53
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 benchmark29.5875
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of constraints21
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":110}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":110}]
Minimum constraint arity10
Maximum constraint arity11
Distribution of constraint arities[{"arity":10,"count":11},{"arity":11,"count":10}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":21}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 2.00 --  
0.00/0.00	c
0.00/0.00	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397291-1568586909.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 110
0.00/0.00	c |            Domain Sizes: 2..2
0.00/0.00	c |
0.00/0.00	c |             Constraints: 21
0.00/0.00	c |                   Arity: 10..11
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Sum: 21
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.01	c 101            901            4882           5241           0              0              77   105   96  
0.00/0.01	c 211            1899           9313           11384          0              0              66   89   78   
0.00/0.01	c 332            2771           14613          19152          0              0              76   91   84   
0.00/0.02	c 465            4198           21659          28153          0              0              44   95   78   
0.00/0.02	c 611            5670           30107          38391          0              0              70   97   82   
0.00/0.03	c 771            7599           40172          50576          0              0              52   97   78   
0.00/0.03	c 947            9446           48320          59648          0              0              75   101   89  
0.00/0.04	c 1140           11740          58563          72238          0              0              62   89   79   
0.00/0.04	c 1352           14293          69521          84835          0              0              67   105   85  
0.00/0.05	c 1585           17257          83833          102779         0              0              70   105   87  
0.00/0.06	c 1841           19646          95462          117346         0              0              80   103   94  
0.00/0.07	c 2122           23319          112984         139281         0              0              68   96   86   
0.00/0.08	c 2431           26834          130188         161141         0              0              70   105   90  
0.00/0.09	c 2770           30494          147037         182134         0              0              74   100   89  
0.00/0.10	c 3142           34007          166177         207838         0              0              71   103   85  
0.10/0.11	c 3551           37712          183433         231458         0              0              54   100   86  
0.10/0.12	c 4000           42048          204584         259162         0              0              59   102   83  
0.10/0.14	c 4493           46940          233099         295427         0              0              64   98   83   
0.10/0.15	c 5035           51928          263468         335636         0              0              67   97   81   
0.10/0.17	c 5631           57447          295554         375560         0              0              67   101   85  
0.10/0.19	c 6286           64907          331693         426227         0              0              64   100   86  
0.20/0.22	c 7006           74532          373619         480945         0              0              58   103   85  
0.20/0.24	c 7798           83134          415826         535665         0              0              60   105   89  
0.20/0.27	c 8669           93950          469412         612419         0              0              63   102   86  
0.20/0.30	c 9627           105499         526502         689627         0              0              63   97   86   
0.30/0.34	c 10680          122018         597241         769784         0              0              52   104   87  
0.30/0.38	c 11838          137058         677869         869655         0              0              51   99   84   
0.40/0.43	c 13111          152241         757309         973117         0              0              55   100   80  
0.40/0.48	c 14511          169348         847299         1092039        0              0              57   99   82   
0.50/0.53	c 16051          188093         936295         1211754        0              0              51   99   84   
0.50/0.59	c 17745          209414         1039372        1349872        0              0              52   103   86  
0.60/0.64	c 19608          229578         1136211        1478617        0              0              60   102   86  
0.69/0.70	c 21657          249071         1239825        1612661        0              0              61   102   86  
0.69/0.77	c 23910          277158         1374344        1786254        0              0              54   102   85  
0.79/0.85	c 26388          305672         1516972        1977471        0              0              63   104   86  
0.89/0.95	c 29113          341923         1681296        2206836        0              0              51   101   88  
1.00/1.04	c 32110          378784         1851687        2429083        0              0              51   103   85  
1.10/1.16	c 35406          417869         2078231        2716096        0              0              55   105   87  
1.19/1.28	c 39031          462082         2293435        3001618        0              0              56   103   88  
1.29/1.40	c 43018          502700         2494480        3282693        0              0              57   103   86  
1.49/1.54	c 47403          560368         2758628        3611295        0              0              48   105   86  
1.69/1.70	c 52226          618627         3043785        3983356        0              0              44   102   87  
1.79/1.89	c 57531          686738         3391905        4432564        0              0              61   105   90  
1.99/2.07	c 63366          753775         3724978        4875019        0              0              54   105   89  
2.29/2.30	c 69784          836444         4137054        5380914        0              0              49   105   88  
2.49/2.52	c 76843          916452         4539153        5915491        0              0              54   105   87  
2.69/2.78	c 84607          1016366        5003659        6565517        0              0              50   103   87  
3.00/3.06	c 93147          1128212        5525171        7195753        0              0              54   105   88  
3.29/3.39	c 102541         1250102        6126205        7985621        0              0              52   105   89  
3.69/3.70	c 112874         1354888        6691500        8767897        0              0              52   105   89  
3.99/4.08	c 124240         1489899        7389707        9690725        0              0              53   105   89  
4.39/4.47	c 136742         1634117        8095791        10656269       0              0              40   105   88  
4.89/4.92	c 150494         1794083        8926671        11754767       0              0              38   103   84  
5.39/5.45	c 165621         1982189        9878489        12972870       0              0              40   105   85  
5.89/5.97	c 182260         2172402        10818799       14254254       0              0              45   105   86  
6.59/6.62	c 200562         2400276        12014692       15827683       0              0              43   105   85  
7.29/7.34	c 220694         2650862        13326056       17569448       0              0              38   105   86  
7.99/8.03	c 242839         2899971        14579807       19224756       0              0              53   105   88  
8.79/8.81	c 267198         3196904        16022701       21028040       0              0              47   105   91  
9.59/9.66	c 293992         3500518        17573358       23077592       0              0              40   104   87  
10.49/10.59	c 323465         3837963        19254106       25077210       0              0              46   105   86  
11.59/11.61	c 355885         4211765        21097550       27611060       0              0              56   103   88  
12.69/12.72	c 391547         4630070        23139530       30294847       0              0              43   105   89  
13.88/13.96	c 430775         5078079        25426934       33204328       0              0              55   105   86  
15.48/15.51	c 473925         5596720        28236151       36872248       0              0              39   105   86  
17.09/17.18	c 521390         6166388        31315620       40629606       0              0              45   104   83  
18.78/18.88	c 573601         6788346        34418607       44312350       0              0              46   105   87  
20.88/20.91	c 631033         7474064        38089909       49102593       0              0              45   105   87  
22.99/23.04	c 694208         8215285        41963203       53915368       0              0              45   105   88  
25.18/25.21	c 763700         9004349        45924875       59120650       0              0              54   105   89  
27.68/27.75	c 840141         9925787        50595824       65288533       0              0              48   105   89  
30.48/30.50	c 924226         10891432       55631845       71741279       0              0              49   105   89  
33.68/33.71	c 1016719        11955957       61520567       79063867       0              0              47   105   87  
37.09/37.15	c 1118461        13071161       67697762       87183463       0              0              45   105   85  
40.99/41.03	c 1230377        14385987       74752087       96230592       0              0              42   105   85  
45.28/45.30	c 1353484        15925600       82518334       105573989      0              0              44   105   86  
49.99/50.07	c 1488901        17528691       91177396       116436039      0              0              36   105   86  
55.18/55.21	c 1637859        19291251       100366358      128685837      0              0              41   103   82  
60.28/60.34	c 1801712        20901140       109576717      140984354      0              0              46   103   83  
66.78/66.87	c 1981950        22920650       121344929      155784370      0              0              40   105   82  
73.57/73.61	c 2180211        25286172       133842139      170984887      0              0              40   105   89  
79.37/79.45	c 2398298        27696208       144917156      183804778      0              0              26   105   90  
87.37/87.45	c 2638193        30782002       159391143      201529187      0              0              31   105   87  
95.98/96.02	c 2902077        33853033       175428024      220848149      0              0              40   105   90  
104.77/104.84	c 3192349        37199885       192030713      240227023      0              0              35   105   91  
115.57/115.63	c 3511648        40842568       211848559      264740876      0              0              39   105   88  
128.16/128.20	c 3862876        45088894       234895313      293633076      0              0              29   105   89  
140.97/141.06	c 4249226        49722797       258525505      323491928      0              0              23   105   89  
154.56/154.64	c 4674211        54389951       283402991      356099715      0              0              36   105   88  
169.86/169.93	c 5141694        59780931       311281176      392227174      0              0              41   105   88  
186.35/186.49	c 5655925        65618977       341286431      432172156      0              0              33   105   88  
205.25/205.30	c 6221579        72228581       375654396      476789450      0              0              29   105   88  
225.35/225.49	c 6843798        79328821       412473705      524184506      0              0              31   105   88  
247.84/247.97	c 7528238        87118888       453276174      578491017      0              0              39   105   88  
271.74/271.81	c 8281122        95372832       496836427      634804745      0              0              32   105   88  
298.94/299.02	c 9109294        105110213      546356064      700442669      1              0              14   105   87  
327.04/327.19	c 10020283       114952190      598518409      766069517      1              0              30   105   90  
360.14/360.26	c 11022370       126449676      659904148      842655083      1              0              19   105   89  
398.63/398.79	c 12124665       139472222      731043897      932338919      1              0              35   105   88  
440.94/441.07	c 13337189       153861540      809033599      1029519311     1              0              32   105   88  
485.73/485.85	c 14670965       169185321      891785248      1132903475     1              0              34   105   89  
533.83/533.94	c 16138118       185573238      979937641      1248133732     2              0              22   105   88  
587.72/587.89	c 17751986       203894638      1079914080     1373616721     2              0              25   105   88  
646.93/647.04	c 19527240       224301146      1188892531     1511172455     2              0              29   105   88  
712.82/712.93	c 21480019       246817094      1309687089     1666222338     2              0              27   105   86  
785.11/785.26	c 23628075       271214476      1441948443     1837312222     3              0              22   105   86  
860.02/860.16	c 25990936       295416616      1579654396     2014456535     4              0              26   105   85  
948.40/948.58	c 28590083       326571575      1742486602     2221024369     4              0              21   105   88  
1046.29/1046.46	c 31449144       359183764      1922486969     2451227389     4              0              33   105   88  
1150.79/1150.98	c 34594111       394161622      2114502693     2697724976     4              0              30   105   88  
1264.28/1264.44	c 38053574       433119315      2323120222     2964477873     4              0              25   105   89  
1393.37/1393.51	c 41858983       476192286      2561065969     3267821021     4              0              29   105   88  
1531.36/1531.51	c 46044932       523067386      2814352844     3593148883     4              0              11   105   88  
1684.55/1684.74	c 50649475       575617119      3095885477     3955089592     14             0              30   105   87  
1706.05/1706.24	s UNSATISFIABLE
1706.05/1706.24	c restarts              : 114         
1706.05/1706.24	c conflicts             : 51317305     (30079 /sec)
1706.05/1706.24	c decisions             : 583090347    (341767 /sec)
1706.05/1706.24	c propagations          : 4006353174  (2348247 /sec)
1706.05/1706.24	c root propagations     : 0           
1706.05/1706.24	c filter calls          : 3135375666     (1837741 /sec)
1706.05/1706.24	c useless filter calls  : 2211667882     (70 %)
1706.05/1706.24	c Memory used           : 26.72 MB
1706.05/1706.24	c CPU time              : 1706.1 s
1706.05/1706.24	c real time             : 1706.24 s
1706.05/1706.24

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 (15090 MiB free)
  memory of node 1: 16384 MiB (14857 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397291-1568586909/watcher-4397291-1568586909 -o /tmp/evaluation-result-4397291-1568586909/solver-4397291-1568586909 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568572744-5580 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397291-1568586909.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=8745, runsolver pid=8742
Current StackSize limit: 8192 KiB


[startup+0.100782 s]*
/proc/loadavg: 2.00 2.01 2.05 3/203 8746
/proc/meminfo: memFree=30666536/32770624 swapFree=66970180/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3952 CPUtime=0.1 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1154 0 0 0 10 0 0 0 20 0 1 0 434940407 28016640 988 33554432000 4194304 6211092 140721439323744 140721439321704 5155423 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 988 874 493 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+0.209545 s]*
/proc/loadavg: 2.00 2.01 2.05 3/203 8746
/proc/meminfo: memFree=30666536/32770624 swapFree=66970180/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3952 CPUtime=0.2 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1154 0 0 0 20 0 0 0 20 0 1 0 434940407 28016640 988 33554432000 4194304 6211092 140721439323744 140721439321704 5409461 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 988 874 493 0 145 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+0.309067 s]*
/proc/loadavg: 2.00 2.01 2.05 3/203 8746
/proc/meminfo: memFree=30666536/32770624 swapFree=66970180/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3952 CPUtime=0.3 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1154 0 0 0 30 0 0 0 20 0 1 0 434940407 28016640 988 33554432000 4194304 6211092 140721439323744 140721439321704 5250241 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 988 874 493 0 145 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+0.700225 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 8746
/proc/meminfo: memFree=30666536/32770624 swapFree=66970180/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3952 CPUtime=0.69 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1155 0 0 0 69 0 0 0 20 0 1 0 434940407 28016640 988 33554432000 4194304 6211092 140721439323744 140721439321704 5155384 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 988 874 493 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 8746
/proc/meminfo: memFree=30666144/32770624 swapFree=66970180/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3952 CPUtime=1.49 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1155 0 0 0 149 0 0 0 20 0 1 0 434940407 28016640 988 33554432000 4194304 6211092 140721439323744 140721439321704 5409386 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 988 874 493 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+3.10944 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 8746
/proc/meminfo: memFree=30666144/32770624 swapFree=66970180/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3952 CPUtime=3.1 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1214 0 0 0 310 0 0 0 20 0 1 0 434940407 28016640 988 33554432000 4194304 6211092 140721439323744 140721439321704 5250459 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 988 874 493 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 8746
/proc/meminfo: memFree=30665920/32770624 swapFree=66970180/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=6.29 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1273 0 0 0 629 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5397104 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.05 3/203 8746
/proc/meminfo: memFree=30666080/32770624 swapFree=66970180/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=12.69 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1332 0 0 0 1269 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5155707 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+25.5002 s]
/proc/loadavg: 2.07 2.03 2.05 3/203 8747
/proc/meminfo: memFree=30666288/32770624 swapFree=66970180/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=25.48 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1450 0 0 0 2548 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5389808 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+51.1093 s]
/proc/loadavg: 2.18 2.06 2.06 3/203 8749
/proc/meminfo: memFree=30666300/32770624 swapFree=66970180/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=51.09 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1509 0 0 0 5109 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5155345 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+102.3 s]
/proc/loadavg: 2.20 2.08 2.06 3/203 8753
/proc/meminfo: memFree=30666096/32770624 swapFree=66970180/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=102.27 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1568 0 0 0 10227 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5155923 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+162.3 s]
/proc/loadavg: 2.16 2.08 2.06 3/204 8759
/proc/meminfo: memFree=30665748/32770624 swapFree=66970180/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=162.26 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1627 0 0 0 16226 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5250224 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+222.3 s]
/proc/loadavg: 2.15 2.10 2.07 3/202 8824
/proc/meminfo: memFree=30668420/32770624 swapFree=66970180/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=222.25 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1686 0 0 0 22225 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5398495 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+282.3 s]
/proc/loadavg: 2.06 2.08 2.06 3/202 8828
/proc/meminfo: memFree=30668176/32770624 swapFree=66970180/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=282.24 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1745 0 0 0 28224 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5157721 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/203 8841
/proc/meminfo: memFree=30665872/32770624 swapFree=66970184/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=342.24 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1804 0 0 0 34224 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5390424 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+402.3 s]
/proc/loadavg: 2.21 2.10 2.07 3/202 8845
/proc/meminfo: memFree=30666772/32770624 swapFree=66970184/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=402.23 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1863 0 0 0 40223 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+462.3 s]
/proc/loadavg: 2.08 2.08 2.06 3/203 8850
/proc/meminfo: memFree=30667188/32770624 swapFree=66970184/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=462.23 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 1922 0 0 0 46223 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5409424 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB


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

Current children cumulated memory: 3972 KiB

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 8926
/proc/meminfo: memFree=30666532/32770624 swapFree=66970188/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=1302.18 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 2700 0 0 0 130218 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5155353 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 1302.18 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 8930
/proc/meminfo: memFree=30666368/32770624 swapFree=66970188/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=1362.17 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 2747 0 0 0 136217 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5157557 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 1362.17 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 8937
/proc/meminfo: memFree=30666960/32770624 swapFree=66970188/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=1422.17 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 2806 0 0 0 142217 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5155982 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 1422.17 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 8942
/proc/meminfo: memFree=30666708/32770624 swapFree=66970188/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=1482.17 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 2853 0 0 0 148217 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5158037 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 1482.17 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 8954
/proc/meminfo: memFree=30665848/32770624 swapFree=66970192/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=1542.16 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 2912 0 0 0 154216 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5193754 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 1542.16 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/206 8986
/proc/meminfo: memFree=30665220/32770624 swapFree=66970196/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=1602.16 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 2959 0 0 0 160216 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5157787 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 1602.16 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/205 8990
/proc/meminfo: memFree=30665524/32770624 swapFree=66970196/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=1662.16 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 3006 0 0 0 166216 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5156460 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 1662.16 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1706.25 s]
# the end of solver process 8745 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1706.1 s, system=0.001999 s

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

[startup+1664 s]*
/proc/loadavg: 2.03 2.03 2.05 3/205 8990
/proc/meminfo: memFree=30665640/32770624 swapFree=66970196/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=1663.86 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 3006 0 0 0 166386 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 1663.86 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1689.6 s]
/proc/loadavg: 2.02 2.02 2.05 3/205 8990
/proc/meminfo: memFree=30665464/32770624 swapFree=66970196/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=1689.45 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 3065 0 0 0 168945 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5193744 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 1689.45 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1696 s]*
/proc/loadavg: 2.02 2.02 2.05 3/205 8992
/proc/meminfo: memFree=30665308/32770624 swapFree=66970196/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=1695.86 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 3065 0 0 0 169586 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5390084 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 1695.86 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1702.4 s]
/proc/loadavg: 2.02 2.02 2.05 3/205 8994
/proc/meminfo: memFree=30665416/32770624 swapFree=66970196/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=1702.25 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 3065 0 0 0 170225 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5155348 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 1702.25 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1704 s]*
/proc/loadavg: 2.02 2.02 2.05 3/205 8994
/proc/meminfo: memFree=30665540/32770624 swapFree=66970196/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=1703.86 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 3065 0 0 0 170386 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5156440 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 1703.86 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1705.6 s]
/proc/loadavg: 2.02 2.02 2.05 3/205 8994
/proc/meminfo: memFree=30665540/32770624 swapFree=66970196/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=1705.45 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 3065 0 0 0 170545 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5157758 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 1705.45 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1706 s]*
/proc/loadavg: 2.01 2.02 2.05 3/205 8994
/proc/meminfo: memFree=30665664/32770624 swapFree=66970196/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=1705.86 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 3065 0 0 0 170586 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5156232 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 1705.86 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

[startup+1706.2 s]
/proc/loadavg: 2.01 2.02 2.05 3/205 8994
/proc/meminfo: memFree=30665664/32770624 swapFree=66970196/67108860
[pid=8745] ppid=8742 vsize=27360 memory=3972 CPUtime=1706.05 cores=0,2,4,6
/proc/8745/stat : 8745 (cosoco) R 8742 8745 5549 0 -1 4202496 3065 0 0 0 170605 0 0 0 20 0 1 0 434940407 28016640 993 33554432000 4194304 6211092 140721439323744 140721439321704 5250298 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8568832 140721439327243 140721439327345 140721439327345 140721439330254 0
/proc/8745/statm: 6840 993 874 493 0 145 0
Current children cumulated CPU time: 1706.05 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3972 KiB

Child status: 0
Real time (s): 1706.25
CPU time (s): 1706.11
CPU user time (s): 1706.1
CPU system time (s): 0.001999
CPU usage (%): 99.9917
Max. virtual memory (cumulated for all children) (KiB): 27360
Max. memory (cumulated for all children) (KiB): 3972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1706.1
system time used= 0.001999
maximum resident set size= 4036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3102
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= 15
involuntary context switches= 1941


# summary of solver processes directly reported to runsolver:
#   pid: 8745
#   total CPU time (s): 1706.11
#   total CPU user time (s): 1706.1
#   total CPU system time (s): 0.001999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01873 second user time and 11.5883 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-16 00:34:28
IDJOB=4397291
IDBENCH=135570
IDSOLVER=2849
FILE ID=node135/4397291-1568586909
RUNJOBID= node135-1568572744-5580
PBS_JOBID= 21703319
Free space on /tmp= 61368 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-pigeon/Pb-pigeon-card-011-010.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397291-1568586909/watcher-4397291-1568586909 -o /tmp/evaluation-result-4397291-1568586909/solver-4397291-1568586909 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568572744-5580 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397291-1568586909.xml

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

MD5SUM BENCH= 304d36c9f4738ce6debdcd70a29e2b53
RANDOM SEED=989267156

node135.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.76
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.76
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.76
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.76
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:        30667672 kB
MemAvailable:   31853868 kB
Buffers:          188420 kB
Cached:          1275540 kB
SwapCached:        33180 kB
Active:           594460 kB
Inactive:         911212 kB
Active(anon):      14780 kB
Inactive(anon):    69440 kB
Active(file):     579680 kB
Inactive(file):   841772 kB
Unevictable:      109480 kB
Mlocked:          109480 kB
SwapTotal:      67108860 kB
SwapFree:       66970180 kB
Dirty:              2556 kB
Writeback:             0 kB
AnonPages:        118808 kB
Mapped:            43096 kB
Shmem:             34280 kB
Slab:             191668 kB
SReclaimable:     161156 kB
SUnreclaim:        30512 kB
KernelStack:        3600 kB
PageTables:         5608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     538316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61364 MiB
End job on node135 at 2019-09-16 01:02:55